%0:i32 = var
%1:i1 = slt 4294967295:i32, %0
%2:i32 = sub 0:i32, %0
%3:i32 = select %1, %0, %2
infer %3
%4:i32 = ashr %0, 31:i32
%5:i32 = xor %0, %4
%6:i32 = sub %5, %4
result %6

%0:i32 = var
%1:i32 = and 1:i32, %0
%2:i1 = ne 0:i32, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 1:i32
%3:i32 = add 4294967295:i32, %2
infer %3
%4:i32 = add 4294967295:i32, %1
%5:i32 = sext %0
%6:i32 = and %4, %5
result %6

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = subnsw 0:i32, %0
%3:i32 = select %1, %2, %0
infer %3
%4:i32 = ashr %0, 31:i32
%5:i32 = xor %0, %4
%6:i32 = sub %5, %4
result %6

%0:i8 = var
%1:i8 = and 1:i8, %0
%2:i1 = ne 0:i8, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i1 = ult %0, 2:i32
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i1 = ule 2:i32, %0
%4:i32 = zext %3
%5:i32 = lshr 2:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = subnsw %0, %1
%3:i1 = slt 4294967295:i32, %2
%4:i32 = subnsw 0:i32, %2
%5:i32 = select %3, %2, %4
infer %5
%6:i32 = sub %1, %0
%7:i32 = ashr %6, 31:i32
%8:i32 = add %6, %7
%9:i32 = xor %8, %7
result %9

%0:i64 = var
%1:i1 = slt 18446744073709551615:i64, %0
%2:i64 = subnsw 0:i64, %0
%3:i64 = select %1, %0, %2
infer %3
%4:i64 = ashr %0, 63:i64
%5:i64 = add %0, %4
%6:i64 = xor %5, %4
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 2:i32, 1:i32
%3:i32 = addnsw %0, %2
infer %3
%4:i32 = add 1:i32, %0
%5:i32 = sext %1
%6:i32 = sub %4, %5
result %6

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 1:i64
%3:i1 = eq 0:i64, %2
infer %3
%4:i64 = zext %0
%5:i1 = ult %1, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = addnsw %0, %1
%3:i1 = slt 4294967295:i32, %2
%4:i32 = sub 0:i32, %2
%5:i32 = select %3, %2, %4
infer %5
%6:i32 = add %0, %1
%7:i32 = ashr %6, 31:i32
%8:i32 = xor %6, %7
%9:i32 = sub %8, %7
result %9

%0:i5 = var
%1:i5 = and 1:i5, %0
%2:i1 = ne 0:i5, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
infer %3
%4:i32 = ashr %0, 31:i32
%5:i32 = and %2, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 0:i32, %1
%3:i1 = eq 0:i32, %2
infer %3
%4:i32 = sext %0
%5:i1 = ule %1, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = subnsw %0, %1
%3:i1 = slt 4294967295:i32, %2
%4:i32 = select %3, %2, 4294967295:i32
infer %4
%5:i32 = sub %0, %1
%6:i32 = ashr %5, 31:i32
%7:i32 = or %5, %6
result %7

%0:i64 = var
%1:i64 = and 1:i64, %0
%2:i1 = ne 0:i64, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i32 = srem %0, 2:i32
%2:i1 = eq 0:i32, %1
infer %2
%3:i32 = sub 7:i32, %0
%4:i1 = trunc %3
result %4

%0:i32 = var
%1:i1 = eq 18:i32, %0
%2:i64 = sext %0
%3:i64 = select %1, 17:i64, %2
infer %3
%4:i1 = eq 18:i64, %2
%5:i64 = zext %4
%6:i64 = sub %2, %5
result %6

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 0:i32
%3:i64 = sext %2
infer %3
%4:i64 = sext %0
%5:i64 = sext %1
%6:i64 = and %4, %5
result %6

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = select %1, 0:i32, %0
infer %2
%3:i32 = ashr %0, 31:i32
%4:i32 = and %0, %3
%5:i32 = sub %0, %4
result %5

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i1 = ne 2:i32, %0
%4:i32 = zext %3
%5:i32 = ashr 2:i32, %4
result %5

%0:i32 = var
%1:i32 = add 4294967295:i32, %0
%2:i1 = var
%3:i32 = var
%4:i32 = select %2, %3, 0:i32
%5:i32 = addnsw %1, %4
infer %5
%6:i32 = sext %2
%7:i32 = and %3, %6
%8:i32 = add %0, %7
%9:i32 = sub %8, 1:i32
result %9

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 1:i64
%3:i64 = and 18446744073709551608:i64, %2
infer %3
%4:i64 = sext %0
%5:i64 = shl %4, 3:i64
%6:i64 = and %1, %5
result %6

%0:i64 = var
%1:i1 = eq 0:i64, %0
%2:i64 = select %1, 1:i64, %0
infer %2
%3:i64 = zext %1
%4:i64 = or %0, %3
result %4

%0:i16 = var
%1:i1 = slt 65535:i16, %0
%2:i32 = sext %0
%3:i32 = subnsw 0:i32, %2
%4:i32 = select %1, %2, %3
infer %4
%5:i32 = lshr %2, 16:i32
%6:i32 = add %5, %2
%7:i32 = xor %6, %5
result %7

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 1:i32, 2:i32
infer %2
%3:i1 = ult %0, 1:i32
%4:i32 = zext %3
%5:i32 = shl 1:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 1:i32
%3:i32 = addnsw 4294967295:i32, %2
infer %3
%4:i32 = sext %0
%5:i32 = add %1, %4
%6:i32 = and %5, %4
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 4:i32, 0:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 2:i32
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = var
%3:i32 = addnsw 2:i32, %2
%4:i32 = select %1, %3, %2
infer %4
%5:i1 = ult %0, 1:i32
%6:i32 = zext %5
%7:i32 = shl %6, 1:i32
%8:i32 = add %2, %7
result %8

%0:i1 = var
%1:i8 = select %0, 4:i8, 3:i8
infer %1
%2:i8 = zext %0
%3:i8 = add 3:i8, %2
result %3

%0:i1 = var
%1:i32 = select %0, 4294967295:i32, 1:i32
%2:i1 = var
%3:i32 = select %2, 4294967295:i32, 1:i32
%4:i32 = and %1, %3
infer %4
%5:i32 = sext %0
%6:i32 = sext %2
%7:i32 = and %5, %6
%8:i32 = or 1:i32, %7
result %8

%0:i64 = var
%1:i64 = addnw 1:i64, %0
%2:i1 = var
%3:i64 = select %2, 2:i64, 1:i64
%4:i1 = slt %1, %3
infer %4
%5:i64 = zext %2
%6:i1 = slt %0, %5
result %6

%0:i64 = var
%1:i64 = var
%2:i1 = slt %0, %1
%3:i64 = var
%4:i64 = shlnsw %3, 1:i64
%5:i64 = or 1:i64, %4
%6:i64 = select %2, %5, %4
infer %6
%7:i64 = shl %3, 1:i64
%8:i64 = zext %2
%9:i64 = add %7, %8
result %9

%0:i32 = var
%1:i1 = slt 4294967295:i32, %0
%2:i32 = select %1, %0, 4294967295:i32
infer %2
%3:i32 = ashr %0, 31:i32
%4:i32 = or %0, %3
result %4

%0:i64 = var
%1:i64 = var
%2:i64 = addnsw %0, %1
%3:i1 = slt 18446744073709551615:i64, %2
%4:i64 = subnsw 0:i64, %2
%5:i64 = select %3, %2, %4
infer %5
%6:i64 = add %0, %1
%7:i64 = ashr %6, 63:i64
%8:i64 = xor %6, %7
%9:i64 = sub %8, %7
result %9

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, %3
result %4

%0:i4 = var
%1:i4 = and 1:i4, %0
%2:i1 = ne 0:i4, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i64 = var
%1:i1 = eq 0:i64, %0
%2:i64 = var
%3:i64 = shl 18446744073709551615:i64, %2
%4:i64 = select %1, 0:i64, %3
infer %4
%5:i1 = ult 0:i64, %0
%6:i64 = zext %5
%7:i64 = shl %6, %2
%8:i64 = sub 0:i64, %7
result %8

%0:i64 = var
%1:i64 = var
%2:i1 = slt %0, %1
%3:i64 = select %2, 2:i64, 3:i64
infer %3
%4:i1 = sle %1, %0
%5:i64 = zext %4
%6:i64 = or 2:i64, %5
result %6

%0:i1 = var
%1:i32 = select %0, 2:i32, 0:i32
%2:i1 = var
%3:i32 = zext %2
%4:i32 = or %1, %3
infer %4
%5:i32 = sext %0
%6:i32 = and 2:i32, %5
%7:i32 = sext %2
%8:i32 = sub %6, %7
result %8

%0:i16 = var
%1:i16 = and 1:i16, %0
%2:i1 = ne 0:i16, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
%4:i32 = addnsw %0, %3
infer %4
%5:i32 = sext %1
%6:i32 = and %2, %5
%7:i32 = add %0, %6
result %7

%0 = block 2
%1:i8 = var
%2:i8 = and 1:i8, %1
%3:i1 = ne 0:i8, %2
infer %3
%4:i1 = trunc %1
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 3:i32, 2:i32
infer %2
%3:i32 = zext %1
%4:i32 = add 2:i32, %3
result %4

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = var
%4:i32 = or 1:i32, %3
%5:i32 = select %2, %4, %3
infer %5
%6:i32 = zext %2
%7:i32 = or %3, %6
result %7

%0:i1 = var
%1:i32 = select %0, 2:i32, 0:i32
infer %1
%2:i32 = zext %0
%3:i32 = shl %2, 1:i32
result %3

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 1:i32, 2:i32
infer %2
%3:i1 = ule 1:i32, %0
%4:i32 = zext %3
%5:i32 = add 1:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 18:i32, %0
%2:i64 = zext %0
%3:i64 = select %1, 17:i64, %2
infer %3
%4:i1 = eq 18:i64, %2
%5:i64 = zext %4
%6:i64 = sub %2, %5
result %6

