gistfile1.txt

%0:i32 = var
%1:i32 = sub %0, 16:i32
%2:i32 = add 16:i32, %1
infer %2
result %0

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i32 = sub %0, 256:i32
%2:i32 = add 256:i32, %1
infer %2
result %0

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i1 = ult 1065353216:i32, %0
pc %1 1:i1
%2:i1 = ne 1065353216:i32, %0
infer %2
result 1:i1

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

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

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i1 = slt 0:i64, %0
pc %1 1:i1
%2:i64 = var
%3:i64 = or %0, %2
%4:i1 = ne 0:i64, %3
infer %4
result 1:i1

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i32 = shl %0, 3:i32
%2:i32 = add 461288:i32, %1
%3:i32 = add 8:i32, %2
infer %3
%4:i32 = add 461296:i32, %1
result %4

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i1 = slt 0:i64, %0
pc %1 1:i1
%2:i32 = var
%3:i32 = add 16:i32, %2
%4:i32 = add 8:i32, %3
infer %4
%5:i32 = add 24:i32, %2
result %5

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i1 = slt 0:i64, %0
pc %1 1:i1
%2:i32 = var
%3:i32 = add 72:i32, %2
%4:i32 = add 8:i32, %3
infer %4
%5:i32 = sub %2, 4294967216:i32
result %5

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i64 = var
%2:i64 = xor 9223090561878065152:i64, %1
%3:i64 = or %0, %2
%4:i1 = eq 0:i64, %3
pc %4 1:i1
%5:i64 = var
%6:i64 = xor %5, %0
infer %6
result %5

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i1 = slt 0:i64, %0
pc %1 1:i1
%2:i64 = var
%3:i64 = or %0, %2
%4:i1 = ne 0:i64, %3
%5:i32 = select %4, 4294967295:i32, 0:i32
infer %5
result 4294967295:i32

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0 = block 2
%1:i32 = var
%2:i1 = ne 0:i32, %1
blockpc %0 0 %2 1:i1
%3:i1 = eq 0:i32, %1
blockpc %0 1 %3 1:i1
%4:i32 = shl %1, 2:i32
%5:i32 = phi %0, 0:i32, %4
infer %5
result 0:i32

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i1 = slt %0, 0:i64
%2:i32 = zext %1
%3:i64 = var
%4:i1 = slt %3, 0:i64
%5:i32 = zext %4
%6:i1 = ne %2, %5
infer %6
%7:i64 = xor %0, %3
%8:i1 = sle %7, 18446744073709551615:i64
result %8

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i32 = var
%2:i32 = add 4294967295:i32, %1
%3:i32 = shl %2, 2:i32
%4:i32 = add %0, %3
%5:i32 = add 348:i32, %4
infer %5
%6:i32 = shl %1, 2:i32
%7:i32 = sub %6, 4294966952:i32
%8:i32 = add %0, %7
result %8

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

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

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i64 = var
%2:i64 = or %0, %1
%3:i1 = ne 0:i64, %2
pc %3 1:i1
%4:i64 = var
%5:i64 = var
%6:i64 = or %4, %5
%7:i1 = eq 0:i64, %6
%8:i32 = zext %7
%9:i1 = eq 0:i32, %8
infer %9
%10:i1 = ult %5, 1:i64
%11:i64 = zext %10
%12:i1 = ule %11, %4
result %12

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i1 = ne 0:i32, %0
pc %1 1:i1
%2:i64 = var
%3:i64 = var
%4:i1 = sle %2, %3
%5:i1 = slt %3, %2
%6:i32 = select %5, 4294967295:i32, 0:i32
%7:i32 = select %4, 1:i32, %6
infer %7
%8:i64 = select %5, 18317358600529379327:i64, 1:i64
%9:i32 = trunc %8
result %9

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i32 = var
%1:i32 = xor 1:i32, %0
%2:i1 = eq 0:i32, %1
pc %2 1:i1
%3:i32 = var
%4:i32 = var
%5:i32 = add 4294967295:i32, %4
%6:i32 = shl %5, 2:i32
%7:i32 = add %3, %6
%8:i32 = add 348:i32, %7
infer %8
%9:i32 = shl %4, 2:i32
%10:i32 = sub %9, 4294966952:i32
%11:i32 = add %3, %10
result %11

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0:i64 = var
%1:i64 = var
%2:i64 = xor 9223090561878065152:i64, %1
%3:i64 = or %0, %2
%4:i1 = eq 0:i64, %3
pc %4 1:i1
%5:i64 = var
%6:i64 = var
%7:i64 = xor %5, %6
%8:i64 = xor 9223372036854775808:i64, %7
%9:i64 = var
%10:i64 = xor %9, %0
%11:i64 = or %8, %10
infer %11
%12:i64 = sub %5, 9223372036854775808:i64
%13:i64 = xor %6, %12
%14:i64 = or %9, %13
result %14

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

%0 = block 2
%1:i32 = var
%2:i1 = sle %1, 4:i32
blockpc %0 0 %2 1:i1
%3:i32 = zext %2
%4:i1 = eq 0:i32, %3
blockpc %0 1 %4 1:i1
%5 = block 2
%6:i32 = var
%7:i1 = ne 0:i32, %6
blockpc %5 0 %7 1:i1
%8:i1 = eq 0:i32, %6
blockpc %5 1 %8 1:i1
%9 = block 3
%10:i32 = shl %6, 2:i32
%11:i32 = phi %5, 0:i32, %10
%12:i32 = phi %9, 0:i32, 0:i32, %11
%13:i32 = phi %0, 0:i32, %12
infer %13
result 0:i32

; total static profile = 0
; total dynamic profile = 0
------------------------------------------------------

; overall total static profile weight = 0
; 0 were tagged by cache_infer, 2154 were not