search for: indvar_next

...gt; B; > C; > >has to be transformed into: > > B; > A: > C; > >(where the motion of B is copy it to the other side of all control >flows into A) > >When you do this, you'll notice you get: > >$ cat t.c >int foo() { > unsigned indvar_next27, indvar_next; > int sum_1, sum_0_pn, i_0_pn; > //entry: > unsigned indvar26 = 0; > int sum_0_pn_ph = 0; > //brlabel %bb8_outer > //bb8_outer: > for (indvar_next27=0; indvar_next27 != 10; ){ > int i_0_0_ph = (int) indvar26; > unsigned indvar= 0; &gt...

Dear Prof.Adve and Bill, I deeply appreciate your comments and concerns. (Please forgive my late response. I've tried some more cases to make this issue) As Prof.Adve mentioned, I need to explain exactly what my problem is, but I have no good ability that I can explain it in this plain text space. For this reason, I made a .pdf file and linked it as follows: