reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

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

; RUN: opt < %s -instcombine -S | FileCheck %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
; CHECK: %c = icmp ugt i8 %A, %B
; CHECK: 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
; CHECK: %c = icmp ugt i8 %A, %B
; CHECK: ret i1 %c
}