Robert Kennedy wrote on 12/21/06 13:58:
Right now we can have SSA_NAMEs in the
list which are no longer used, and we have no way to tell whether they
are used or not. Thus the only way to see all valid SSA_NAMEs is to
walk the code.
To wit: are there iteration macros somewhere that will help me walk
the code while abstracting away all the ugly details like stmt/bb
boundaries, etc.?
No. The code is segmented into basic blocks. To walk the code, you
must walk each basic block.
Something I forgot to add in my previous message. Notice that it is not
altogether rare to find cases where we have more SSA names than
statements. Are you walking the SSA names because you assume it's
always shorter than walking the statements?
