Welcome to the GBF Test Portal

function onCreated()
{
    <temp.thing>#3 = true;
    <temp.thing2>#6 = false;
    // RegionId(0)
    // Unresolved nodes:
    // idx=0: temp.thing3
    // RegionId(1)
    // Unresolved nodes:
    // idx=0: fn_call
    // idx=1: temp.thing3
    if (<temp.thing>#3 == <temp.thing2>#6) 
    {
        fn_call#10 = foo#9();
    }
    // RegionId(2)
    // Unresolved nodes:
    // idx=0: fn_call
    // idx=1: temp.thing3
    else
    {
        fn_call#12 = bar#11("test");
    }
    phi<idx=0, regions=(RegionId(2), RegionId(1))> = <temp.thing3>#8;
    return 0;
}