Thanks for the explanation... but does it satisfy SSA? It seems that register gets overwritten more than 1 time when using itself as input? Shouldn't SSA unroll such structures into ones that don't reference itself?<br>
<br>
And is it the same with LLVM's internal structures (PHINode)? I mean, is PHINode a "register" or just an "expression"? If it's meant to be an expression, then it still looks strange to be recursive, because there's no "previous" value for it to reference...<br>
-- <br>
With best regards,<br>
  Vitaliy Filippov