test/Transforms/InstCombine/2008-01-21-MismatchedCastAndCompare.ll


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

; RUN: llvm-as < %s | opt -instcombine | llvm-dis | notcast
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | not grep {icmp s}
; PR1940

define i1 @test1(i8 %A, i8 %B) {
        %a = zext i8 %A to i32
        %b = zext i8 %B to i32
        %c = icmp sgt i32 %a, %b
        ret i1 %c
}

define i1 @test2(i8 %A, i8 %B) {
        %a = sext i8 %A to i32
        %b = sext i8 %B to i32
        %c = icmp ugt i32 %a, %b
        ret i1 %c
}