function PBMAIN
  block entry
    alloca -> 1
    store v1,0
    alloca -> 2
    store v2,0
    alloca -> 3
    store v3,0
    gep -> 4 v2,0
    store v4,1000000000000000000
    gep -> 5 v2,8
    store v5,0
    gep -> 6 v2,0
    load -> 7 v6
    gep -> 8 v2,8
    load -> 9 v8
    shr -> 10 1000000000000000000,63
    cmp_eq -> 11 v7,1000000000000000000
    cmp_eq -> 12 v9,v10
    and -> 13 v11,v12
    cast -> 14 v13
    cmp_ne -> 15 v14,0
    brcond v15,pb_if_then_PBMAIN_0,pb_if_else_PBMAIN_1
  block pb_if_then_PBMAIN_0
    load -> 16 v3
    add -> 17 v16,1
    store v3,v17
    br pb_if_end_PBMAIN_2
  block pb_if_else_PBMAIN_1
    br pb_if_end_PBMAIN_2
  block pb_if_end_PBMAIN_2
    load -> 18 v3
    store v1,v18
    load -> 19 v1
    ret v19
