Question: Dataflow Analysis: Reaching Definitions Consider the following program, where all variables are typed int. 1. Calculate the control flow graph and state the basic blocks.

Dataflow Analysis: Reaching Definitions Consider the following program, where all variables are typed int. 1. Calculate the control flow graph and state the basic blocks. 2. Calculate the gen and kill sets for all basic blocks. 3. State the transfer functions for all basic blocks. 4. Use the data flow equations and solve them by fixed-point iteration.

start =read(); end =read(); prodo =1; prode =1; sum =0; prodsum =0; i= start; while ( i

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related General Management Questions!

f a processor exhibited one branch delay slot how would you reorder (and possibly modify) the instructions in the following loop to gain a performance advantage? loop ldr r2,r3,#4 % r2=load(r3),...

Digital Communication I X A B C D Y Hosts X and Y are communicating through the data network provided by the switches A, B, C and D and the links interconnecting them as shown above. Initially all...

(i) Write down the linear program relaxation for the vertex cover problem and solve the linear program. [6 marks] (ii) Based on the solution of the linear program in (b)(i), derive an integer...

Objective This lab will familiarize you with writing static program analyses using the LLVM compiler infrastructure. LLVM is a collection of compiler and analysis toolchain utilities widely used in...

Have a C compiler which is ANSI conforming in all respects except that it has no facility for the definition, declaration or use of standard C structures. Outline a set of routines written in this...

can someone solve this Modern workstations typically have memory systems that incorporate two or three levels of caching. Explain why they are designed like this. [4 marks] In order to investigate...

For continuous random variables X and Y , taking on continuous values x and y respectively with probability densities p(x) and p(y) and with joint probability distribution p(x, y) and conditional...

Give Correct ANSWERS Human-Computer Interaction (a) If you had been one of the original inventors of the WIMP interface, and engineers on the technical team had been sceptical about the advantages...

Briefly describe ASCII and Unicode and draw attention to any relationship between them. [3 marks] (b) Briefly explain what a Reader is in the context of reading characters from data. [3 marks] A...

Portray in words what transforms you would have to make to your execution to some degree (a) to accomplish this and remark on the benefits and detriments of this thought.You are approached to compose...

The balances of the ledger accounts of Beldren Home Center as of December 31, the end of its fiscal year, are as follows: Cash ....................... $ 10,592 Accounts Receivable ...................

Which is larger, Ws or Wq? Explain.

Mercy Hospital, an NFPO, has an investment in a joint venture. How should the hospital report its interest in the joint venture? Multiple Choice It can choose between using the equity method and...

you will be implementing a Lexicon class. This Lexicon class will maintain a list of words, and the user will be able to query the Lexicon as to whether or not a word is in the Lexicon, the user will...