test/Transforms/InstCombine/zext-bool-add-sub.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29

; RUN: opt %s -instcombine | llvm-dis | not grep zext

define i32 @a(i1 %x) {
entry:
        %y = zext i1 %x to i32
        %res = add i32 %y, 1
        ret i32 %res
}

define i32 @b(i1 %x) {
entry:
        %y = zext i1 %x to i32
        %res = add i32 %y, -1
        ret i32 %res
}

define i32 @c(i1 %x) {
entry:
        %y = zext i1 %x to i32
        %res = sub i32 0, %y
        ret i32 %res
}

define i32 @d(i1 %x) {
entry:
        %y = zext i1 %x to i32
        %res = sub i32 3, %y
        ret i32 %res
}