%foo_4 = icmp sgt i32 %foo_0, %foo_1 
path-eq %foo_4 = bitcast i1 1 to i1 
%foo_13 = bitcast i32 3 to i32 
