You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
21 lines
458 B
21 lines
458 B
7 months ago
|
; 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
|
||
|
|
}
|