System Programming and Compiler Construction: Subject Incharge

The material in this presentation belongs to St. Francis Institute of Technology and is solely for educational purposes.
Distribution and modifications of the content is prohibited.
System Programming and Compiler

Construction
CSC 601
Subject Incharge
Varsha Shrivastava
Assistant Professor
email: [email protected]
Room No: 407
1
The material in this presentation belongs to St. Francis Institute of Technology and is solely for educational purposes. Distribution and modifications of the content is prohibited.
CSC 601 System Programming and

Compiler Construction
Module 2
Assembler
St. Francis Institute of Technology 12 Jan 2022 CSC 601:System Programming & Compiler Construction
Department of Computer Engineering Ms. Varsha Shrivastava 2
Content as per syllabus
 Introduction
 Elements of Assembly Language programming,
Assembly scheme
 Pass structure of assembler
 Assembler Design:
 Two pass assembler Design and
 Single pass Assembler Design for X86 family processor
 Data structures used
Introduction
• Assembler is system software which converts an assembly
language
• The input to the assembler is a source code written in assembly
language (using mnemonics) and the output is an object code.
• Basic Assembler functions:

• Translating mnemonic language to its equivalent object code.
• Assigning machine addresses to symbolic labels.
Elements of Assembly Language programming
Assembler languages-structure
<Label> <Mnemomic> <Operands> Comments
• Label
• symbolic labeling of an assembler address (command
address at Machine level)
• Mnemomic
• Symbolic description of an operation
• Operands
• Contains of variables or address if necessary
• Comments
• ignored by assembler
• used by humans to document/understand programs
Statement Format
AREA refers to the memory word with which the name AREA is associated
AREA+5 refers to the memory word 5 words away from the word with the name
AREA, Here 5 is the displacement or offset from AREA
AREA(4) refers indexing with index register 4, i.e. operand address is obtained by
adding the content of index register 4 to the address of the AREA
Mnemonic Operation Codes
Mnemonic Numeric Description

Op code Op-code
STOP 00 It stops the execution.
ADD 01 It adds the content of operand2 into specified register.
SUB 02 It subtracts the contents of operand2 from the specified register.
MUL 03 It multiplies the content of operand2 into specified register.
MOVER 04 It moves the content of operand2 into specified register
MOVEM 05 It moves the content of Register into operand2 (memory)
COMP 06 Compare content of register with the content of operand2 and set
suitable condition code
BC 07 It branches on condition
DIV 08 It divides the contents of register by the operand2
READ 09 It reads the input and stores it into operand2
PRINT 10 Prints the content of operand2
If the Op-code is BC then operand 1 is one of the condition code,

otherwise one of the register from the table given below and operand 2
refers to the memory location
Register Description Condition Description

Codes
AREG A Register
BREG B Register LT Less Than
CREG C Register LE Less than or equal to
DREG D Register EQ Equal to

GT Greater than
GE Greater than or equal to
ANY Any
Machine Instruction Format
Example:-
ALP and its equivalent Machine Language Program
Types of Assembly Language

Statements
ASSEMBLY
LANGUAGE
STATEMENTS
ASSEMBLER
IMPERATIVE DECLARATIVE
DIRECTIVE
STATEMENTS STATEMENT
STATEMENTS
Types of Assembly Language

Statements
Imperative statements
• An imperative statement in assembly
language indicates the action to be
performed during execution of assembly
statement
Ex:- SUB BREG,X
(Subtract the content of X from the content of BREG)
Types of Assembly Language Statements

Declarative Statement
• These statements is used to declare variables and constants.
There are two types of Declarative statement:-
1. Declare Storage
2. Declare Constant
Declare Storage declares the storage area or declares the
constant in program. The DS statement reserves areas of
memory and associates names with them.
Syntax:- <Symbol> DS <constant>
Eg:- ONE DS 1
The 1 word memory location is reserved and it associate name
ONE

