> > Would you mind also adding tests for what you expect these two to be lowered as: > > define i32 @t15_2(i32 %p1, i32 %p2, i32 %p3) { > entry: > %cmp = icmp sgt i32 %p1, 8 > %a = select i1 %cmp, i32 %p2, i32 %p3 > %xor = xor i32 %a, -1 > ret i32 %xor > } Isn't this the test that was already added? Cheers. Tim.