1 ; RUN: opt < %s -instcombine -S | FileCheck %s
2 ; PR1940
4 define i1 @test1(i8 %A, i8 %B) {
5 %a = zext i8 %A to i32
6 %b = zext i8 %B to i32
7 %c = icmp sgt i32 %a, %b
8 ret i1 %c
9 ; CHECK: %c = icmp ugt i8 %A, %B
10 ; CHECK: ret i1 %c
11 }
13 define i1 @test2(i8 %A, i8 %B) {
14 %a = sext i8 %A to i32
15 %b = sext i8 %B to i32
16 %c = icmp ugt i32 %a, %b
17 ret i1 %c
18 ; CHECK: %c = icmp ugt i8 %A, %B
19 ; CHECK: ret i1 %c
20 }