Declarative Statement
• These statements is used to declare variables and constants.
There are two types of Declarative statement:-
1. Declare Storage
2. Declare Constant
Declare Constant The DC statement is used to construct
memory words containing constants.
Syntax:- <Symbol> DC ‘<value>’
Eg. ONE DC 1
The memory location containing the value 1 and is associates
name ONE.
Note :- Its just initializes the memory word to given values. These values may be changed
during the program execution, which means constant values are not secured by assembler.
Instead of constant ,literals can be used.

Use of Constants

Use of Constants

Assembler Directives
• These statements instructs the assembler to
perform certain action during the assembly of a
program.
• START Syntax :- START <constant>
Eg:- START 100
This directive indicates that the first word generated by the assembler is
stored in memory location specified by <constant>
• END  Syntax :- END
• This directive specifies the end of the source of the program
A Simple Assembly Scheme
There are 2 phases in specifying an Assembler:-
1.Synthesis Phase (the fundamental

information requirement will arise in this
phase
2.Analysis Phase
A Simple Assembly Scheme
A Simple Assembly Scheme- Synthesis Phase Eg.
Data Structure used in Synthesis Phase
1. Symbol Table
2. Mnemonics Table
Department of Computer Engineering Ms. Varsha Shrivastava
Analysis Phase
Analysis Phase: Implementing Memory Allocation
Example
Example
Example
Data Structures of an Assembler During Analysis and Synthesis

Phase
Data Structures
Task Performed : Analysis Phase
Task Performed : Synthesis Phase
Assembler :Design
Assembler :Design
Difficulties : Forward Reference
Forward Reference Problem

When a symbol is used before it is defined, such a reference is
called as Forward Reference. Since the symbol has not yet been
defined, its address is not known. So, the Assembler cannot
assemble the entire instruction at once. This is called as Forward
Reference Problem (FRP).
It can be solved using back patching method

[NOTE: These tables and algorithms in this book are for a hypothetical machine.
So some major changes might be required, for actual implementation of
Assembler (or even simulation of these algorithms)]
Solution : Forward Reference problem
(FRP)
FRP can be solved in following 2 ways:
Multi-pass Approach
Single-Pass approach
In a Multi-pass approach, assembler assembles the

mnemonics and constructs ST in pass 1. In the Pass 2,
Input file is read again along with ST and an assembled
object code file is generated in the output. This is a 2-Pass
Approach, but some complex programs may need more
than just 2 passes for completing the assembly of the
program. Such an approach is called Multi-pass Approach.
Solution : Forward Reference problem
(FRP)
FRP can be solved in following 2 ways:
Multi-pass Approach
Single-Pass approach
In a Single-pass approach, the Assembler makes use of a

special data structure called Forward-Reference Table
(FRT) to keep track of only the forward-referenced
symbols. At the end of pass 1, this new data structure is
used to update definition addresses of forward-
referenced symbols in ST and in the program.
Backpatching
Backpatching
Assembler Design
Assembler Design
Assembler Design
Two-Pass Assembler
Data Structures in Pass-1
Data Structures in Pass-1
OPTAB (Operation-Code table)
Flow Chart of Pass-1 of Two pass Assembler

Initialize
Read next
instruction
EN
END Process Literals Go to Pass 2
D yes
No
Instruction
END
has a label
Insert symbol (label) in the symbol table (ST)
yes
No
Type of instructionType
IS START ORIGIN DS/DC LTORG
Get Instruction Change Update Process current pool of

length Location address in ST literals
counter
Find Storage space
Generate Intermediate Code
Modify Location counter

University Questions
• What are Assembler Directives? Explain with examples (May ’06 [Comps] – 6M,
Dec ’08 [Comps] – 5M)
• State the reason for assembler to be a multi-pass program. (May ’05 [Comps] – 4M,
May ’04 [IT] – 4M, Dec ’06 [Comps] – 4M)
• Explain Forward Reference Problem in Assembler. (May ’05 [IT] – 4M, Dec ’05 [IT] –
4M)
• What is Assembly Language? What feature of assembly language required us to
build a two-pass assembler? (Dec ’05 [Comps] – 10M)
• What is Forward Reference Problem? How is it handled in a two-pass assembler?
Explain with the help of database. (June ’07 [IT] – 10M)
(Hint: For this question, explain FRP and also explain how ST is used by a two-pass
assembler. Give a sample ALP program, construct its ST stating that it is the output of
pass 1 and use it to assemble the program in Pass 2. Give final output file only, all the
tables not needed)
• Explain working of each of the two passes of a two-pass assembler, with the help
of databases. (Dec ’04 [Comps] – 10M, Dec ’05 [IT] – 10M)
University Questions
• Explain with neat flowchart and database working of two-pass

assembler. (Dec ’04 [IT] – 12M, Dec ’07 [IT] – 10M, June ’08 [Comps] –
10M, Dec ’08 [Comps] – 10M, June ’08 [IT] – 10M) [Often asked as a
compulsory question]
• Explain with the help of flowchart and data structures, the working of a
single-pass assembler. (May ’04 [Comps] – 10M, May ’05 [Comps] – 10M,
May ’05 [IT] – 10M, May ’06 [IT] – 10M, Dec ’07 [IT] – 10M, May ’07
[Comps] – 10M).
• What are the different types of ALP statements?
• What is forward-reference problem?
THE END!
Have a nice day!


System Programming and Compiler Construction: Subject Incharge

Uploaded by

Copyright:

Available Formats

System Programming and Compiler Construction: Subject Incharge

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

System Programming and Compiler Construction: Subject Incharge

Uploaded by

Copyright:

Available Formats

The material in this presentation belongs to St. Francis Institute of Technology and is solely for educational purposes.

Distribution and modifications of the content is prohibited.

System Programming and Compiler

CSC 601 System Programming and

Content as per syllabus

• Basic Assembler functions:

• Assigning machine addresses to symbolic labels.

Elements of Assembly Language programming

Elements of Assembly Language programming

Mnemonic Operation Codes

Mnemonic Operation Codes

Mnemonic Numeric Description

Mnemonic Operation Codes

If the Op-code is BC then operand 1 is one of the condition code,

Register Description Condition Description

CREG C Register LE Less than or equal to

DREG D Register EQ Equal to

Mnemonic Operation Codes

Machine Instruction Format

ALP and its equivalent Machine Language Program

Elements of Assembly Language programming

Types of Assembly Language

Elements of Assembly Language programming

Types of Assembly Language

Elements of Assembly Language programming

Types of Assembly Language Statements

Elements of Assembly Language programming

Types of Assembly Language Statements

Elements of Assembly Language programming

Types of Assembly Language Statements

Elements of Assembly Language programming

Types of Assembly Language Statements

Elements of Assembly Language programming

Types of Assembly Language Statements

A Simple Assembly Scheme

There are 2 phases in specifying an Assembler:-

1.Synthesis Phase (the fundamental

A Simple Assembly Scheme

A Simple Assembly Scheme- Synthesis Phase Eg.

Data Structure used in Synthesis Phase

Analysis Phase: Implementing Memory Allocation

Data Structures of an Assembler During Analysis and Synthesis

Task Performed : Analysis Phase

Task Performed : Synthesis Phase

Difficulties : Forward Reference

Forward Reference Problem

It can be solved using back patching method

In a Multi-pass approach, assembler assembles the

In a Single-pass approach, the Assembler makes use of a

Data Structures in Pass-1

Data Structures in Pass-1

OPTAB (Operation-Code table)

Flow Chart of Pass-1 of Two pass Assembler

Get Instruction Change Update Process current pool of

Generate Intermediate Code

Modify Location counter

• Explain with neat flowchart and database working of two-pass

Have a nice day!

You might also like