aom-inspect

; function: $_od_ec_decode_cdf_q15

; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, -1:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 28:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 16:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 32:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 8:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = lshr %2, 16:i32
%4:i32 = var
%5 = lshr %4, 6:i32
%6:i32 = var
%7 = lshr %6, 8:i32
%8 = mul %5, %7
%9 = lshr %8, 1:i32
%10:i32 = var
%11 = add %10, -1:i32
%12 = xor %0, -1:i32
%13 = add %11, %12
%14 = shl %13, 2:i32
%15 = add %9, %14
%16 = ult %3, %15
pc %16 1:i1
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2 = shl %1, 1:i32
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = add %1, 1:i32
%3 = shl %2, 1:i32
%4 = add %0, %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 6:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 6:i32
%2:i32 = var
%3 = lshr %2, 8:i32
%4 = mul %1, %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 6:i32
%2:i32 = var
%3 = lshr %2, 8:i32
%4 = mul %1, %3
%5 = lshr %4, 1:i32
infer %5


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = xor %0, -1:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, -1:i32
%2:i32 = var
%3 = xor %2, -1:i32
%4 = add %1, %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, -1:i32
%2:i32 = var
%3 = xor %2, -1:i32
%4 = add %1, %3
%5 = shl %4, 2:i32
infer %5


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 6:i32
%2:i32 = var
%3 = lshr %2, 8:i32
%4 = mul %1, %3
%5 = lshr %4, 1:i32
%6:i32 = var
%7 = add %6, -1:i32
%8:i32 = var
%9 = xor %8, -1:i32
%10 = add %7, %9
%11 = shl %10, 2:i32
%12 = add %5, %11
%13:i32 = var
%14 = lshr %13, 16:i32
%15 = ult %14, %12
pc %15 1:i1
infer %12


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 16:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = ult %1, %14
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 16:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = ult %1, %14
%16:i32 = zext %15
%17 = eq %16, 0:i32
infer %17


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 16:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = ult %1, %14
%16:i32 = zext %15
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 34:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %1, 6:i32
%3:i32 = var
%4 = lshr %3, 8:i32
%5 = mul %2, %4
%6 = lshr %5, 1:i32
%7:i32 = var
%8 = add %7, -1:i32
%9:i32 = var
%10 = xor %9, -1:i32
%11 = add %8, %10
%12 = shl %11, 2:i32
%13 = add %6, %12
%14 = sub %0, %13
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %1, 6:i32
%3:i32 = var
%4 = lshr %3, 8:i32
%5 = mul %2, %4
%6 = lshr %5, 1:i32
%7:i32 = var
%8 = add %7, -1:i32
%9:i32 = var
%10 = xor %9, -1:i32
%11 = add %8, %10
%12 = shl %11, 2:i32
%13 = add %6, %12
%14 = sub %0, %13
%15 = ctlz %14
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %1, 6:i32
%3:i32 = var
%4 = lshr %3, 8:i32
%5 = mul %2, %4
%6 = lshr %5, 1:i32
%7:i32 = var
%8 = add %7, -1:i32
%9:i32 = var
%10 = xor %9, -1:i32
%11 = add %8, %10
%12 = shl %11, 2:i32
%13 = add %6, %12
%14 = sub %0, %13
%15 = ctlz %14
%16 = xor %15, 31:i32
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %1, 6:i32
%3:i32 = var
%4 = lshr %3, 8:i32
%5 = mul %2, %4
%6 = lshr %5, 1:i32
%7:i32 = var
%8 = add %7, -1:i32
%9:i32 = var
%10 = xor %9, -1:i32
%11 = add %8, %10
%12 = shl %11, 2:i32
%13 = add %6, %12
%14 = sub %0, %13
%15 = ctlz %14
%16 = xor %15, 31:i32
%17 = sub 15:i32, %16
infer %17


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = sub %1, %14
%16 = ctlz %15
%17 = xor %16, 31:i32
%18 = sub 15:i32, %17
%19 = sub %0, %18
infer %19


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = mul %0, %0
%3 = lshr %2, 1:i32
%4 = add %0, %0
%5 = shl %4, 2:i32
%6 = add %3, %5
%7 = sub %1, %6
%8 = ctlz %7
%9 = xor %8, 31:i32
%10 = sub 15:i32, %9
%11 = sub %0, %10
%12 = and %11, 65535:i32
%13:i32 = var
%14:i32 = var
%15 = ult %13, %14
%16 = shl %11, 16:i32
%17 = ashr %16, 16:i32
%18 = sub 8:i32, %17
%19 = sle -1:i32, %18
%20:i32 = zext %19
%21:i32 = zext %15
%22 = and %20, %21
%23 = eq %22, 0:i32
pc %15 1:i1
pc %23 1:i1
infer %12


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = lshr %0, 6:i32
%2:i32 = var
%3 = lshr %2, 8:i32
%4 = mul %1, %3
%5 = lshr %4, 1:i32
%6:i32 = var
%7 = add %6, -1:i32
%8:i32 = var
%9 = xor %8, -1:i32
%10 = add %7, %9
%11 = shl %10, 2:i32
%12 = add %5, %11
%13 = shl %12, 16:i32
infer %13


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = shl %14, 16:i32
%16 = sub %1, %15
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = shl %14, 16:i32
%16 = sub %1, %15
%17:i32 = var
%18 = sub %17, %14
%19 = ctlz %18
%20 = xor %19, 31:i32
%21 = sub 15:i32, %20
%22 = shl %16, %21
infer %22


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = lshr %2, 6:i32
%4:i32 = var
%5 = lshr %4, 8:i32
%6 = mul %3, %5
%7 = lshr %6, 1:i32
%8:i32 = var
%9 = add %8, -1:i32
%10:i32 = var
%11 = xor %10, -1:i32
%12 = add %9, %11
%13 = shl %12, 2:i32
%14 = add %7, %13
%15 = shl %14, 16:i32
%16 = sub %1, %15
%17:i32 = var
%18 = sub %17, %14
%19 = ctlz %18
%20 = xor %19, 31:i32
%21 = sub 15:i32, %20
%22 = shl %16, %21
%23 = add %22, -1:i32
infer %23


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %1, 6:i32
%3:i32 = var
%4 = lshr %3, 8:i32
%5 = mul %2, %4
%6 = lshr %5, 1:i32
%7:i32 = var
%8 = add %7, -1:i32
%9:i32 = var
%10 = xor %9, -1:i32
%11 = add %8, %10
%12 = shl %11, 2:i32
%13 = add %6, %12
%14 = sub %0, %13
%15 = ctlz %14
%16 = xor %15, 31:i32
%17 = sub 15:i32, %16
%18 = shl %14, %17
infer %18


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %0, 1:i32
%3 = shl %0, 2:i32
%4 = add %2, %3
%5 = sub %1, %4
%6 = ctlz %5
%7 = xor %6, 31:i32
%8 = sub 15:i32, %7
%9 = sub %0, %8
%10 = and %9, 65535:i32
%11 = shl %10, 16:i32
infer %11


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = add %0, %0
%3 = sub %1, %2
%4 = ctlz %3
%5 = xor %4, 31:i32
%6 = sub 15:i32, %5
%7 = sub %0, %6
%8 = and %7, 65535:i32
%9 = shl %8, 16:i32
%10 = ashr %9, 16:i32
infer %10


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = sub %1, %0
%3 = ctlz %2
%4 = xor %3, 31:i32
%5 = sub 15:i32, %4
%6 = sub %0, %5
%7 = and %6, 65535:i32
%8 = shl %7, 16:i32
%9 = ashr %8, 16:i32
%10 = slt 0:i32, %9
infer %10


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = xor %0, 31:i32
%2 = sub 15:i32, %1
%3 = sub %0, %2
%4 = and %3, 65535:i32
%5 = shl %4, 16:i32
%6 = ashr %5, 16:i32
%7 = slt 0:i32, %6
%8:i32 = zext %7
%9 = eq %8, 0:i32
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = ctlz %0
%2 = xor %1, 31:i32
%3 = sub 15:i32, %2
%4 = sub %0, %3
%5 = and %4, 65535:i32
%6 = shl %5, 16:i32
%7 = ashr %6, 16:i32
%8 = slt 0:i32, %7
%9:i32 = zext %8
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = mul %0, %0
%3 = lshr %2, 1:i32
%4 = add %0, %0
%5 = shl %4, 2:i32
%6 = add %3, %5
%7 = sub %1, %6
%8 = ctlz %7
%9 = xor %8, 31:i32
%10 = sub 15:i32, %9
%11 = sub %0, %10
%12 = shl %11, 16:i32
infer %12


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = lshr %0, 1:i32
%3 = shl %0, 2:i32
%4 = add %2, %3
%5 = sub %1, %4
%6 = ctlz %5
%7 = xor %6, 31:i32
%8 = sub 15:i32, %7
%9 = sub %0, %8
%10 = shl %9, 16:i32
%11 = ashr %10, 16:i32
infer %11


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = add %0, %0
%3 = sub %1, %2
%4 = ctlz %3
%5 = xor %4, 31:i32
%6 = sub 15:i32, %5
%7 = sub %0, %6
%8 = shl %7, 16:i32
%9 = ashr %8, 16:i32
%10 = sub 8:i32, %9
%11 = sle -1:i32, %10
%12:i32 = zext %11
%13:i32 = var
%14:i32 = var
%15 = ult %13, %14
%16:i32 = zext %15
%17 = and %12, %16
%18 = ne %17, 0:i32
pc %18 1:i1
infer %10


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = sub %1, %0
%3 = ctlz %2
%4 = xor %3, 31:i32
%5 = sub 15:i32, %4
%6 = sub %0, %5
%7 = shl %6, 16:i32
%8 = ashr %7, 16:i32
%9 = sub 8:i32, %8
%10 = sle -1:i32, %9
infer %10


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 24:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = ctlz %0
%2 = xor %1, 31:i32
%3 = sub 15:i32, %2
%4 = sub %0, %3
%5 = shl %4, 16:i32
%6 = ashr %5, 16:i32
%7 = sub 8:i32, %6
%8 = sle -1:i32, %7
%9:i32 = zext %8
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
%3:i32 = zext %2
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = xor %0, 31:i32
%2 = sub 15:i32, %1
%3 = sub %0, %2
%4 = shl %3, 16:i32
%5 = ashr %4, 16:i32
%6 = sub 8:i32, %5
%7 = sle -1:i32, %6
%8:i32 = zext %7
%9:i32 = var
%10:i32 = var
%11 = ult %9, %10
%12:i32 = zext %11
%13 = and %8, %12
infer %13


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = shl %0, %1
%3:i32 = var
%4 = sub 15:i32, %0
%5 = sub %3, %4
%6 = shl %5, 16:i32
%7 = ashr %6, 16:i32
%8 = sub 8:i32, %7
%9 = sle -1:i32, %8
%10:i32 = zext %9
%11:i32 = var
%12:i32 = var
%13 = ult %11, %12
%14:i32 = zext %13
%15 = and %10, %14
%16 = ne %15, 0:i32
pc %16 1:i1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = shl %0, %1
%3:i32 = var
%4 = xor %2, %3
%5:i32 = var
%6 = sub 15:i32, %0
%7 = sub %5, %6
%8 = shl %7, 16:i32
%9 = ashr %8, 16:i32
%10 = sub 8:i32, %9
%11 = sle -1:i32, %10
%12:i32 = zext %11
%13:i32 = var
%14:i32 = var
%15 = ult %13, %14
%16:i32 = zext %15
%17 = and %12, %16
%18 = ne %17, 0:i32
pc %18 1:i1
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = and %0, 65535:i32
%2:i32 = var
%3 = sub 15:i32, %0
%4 = sub %2, %3
%5 = shl %4, 16:i32
%6 = ashr %5, 16:i32
%7 = sub 8:i32, %6
%8 = sle -1:i32, %7
%9:i32 = zext %8
%10:i32 = var
%11:i32 = var
%12 = ult %10, %11
%13:i32 = zext %12
%14 = and %9, %13
%15 = ne %14, 0:i32
pc %15 1:i1
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = and %0, 65535:i32
%2 = add %1, 8:i32
%3:i32 = var
%4 = sub 15:i32, %0
%5 = sub %3, %4
%6 = shl %5, 16:i32
%7 = ashr %6, 16:i32
%8 = sub 8:i32, %7
%9 = sle -1:i32, %8
%10:i32 = zext %9
%11:i32 = var
%12:i32 = var
%13 = ult %11, %12
%14:i32 = zext %13
%15 = and %10, %14
%16 = ne %15, 0:i32
pc %16 1:i1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, -8:i32
%2 = sle 7:i32, %0
%3:i32 = zext %2
%4:i32 = var
%5 = add %4, 1:i32
%6:i32 = var
%7 = ult %5, %6
%8:i32 = zext %7
%9 = and %3, %8
%10 = ne %9, 0:i32
%11:i32 = var
%12 = sub 15:i32, %0
%13 = sub %11, %12
%14 = shl %13, 16:i32
%15 = ashr %14, 16:i32
%16 = sub 8:i32, %15
%17 = sle -1:i32, %16
%18:i32 = zext %17
%19:i32 = var
%20 = ult %19, %6
%21:i32 = zext %20
%22 = and %18, %21
%23 = ne %22, 0:i32
pc %10 1:i1
pc %23 1:i1
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = var
%3 = sub 15:i32, %0
%4 = sub %2, %3
%5 = shl %4, 16:i32
%6 = ashr %5, 16:i32
%7 = sub 8:i32, %6
%8 = sle -1:i32, %7
%9:i32 = zext %8
%10:i32 = var
%11:i32 = var
%12 = ult %10, %11
%13:i32 = zext %12
%14 = and %9, %13
%15 = ne %14, 0:i32
pc %15 1:i1
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = sle 7:i32, %2
%4:i32 = zext %3
%5:i32 = var
%6 = ult %1, %5
%7:i32 = zext %6
%8 = and %4, %7
%9 = ne %8, 0:i32
%10:i32 = var
%11 = sub 15:i32, %0
%12 = sub %10, %11
%13 = shl %12, 16:i32
%14 = ashr %13, 16:i32
%15 = sub 8:i32, %14
%16 = sle -1:i32, %15
%17:i32 = zext %16
%18:i32 = var
%19 = ult %18, %5
%20:i32 = zext %19
%21 = and %17, %20
%22 = ne %21, 0:i32
pc %9 1:i1
pc %22 1:i1
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = var
%5 = sub 15:i32, %0
%6 = sub %4, %5
%7 = shl %6, 16:i32
%8 = ashr %7, 16:i32
%9 = sub 8:i32, %8
%10 = sle -1:i32, %9
%11:i32 = zext %10
%12:i32 = var
%13 = ult %12, %2
%14:i32 = zext %13
%15 = and %11, %14
%16 = ne %15, 0:i32
pc %16 1:i1
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
%3:i32 = var
%4 = add %3, 1:i32
%5:i32 = var
%6 = ult %4, %5
%7:i32 = zext %6
%8 = and %2, %7
%9:i32 = var
%10 = sub 15:i32, %0
%11 = sub %9, %10
%12 = shl %11, 16:i32
%13 = ashr %12, 16:i32
%14 = sub 8:i32, %13
%15 = sle -1:i32, %14
%16:i32 = zext %15
%17:i32 = var
%18 = ult %17, %5
%19:i32 = zext %18
%20 = and %16, %19
%21 = ne %20, 0:i32
pc %21 1:i1
infer %8


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
%3:i32 = var
%4 = add %3, 1:i32
%5:i32 = var
%6 = ult %4, %5
%7:i32 = zext %6
%8 = and %2, %7
%9 = ne %8, 0:i32
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
%3:i32 = var
%4 = add %3, 1:i32
%5:i32 = var
%6 = ult %4, %5
%7:i32 = zext %6
%8 = and %2, %7
%9 = eq %8, 0:i32
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = and %0, 65535:i32
%2 = add %1, 8:i32
%3 = and %2, 65535:i32
%4:i32 = var
%5 = sub 15:i32, %0
%6 = sub %4, %5
%7 = shl %6, 16:i32
%8 = ashr %7, 16:i32
%9 = sub 8:i32, %8
%10 = sle -1:i32, %9
%11:i32 = zext %10
%12:i32 = var
%13:i32 = var
%14 = ult %12, %13
%15:i32 = zext %14
%16 = and %11, %15
%17 = ne %16, 0:i32
pc %17 1:i1
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
%5 = eq %4, 0:i32
%6:i32 = var
%7 = sub 15:i32, %0
%8 = sub %6, %7
%9 = shl %8, 16:i32
%10 = ashr %9, 16:i32
%11 = sub 8:i32, %10
%12 = sle -1:i32, %11
%13:i32 = zext %12
%14:i32 = var
%15 = ult %14, %2
%16:i32 = zext %15
%17 = and %13, %16
%18 = ne %17, 0:i32
pc %18 1:i1
infer %5


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
%3:i32 = zext %2
%4 = eq %3, 0:i32
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
%3:i32 = zext %2
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sub 15:i32, %0
%2 = sub %0, %1
%3 = shl %2, 16:i32
%4 = ashr %3, 16:i32
%5 = sub 8:i32, %4
%6 = sle -1:i32, %5
%7:i32 = zext %6
%8:i32 = var
%9:i32 = var
%10 = ult %8, %9
%11:i32 = zext %10
%12 = and %7, %11
%13 = ne %12, 0:i32
infer %13


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sub 15:i32, %0
%2 = sub %0, %1
%3 = shl %2, 16:i32
%4 = ashr %3, 16:i32
%5 = sub 8:i32, %4
%6 = sle -1:i32, %5
%7:i32 = zext %6
%8:i32 = var
%9:i32 = var
%10 = ult %8, %9
%11:i32 = zext %10
%12 = and %7, %11
%13 = eq %12, 0:i32
infer %13


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
infer %0


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = sub %1, %0
%3 = shl %2, 16:i32
%4 = ashr %3, 16:i32
%5 = sub 8:i32, %4
%6 = sle -1:i32, %5
%7:i32 = zext %6
%8:i32 = var
%9:i32 = var
%10 = ult %8, %9
%11:i32 = zext %10
%12 = and %7, %11
%13 = ne %12, 0:i32
blockpc %0 0 %13 1:i1
infer %0


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = sub %1, %0
%3 = shl %2, 16:i32
%4 = ashr %3, 16:i32
%5 = sub 8:i32, %4
%6 = sle -1:i32, %5
%7:i32 = zext %6
%8:i32 = var
%9:i32 = var
%10 = ult %8, %9
%11:i32 = zext %10
%12 = and %7, %11
%13 = eq %12, 0:i32
blockpc %0 1 %13 1:i1
infer %0


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %26, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16 = and %15, 65535:i32
%17:i32 = var
%18:i32 = var
%19 = lshr %0, 1:i32
%20 = shl %0, 2:i32
%21 = add %19, %20
%22 = sub %18, %21
%23 = ctlz %22
%24 = xor %23, 31:i32
%25 = sub 15:i32, %24
%0:i32 = var
%27 = and %26, 65535:i32
%28 = phi %0, %16, %27
infer %28


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14:i32 = var
%15 = shl %13, %14
%16:i32 = var
%17 = xor %15, %16
%18:i32 = var
%19 = add %18, 1:i32
%20:i32 = var
%21 = lshr %20, 6:i32
%22:i32 = var
%23 = lshr %22, 8:i32
%24 = mul %21, %23
%25 = lshr %24, 1:i32
%26:i32 = var
%27 = add %26, -1:i32
%28 = add %27, %0
%29 = shl %28, 2:i32
%30 = add %25, %29
%31 = shl %30, 16:i32
%32 = sub %19, %31
%33 = shl %32, %0
%34 = add %33, -1:i32
%35 = phi %0, %17, %34
infer %35


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = phi %0, %14, %6
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %26, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16 = and %15, 65535:i32
%17:i32 = var
%18:i32 = var
%19 = lshr %0, 1:i32
%20 = shl %0, 2:i32
%21 = add %19, %20
%22 = sub %18, %21
%23 = ctlz %22
%24 = xor %23, 31:i32
%25 = sub 15:i32, %24
%0:i32 = var
%27 = and %26, 65535:i32
%28 = phi %0, %16, %27
infer %28


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %27, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16:i32 = var
%17:i32 = var
%18 = mul %0, %0
%19 = lshr %18, 1:i32
%20 = add %0, %0
%21 = shl %20, 2:i32
%22 = add %19, %21
%23 = sub %17, %22
%24 = ctlz %23
%25 = xor %24, 31:i32
%26 = sub 15:i32, %25
%0:i32 = var
%28 = phi %0, %15, %27
infer %28


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = ult %14, %7
%16:i32 = zext %15
%17:i32 = zext %8
%18 = phi %0, %16, %17
infer %18


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
%3:i32 = zext %2
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = add %13, -8:i32
%15 = phi %0, %14, %3
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = phi %0, %13, 0:i32
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14:i32 = var
%15 = shl %13, %14
%16 = phi %0, %15, 0:i32
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = phi %0, %14, 0:i32
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = sle 7:i32, %13
%15:i32 = zext %14
%16 = phi %0, %15, 0:i32
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = sle 7:i32, %13
%15:i32 = zext %14
%16:i32 = var
%17 = add %16, 1:i32
%18 = ult %17, %7
%19:i32 = zext %18
%20 = and %15, %19
%21 = phi %0, %20, 0:i32
infer %21


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = shl %0, 16:i32
%2 = ashr %1, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %0 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %0 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = ult %14, %7
%16:i32 = zext %15
%17 = eq %16, 0:i32
%18:i32 = zext %17
%19 = phi %0, %18, 0:i32
infer %19


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
%5 = eq %4, 0:i32
%6:i32 = zext %5
infer %6


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
infer %0


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = shl %1, %2
%4:i32 = var
%5 = xor %3, %4
%6:i32 = var
%7 = add %6, 1:i32
%8:i32 = var
%9 = lshr %8, 6:i32
%10:i32 = var
%11 = lshr %10, 8:i32
%12 = mul %9, %11
%13 = lshr %12, 1:i32
%14:i32 = var
%15 = add %14, -1:i32
%16:i32 = var
%17 = xor %16, -1:i32
%18 = add %15, %17
%19 = shl %18, 2:i32
%20 = add %13, %19
%21 = shl %20, 16:i32
%22 = sub %7, %21
%23:i32 = var
%24 = sub %23, %20
%25 = ctlz %24
%26 = xor %25, 31:i32
%27 = sub 15:i32, %26
%28 = shl %22, %27
%29 = add %28, -1:i32
%30 = phi %0, %5, %29
infer %30


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = add %1, 1:i32
%3:i32 = var
%4 = phi %0, %2, %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4 = and %3, 65535:i32
%5:i32 = var
%6:i32 = var
%7 = lshr %0, 1:i32
%8 = shl %0, 2:i32
%9 = add %7, %8
%10 = sub %6, %9
%11 = ctlz %10
%12 = xor %11, 31:i32
%13 = sub 15:i32, %12
%14 = sub %5, %13
%15 = and %14, 65535:i32
%16 = phi %0, %4, %15
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4:i32 = var
%5:i32 = var
%6 = mul %0, %0
%7 = lshr %6, 1:i32
%8 = add %0, %0
%9 = shl %8, 2:i32
%10 = add %7, %9
%11 = sub %5, %10
%12 = ctlz %11
%13 = xor %12, 31:i32
%14 = sub 15:i32, %13
%15 = sub %4, %14
%16 = phi %0, %3, %15
infer %16


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = add %1, 1:i32
%3:i32 = var
%4 = ult %2, %3
%5:i32 = zext %4
%6:i32 = var
%7 = ult %6, %3
%8:i32 = zext %7
%9 = phi %0, %5, %8
infer %9


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1:i32 = var
%2 = ult %0, %1
%3:i32 = zext %2
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = add %1, -8:i32
%3:i32 = var
%4:i32 = var
%5 = sub %4, %0
%6 = ctlz %5
%7 = xor %6, 31:i32
%8 = sub 15:i32, %7
%9 = sub %3, %8
%10 = shl %9, 16:i32
%11 = ashr %10, 16:i32
%12 = sub 8:i32, %11
%13 = phi %0, %2, %12
infer %13


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = phi %0, %1, 0:i32
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2:i32 = var
%3 = shl %1, %2
%4 = phi %0, %3, 0:i32
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = phi %0, %2, 0:i32
infer %3


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = sle 7:i32, %1
%3:i32 = zext %2
%4 = phi %0, %3, 0:i32
infer %4


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = sle 7:i32, %0
%2:i32 = zext %1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = sle 7:i32, %1
%3:i32 = zext %2
%4:i32 = var
%5 = add %4, 1:i32
%6:i32 = var
%7 = ult %5, %6
%8:i32 = zext %7
%9 = and %3, %8
%10 = phi %0, %9, 0:i32
infer %10


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = add %1, 1:i32
%3:i32 = var
%4 = ult %2, %3
%5:i32 = zext %4
%6 = eq %5, 0:i32
%7:i32 = zext %6
%8 = phi %0, %7, 0:i32
infer %8


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 1:i32
%2:i32 = var
%3 = ult %1, %2
%4:i32 = zext %3
%5 = eq %4, 0:i32
%6:i32 = zext %5
infer %6


; start LHS (in $_od_ec_decode_cdf_q15)
%0:i32 = var
%1 = add %0, 16:i32
infer %1


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4:i32 = var
%5:i32 = var
%6 = lshr %0, 1:i32
%7 = shl %0, 2:i32
%8 = add %6, %7
%9 = sub %5, %8
%10 = ctlz %9
%11 = xor %10, 31:i32
%12 = sub 15:i32, %11
%13 = sub %4, %12
%14 = phi %0, %3, %13
%15 = shl %14, 16:i32
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4:i32 = var
%5:i32 = var
%6 = add %0, %0
%7 = sub %5, %6
%8 = ctlz %7
%9 = xor %8, 31:i32
%10 = sub 15:i32, %9
%11 = sub %4, %10
%12 = phi %0, %3, %11
%13 = shl %12, 16:i32
%14 = ashr %13, 16:i32
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4:i32 = var
%5:i32 = var
%6 = sub %5, %0
%7 = ctlz %6
%8 = xor %7, 31:i32
%9 = sub 15:i32, %8
%10 = sub %4, %9
%11 = phi %0, %3, %10
%12 = shl %11, 16:i32
%13 = ashr %12, 16:i32
%14 = sub 16384:i32, %13
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = and %1, 65535:i32
%3 = add %2, 8:i32
%4:i32 = var
%5 = ctlz %0
%6 = xor %5, 31:i32
%7 = sub 15:i32, %6
%8 = sub %4, %7
%9 = phi %0, %3, %8
%10 = shl %9, 16:i32
%11 = ashr %10, 16:i32
%12 = sub 16384:i32, %11
%13:i32 = var
%14 = add %12, %13
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
infer %0


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16 = and %15, 65535:i32
%17:i32 = var
%18:i32 = var
%19 = add %0, %0
%20 = sub %18, %19
%21 = ctlz %20
%22 = xor %21, 31:i32
%23 = sub 15:i32, %22
%24 = sub %17, %23
%25 = and %24, 65535:i32
%26 = phi %1, %16, %25
%27 = phi %0, %26, 16384:i32
infer %27


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14:i32 = var
%15 = shl %13, %14
%16:i32 = var
%17 = xor %15, %16
%18:i32 = var
%19 = add %18, 1:i32
%20 = mul %0, %0
%21 = lshr %20, 1:i32
%22 = add %0, %0
%23 = shl %22, 2:i32
%24 = add %21, %23
%25 = shl %24, 16:i32
%26 = sub %19, %25
%27:i32 = var
%28 = sub %27, %24
%29 = ctlz %28
%30 = xor %29, 31:i32
%31 = sub 15:i32, %30
%32 = shl %26, %31
%33 = add %32, -1:i32
%34 = phi %1, %17, %33
%35 = block 2
%36 = phi %35, %17, %33
%37 = phi %0, %34, %36
infer %37


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = phi %1, %14, %6
%16 = block 2
%17 = phi %16, %14, %6
%18 = phi %0, %15, %17
infer %18


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16 = and %15, 65535:i32
%17:i32 = var
%18:i32 = var
%19 = add %0, %0
%20 = sub %18, %19
%21 = ctlz %20
%22 = xor %21, 31:i32
%23 = sub 15:i32, %22
%24 = sub %17, %23
%25 = and %24, 65535:i32
%26 = phi %1, %16, %25
%27 = block 2
%28 = phi %27, %16, %25
%29 = phi %0, %26, %28
infer %29


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = add %14, 8:i32
%16:i32 = var
%17:i32 = var
%18 = lshr %0, 1:i32
%19 = shl %0, 2:i32
%20 = add %18, %19
%21 = sub %17, %20
%22 = ctlz %21
%23 = xor %22, 31:i32
%24 = sub 15:i32, %23
%25 = sub %16, %24
%26 = phi %1, %15, %25
%27 = block 2
%28 = phi %27, %15, %25
%29 = phi %0, %26, %28
infer %29


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = ult %14, %7
%16:i32 = zext %15
%17:i32 = zext %8
%18 = phi %1, %16, %17
%19 = block 2
%20:i32 = zext %15
%21:i32 = zext %8
%22 = phi %19, %20, %21
%23 = phi %0, %18, %22
infer %23


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = add %13, -8:i32
%15 = phi %1, %14, %3
%16 = block 2
%17 = phi %16, %14, %3
%18 = phi %0, %15, %17
infer %18


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = phi %1, %13, 0:i32
%15 = block 2
%16 = phi %15, %13, 0:i32
%17 = phi %0, %14, %16
infer %17


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14:i32 = var
%15 = shl %13, %14
%16 = phi %1, %15, 0:i32
%17 = block 2
%18 = phi %17, %15, 0:i32
%19 = phi %0, %16, %18
infer %19


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = and %13, 65535:i32
%15 = phi %1, %14, 0:i32
%16 = block 2
%17 = phi %16, %14, 0:i32
%18 = phi %0, %15, %17
infer %18


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = sle 7:i32, %13
%15:i32 = zext %14
%16 = phi %1, %15, 0:i32
%17 = block 2
%18:i32 = zext %14
%19 = phi %17, %18, 0:i32
%20 = phi %0, %16, %19
infer %20


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = sle 7:i32, %13
%15:i32 = zext %14
%16:i32 = var
%17 = add %16, 1:i32
%18 = ult %17, %7
%19:i32 = zext %18
%20 = and %15, %19
%21 = phi %1, %20, 0:i32
%22 = block 2
%23 = phi %22, %20, 0:i32
%24 = phi %0, %21, %23
infer %24


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2 = ashr %0, 16:i32
%3 = sub 8:i32, %2
%4 = sle -1:i32, %3
%5:i32 = zext %4
%6:i32 = var
%7:i32 = var
%8 = ult %6, %7
%9:i32 = zext %8
%10 = and %5, %9
%11 = ne %10, 0:i32
blockpc %1 0 %11 1:i1
%12 = eq %10, 0:i32
blockpc %1 1 %12 1:i1
%13:i32 = var
%14 = add %13, 1:i32
%15 = ult %14, %7
%16:i32 = zext %15
%17 = eq %16, 0:i32
%18:i32 = zext %17
%19 = phi %1, %18, 0:i32
%20 = block 2
%21:i32 = zext %17
%22 = phi %20, %21, 0:i32
%23 = phi %0, %19, %22
infer %23


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2:i32 = var
%3 = and %2, 65535:i32
%4 = add %3, 8:i32
%5:i32 = var
%6:i32 = var
%7 = add %0, %0
%8 = sub %6, %7
%9 = ctlz %8
%10 = xor %9, 31:i32
%11 = sub 15:i32, %10
%12 = sub %5, %11
%13 = phi %1, %4, %12
%14 = shl %13, 16:i32
%15 = phi %0, 0:i32, %14
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2:i32 = var
%3 = and %2, 65535:i32
%4 = add %3, 8:i32
%5:i32 = var
%6:i32 = var
%7 = sub %6, %0
%8 = ctlz %7
%9 = xor %8, 31:i32
%10 = sub 15:i32, %9
%11 = sub %5, %10
%12 = phi %1, %4, %11
%13 = shl %12, 16:i32
%14 = ashr %13, 16:i32
%15 = phi %0, 0:i32, %14
infer %15


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2:i32 = var
%3 = and %2, 65535:i32
%4 = add %3, 8:i32
%5:i32 = var
%6 = ctlz %0
%7 = xor %6, 31:i32
%8 = sub 15:i32, %7
%9 = sub %5, %8
%10 = phi %1, %4, %9
%11 = shl %10, 16:i32
%12 = ashr %11, 16:i32
%13 = sub 16384:i32, %12
%14 = phi %0, 0:i32, %13
infer %14


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1:i32 = var
%2 = phi %0, 0:i32, %1
infer %2


; start LHS (in $_od_ec_decode_cdf_q15)
%0 = block 2
%1 = block 2
%2:i32 = var
%3 = and %2, 65535:i32
%4 = add %3, 8:i32
%5:i32 = var
%6 = xor %0, 31:i32
%7 = sub 15:i32, %6
%8 = sub %5, %7
%9 = phi %1, %4, %8
%10 = shl %9, 16:i32
%11 = ashr %10, 16:i32
%12 = sub 16384:i32, %11
%13:i32 = var
%14 = add %12, %13
%15 = phi %0, 0:i32, %14
infer %15