%0:i32 = var
%1:i1 = slt %0, 2:i32
%2:i32 = select %1, 2:i32, 3:i32
infer %2
%3:i1 = sle 2:i32, %0
%4:i32 = zext %3
%5:i32 = add 2:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 1:i32, 3:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = ashr 3:i32, %4
result %5

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 1:i64
%3:i64 = and 18446744073709551600:i64, %2
infer %3
%4:i64 = sext %0
%5:i64 = shl %4, 4:i64
%6:i64 = and %1, %5
result %6

%0:i32 = var
%1:i32 = srem %0, 2:i32
%2:i1 = eq 1:i32, %1
infer %2
%3:i32 = lshr %0, 31:i32
%4:i32 = shl %0, %3
%5:i1 = trunc %4
result %5

%0:i32 = var
%1:i32 = ashr %0, 16:i32
%2:i1 = var
%3:i32 = var
%4:i32 = select %2, %3, 0:i32
%5:i32 = subnsw %1, %4
infer %5
%6:i32 = sext %2
%7:i32 = and %3, %6
%8:i32 = sub %1, %7
result %8

%0:i32 = var
%1 = block 1
%2:i32 = var
%3:i32 = addnsw %0, %2
%4:i1 = var
%5:i32 = select %4, 2:i32, 1:i32
%6:i32 = mulnsw %3, %5
infer %6
%7:i32 = add %0, %2
%8:i32 = zext %4
%9:i32 = shl %7, %8
result %9

%0:i32 = var
%1:i32 = udiv 16:i32, %0
%2:i1 = eq 0:i32, %1
infer %2
%3:i1 = ule 17:i32, %0
result %3

%0:i64 = var
%1:i64 = addnw 1:i64, %0
%2:i64 = shl 1:i64, %1
infer %2
%3:i64 = shl 2:i64, %0
result %3

%0:i64 = var
%1:i64 = var
%2:i64 = udiv %0, %1
%3:i1 = eq 0:i64, %2
infer %3
%4:i1 = ult %0, %1
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 0:i32, 4:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 2:i32
result %5

%0:i7 = var
%1:i7 = and 1:i7, %0
%2:i1 = ne 0:i7, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 3:i32, 1:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = ashr 3:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = sub %0, %1
%3:i1 = var
%4:i32 = var
%5:i32 = select %3, %4, 0:i32
%6:i32 = addnsw %2, %5
infer %6
%7:i32 = sext %3
%8:i32 = and %4, %7
%9:i32 = sub %8, %1
%10:i32 = add %0, %9
result %10

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 1:i64
%3:i64 = subnsw 1:i64, %2
infer %3
%4:i64 = sub 1:i64, %1
%5:i64 = sext %0
%6:i64 = and %4, %5
result %6

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 0:i64
%3:i64 = xor 18446744073709551615:i64, %2
infer %3
%4:i64 = sext %0
%5:i64 = and %1, %4
%6:i64 = xor 18446744073709551615:i64, %5
result %6

%0:i64 = var
%1:i1 = var
%2:i64 = select %1, 1:i64, 4294967295:i64
%3:i64 = add %0, %2
infer %3
%4:i64 = sext %1
%5:i64 = or 18446744069414584321:i64, %4
%6:i64 = sub %0, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = addnsw 4294967295:i32, %0
%3:i32 = select %1, 0:i32, %2
infer %3
%4:i1 = ult 0:i32, %0
%5:i32 = zext %4
%6:i32 = sub %0, %5
result %6

%0 = block 1
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 121:i32, 120:i32
infer %3
%4:i1 = ult 0:i32, %1
%5:i32 = zext %4
%6:i32 = xor 120:i32, %5
result %6

%0:i64 = var
%1:i1 = slt 0:i64, %0
%2:i64 = subnsw 0:i64, %0
%3:i64 = select %1, %0, %2
infer %3
%4:i64 = ashr %0, 63:i64
%5:i64 = xor %0, %4
%6:i64 = sub %5, %4
result %6

%0:i8 = var
%1:i1 = ult %0, 192:i8
%2:i1 = slt %0, 0:i8
%3:i1 = and %1, %2
infer %3
%4:i1 = slt %0, 192:i8
result %4

%0:i8 = var
%1:i1 = eq 0:i8, %0
%2:i64 = var
%3:i64 = shl 1:i64, %2
%4:i64 = select %1, 0:i64, %3
infer %4
%5:i64 = zext %0
%6:i1 = ne 0:i64, %5
%7:i64 = zext %6
%8:i64 = shl %7, %2
result %8

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 2:i32, 3:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = xor 2:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i1 = ult %0, 1:i32
%4:i32 = zext %3
%5:i32 = shl 1:i32, %4
result %5

%0 = block 3
%1:i32 = var
%2:i32 = and 1:i32, %1
%3:i1 = ne 0:i32, %2
infer %3
%4:i1 = trunc %1
result %4

%0:i32 = var
%1:i32 = addnw 1:i32, %0
%2:i32 = shl 1:i32, %1
infer %2
%3:i32 = shl 2:i32, %0
result %3

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 0:i32, %1
%3:i1 = ne 0:i32, %2
infer %3
%4:i32 = sext %0
%5:i1 = ult %4, %1
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 0:i32
%3:i64 = zext %2
infer %3
%4:i64 = zext %1
%5:i64 = sext %0
%6:i64 = and %4, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i1 = var
%3:i32 = zext %2
%4:i32 = select %1, %3, 0:i32
infer %4
%5:i1 = ult %0, %3
%6:i32 = zext %5
result %6

%0 = block 1
%1:i8 = var
%2:i8 = and 1:i8, %1
%3:i1 = ne 0:i8, %2
infer %3
%4:i1 = trunc %1
result %4

%0:i64 = var
%1:i1 = var
%2:i64 = var
%3:i64 = select %1, %2, 0:i64
%4:i64 = add %0, %3
infer %4
%5:i64 = sext %1
%6:i64 = and %2, %5
%7:i64 = add %0, %6
result %7

%0:i1 = var
%1:i1 = var
%2:i32 = zext %1
%3:i32 = select %0, 4294967295:i32, %2
infer %3
%4:i32 = sext %0
%5:i32 = or %2, %4
result %5

%0:i1 = var
%1:i32 = select %0, 102:i32, 103:i32
infer %1
%2:i32 = sext %0
%3:i32 = add 103:i32, %2
result %3

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
%4:i32 = sub %0, %3
infer %4
%5:i32 = sext %1
%6:i32 = and %2, %5
%7:i32 = sub %0, %6
result %7

%0 = block 3
%1:i8 = var
%2:i8 = and 1:i8, %1
%3:i1 = ne 0:i8, %2
infer %3
%4:i1 = trunc %1
result %4

%0:i64 = var
%1:i1 = eq 0:i64, %0
%2:i64 = var
%3:i64 = subnsw 0:i64, %2
%4:i64 = xor 18446744073709551615:i64, %2
%5:i64 = select %1, %3, %4
infer %5
%6:i1 = ult %0, 1:i64
%7:i64 = zext %6
%8:i64 = add 1:i64, %2
%9:i64 = sub %7, %8
result %9

%0:i64 = var
%1:i64 = var
%2:i64 = subnsw %0, %1
%3 = block 2
%4:i1 = var
%5:i64 = var
%6:i64 = select %4, %5, 0:i64
%7:i64 = addnsw %2, %6
infer %7
%8:i64 = sext %4
%9:i64 = and %5, %8
%10:i64 = add %0, %9
%11:i64 = sub %10, %1
result %11

%0:i64 = var
%1:i1 = var
%2:i64 = select %1, 1:i64, 18446744073709551615:i64
%3:i64 = add %0, %2
infer %3
%4:i64 = sext %1
%5:i64 = or 1:i64, %4
%6:i64 = sub %0, %5
result %6

%0:i16 = var
%1:i1 = eq 0:i16, %0
%2:i16 = select %1, 0:i16, 32768:i16
infer %2
%3:i1 = ult 0:i16, %0
%4:i16 = zext %3
%5:i16 = shl %4, 15:i16
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 3:i32, 1:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = ashr 3:i32, %4
result %5

%0:i64 = var
%1:i64 = var
%2:i64 = and %0, %1
%3:i1 = var
%4:i64 = select %3, 0:i64, %1
%5:i64 = xor %2, %4
infer %5
%6:i64 = sext %3
%7:i64 = xor %0, %6
%8:i64 = or %1, %7
%9:i64 = sub %8, %7
result %9

%0:i32 = var
%1:i32 = var
%2:i1 = ult %0, %1
%3:i32 = var
%4:i32 = shl 1:i32, %3
%5:i32 = select %2, %4, 0:i32
infer %5
%6:i32 = zext %2
%7:i32 = shl %6, %3
result %7

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 5:i32, 4:i32
infer %2
%3:i32 = zext %1
%4:i32 = xor 4:i32, %3
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 8:i32, 7:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = add 7:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = select %2, 3:i32, 2:i32
infer %3
%4:i32 = zext %2
%5:i32 = xor 2:i32, %4
result %5

%0:i32 = var
%1:i1 = ult %0, 2:i32
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i1 = ule %0, 1:i32
%4:i32 = zext %3
%5:i32 = shl %4, 1:i32
result %5

%0:i32 = var
%1:i1 = eq 4:i32, %0
%2:i32 = select %1, 3:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = sub %0, %3
result %4

%0:i32 = var
%1 = block 3
%2:i32 = var
%3:i32 = sub %0, %2
%4:i1 = var
%5:i32 = select %4, 2:i32, 1:i32
%6:i32 = add %3, %5
infer %6
%7:i32 = zext %4
%8:i32 = shl 1:i32, %7
%9:i32 = add %3, %8
result %9

%0 = block 4
%1:i32 = var
%2:i1 = eq 128:i32, %1
%3:i32 = select %2, 2:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, %4
result %5

