SSAT.txt

// classical SSA structure
function (%1 %2)
main:
    %3 = icmp %1 %2
    condbr %3 branch1 branch2
branch1:
    %4 = add %1 %2
    br merge
branch2:
    %5 = mul %1 %2
    br merge
merge:
    %6 = phi [branch1, %4] [branch2, %5]
    ret %6

// SSAT structure
function (%1 %2)
    %3 = icmp %1 %2
    %6 = label result:
        condbr %3
            true-branch
                %4 = add %1 %2
                merge result %4
            false-branch
                %5 = mul %1 %2
                merge result %5
    ret %6

// SSAT structure, when merges are returns
function (%1 %2)
    %3 = icmp %1 %2
    condbr %3
        true-branch
            %4 = add %1 %2
            ret %4
        false-branch
            %5 = mul %1 %2
            ret %5