gablin / ghb-thesis Goto Github PK

Braun et al. [58] introduced another graph-based IR, called F irm , but because
it is based on the Click-Paleczny graph F irm also does not fulfill R3. Moreover, it
fulfills neither R4 nor R8.

In my opinion Firm fulfills R3 and R8. Can you correct it or explain why this is not the case?

In addition, since the SSA graph is devoid of control-flow information, none of the -based techniques can support inter-block instructions.

1. There's a PBQP missing in the sentence
2. We also support patterns than span multiple basic blocks (as Firm is not "devoid of control-flow information")