What is the primary difference between Pass 1 and Pass 2 of an assembler?

Pass 1 is dedicated to identifying labels and building a symbol table with their memory addresses. Pass 2 uses that table to replace labels with addresses and translates mnemonics into binary machine code.

How does an assembler differ from a loader?

An assembler translates source code into an object program (machine code). A loader is a separate utility that takes that object program and loads it into the computer's RAM so the CPU can execute it.

What is the difference between source code and object code in the context of assembly?

Source code is the human-readable text file containing mnemonics and labels. Object code is the binary machine code produced by the assembler that the processor can actually execute.

What error occurs if an assembler attempts to translate a program in a single pass?

It will fail to resolve 'forward references,' which are instances where the code refers to a label or variable that has not yet been defined in the lines above the current instruction.

Why is it a mistake to say the assembler translates mnemonics during Pass 1?

During Pass 1, the assembler only calculates memory locations to build the symbol table. Translating mnemonics to opcodes is reserved for Pass 2 to ensure all address data is ready for the final output.

What happens if a label is used in the code but never defined in the label column?

The assembler will be unable to find the label in the symbol table during Pass 2, resulting in an 'undefined symbol' error, as there is no memory address to substitute into the instruction.

Define 'Symbol Table'.

A data structure created during the first pass of an assembler that stores the names of all symbolic labels and their corresponding memory addresses.

What is an 'Object Program'?

The final output of the assembly process, consisting of a machine code file that is ready to be loaded into memory and executed by the CPU.

What is a 'Mnemonic'?

A short, human-readable text command (like ADD, SUB, or LDA) used in assembly language to represent a specific binary machine code instruction.

What is the purpose of the 'Location Counter' during assembly?

It is a variable maintained by the assembler during Pass 1 to keep track of the current memory address being assigned to instructions and data items.

Revision Notes

AS-Level

Cambridge International Examinations

Computer Science

4. Processor Fundamentals

Assembly process

Assembly Process

Summary

The assembly process is the systematic translation of low-level mnemonic instructions into executable machine code. This is primarily executed by a two-pass assembler, which ensures that symbolic labels are correctly mapped to physical memory addresses before the final binary output is generated.

1. Definition & Core Concepts

An assembler is a utility program that converts assembly language source code into machine code, which is the binary format directly executable by a CPU. Unlike high-level languages that use compilers or interpreters, assembly has a near one-to-one correspondence with machine instructions.

The output of the assembly process is known as an object program. This is a standalone file containing machine code that can be stored, loaded into memory, and executed at a later time.

To run the resulting object program, a separate utility called a loader is required. The loader's role is to take the object code from storage and place it into the computer's RAM at the appropriate starting address for execution.

2. The Two-Pass Mechanism

A two-pass assembler processes the source code in two distinct stages to handle the complexity of symbolic addressing. This approach is essential for resolving 'forward references,' where a program might jump to a label that is defined further down in the code.

By scanning the code twice, the assembler ensures that every mnemonic and label is accurately translated into its numerical equivalent. This prevents errors that would occur if the assembler tried to generate code for a destination address it hadn't encountered yet.

Flowchart of the two-pass assembly process showing Source Code leading to Pass 1, which generates a Symbol Table, followed by Pass 2 which uses the table to produce Object Code.

3. Pass 1: Symbol Table Generation

During the first pass, the assembler reads the source code line by line to identify all symbolic labels used by the programmer. It keeps track of a location counter to determine the memory address each instruction or data item will eventually occupy.

The primary output of this stage is the Symbol Table, a data structure that maps each label name to its calculated memory address. No actual translation of mnemonics (like ADD or MOV) into binary opcodes occurs during this phase.

4. Pass 2: Code Generation

5. Key Distinctions

6. Exam Strategy & Tips

Assembly Process

Summary

1. Definition & Core Concepts

The output of the assembly process is known as an object program. This is a standalone file containing machine code that can be stored, loaded into memory, and executed at a later time.

2. The Two-Pass Mechanism

Flowchart of the two-pass assembly process showing Source Code leading to Pass 1, which generates a Symbol Table, followed by Pass 2 which uses the table to produce Object Code.

3. Pass 1: Symbol Table Generation

4. Pass 2: Code Generation

In the second pass, the assembler performs the actual translation of the program. It converts mnemonics into their corresponding binary opcodes using an instruction set lookup table.

The assembler also looks up any symbolic labels in the previously created Symbol Table and replaces them with their actual numeric memory addresses. This results in the final machine code where every instruction and operand is represented in binary.

5. Key Distinctions

The following table summarizes the functional differences between the two stages of the assembly process:

Feature	Pass 1	Pass 2
Primary Goal	Build the Symbol Table	Generate Machine Code
Label Handling	Identifies and stores addresses	Replaces labels with addresses
Instruction Handling	Increments location counter	Translates mnemonics to opcodes
Output	Symbol Table	Object Program

6. Exam Strategy & Tips

Identify the Stage: If a question asks when labels are resolved, the answer is Pass 1. If it asks when binary code is produced, the answer is Pass 2.
The Role of the Loader: Remember that the assembler does NOT run the program; it only creates the file. The loader is the utility that actually places the code into memory for execution.
Forward References: Be prepared to explain why one pass is insufficient. Without Pass 1, the assembler would encounter a 'jump' to a label it hasn't defined yet, causing a translation error.
Symbol Table Contents: Always check that the symbol table contains two specific columns: the Label Name and the Memory Address (often in Hex or Denary).