Download presentation
Presentation is loading. Please wait.
Published byFlora Lynch Modified over 9 years ago
1
1 CS 201 Compiler Construction Introduction
2
2 Instructor Information Rajiv Gupta Office: WCH Room 408 E-mail: gupta@cs.ucr.edu Tel: (951) 827-2558 Office Hours: T, Th 10:00 am -11:00 am
3
3 Course Requirements Grading: Test 1: 35 points Test 2: 35 points Project: 30 points
4
4 Course Overview CS 152 CS 201
5
Control Flow Graph Representation - Control Flow Analysis - Data Flow Analysis - Selected Code Optimizations Static Single Assignment Representation - Control Flow Analysis - Selected Code Optimizations 5 Exam I
6
Bidirectional Data Flow Analysis - Partial Redundancy Elimination - Partial Dead-code Elimination Interprocedural Data Flow Analysis Machine Code Generation - Register Allocation - Instruction Scheduling 6 Exam II
7
Project LLVM infrastructure Code instrumentation Implement path profiling 7
8
Three Address Intermediate Code Arithmetic Operations dst = src1 op src2 where op in {+, -, *, /, %} Relational Operators dst = src1 relop src2 where relop in { =,>} Logical Operations dst = src lop src2, where lop in {||,&&} dst = ! src 8
9
Three Address Intermediate Code Array Accesses dst = src [ index ] dst [ index ] = src Pointers dst = & src * dst = src Copy Assignment dst = src 9
10
Three Address Intermediate Code Branches unconditional: goto label conditional: if predicate goto label or if src1 relop src2 goto label labels: declared or instruction numbers 10
11
11 Control Flow Graph (CFG) Intermediate Code can be transformed from linear representation to a directed graph form called Control flow Graph: Nodes – Basic Blocks: Basic block consists of a sequence of intermediate code statements that must be entered at the top and exited at the bottom, i.e. once the block is entered, all intermediate code statements will be executed. Edges: directed edges connect basic blocks according to control flow. CFG representation will be used for program analysis and optimization.
12
CFG Construction Algorithm Identify Leaders: the first instruction in a basic block is a leader. –First instruction in the program –Target instruction of a conditional or unconditional branch –Instruction immediately following a conditional or unconditional branch Construct Basic Blocks: –Starting from the leader append subsequent instructions up to, but not including, the next leader or the end of the program 12
13
CFG Construction Algorithm Add Edges: add a directed edge from basic block B1 to basic block B2 if: –There is a conditional or unconditional branch from the last statement in B1 to the leader of B2; or –B2 immediately follows B1 in program order and B1 does not end in an unconditional branch. 13
14
Example 14 1.A = 4 2.T1 = A * B 3.T2 = T1 / C 4.If T2<W goto 7 5.M = T1 * K 6.T3 = M + I 7.H = I 8.M = T3 – H 9.If T3>= 0 goto 11 10.goto 3 11.Halt
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.