1; RUN: opt < %s -instcombine -S | not grep zext 2 3define i32 @a(i1 %x) { 4entry: 5 %y = zext i1 %x to i32 6 %res = add i32 %y, 1 7 ret i32 %res 8} 9 10define i32 @b(i1 %x) { 11entry: 12 %y = zext i1 %x to i32 13 %res = add i32 %y, -1 14 ret i32 %res 15} 16 17define i32 @c(i1 %x) { 18entry: 19 %y = zext i1 %x to i32 20 %res = sub i32 0, %y 21 ret i32 %res 22} 23 24define i32 @d(i1 %x) { 25entry: 26 %y = zext i1 %x to i32 27 %res = sub i32 3, %y 28 ret i32 %res 29} 30