test/Transforms/ConstProp/2002-09-03-SetCC-Bools.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

; SetCC on boolean values was not implemented!

; RUN: llvm-as < %s | opt -constprop -die | llvm-dis | \
; RUN:   not grep set

define i1 @test1() {
        %A = icmp ule i1 true, false            ; <i1> [#uses=1]
        %B = icmp uge i1 true, false            ; <i1> [#uses=1]
        %C = icmp ult i1 false, true            ; <i1> [#uses=1]
        %D = icmp ugt i1 true, false            ; <i1> [#uses=1]
        %E = icmp eq i1 false, false            ; <i1> [#uses=1]
        %F = icmp ne i1 false, true             ; <i1> [#uses=1]
        %G = and i1 %A, %B              ; <i1> [#uses=1]
        %H = and i1 %C, %D              ; <i1> [#uses=1]
        %I = and i1 %E, %F              ; <i1> [#uses=1]
        %J = and i1 %G, %H              ; <i1> [#uses=1]
        %K = and i1 %I, %J              ; <i1> [#uses=1]
        ret i1 %K
}