Phases of compilation in Compiler Design - Step-by-Step Execution

Concept Flow - Phases of compilation

Source Code Input

↓

Lexical Analysis

↓

Syntax Analysis

↓

Semantic Analysis

↓

Intermediate Code Generation

↓

Code Optimization

↓

Code Generation

↓

Target Machine Code Output

The compilation process starts with source code and passes through several phases, each transforming the code closer to machine code.

Execution Sample

Compiler Design

Source Code -> Lexical Analysis -> Syntax Analysis -> Semantic Analysis -> Intermediate Code Generation -> Code Optimization -> Code Generation -> Machine Code

This shows the step-by-step transformation of source code into machine code through compilation phases.

Analysis Table

Step	Phase	Input	Output	Purpose
1	Lexical Analysis	Source Code	Tokens	Break code into meaningful symbols
2	Syntax Analysis	Tokens	Parse Tree	Check grammar and structure
3	Semantic Analysis	Parse Tree	Annotated Tree	Check meaning and types
4	Intermediate Code Generation	Annotated Tree	Intermediate Code	Create simpler code form
5	Code Optimization	Intermediate Code	Optimized Code	Improve code efficiency
6	Code Generation	Optimized Code	Machine Code	Generate target machine instructions
7	End	Machine Code	Executable Program	Ready to run on hardware

💡 Compilation ends when machine code is generated and ready for execution.

State Tracker

Phase	Input	Output
Lexical Analysis	Source Code	Tokens
Syntax Analysis	Tokens	Parse Tree
Semantic Analysis	Parse Tree	Annotated Tree
Intermediate Code Generation	Annotated Tree	Intermediate Code
Code Optimization	Intermediate Code	Optimized Code
Code Generation	Optimized Code	Machine Code

Key Insights - 3 Insights

Why does the compiler need a separate lexical analysis phase?

Lexical analysis simplifies the source code into tokens, making it easier for syntax analysis to check structure, as shown in execution_table step 1.

What is the difference between syntax analysis and semantic analysis?

Syntax analysis checks the code's structure (step 2), while semantic analysis checks meaning and types (step 3), ensuring the code makes sense.

Why is code optimization done after intermediate code generation?

Optimization improves the intermediate code's efficiency before final machine code is generated, as seen in steps 4 and 5.

Visual Quiz - 3 Questions

Look at the execution_table, what is the output of the Syntax Analysis phase?

A Parse Tree

B Tokens

C Annotated Tree

D Machine Code

💡 Hint

Check execution_table row 2 under Output column.

At which step does the compiler check the meaning and types of the code?

A Step 1

B Step 3

C Step 2

D Step 5

💡 Hint

Look at the Purpose column in execution_table for semantic checks.

If code optimization was skipped, which output would be directly used for code generation?

A Tokens

B Optimized Code

C Intermediate Code

D Annotated Tree

💡 Hint

Refer to execution_table steps 4, 5, and 6 for code flow.

Concept Snapshot

Phases of Compilation:
1. Lexical Analysis: source to tokens
2. Syntax Analysis: tokens to parse tree
3. Semantic Analysis: meaning check
4. Intermediate Code Generation: simpler code
5. Code Optimization: improve efficiency
6. Code Generation: machine code output
Each phase transforms code closer to executable form.

Full Transcript

Compilation transforms source code into machine code through phases. First, lexical analysis breaks code into tokens. Syntax analysis checks grammar and builds a parse tree. Semantic analysis verifies meaning and types. Intermediate code generation creates a simpler code form. Code optimization improves efficiency. Finally, code generation produces machine code ready to run. Each phase's input and output prepare for the next, ensuring correct and efficient executable programs.

Practice

1. Which phase of compilation is responsible for checking the source code for syntax errors?

easy

A. Code Optimization

B. Syntax Analysis

C. Lexical Analysis

D. Code Generation

Solution

1. Step 1: Understand the role of Syntax Analysis

   Syntax Analysis checks the source code structure against language grammar rules to find syntax errors.

