Welcome to the GBF Test Portal

function phi_node_test_1(param1#0)
{
    lit#3 = 1;
    temp.a = lit#3;
    lit#5 = 2;
    temp.b = lit#5;
    lit#7 = 3;
    temp.c = lit#7;
    lit#9 = 4;
    temp.d = lit#9;
    lit#11 = true;
    temp.bool = lit#11;
    // RegionId(0)
    // RegionId(1)
    if (temp.bool) 
    {
    }
    // RegionId(2)
    else
    {
        lit#13 = 0;
    }
    lit#14 = 2;
    lit#15 = 1;
    fn_call#17 = test_func#16(lit#15, lit#14);
    phi<idx=1, regions=()> = {fn_call#17, temp.a, temp.b, ...phi<idx=0, regions=()>};
    fn_call#19 = echo#18(temp.arr);
    lit#20 = 0;
    return lit#20;
}