nopes. That is code optimization. SSA just requires a single variable to be assigned only once.

The Gateway to Computer Science Excellence

+1 vote

What is the Static Single Assignment (SSA) form for the following code segment:

a = b+c;

c = a+x;

d = b+c;

d = a+x;

Should we use only 1 temporary variable for c=a+x and d=a+x because both of them evaluate the same expression finally?

a = b+c;

c = a+x;

d = b+c;

d = a+x;

Should we use only 1 temporary variable for c=a+x and d=a+x because both of them evaluate the same expression finally?

0

But in made easy test series, answer is given as 6 total variables (because of code optimization) whereas my answer is 7. so which one is correct sir?

0

I would like to make it more precise that you can assign a single variable once, only in the LHS, though you can make use of it any number of time in the RHS.

0

Yes, even mine is correct.

The only trick was in the question is not using the same variables in equation 1 and 2 otherwise the value may change.

The only trick was in the question is not using the same variables in equation 1 and 2 otherwise the value may change.

0

That is actually wrong. You cannot use the same variable on the LHS side. It looks completely wrong to me this way.

Check out mine I did it in 6 variables.

A small trick was not using the same variable of RHS in lines 1 and 2 as they are again changing in line 3rd and 4th.

I hope u got it this way.

Check out mine I did it in 6 variables.

A small trick was not using the same variable of RHS in lines 1 and 2 as they are again changing in line 3rd and 4th.

I hope u got it this way.

0

Due to this reason in the second line I have written t2 = a + x and didn't use c over here as its changing.

Didn't get you?

Didn't get you?

0

Why is that wrong?

I didn't change my c initially and I am changing my b in b = b + c, because this way b will not be used after that.

So, do you mean I can't use b in LHS and RHS simultaneously?

I didn't change my c initially and I am changing my b in b = b + c, because this way b will not be used after that.

So, do you mean I can't use b in LHS and RHS simultaneously?

0

Your approach is similar to finding minimum number of registers. But that is not how it is done in SSA.

+2

a1=b+c

c1=a1+x

d1=b+c1

d2=a1+x

temp variables: a1 c1 d1 d2---> 4

variables: b c x----> 3

total variables = 4+3 ==> 7

c1=a1+x

d1=b+c1

d2=a1+x

temp variables: a1 c1 d1 d2---> 4

variables: b c x----> 3

total variables = 4+3 ==> 7

0

So, @Heena What's the correct answer.

Is the solution given by made easy correct.

I mean so can be use same temporary variable twice in the LHS?

Please confirm, if found out.

Is the solution given by made easy correct.

I mean so can be use same temporary variable twice in the LHS?

Please confirm, if found out.

+1

@`JEET what i feel is we cannot have same value on LHS because static variables cannot be reintialized.

So the answer should be 7

Correct me if I'm wrong

So the answer should be 7

Correct me if I'm wrong

0

@JEET we definitely cannot have two same variables on the left.... So i feel the answer should be 7. But I'm not sure whether we can optimize the code prior to converting it to SSA form. If we can, then the answer would be 6 otherwise 7 (according to me)

0

A guy told me that you can't optimize in SSA and but can optimize in DAG.

Do someone have any authenticate content to read this topic.

I didn't found anything in the Ulman as well.

Do someone have any authenticate content to read this topic.

I didn't found anything in the Ulman as well.

+4

But I'm not sure whether we can optimize the code prior to converting it to SSA form.

No, You can not do the optimization before converting into SSA form. Optimization is a next phase of Intermediate Representation and SSA is a Type of IR which is widely used by various compilers because it makes various types of Optimizations easy like Dead Code Elimination, Constant Propagation etc.

Answer will be :

$a_0 = b_0+c_0;$

$c_1 = a_0+x_0;$

$d_0 = b_0+c_1;$

$d_1 = a_0+x_0;$

- All categories
- General Aptitude 1.9k
- Engineering Mathematics 7.5k
- Digital Logic 2.9k
- Programming and DS 4.9k
- Algorithms 4.3k
- Theory of Computation 6.2k
- Compiler Design 2.1k
- Databases 4.1k
- CO and Architecture 3.4k
- Computer Networks 4.1k
- Non GATE 1.5k
- Others 1.5k
- Admissions 595
- Exam Queries 576
- Tier 1 Placement Questions 23
- Job Queries 72
- Projects 17

50,648 questions

56,430 answers

195,210 comments

99,924 users