t5-inline

Prévia do material em texto

Constraint Graph for 'foo' function
foo.bb19.tmp23 [-128, 127]
phi
main.bb20.tmp24 [-1, 98]
phi
foo.bb19.tmp21 [-inf, +inf]
add
foo.bb24.tmp26 [-inf, +inf]
foo.bb14.vSSA_sigma3 [0, +inf]
sub main.bb13.vSSA_sigma [-127, 99]
sext i32 sext i32
main.bb20.tmp22 [1, 99]
phi
foo.bb2.tmp.0 [-inf, +inf]
sext i32 [-inf, ub(foo.N) - 1][lb(foo.N), +inf]
foo.bb14.vSSA_sigma2 [0, +inf]
add
main.bb25.tmp29 [-127, 100]
phi
foo.k [-inf, +inf]
main.bb13.tmp15 [-128, 99]
foo.N [-inf, +inf]
foo.bb7.vSSA_sigma [-inf, +inf]foo.bb24.vSSA_sigma1 [-inf, +inf]
foo.bb14.tmp16 [1, +inf]
phi
main.bb25.tmp27 [-128, 99]
add
foo.bb14.tmp18 [-1, +inf]
phi
main.bb25.tmp28 [-127, 100]
trunc i8
0 [0, 0]
main.bb16.i.i.0 [0, 99]
main.bb20.vSSA_sigma3 [0, 99]
[-inf, ub(main.bb16.j.i.0) - 1]
sext i32 sext i32
foo.bb7.tmp9 [-inf, +inf]
1 [1, 1]
add
sub
100 [100, 100]
main.bb16.j.i.0 [-128, 99]
main.bb20.vSSA_sigma2 [0, 98] [lb(main.bb16.i.i.0), +inf]
foo.bb19.tmp22 [-inf, +inf]
trunc i8
foo.bb10.i.0 [0, +inf]
[-inf, ub(foo.bb10.j.0) - 1]
main.foo.exit.tmp31 [100, 100]
foo.bb2.tmp4 [-inf, +inf]
main.bb8.tmp.0 [-127, 100]
sext i32 [-inf, 99][100, +inf]
sext i32
foo.bb10.j.0 [-inf, +inf]
[lb(foo.bb10.i.0), +inf]
main.bb8.tmp10 [-127, 100]main.foo.exit.vSSA_sigma1 [100, 100]
sext i32