0 votes 0 votes Definition of Static Single Assignment Static single-assignment form arranges for every value computed by a program to have a unique assignment (aka, “definition”) but p3 = a - b q4 = p3 * c p4 = u * v q5 = p4 + q4 is an valid example of SSA Now, tell me a,b,c,u,v are not assigned or previously recognized Then how this is a valid example of SSA? for ref see here Compiler Design compiler-design static-single-assignment + – srestha asked May 31, 2018 srestha 538 views answer comment Share Follow See 1 comment See all 1 1 comment reply Shaik Masthan commented Jul 25, 2018 reply Follow Share mam, a,b,c,u,v if previously not recognized then how you can use it? therefore need not to specially mention that they are recognized, by default we can assume they are recognized. 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes 1. Each assignment to a temporary is given a unique name 2. All of the uses reached by that assignment are renamed because of this. we are giving unique name to p as p3 as a-b is temporary assigned to p3. now, p3 is used and q renamed as q4. sonveer tomar 1 answered May 31, 2018 sonveer tomar 1 comment Share Follow See all 2 Comments See all 2 2 Comments reply srestha commented May 31, 2018 reply Follow Share no,I am telling why a,b are not stored in separate temporary variable? like t1=1, t2=b like that 0 votes 0 votes sonveer tomar 1 commented Jun 1, 2018 reply Follow Share Read definition you have written, every value computed to have a unique assignment. we are giving temporary variable to the value computed. They variable b are already a variable so why we need again to give them 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes a,b,c,u,v are loaded initially into temporary variables. So extra temporary variables are required for them. ronak.ladhar answered Dec 31, 2020 ronak.ladhar comment Share Follow See all 0 reply Please log in or register to add a comment.