2. Step 2: Differentiate from other phases

   Lexical Analysis breaks code into tokens, Code Optimization improves code efficiency, and Code Generation creates machine code.

3. Final Answer:

   Syntax Analysis -> Option B

4. Quick Check:

   Syntax errors are caught in Syntax Analysis [OK]

Hint: Syntax errors are caught during syntax analysis phase [OK]

Common Mistakes:

• Confusing lexical analysis with syntax analysis
• Thinking code generation checks syntax
• Mixing code optimization with error checking

2. Which of the following is the correct order of the first three phases of compilation?

easy

A. Lexical Analysis, Syntax Analysis, Semantic Analysis

B. Syntax Analysis, Lexical Analysis, Semantic Analysis

C. Semantic Analysis, Lexical Analysis, Syntax Analysis

D. Code Generation, Lexical Analysis, Syntax Analysis

Solution

1. Step 1: Recall the compilation phase sequence

   The compilation starts with Lexical Analysis, then Syntax Analysis, followed by Semantic Analysis.

2. Step 2: Verify the order in options

   Lexical Analysis, Syntax Analysis, Semantic Analysis matches the correct order; others have phases misplaced.

3. Final Answer:

   Lexical Analysis, Syntax Analysis, Semantic Analysis -> Option A

4. Quick Check:

   Lexical before Syntax before Semantic [OK]

Hint: Remember: Lexical -> Syntax -> Semantic order [OK]

Common Mistakes:

• Swapping syntax and lexical phases
• Placing code generation too early
• Confusing semantic analysis position

3. Consider this simplified compilation process code snippet:

phases = ['Lexical', 'Syntax', 'Semantic', 'Optimization', 'Code Generation']
for i, phase in enumerate(phases):
    if phase == 'Semantic':
        print(i)
        break

What will be the output?

medium

A. 4

B. 3

C. 1

D. 2

Solution

1. Step 1: Understand the list and loop

   The list has phases indexed from 0: Lexical(0), Syntax(1), Semantic(2), Optimization(3), Code Generation(4).

2. Step 2: Find index of 'Semantic'

   The loop prints the index when phase equals 'Semantic', which is 2.

3. Final Answer:

   2 -> Option D

4. Quick Check:

   Semantic phase index is 2 [OK]

Hint: List index starts at 0; Semantic is third item [OK]

Common Mistakes:

• Counting list items starting at 1
• Printing index after break
• Confusing phase names

4. A compiler phase is supposed to check semantic errors but it only checks syntax errors. Which phase is likely implemented incorrectly?

medium

A. Lexical Analysis

B. Syntax Analysis

C. Semantic Analysis

D. Code Optimization

Solution

1. Step 1: Identify the phase for semantic error checking

   Semantic Analysis checks meaning and correctness beyond syntax, like type checking.

2. Step 2: Understand the problem

   If semantic errors are not checked but syntax errors are, Semantic Analysis is not working properly.

3. Final Answer:

   Semantic Analysis -> Option C

4. Quick Check:

   Semantic errors checked in Semantic Analysis [OK]

Hint: Semantic errors belong to Semantic Analysis phase [OK]

Common Mistakes:

• Confusing syntax and semantic errors
• Blaming lexical or syntax phases
• Ignoring semantic phase role

5. You want to improve the speed of the final machine code without changing its behavior. Which compilation phase should you focus on enhancing?

hard

A. Code Optimization

B. Lexical Analysis

C. Syntax Analysis

D. Semantic Analysis

Solution

1. Step 1: Identify phase responsible for improving code speed

   Code Optimization modifies intermediate code to run faster or use less memory without changing output.

2. Step 2: Confirm other phases' roles

   Lexical, Syntax, and Semantic Analysis check correctness but do not improve speed.

3. Final Answer:

   Code Optimization -> Option A

4. Quick Check:

   Speed improvements happen in Code Optimization [OK]

Hint: Speed up code in Code Optimization phase [OK]

Common Mistakes:

• Thinking syntax or semantic phases optimize code
• Confusing lexical analysis with optimization
• Ignoring optimization phase purpose