%0:i64 = var
%1:i1 = var
%2:i64 = var
%3:i64 = select %1, %2, 0:i64
%4:i64 = or %0, %3
infer %4
%5:i64 = sext %1
%6:i64 = and %2, %5
%7:i64 = or %0, %6
result %7

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = var
%3:i32 = addnsw 4:i32, %2
%4:i32 = select %1, %2, %3
infer %4
%5:i1 = ule %0, 0:i32
%6:i32 = zext %5
%7:i32 = shl %6, 2:i32
%8:i32 = add %2, %7
result %8

%0:i64 = var
%1:i64 = and 1:i64, %0
%2:i64 = var
%3:i64 = shl 1:i64, %2
%4:i1 = eq %1, %3
infer %4
%5:i64 = shl %0, %2
%6:i1 = trunc %5
result %6

%0:i32 = var
%1:i32 = or 1:i32, %0
%2:i32 = addnsw 4294967295:i32, %1
infer %2
%3:i32 = and 4294967294:i32, %0
result %3

%0:i32 = var
%1:i32 = srem %0, 4:i32
%2:i1 = eq 0:i32, %1
infer %2
%3:i32 = shl %0, 30:i32
%4:i1 = ult %3, 30:i32
result %4

%0:i1 = var
%1:i32 = select %0, 4:i32, 0:i32
infer %1
%2:i32 = sext %0
%3:i32 = and 4:i32, %2
result %3

%0:i8 = var
%1:i1 = ult 191:i8, %0
%2:i1 = slt 255:i8, %0
%3:i1 = or %1, %2
infer %3
%4:i1 = sle 192:i8, %0
result %4

%0:i32 = var
%1:i1 = eq 3:i32, %0
%2:i32 = select %1, 3:i32, 1:i32
infer %2
%3:i1 = ne 3:i32, %0
%4:i32 = zext %3
%5:i32 = ashr 3:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 5:i32, %0
%2:i64 = sext %0
%3:i64 = select %1, 6:i64, %2
infer %3
%4:i1 = eq 5:i64, %2
%5:i64 = zext %4
%6:i64 = add %5, %2
result %6

%0:i64 = var
%1:i1 = ne 0:i64, %0
%2:i64 = select %1, %0, 1:i64
infer %2
%3:i1 = eq 0:i64, %0
%4:i64 = zext %3
%5:i64 = or %0, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 88:i32, %1
%3:i32 = add 4294967207:i32, %2
infer %3
%4:i32 = sub %1, 89:i32
%5:i32 = sext %0
%6:i32 = or %4, %5
result %6

%0:i32 = var
%1:i1 = eq 84:i32, %0
%2:i32 = select %1, 83:i32, 84:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub 84:i32, %3
result %4

%0:i1 = var
%1 = block 1
%2:i64 = var
%3:i64 = select %0, %2, 1:i64
%4:i64 = and 18446744073709551608:i64, %3
infer %4
%5:i64 = sext %0
%6:i64 = shl %5, 3:i64
%7:i64 = and %2, %6
result %7

%0:i32 = var
%1:i32 = srem %0, 2:i32
%2:i32 = shl 1:i32, %1
infer %2
%3:i32 = and 1:i32, %0
%4:i32 = add 1:i32, %3
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i1 = var
%3:i32 = zext %2
%4:i32 = select %1, 0:i32, %3
infer %4
%5:i32 = zext %1
%6:i32 = lshr %3, %5
result %6

%0:i32 = var
%1:i32 = addnsw 1:i32, %0
%2:i1 = var
%3:i32 = select %2, 1:i32, 2:i32
%4:i32 = mulnsw %1, %3
infer %4
%5:i32 = sub %0, 4294967294:i32
%6:i32 = sext %2
%7:i32 = or %0, %6
%8:i32 = add %5, %7
result %8

%0:i32 = var
%1:i1 = slt 8:i32, %0
%2:i32 = select %1, 16:i32, 8:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl 8:i32, %3
result %4

%0:i32 = var
%1:i1 = eq 59:i32, %0
%2:i32 = select %1, 60:i32, 59:i32
infer %2
%3:i32 = zext %1
%4:i32 = add 59:i32, %3
result %4

%0:i1 = var
%1 = block 2
%2:i64 = var
%3:i64 = select %0, %2, 1:i64
%4:i1 = eq 0:i64, %3
infer %4
%5:i64 = zext %0
%6:i1 = ult %2, %5
result %6

%0:i32 = var
%1:i32 = srem %0, 16:i32
%2:i1 = eq 0:i32, %1
infer %2
%3:i32 = and 4294967280:i32, %0
%4:i1 = ule %0, %3
result %4

%0:i32 = var
%1:i1 = ne 1317:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = eq 1317:i32, %0
%4:i32 = zext %3
%5:i32 = add %4, %4
result %5

%0 = block 3
%1:i8 = var
%2:i1 = eq 0:i8, %1
%3:i1 = var
%4:i8 = zext %3
%5:i8 = or 2:i8, %4
%6:i8 = select %2, %4, %5
infer %6
%7:i1 = ne 0:i8, %1
%8:i8 = zext %7
%9:i8 = add %8, %8
%10:i8 = sext %3
%11:i8 = sub %9, %10
result %11

%0:i1 = var
%1:i32 = var
%2:i32 = var
%3:i32 = select %0, %1, %2
%4:i32 = sub %3, %2
infer %4
%5:i32 = sub %1, %2
%6:i32 = sext %0
%7:i32 = and %5, %6
result %7

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 2:i32, 3:i32
infer %2
%3:i1 = ne 2:i32, %0
%4:i32 = zext %3
%5:i32 = add 2:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 121:i32, 120:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = xor 120:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 5:i32, %0
%2:i32 = select %1, 2:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = ashr %0, %3
result %4

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 4294967294:i32, 4294967295:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl 4294967295:i32, %4
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 65536:i32, 32768:i32
%3:i32 = and %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = shl 32768:i32, %4
%6:i32 = and %0, %5
result %6

%0:i1 = var
%1 = block 3
%2:i32 = var
%3:i32 = select %0, 0:i32, %2
%4:i1 = eq 0:i32, %3
infer %4
%5:i32 = sext %0
%6:i1 = ule %2, %5
result %6

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = var
%3:i32 = addnsw 2:i32, %2
%4:i32 = select %1, %3, %2
infer %4
%5:i32 = zext %1
%6:i32 = shl %5, 1:i32
%7:i32 = add %2, %6
result %7

%0:i1 = var
%1 = block 2
%2:i64 = var
%3:i64 = select %0, %2, 1:i64
%4:i64 = and 18446744073709551608:i64, %3
infer %4
%5:i64 = sext %0
%6:i64 = shl %5, 3:i64
%7:i64 = and %2, %6
result %7

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = lshr 4:i32, %4
result %5

%0:i64 = var
%1:i1 = var
%2:i64 = var
%3:i64 = select %1, %2, 0:i64
%4:i64 = subnsw %0, %3
infer %4
%5:i64 = sext %1
%6:i64 = and %2, %5
%7:i64 = sub %0, %6
result %7

%0:i32 = var
%1:i32 = var
%2:i1 = sle %0, %1
%3:i32 = select %2, 3:i32, 2:i32
infer %3
%4:i32 = zext %2
%5:i32 = add 2:i32, %4
result %5

%0:i64 = var
%1:i64 = var
%2:i64 = subnsw %0, %1
%3:i1 = slt %2, 0:i64
%4:i64 = select %3, %2, 0:i64
infer %4
%5:i64 = sub %0, %1
%6:i64 = ashr %5, 63:i64
%7:i64 = and %5, %6
result %7

%0 = block 4
%1:i32 = var
%2:i1 = ult %1, 3:i32
%3:i32 = select %2, 4:i32, 0:i32
infer %3
%4:i1 = ule %1, 2:i32
%5:i32 = zext %4
%6:i32 = shl %5, 2:i32
result %6

%0:i32 = var
%1:i32 = addnsw 4294967295:i32, %0
%2:i32 = var
%3:i32 = or 1:i32, %2
%4:i32 = addnsw %1, %3
infer %4
%5:i32 = and 4294967294:i32, %2
%6:i32 = add %0, %5
result %6

%0:i64 = var
%1:i64 = lshr 18446744073709551615:i64, %0
%2:i1 = var
%3:i64 = var
%4:i64 = select %2, %3, 0:i64
%5:i64 = and %1, %4
infer %5
%6:i64 = sext %2
%7:i64 = lshr %6, %0
%8:i64 = and %3, %7
result %8

%0:i1 = var
%1:i8 = var
%2:i8 = select %0, 0:i8, %1
%3:i1 = eq 0:i8, %2
infer %3
%4:i8 = sext %0
%5:i1 = ule %1, %4
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
%4:i32 = add %0, %3
infer %4
%5:i32 = sext %1
%6:i32 = and %2, %5
%7:i32 = add %0, %6
result %7

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 6:i32, 5:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = add 5:i32, %4
result %5

%0:i64 = var
%1:i1 = var
%2:i64 = select %1, 18446744073709551615:i64, 1:i64
%3:i64 = add %0, %2
infer %3
%4:i64 = sext %1
%5:i64 = or 1:i64, %4
%6:i64 = add %0, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 256:i32, 0:i32
%3:i32 = and %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = shl %4, 8:i32
%6:i32 = and %0, %5
result %6

%0:i1 = var
%1:i32 = select %0, 1:i32, 2:i32
infer %1
%2:i32 = zext %0
%3:i32 = ashr 2:i32, %2
result %3

%0:i64 = var
%1:i64 = ashrexact %0, 32:i64
%2:i1 = var
%3:i64 = var
%4:i64 = select %2, %3, 0:i64
%5:i64 = subnsw %1, %4
infer %5
%6:i64 = ashr %0, 32:i64
%7:i64 = sext %2
%8:i64 = and %3, %7
%9:i64 = sub %6, %8
result %9

%0:i16 = var
%1:i16 = var
%2:i1 = eq %0, %1
%3 = block 6
%4:i16 = var
%5:i16 = and 32767:i16, %4
%6:i16 = or 32768:i16, %4
%7:i16 = select %2, %5, %6
infer %7
%8:i1 = ne %0, %1
%9:i16 = zext %8
%10:i16 = shl 32768:i16, %9
%11:i16 = xor %6, %10
result %11

%0:i64 = var
%1:i65 = umul.with.overflow %0, 4:i64
%2:i1 = extractvalue %1, 1:i32
infer %2
%3:i1 = ule 4611686018427387904:i64, %0
result %3

%0:i8 = var
%1:i1 = eq 0:i8, %0
%2:i1 = var
%3:i8 = zext %2
%4:i8 = select %1, %3, 1:i8
infer %4
%5:i1 = ne %0, %3
%6:i8 = zext %5
%7:i8 = or %3, %6
result %7

%0:i1 = var
%1:i8 = var
%2:i8 = select %0, %1, 1:i8
%3:i1 = eq 0:i8, %2
infer %3
%4:i8 = zext %0
%5:i1 = ult %1, %4
result %5

%0 = block 2
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i64 = sext %1
%4:i64 = select %2, 18446744073709551615:i64, %3
infer %4
%5:i1 = ule %3, 0:i64
%6:i64 = zext %5
%7:i64 = sub %3, %6
result %7

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 1:i32
%3:i1 = ne 0:i32, %2
infer %3
%4:i32 = zext %0
%5:i1 = ule %4, %1
result %5

%0:i64 = var
%1:i1 = eq 32:i64, %0
%2:i64 = select %1, 31:i64, %0
infer %2
%3:i64 = zext %1
%4:i64 = sub %0, %3
result %4

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 8:i32, 7:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = sub %0, 4294967289:i32
%5:i32 = zext %1
%6:i32 = add %4, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = addnsw 1:i32, %0
%3:i32 = select %1, 0:i32, %2
infer %3
%4:i1 = ne 0:i32, %0
%5:i32 = zext %4
%6:i32 = add %0, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = var
%3:i32 = shl 1:i32, %2
%4:i32 = select %1, 0:i32, %3
infer %4
%5:i1 = ne 0:i32, %0
%6:i32 = zext %5
%7:i32 = shl %6, %2
result %7

%0 = block 1
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 2:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 2:i32, 1:i32
%3:i32 = or %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = add 1:i32, %4
%6:i32 = or %0, %5
result %6

%0:i32 = var
%1:i32 = shl %0, 3:i32
%2:i1 = var
%3:i32 = select %2, 32:i32, 24:i32
%4:i32 = add %1, %3
infer %4
%5:i32 = add 3:i32, %0
%6:i32 = sext %2
%7:i32 = sub %5, %6
%8:i32 = shl %7, 3:i32
result %8

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 4:i32, 3:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub %3, 4294967293:i32
result %4

%0:i16 = var
%1:i1 = slt %0, 0:i16
%2:i16 = select %1, 0:i16, %0
infer %2
%3:i16 = ashr %0, 15:i16
%4:i16 = and %0, %3
%5:i16 = sub %0, %4
result %5

%0:i64 = var
%1:i1 = var
%2:i64 = var
%3:i64 = select %1, %2, 0:i64
%4:i64 = sub %0, %3
infer %4
%5:i64 = sext %1
%6:i64 = and %2, %5
%7:i64 = sub %0, %6
result %7

%0 = block 4
%1:i32 = var
%2:i1 = ult %1, 2:i32
%3:i32 = select %2, 4:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, 2:i32
result %5

%0:i64 = var
%1:i64 = addnw 1:i64, %0
%2:i1 = var
%3:i64 = select %2, 1:i64, 2:i64
%4:i1 = slt %1, %3
infer %4
%5:i64 = sext %2
%6:i1 = sle %0, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 3:i32, 5:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = ashr 4294967291:i32, %4
%6:i32 = sub %0, %5
result %6

%0:i64 = var
%1:i65 = umul.with.overflow %0, 2:i64
%2:i1 = extractvalue %1, 1:i32
infer %2
%3:i1 = slt %0, 0:i64
result %3

%0:i32 = var
%1:i1 = ult %0, 2:i32
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i1 = ule 2:i32, %0
%4:i32 = zext %3
%5:i32 = shl 2:i32, %4
result %5

%0:i51 = var
%1:i51 = and 1:i51, %0
%2:i1 = ne 0:i51, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i1 = ult %0, 3:i32
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i1 = ult 2:i32, %0
%4:i32 = zext %3
%5:i32 = shl 2:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 60:i32, %0
%2:i32 = select %1, 59:i32, 60:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub 60:i32, %3
result %4

%0 = block 1
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 1:i32, 3:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = ashr 3:i32, %5
result %6

%0 = block 5
%1:i8 = var
%2:i8 = and 1:i8, %1
%3:i1 = ne 0:i8, %2
infer %3
%4:i1 = trunc %1
result %4

%0 = block 3
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 90:i32, 89:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = sub 90:i32, %5
result %6

%0:i32 = var
%1:i1 = eq 8:i32, %0
%2:i64 = sext %0
%3:i64 = select %1, 4:i64, %2
infer %3
%4:i1 = eq 8:i64, %2
%5:i64 = zext %4
%6:i64 = lshr %2, %5
result %6

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 24:i32
%3:i1 = eq 0:i32, %2
infer %3
%4:i32 = zext %0
%5:i1 = ult %1, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 114:i32, 115:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub 115:i32, %3
result %4

%0:i32 = var
%1:i1 = slt 63:i32, %0
%2:i64 = var
%3:i64 = shl 1:i64, %2
%4:i64 = select %1, 0:i64, %3
infer %4
%5:i64 = sext %0
%6:i1 = slt %5, 64:i64
%7:i64 = zext %6
%8:i64 = shl %7, %2
result %8

%0:i64 = var
%1:i1 = eq 9223372036854775808:i64, %0
%2:i1 = slt 18446744073709551615:i64, %0
%3:i1 = or %1, %2
infer %3
%4:i1 = ule %0, 9223372036854775808:i64
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = shlnw %0, 3:i32
%3:i32 = select %1, 1:i32, %2
infer %3
%4:i32 = shl %0, 3:i32
%5:i1 = slt %4, 3:i32
%6:i32 = zext %5
%7:i32 = add %4, %6
result %7

%0:i32 = var
%1:i1 = slt 4294967295:i32, %0
%2:i32 = var
%3:i32 = addnsw 1:i32, %2
%4:i32 = select %1, 0:i32, %3
infer %4
%5:i32 = ashr %0, 31:i32
%6:i32 = and %2, %5
%7:i32 = sub %6, %5
result %7

%0:i32 = var
%1:i1 = eq 3:i32, %0
%2:i32 = select %1, 3:i32, 2:i32
infer %2
%3:i1 = ne 3:i32, %0
%4:i32 = zext %3
%5:i32 = sub 3:i32, %4
result %5

%0:i32 = var
%1:i1 = slt 0:i32, %0
%2:i32 = select %1, %0, 0:i32
infer %2
%3:i32 = ashr %0, 31:i32
%4:i32 = and %0, %3
%5:i32 = sub %0, %4
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 4294967295:i32, 1:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = sext %1
%5:i32 = or 1:i32, %4
%6:i32 = add %0, %5
result %6

%0:i32 = var
%1:i1 = eq 159:i32, %0
%2:i32 = select %1, 160:i32, 159:i32
infer %2
%3:i32 = zext %1
%4:i32 = add 159:i32, %3
result %4

%0:i32 = var
%1:i32 = add 4294967295:i32, %0
%2:i32 = sdiv %0, 2:i32
%3:i1 = eq %1, %2
infer %3
%4:i32 = sub %0, 2147483649:i32
%5:i1 = sle %4, 2147483649:i32
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 4:i32, 5:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = or 4:i32, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 0:i32, %1
%3:i32 = zext %0
%4:i32 = or %2, %3
infer %4
%5:i32 = sext %0
%6:i32 = or %1, %5
%7:i32 = xor %6, %5
%8:i32 = sub %7, %5
result %8

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 8:i32, 7:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 8:i32, %4
result %5

%0 = block 1
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 4:i32, 0:i32
infer %3
%4:i1 = ult 0:i32, %1
%5:i32 = zext %4
%6:i32 = shl %5, 2:i32
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = sub 1:i32, %0
%3:i32 = select %1, 0:i32, %2
infer %3
%4:i1 = ule 1:i32, %0
%5:i32 = zext %4
%6:i32 = sub %5, %0
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 133:i32, 132:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = add 132:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 76:i32, 75:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 76:i32, %4
result %5

%0:i32 = var
%1:i32 = shl 1:i32, %0
%2:i32 = ashr %1, 1:i32
%3:i1 = slt %2, %1
infer %3
%4:i1 = sle %0, 30:i32
result %4

%0:i8 = var
%1:i1 = slt 0:i8, %0
%2:i8 = select %1, %0, 0:i8
infer %2
%3:i8 = ashr %0, 7:i8
%4:i8 = and %0, %3
%5:i8 = xor %0, %4
result %5

%0:i64 = var
%1:i1 = slt %0, 0:i64
%2:i64 = sub 0:i64, %0
%3:i64 = select %1, %2, %0
infer %3
%4:i64 = ashr %0, 63:i64
%5:i64 = xor %0, %4
%6:i64 = sub %5, %4
result %6

%0:i64 = var
%1:i1 = var
%2:i64 = select %1, %0, 0:i64
%3:i64 = subnsw %0, %2
infer %3
%4:i64 = sext %1
%5:i64 = xor %0, %4
%6:i64 = and %0, %5
result %6

%0:i1 = var
%1:i32 = select %0, 2:i32, 1:i32
infer %1
%2:i32 = zext %0
%3:i32 = add 1:i32, %2
result %3

%0:i32 = var
%1:i32 = var
%2:i32 = add %0, %1
%3:i1 = slt %2, 0:i32
%4:i32 = subnsw 0:i32, %2
%5:i32 = select %3, %4, %2
infer %5
%6:i32 = ashr %2, 31:i32
%7:i32 = xor %2, %6
%8:i32 = sub %7, %6
result %8

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 66:i32, 65:i32
%3:i32 = addnsw %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = sub %4, 4294967231:i32
%6:i32 = add %0, %5
result %6

%0:i32 = var
%1:i32 = shlnsw %0, 1:i32
%2:i32 = or 1:i32, %1
%3:i1 = slt %1, %2
infer %3
result 1:i1

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 61:i32, 123:i32
infer %2
%3:i32 = zext %1
%4:i32 = ashr 123:i32, %3
result %4

%0 = block 4
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 16:i32, 0:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = shl %5, 4:i32
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 4:i32, 0:i32
%3:i32 = subnsw %0, %2
infer %3
%4:i32 = sext %1
%5:i32 = shl %4, 2:i32
%6:i32 = add %0, %5
result %6

%0:i1 = var
%1 = block 1
%2:i64 = var
%3:i64 = select %0, %2, 1:i64
%4:i1 = eq 0:i64, %3
infer %4
%5:i64 = zext %0
%6:i1 = ult %2, %5
result %6

%0:i1 = var
%1:i32 = select %0, 1:i32, 2:i32
%2:i8 = var
%3:i32 = zext %2
%4:i32 = and %1, %3
infer %4
%5:i32 = zext %0
%6:i32 = lshr 2:i32, %5
%7:i32 = and %6, %3
result %7

%0:i64 = var
%1:i1 = slt 18446744073709551615:i64, %0
%2:i64 = select %1, %0, 18446744073709551615:i64
infer %2
%3:i64 = ashr %0, 63:i64
%4:i64 = or %0, %3
result %4

%0:i32 = var
%1:i32 = sub 31:i32, %0
%2:i32 = shl 1:i32, %1
infer %2
%3:i32 = lshr 2147483648:i32, %0
result %3

%0:i15 = var
%1:i15 = and 1:i15, %0
%2:i1 = ne 0:i15, %1
infer %2
%3:i1 = trunc %0
result %3

%0 = block 2
%1:i16 = var
%2:i1 = eq 0:i16, %1
%3:i16 = select %2, 0:i16, 32768:i16
infer %3
%4:i1 = ult 0:i16, %1
%5:i16 = zext %4
%6:i16 = shl %5, 15:i16
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 64:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, 6:i32
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 64:i32, 32:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = ashr 64:i32, %4
result %5

%0:i64 = var
%1:i64 = lshr %0, 2:i64
%2:i1 = ne 0:i64, %1
%3:i64 = select %2, %1, 1:i64
infer %3
%4:i1 = slt %1, 2:i64
%5:i64 = zext %4
%6:i64 = or %1, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 256:i32, 0:i32
%3:i32 = or %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = shl %4, 8:i32
%6:i32 = or %0, %5
result %6

%0 = block 2
%1:i32 = var
%2:i32 = srem %1, 2:i32
%3:i1 = eq 1:i32, %2
infer %3
%4:i32 = lshr %1, 31:i32
%5:i32 = shl %1, %4
%6:i1 = trunc %5
result %6

%0:i1 = var
%1:i32 = select %0, 4:i32, 0:i32
%2:i1 = var
%3:i32 = zext %2
%4:i32 = or %1, %3
infer %4
%5:i32 = zext %0
%6:i32 = shl %5, 2:i32
%7:i32 = xor %6, %3
result %7

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 2:i32, 1:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = add 1:i32, %0
%5:i32 = sext %1
%6:i32 = sub %4, %5
result %6

%0 = block 4
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 0:i32, 4:i32
infer %3
%4:i1 = ult 0:i32, %1
%5:i32 = zext %4
%6:i32 = shl %5, 2:i32
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 271:i32, 272:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = add 271:i32, %4
result %5

%0:i32 = var
%1:i32 = sdiv %0, 2:i32
%2:i1 = slt %1, %0
infer %2
%3:i1 = slt 0:i32, %0
result %3

%0:i1 = var
%1:i32 = select %0, 64:i32, 0:i32
%2:i1 = var
%3:i32 = zext %2
%4:i32 = or %1, %3
infer %4
%5:i32 = sext %0
%6:i32 = and 64:i32, %5
%7:i32 = sext %2
%8:i32 = sub %6, %7
result %8

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 1:i32, 3:i32
%3:i32 = or %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = lshr 3:i32, %4
%6:i32 = or %0, %5
result %6

%0:i16 = var
%1:i16 = var
%2:i1 = eq %0, %1
%3 = block 7
%4:i16 = var
%5:i16 = and 32767:i16, %4
%6:i16 = or 32768:i16, %4
%7:i16 = select %2, %5, %6
infer %7
%8:i1 = ne %0, %1
%9:i16 = zext %8
%10:i16 = shl 32768:i16, %9
%11:i16 = xor %6, %10
result %11

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 90:i32, 89:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = sub 90:i32, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, 1:i64, %1
%3:i64 = sub 0:i64, %2
infer %3
%4:i64 = sub 0:i64, %1
%5:i64 = sext %0
%6:i64 = or %4, %5
result %6

%0:i27 = var
%1:i27 = and 1:i27, %0
%2:i1 = ne 0:i27, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i64 = var
%1:i64 = addnsw 2:i64, %0
%2:i64 = var
%3:i64 = xor 18446744073709551615:i64, %2
%4:i64 = addnsw %1, %3
infer %4
%5:i64 = add 1:i64, %0
%6:i64 = sub %5, %2
result %6

%0:i1 = var
%1:i32 = select %0, 10:i32, 20:i32
infer %1
%2:i32 = zext %0
%3:i32 = lshr 20:i32, %2
result %3

%0:i32 = var
%1:i1 = ult %0, 53:i32
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i1 = ule %0, 52:i32
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 8:i32, 9:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 9:i32, %4
result %5

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = select %1, %0, 0:i32
infer %2
%3:i32 = ashr %0, 31:i32
%4:i32 = and %0, %3
result %4

%0:i32 = var
%1:i1 = slt 0:i32, %0
%2:i32 = select %1, 0:i32, %0
infer %2
%3:i32 = ashr %0, 31:i32
%4:i32 = and %0, %3
result %4

%0:i32 = var
%1:i1 = eq 14:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = ne 14:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i1 = eq %0, %1
%3:i32 = addnsw 4294967295:i32, %0
%4:i32 = select %2, %3, %0
infer %4
%5:i32 = zext %2
%6:i32 = sub %0, %5
result %6

%0:i32 = var
%1:i64 = sext %0
%2:i1 = ult 1:i64, %1
%3:i64 = select %2, %1, 1:i64
infer %3
%4:i1 = eq 0:i64, %1
%5:i64 = zext %4
%6:i64 = add %5, %1
result %6

%0:i32 = var
%1:i32 = var
%2:i32 = sub %0, %1
%3:i1 = slt 4294967295:i32, %2
%4:i32 = sub 0:i32, %2
%5:i32 = select %3, %2, %4
infer %5
%6:i32 = ashr %2, 31:i32
%7:i32 = add %2, %6
%8:i32 = xor %7, %6
result %8

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 11:i32, 12:i32
infer %3
%4:i32 = zext %2
%5:i32 = sub 12:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 7:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = ne 7:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i1 = var
%2 = block 2
%3:i32 = var
%4:i32 = select %1, %3, 0:i32
%5:i32 = subnsw %0, %4
infer %5
%6:i32 = sext %1
%7:i32 = and %3, %6
%8:i32 = sub %0, %7
result %8

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = select %1, 2:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = add %0, %3
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 11:i32, 12:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub 12:i32, %3
result %4

%0:i32 = var
%1:i1 = eq 26:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = add %3, %3
result %4

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i1 = ne 2:i32, %0
%4:i32 = zext %3
%5:i32 = shl 2:i32, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 4294967295:i32
%3:i32 = addnsw 1:i32, %2
infer %3
%4:i32 = sext %0
%5:i32 = and %1, %4
%6:i32 = sub %5, %4
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = var
%3:i32 = or 1:i32, %2
%4:i32 = and 4294967294:i32, %2
%5:i32 = select %1, %3, %4
infer %5
%6:i1 = ult %0, 1:i32
%7:i32 = zext %6
%8:i32 = sub %3, %7
result %8

%0:i32 = var
%1:i32 = var
%2:i1 = eq %0, %1
%3:i32 = addnsw 4294967295:i32, %0
%4:i32 = select %2, %3, %1
infer %4
%5:i32 = zext %2
%6:i32 = sub %1, %5
result %6

%0:i32 = var
%1:i32 = var
%2:i1 = eq %0, %1
%3:i32 = addnsw 1:i32, %0
%4:i32 = select %2, %3, %0
infer %4
%5:i32 = zext %2
%6:i32 = add %0, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 128:i32, 0:i32
%3:i32 = addnsw %0, %2
infer %3
%4:i32 = sext %1
%5:i32 = and 4294967168:i32, %4
%6:i32 = sub %0, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, %0
%4:i32 = sub %0, %3
infer %4
%5:i32 = sub %0, %2
%6:i32 = sext %1
%7:i32 = and %5, %6
result %7

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 11:i32, 10:i32
infer %2
%3:i32 = zext %1
%4:i32 = or 10:i32, %3
result %4

%0:i1 = var
%1:i32 = select %0, 3:i32, 0:i32
infer %1
%2:i32 = sext %0
%3:i32 = lshr %2, 30:i32
result %3

%0:i1 = var
%1:i32 = select %0, 4294967230:i32, 4294967231:i32
%2:i8 = var
%3:i32 = sext %2
%4:i32 = addnsw %1, %3
infer %4
%5:i32 = sext %0
%6:i32 = sub %5, 65:i32
%7:i32 = add %6, %3
result %7

%0:i32 = var
%1:i32 = addnw 32:i32, %0
%2:i1 = ult 8:i32, %1
infer %2
result 1:i1

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 4:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, 2:i32
result %4

%0:i32 = var
%1:i1 = ult 2:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, %3
result %4

%0:i32 = var
%1:i32 = var
%2:i32 = addnsw %0, %1
%3:i1 = slt %2, 0:i32
%4:i32 = select %3, 0:i32, %2
infer %4
%5:i32 = add %0, %1
%6:i32 = ashr %5, 31:i32
%7:i32 = or %5, %6
%8:i32 = sub %7, %6
result %8

%0:i1 = var
%1:i32 = select %0, 103:i32, 102:i32
infer %1
%2:i32 = zext %0
%3:i32 = sub %2, 4294967194:i32
result %3

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
%4:i32 = or %0, %3
infer %4
%5:i32 = sext %1
%6:i32 = and %2, %5
%7:i32 = or %0, %6
result %7

%0 = block 2
%1:i32 = var
%2:i1 = ult %1, 3:i32
%3:i32 = select %2, 2:i32, 1:i32
infer %3
%4:i1 = ult 2:i32, %1
%5:i32 = zext %4
%6:i32 = sub 2:i32, %5
result %6

%0:i32 = var
%1:i32 = var
%2:i1 = eq %0, %1
%3:i32 = addnsw 1:i32, %0
%4:i32 = select %2, %3, %1
infer %4
%5:i32 = zext %2
%6:i32 = add %1, %5
result %6

%0 = block 4
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 4:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, 2:i32
result %5

%0:i16 = var
%1:i1 = eq 0:i16, %0
%2:i1 = var
%3:i32 = zext %2
%4:i32 = select %2, 2:i32, 1:i32
%5:i32 = select %1, %3, %4
infer %5
%6:i32 = zext %0
%7:i1 = slt 0:i32, %6
%8:i32 = zext %7
%9:i32 = add %3, %8
result %9

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 4294967288:i32, 4294967289:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = xor 4294967288:i32, %4
result %5

%0:i1 = var
%1:i32 = select %0, 2:i32, 1:i32
%2:i16 = var
%3:i32 = sext %2
%4:i32 = addnsw %1, %3
infer %4
%5:i32 = zext %0
%6:i32 = shl 1:i32, %5
%7:i32 = add %6, %3
result %7

%0:i6 = var
%1:i6 = and 1:i6, %0
%2:i1 = ne 0:i6, %1
infer %2
%3:i1 = trunc %0
result %3

%0 = block 3
%1:i32 = var
%2:i1 = ult %1, 3:i32
%3:i32 = select %2, 2:i32, 1:i32
infer %3
%4:i1 = ult 2:i32, %1
%5:i32 = zext %4
%6:i32 = sub 2:i32, %5
result %6

%0:i32 = var
%1:i1 = ult 1:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = add %3, %3
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 8:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, 3:i32
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i1 = var
%3:i32 = zext %2
%4:i32 = select %2, 2:i32, 1:i32
%5:i32 = select %1, %3, %4
infer %5
%6:i1 = ne 0:i32, %0
%7:i32 = zext %6
%8:i32 = sext %2
%9:i32 = sub %7, %8
result %9

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = select %1, 1:i32, 2:i32
infer %2
%3:i1 = ne 1:i32, %0
%4:i32 = zext %3
%5:i32 = add 1:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 2147483647:i32, %0
%2:i32 = var
%3:i1 = slt %0, %2
%4:i1 = and %1, %3
infer %4
result %3

%0 = block 2
%1:i32 = var
%2:i32 = srem %1, 32:i32
%3:i1 = eq 0:i32, %2
infer %3
%4:i32 = shl %1, 27:i32
%5:i1 = ule %4, 27:i32
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 6:i32, 3:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = ashr 6:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = select %2, 1:i32, 3:i32
infer %3
%4:i32 = zext %2
%5:i32 = ashr 3:i32, %4
result %5

%0:i16 = var
%1:i16 = bswap %0
infer %1
%2:i16 = shl %0, 8:i16
%3:i16 = lshr %0, 8:i16
%4:i16 = or %2, %3
result %4

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = select %2, 0:i32, 2:i32
infer %3
%4:i1 = sle %1, %0
%5:i32 = zext %4
%6:i32 = shl %5, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i1 = var
%3:i32 = select %2, 2:i32, 1:i32
%4:i32 = select %1, 0:i32, %3
infer %4
%5:i1 = ne 0:i32, %0
%6:i32 = zext %5
%7:i32 = zext %2
%8:i32 = shl %6, %7
result %8

%0 = block 3
%1:i32 = var
%2:i1 = ult 2:i32, %1
%3:i32 = select %2, 2:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = add %0, %1
%3:i1 = slt 0:i32, %2
%4:i32 = select %3, 0:i32, %2
infer %4
%5:i32 = ashr %2, 31:i32
%6:i32 = and %2, %5
result %6

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = add %3, %3
result %4

%0:i16 = var
%1:i1 = eq 0:i16, %0
%2:i16 = select %1, 32767:i16, 65535:i16
infer %2
%3:i1 = ule %0, 0:i16
%4:i16 = zext %3
%5:i16 = lshr 65535:i16, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = sub %0, %1
%3:i1 = slt %2, 0:i32
%4:i32 = subnsw 0:i32, %2
%5:i32 = select %3, %4, %2
infer %5
%6:i32 = sub %1, %0
%7:i32 = ashr %6, 31:i32
%8:i32 = add %6, %7
%9:i32 = xor %8, %7
result %9

%0:i16 = var
%1:i1 = slt 65535:i16, %0
%2:i16 = or 32768:i16, %0
%3:i16 = select %1, 0:i16, %2
infer %3
%4:i16 = ashr %0, 15:i16
%5:i16 = and %0, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i64 = sext %0
%3:i64 = select %1, 1:i64, %2
infer %3
%4:i1 = eq 0:i64, %2
%5:i64 = zext %4
%6:i64 = add %5, %2
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 0:i32, 8:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 3:i32
result %5

%0:i32 = var
%1:i64 = sext %0
%2:i1 = slt 0:i64, %1
%3:i64 = select %2, %1, 0:i64
infer %3
%4:i64 = ashr %1, 33:i64
%5:i64 = xor %4, %1
%6:i64 = and %5, %1
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 7:i32, 8:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = add 7:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = udiv %0, %1
%3:i1 = eq 0:i32, %2
infer %3
%4:i1 = ult %0, %1
result %4

%0:i32 = var
%1:i1 = eq 4294967295:i32, %0
%2:i32 = select %1, 0:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = add %0, %3
result %4

%0:i16 = var
%1:i1 = eq 0:i16, %0
%2:i64 = zext %0
%3:i64 = select %1, 1:i64, %2
infer %3
%4:i1 = sle %2, 0:i64
%5:i64 = zext %4
%6:i64 = add %2, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 3:i32, 4:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub %4, 4294967293:i32
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = addnsw %0, %1
%3:i1 = var
%4:i32 = select %3, 8:i32, 0:i32
%5:i32 = addnsw %2, %4
infer %5
%6:i32 = add %0, %1
%7:i32 = sext %3
%8:i32 = and 4294967288:i32, %7
%9:i32 = sub %6, %8
result %9

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 127:i32
%3:i32 = subnsw 127:i32, %2
infer %3
%4:i32 = sub 127:i32, %1
%5:i32 = sext %0
%6:i32 = and %4, %5
result %6

%0 = block 2
%1:i64 = var
%2:i64 = and 1:i64, %1
%3:i1 = ne 0:i64, %2
infer %3
%4:i1 = trunc %1
result %4

%0:i8 = var
%1:i8 = and 127:i8, %0
%2:i1 = var
%3:i8 = select %2, 128:i8, 0:i8
%4:i8 = or %1, %3
infer %4
%5:i8 = sext %2
%6:i8 = xor %0, %5
%7:i8 = and 128:i8, %6
%8:i8 = add %0, %7
result %8

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 11:i32, 12:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub 12:i32, %3
result %4

%0:i32 = var
%1:i64 = sext %0
%2:i1 = slt %1, 0:i64
%3:i64 = select %2, %1, 0:i64
infer %3
%4:i64 = ashr %1, 32:i64
%5:i64 = and %4, %1
result %5

%0:i8 = var
%1:i1 = eq 0:i8, %0
%2 = block 2
%3:i1 = var
%4:i8 = zext %3
%5:i8 = select %1, 1:i8, %4
infer %5
%6:i8 = sext %3
%7:i1 = ule %0, %6
%8:i8 = zext %7
result %8

%0:i64 = var
%1:i1 = slt %0, 0:i64
%2:i32 = var
%3:i64 = zext %2
%4:i64 = select %1, %3, 0:i64
infer %4
%5:i64 = ashr %0, 63:i64
%6:i64 = and %5, %3
result %6

%0 = block 3
%1:i32 = var
%2:i1 = ult %1, 2:i32
%3:i32 = select %2, 2:i32, 1:i32
infer %3
%4:i1 = ule 2:i32, %1
%5:i32 = zext %4
%6:i32 = lshr 2:i32, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 27:i32, 26:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = xor 27:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 1:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = xor %0, %3
result %4

%0 = block 4
%1:i32 = var
%2:i1 = eq 101:i32, %1
%3:i32 = select %2, 102:i32, 101:i32
infer %3
%4:i32 = zext %2
%5:i32 = add 101:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 29:i32, 28:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub %4, 4294967268:i32
result %5

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 7:i32, 8:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = add 7:i32, %5
result %6

%0:i32 = var
%1:i32 = addnw 1:i32, %0
%2:i1 = var
%3:i32 = select %2, 2:i32, 1:i32
%4:i1 = slt %1, %3
infer %4
%5:i32 = zext %2
%6:i1 = slt %0, %5
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 1900:i32, 1899:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = sub %0, 4294965397:i32
%5:i32 = zext %1
%6:i32 = add %4, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 0:i32, 4:i32
infer %2
%3:i1 = eq 0:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 2:i32
result %5

%0:i32 = var
%1:i1 = ult %0, 3:i32
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i1 = ult 2:i32, %0
%4:i32 = zext %3
%5:i32 = sub 2:i32, %4
result %5

%0:i32 = var
%1:i32 = and 255:i32, %0
%2:i32 = urem %1, 1009:i32
infer %2
result %1

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = ne 1:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 1:i32
result %5

