[prev] [prev-tail] [tail] [up]

6.5 Boolean operator reduction transformations

Boolean operator reduction transformation are low level transformations. As such, the labels generated as a result should simply add a suffix to the original labels. For example,

    if ((x == y) && (x < 0)) goto endIf2_loop5;

translates to

    if (!(x == y)) goto endIf2_loop5_1; 
    if (x < 0) goto endIf2_loop5; 
    endIf2_loop5_1:

[prev] [prev-tail] [front] [up]