Davide Italiano

``` define i32 @test1(i1 %C) { br i1 %C, label %exit, label %body body: %A = select i1 %C, i32 10, i32 11 ret i32 %A exit: ret i32 10...

Assuming you have: ``` define i1 @tinkywinky(i32 %a) { exit: %and = and i32 %a, 128 %cmp = icmp sle i32 %and, 128 ret i1 %cmp } ``` Both Cousot...

Hi, Daniel Berlin pointed me out to this so I decided to give it a try :) I have a branch where I updated this to 4.0, but here are...