%0:i24 = var
%1:i24 = and 1:i24, %0
%2:i1 = ne 0:i24, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i64 = var
%1:i1 = slt 0:i64, %0
%2:i64 = select %1, %0, 0:i64
infer %2
%3:i64 = ashr %0, 63:i64
%4:i64 = or %0, %3
%5:i64 = xor %4, %3
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 1:i32, 2:i32
%3:i32 = or %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = lshr 2:i32, %4
%6:i32 = or %0, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 23:i32, 22:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub %3, 4294967274:i32
result %4

%0:i32 = var
%1:i1 = ult %0, 3:i32
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, %3
result %4

%0:i64 = var
%1:i64 = udiv 4294967296:i64, %0
%2:i1 = ult 1:i64, %1
infer %2
%3:i1 = ult %0, 2147483649:i64
result %3

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = var
%3:i32 = select %1, 0:i32, %2
infer %3
%4:i32 = ashr %0, 31:i32
%5:i32 = or %2, %4
%6:i32 = sub %5, %4
result %6

%0:i32 = var
%1:i32 = sub 0:i32, %0
%2:i32 = and 1:i32, %1
infer %2
%3:i32 = and 1:i32, %0
result %3

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = var
%4:i32 = shl 1:i32, %3
%5:i32 = select %2, 0:i32, %4
infer %5
%6:i1 = sle %1, %0
%7:i32 = zext %6
%8:i32 = shl %7, %3
result %8

%0:i32 = var
%1:i64 = sext %0
%2:i1 = var
%3:i64 = select %2, %1, 0:i64
%4:i64 = subnsw %1, %3
infer %4
%5:i64 = sext %2
%6:i64 = or %5, %1
%7:i64 = xor %6, %5
result %7

%0:i1 = var
%1:i64 = select %0, 73:i64, 72:i64
infer %1
%2:i64 = sext %0
%3:i64 = sub 72:i64, %2
result %3

%0:i32 = var
%1:i1 = eq 5:i32, %0
%2:i32 = select %1, 6:i32, %0
infer %2
%3:i32 = zext %1
%4:i32 = add %0, %3
result %4

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 19:i32, 18:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = add 18:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 7:i32, 6:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = add 6:i32, %4
result %5

%0:i32 = var
%1:i1 = slt 2:i32, %0
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i1 = sle %0, 2:i32
%4:i32 = zext %3
%5:i32 = shl 2:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 9:i32, 10:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub %4, 4294967287:i32
result %5

%0:i32 = var
%1:i1 = eq 3:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = add %3, %3
result %4

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 1:i64
%3:i64 = addnsw 18446744073709551615:i64, %2
infer %3
%4:i64 = sext %0
%5:i64 = add %1, %4
%6:i64 = and %5, %4
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 3:i32, 4:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub 4:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = subnsw %0, %1
%3:i1 = var
%4 = block 2
%5:i32 = var
%6:i32 = select %3, %5, 0:i32
%7:i32 = addnsw %2, %6
infer %7
%8:i32 = sext %3
%9:i32 = and %5, %8
%10:i32 = add %0, %9
%11:i32 = sub %10, %1
result %11

%0 = block 2
%1:i32 = var
%2:i32 = udiv 64:i32, %1
%3:i1 = eq 0:i32, %2
infer %3
%4:i1 = ult 64:i32, %1
result %4

%0:i64 = var
%1:i1 = var
%2:i64 = select %1, 10:i64, 20:i64
%3:i64 = lshr %0, %2
infer %3
%4:i64 = zext %1
%5:i64 = ashr 20:i64, %4
%6:i64 = lshr %0, %5
result %6

%0 = block 3
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 76:i32, 75:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = sub 76:i32, %5
result %6

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 4:i32
%3:i1 = eq 0:i32, %2
infer %3
%4:i32 = zext %0
%5:i1 = ult %1, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i1 = var
%3:i32 = zext %2
%4:i32 = select %1, %3, 1:i32
infer %4
%5:i1 = ne 0:i32, %0
%6:i32 = zext %5
%7:i32 = or %3, %6
result %7

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 9:i32, 10:i32
infer %3
%4:i1 = ule %1, 0:i32
%5:i32 = zext %4
%6:i32 = sub %5, 4294967287:i32
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 25:i32, 24:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = or 24:i32, %4
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 1:i32, 2:i32
%3:i32 = and %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = lshr 2:i32, %4
%6:i32 = and %0, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 2:i32, 4:i32
infer %2
%3:i32 = zext %1
%4:i32 = ashr 4:i32, %3
result %4

%0:i8 = var
%1:i1 = var
%2:i8 = select %1, 1:i8, 2:i8
%3:i8 = or %0, %2
infer %3
%4:i8 = zext %1
%5:i8 = ashr 2:i8, %4
%6:i8 = or %0, %5
result %6

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 4:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, 2:i32
result %4

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 4:i32, 3:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = sext %1
%5:i32 = add 4294967293:i32, %4
%6:i32 = sub %0, %5
result %6

%0:i1 = var
%1:i64 = var
%2:i64 = select %0, %1, 0:i64
%3:i64 = subnsw 1:i64, %2
infer %3
%4:i64 = sext %0
%5:i64 = and %1, %4
%6:i64 = sub 1:i64, %5
result %6

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 0:i32
%3:i1 = var
%4:i32 = zext %3
%5:i32 = addnuw %2, %4
infer %5
%6:i32 = sext %0
%7:i32 = and %1, %6
%8:i32 = add %7, %4
result %8

%0 = block 2
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 2:i32, 3:i32
infer %3
%4:i1 = ne 0:i32, %1
%5:i32 = zext %4
%6:i32 = xor 2:i32, %5
result %6

%0 = block 3
%1:i64 = var
%2:i64 = var
%3:i64 = add %1, %2
%4:i1 = slt %3, 0:i64
%5:i64 = select %4, 0:i64, %3
infer %5
%6:i64 = ashr %3, 63:i64
%7:i64 = or %3, %6
%8:i64 = sub %7, %6
result %8

%0:i32 = var
%1:i1 = eq 5:i32, %0
%2:i32 = select %1, 10:i32, 5:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl 5:i32, %3
result %4

%0 = block 2
%1:i32 = var
%2:i32 = var
%3:i32 = addnsw %1, %2
%4:i1 = slt %3, 0:i32
%5:i32 = select %4, 0:i32, %3
infer %5
%6:i32 = add %1, %2
%7:i32 = ashr %6, 31:i32
%8:i32 = or %6, %7
%9:i32 = sub %8, %7
result %9

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, %1, 4294967295:i32
%3:i1 = eq 4294967295:i32, %2
infer %3
%4:i32 = sext %0
%5:i1 = ule %4, %1
result %5

%0 = block 3
%1:i32 = var
%2:i1 = ult %1, 160:i32
%3:i1 = slt %1, 0:i32
%4:i1 = or %2, %3
infer %4
%5:i1 = slt %1, 160:i32
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 15:i32, 14:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub %4, 4294967282:i32
result %5

%0 = block 2
%1:i64 = var
%2 = block 2
%3:i64 = var
%4:i64 = udiv %1, %3
%5:i1 = ult %4, 9223372036854775809:i64
infer %5
%6:i1 = ule 9223372036854775809:i64, %1
%7:i64 = zext %6
%8:i1 = ult %7, %3
result %8

%0:i32 = var
%1:i32 = var
%2:i1 = slt %0, %1
%3:i32 = select %2, 1:i32, 2:i32
infer %3
%4:i32 = zext %2
%5:i32 = lshr 2:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 9:i32, 8:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 9:i32, %4
result %5

%0:i32 = var
%1:i32 = var
%2:i32 = ashr %0, %1
%3:i1 = slt 4294967295:i32, %2
%4:i32 = sub 0:i32, %2
%5:i32 = select %3, %2, %4
infer %5
%6:i32 = ashr %0, 31:i32
%7:i32 = xor %0, %6
%8:i32 = lshr %7, %1
%9:i32 = sub %8, %6
result %9

%0 = block 3
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 2:i32, 0:i32
infer %3
%4:i32 = zext %2
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 75:i32, 76:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub %4, 4294967221:i32
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i1 = ule 1:i32, %0
%4:i32 = zext %3
%5:i32 = add 1:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 13:i32, 12:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 13:i32, %4
result %5

%0:i16 = var
%1:i1 = eq 0:i16, %0
%2:i16 = var
%3:i16 = or 32768:i16, %2
%4:i16 = select %1, %2, %3
infer %4
%5:i1 = ult 0:i16, %0
%6:i16 = zext %5
%7:i16 = shl %6, 15:i16
%8:i16 = or %2, %7
result %8

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 21:i32, 20:i32
infer %2
%3:i32 = zext %1
%4:i32 = add 20:i32, %3
result %4

%0:i1 = var
%1:i32 = select %0, 106:i32, 105:i32
infer %1
%2:i32 = zext %0
%3:i32 = sub %2, 4294967191:i32
result %3

%0:i32 = var
%1:i32 = add 2:i32, %0
%2:i32 = var
%3:i32 = and 1:i32, %2
%4:i32 = sub %1, %3
infer %4
%5:i32 = or 4294967294:i32, %2
%6:i32 = sub %0, %5
result %6

%0:i32 = var
%1:i32 = var
%2:i32 = subnsw %0, %1
%3:i1 = slt %2, 0:i32
%4:i32 = addnsw 256:i32, %2
%5:i32 = select %3, %4, %2
infer %5
%6:i32 = sub %0, %1
%7:i1 = slt %0, %1
%8:i32 = zext %7
%9:i32 = shl %8, 8:i32
%10:i32 = add %6, %9
result %10

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 78:i32, 79:i32
infer %2
%3:i1 = eq 0:i32, %0
%4:i32 = zext %3
%5:i32 = add 78:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = select %1, 2:i32, 1:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl 1:i32, %3
result %4

%0:i64 = var
%1:i64 = lshr 18446744073709551615:i64, %0
%2:i1 = var
%3:i64 = var
%4:i64 = select %2, 18446744073709551615:i64, %3
%5:i64 = and %1, %4
infer %5
%6:i64 = shl %3, %0
%7:i64 = sext %2
%8:i64 = or %6, %7
%9:i64 = lshr %8, %0
result %9

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 5:i32, 4:i32
infer %2
%3:i32 = zext %1
%4:i32 = or 4:i32, %3
result %4

%0 = block 2
%1:i32 = var
%2:i1 = eq 0:i32, %1
%3:i32 = select %2, 2:i32, 1:i32
infer %3
%4:i1 = ult %1, 1:i32
%5:i32 = zext %4
%6:i32 = shl 1:i32, %5
result %6

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 9:i32, 10:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub %4, 4294967287:i32
result %5

%0:i1 = var
%1:i8 = select %0, 4:i8, 0:i8
infer %1
%2:i8 = sext %0
%3:i8 = and 4:i8, %2
result %3

%0:i1 = var
%1:i32 = select %0, 5:i32, 4:i32
infer %1
%2:i32 = sext %0
%3:i32 = sub 4:i32, %2
result %3

%0 = block 2
%1:i32 = var
%2:i1 = eq 78:i32, %1
%3:i32 = select %2, 79:i32, 78:i32
infer %3
%4:i32 = zext %2
%5:i32 = add 78:i32, %4
result %5

%0 = block 7
%1:i32 = var
%2:i32 = add 4294967295:i32, %1
%3:i1 = var
%4:i32 = select %3, 4294967294:i32, 4294967295:i32
%5:i32 = add %2, %4
infer %5
%6:i32 = add 4294967294:i32, %1
%7:i32 = zext %3
%8:i32 = sub %6, %7
result %8

%0 = block 3
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 4:i32, 0:i32
infer %3
%4:i1 = ult 0:i32, %1
%5:i32 = zext %4
%6:i32 = shl %5, 2:i32
result %6

%0:i10 = var
%1:i10 = and 1:i10, %0
%2:i1 = ne 0:i10, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i8 = var
%1:i8 = var
%2:i8 = udiv %0, %1
%3:i1 = eq 0:i8, %2
infer %3
%4:i1 = ult %0, %1
result %4

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 7:i32, 8:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = sub 8:i32, %4
result %5

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = select %1, 17:i32, 16:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = or 16:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 2:i32, %0
%2:i32 = select %1, 1:i32, 2:i32
infer %2
%3:i32 = zext %1
%4:i32 = lshr 2:i32, %3
result %4

%0:i1 = var
%1:i32 = select %0, 105:i32, 106:i32
infer %1
%2:i32 = sext %0
%3:i32 = sub %2, 4294967190:i32
result %3

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 65:i32, 66:i32
%3:i32 = add %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = or 4294967230:i32, %4
%6:i32 = sub %0, %5
result %6

%0:i32 = var
%1:i32 = var
%2:i32 = subnsw %0, %1
%3:i1 = var
%4:i32 = select %3, 8:i32, 0:i32
%5:i32 = subnsw %2, %4
infer %5
%6:i32 = sub %0, %1
%7:i32 = sext %3
%8:i32 = shl %7, 3:i32
%9:i32 = add %6, %8
result %9

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = var
%3:i32 = addnsw 4:i32, %2
%4:i32 = select %1, %3, %2
infer %4
%5:i1 = ult 0:i32, %0
%6:i32 = zext %5
%7:i32 = shl %6, 2:i32
%8:i32 = add %2, %7
result %8

%0:i64 = var
%1:i1 = slt %0, 0:i64
%2:i64 = shlnsw %0, 1:i64
%3:i64 = subnsw 0:i64, %2
%4:i64 = select %1, %3, %2
infer %4
%5:i64 = add %0, %0
%6:i64 = ashr %0, 61:i64
%7:i64 = xor %5, %6
%8:i64 = sub %7, %6
result %8

%0:i64 = var
%1:i65 = umul.with.overflow %0, 16:i64
%2:i1 = extractvalue %1, 1:i32
infer %2
%3:i1 = ule 1152921504606846976:i64, %0
result %3

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 3:i32, 4:i32
infer %3
%4:i1 = ult 0:i32, %1
%5:i32 = zext %4
%6:i32 = sub 4:i32, %5
result %6

%0:i32 = var
%1:i1 = ne 0:i32, %0
%2:i32 = zext %1
%3:i32 = select %1, %2, 0:i32
infer %3
%4:i1 = ule 1:i32, %0
%5:i32 = zext %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 4:i32, 3:i32
infer %2
%3:i1 = ult 0:i32, %0
%4:i32 = zext %3
%5:i32 = sub 4:i32, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 0:i32, %1
%3:i32 = sub %2, %1
infer %3
%4:i32 = sub 0:i32, %1
%5:i32 = sext %0
%6:i32 = and %4, %5
result %6

%0:i64 = var
%1:i1 = eq 0:i64, %0
%2:i64 = var
%3:i64 = sub 0:i64, %2
%4:i64 = select %1, 0:i64, %3
infer %4
%5:i1 = ule 1:i64, %0
%6:i64 = zext %5
%7:i64 = shl %2, %6
%8:i64 = sub %2, %7
result %8

%0:i45 = var
%1:i45 = and 1:i45, %0
%2:i1 = ne 0:i45, %1
infer %2
%3:i1 = trunc %0
result %3

%0:i32 = var
%1:i32 = var
%2:i1 = eq %0, %1
%3:i32 = select %2, 1:i32, 2:i32
infer %3
%4:i32 = zext %2
%5:i32 = ashr 2:i32, %4
result %5

%0:i1 = var
%1:i32 = var
%2:i32 = select %0, 0:i32, %1
%3:i32 = subnsw 0:i32, %2
infer %3
%4:i32 = sext %0
%5:i32 = and %1, %4
%6:i32 = sub %5, %1
result %6

%0 = block 1
%1:i32 = var
%2:i32 = var
%3:i1 = slt %1, %2
%4:i32 = select %3, 2:i32, 1:i32
infer %4
%5:i1 = sle %2, %1
%6:i32 = zext %5
%7:i32 = lshr 2:i32, %6
result %7

%0:i32 = var
%1:i1 = slt %0, 2:i32
%2:i32 = select %1, 0:i32, 2:i32
infer %2
%3:i1 = slt 1:i32, %0
%4:i32 = zext %3
%5:i32 = shl %4, 1:i32
result %5

%0:i32 = var
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, %2, 0:i32
%4:i32 = subnsw %0, %3
infer %4
%5:i32 = sext %1
%6:i32 = and %2, %5
%7:i32 = sub %0, %6
result %7

%0:i32 = var
%1:i1 = eq 1:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i32 = zext %1
%4:i32 = shl %3, 1:i32
result %4

%0:i64 = var
%1:i1 = slt %0, 0:i64
%2:i64 = subnsw 0:i64, %0
%3:i64 = select %1, %2, %0
infer %3
%4:i64 = ashr %0, 63:i64
%5:i64 = add %0, %4
%6:i64 = xor %5, %4
result %6

%0:i32 = var
%1:i1 = var
%2:i32 = select %1, 4:i32, 8:i32
%3:i32 = addnsw %0, %2
infer %3
%4:i32 = zext %1
%5:i32 = lshr 8:i32, %4
%6:i32 = add %0, %5
result %6

%0:i32 = var
%1:i32 = var
%2:i1 = ult %0, %1
%3:i32 = select %2, 1:i32, 2:i32
infer %3
%4:i1 = ule %1, %0
%5:i32 = zext %4
%6:i32 = sub %5, 4294967295:i32
result %6

%0 = block 7
%1:i16 = var
%2:i1 = eq 0:i16, %1
%3:i16 = var
%4:i16 = or 32768:i16, %3
%5:i16 = select %2, %3, %4
infer %5
%6:i1 = ult 0:i16, %1
%7:i16 = zext %6
%8:i16 = shl %7, 15:i16
%9:i16 = or %3, %8
result %9

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 2:i32, 0:i32
infer %2
%3:i1 = ule %0, 0:i32
%4:i32 = zext %3
%5:i32 = shl %4, %4
result %5

%0:i32 = var
%1:i1 = slt 4:i32, %0
%2:i32 = select %1, 4:i32, 8:i32
infer %2
%3:i1 = sle %0, 4:i32
%4:i32 = zext %3
%5:i32 = shl 4:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 9:i32, 4:i32
infer %2
%3:i1 = ne 0:i32, %0
%4:i32 = zext %3
%5:i32 = ashr 9:i32, %4
result %5

%0:i32 = var
%1:i1 = eq 0:i32, %0
%2:i32 = select %1, 124:i32, 123:i32
infer %2
%3:i32 = zext %1
%4:i32 = sub %3, 4294967173:i32
result %4

%0 = block 2
%1:i1 = var
%2:i32 = var
%3:i32 = select %1, 4294967295:i32, %2
%4:i32 = and 65535:i32, %3
infer %4
%5:i32 = sext %1
%6:i32 = or %2, %5
%7:i32 = and 65535:i32, %6
result %7

%0 = block 3
%1:i32 = var
%2:i1 = ne 0:i32, %1
%3:i32 = select %2, 4294967294:i32, 4294967293:i32
infer %3
%4:i32 = zext %2
%5:i32 = add 4294967293:i32, %4
result %5

%0:i32 = var
%1:i1 = slt %0, 0:i32
%2:i32 = var
%3:i32 = select %1, 4294967295:i32, %2
infer %3
%4:i32 = ashr %0, 31:i32
%5:i32 = or %2, %4
result %5

%0:i32 = var
%1:i32 = addnsw 1:i32, %0
%2:i32 = var
%3:i32 = xor 4294967295:i32, %2
%4:i32 = add %1, %3
infer %4
%5:i32 = sub %0, %2
result %5

%0:i32 = var
%1:i32 = shl 1:i32, %0
%2:i32 = sdiv %1, 2:i32
infer %2
%3:i32 = ashr %1, 1:i32
result %3

%0:i8 = var
%1:i1 = eq 47:i8, %0
%2:i32 = var
%3:i32 = addnsw 4294967295:i32, %2
%4:i32 = select %1, %3, %2
infer %4
%5:i32 = sext %0
%6:i1 = eq 47:i32, %5
%7:i32 = zext %6
%8:i32 = sub %2, %7
result %8