d18ca43edc
This adds checks to fold calls to `ucmp`/`scmp` where a comparative relationship between the arguments can be established.
150 lines
3.8 KiB
LLVM
150 lines
3.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
|
|
|
define i8 @scmp_1(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @scmp_1(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp sgt i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 1
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 20
|
|
;
|
|
%cond = icmp sgt i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
%r = call i8 @llvm.scmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
false:
|
|
ret i8 20
|
|
}
|
|
|
|
define i8 @ucmp_1(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @ucmp_1(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp ult i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 -1
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 20
|
|
;
|
|
%cond = icmp ult i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
%r = call i8 @llvm.ucmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
false:
|
|
ret i8 20
|
|
}
|
|
|
|
define i8 @scmp_2(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @scmp_2(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp sge i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 20
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 -1
|
|
;
|
|
%cond = icmp sge i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
ret i8 20
|
|
false:
|
|
%r = call i8 @llvm.scmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
}
|
|
|
|
define i8 @ucmp_2(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @ucmp_2(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp ule i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 20
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 1
|
|
;
|
|
%cond = icmp ule i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
ret i8 20
|
|
false:
|
|
%r = call i8 @llvm.ucmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
}
|
|
|
|
define i8 @scmp_3(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @scmp_3(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 0
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 20
|
|
;
|
|
%cond = icmp eq i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
%r = call i8 @llvm.scmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
false:
|
|
ret i8 20
|
|
}
|
|
|
|
define i8 @ucmp_3(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @ucmp_3(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp eq i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 0
|
|
; CHECK: false:
|
|
; CHECK-NEXT: ret i8 20
|
|
;
|
|
%cond = icmp eq i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
%r = call i8 @llvm.ucmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
false:
|
|
ret i8 20
|
|
}
|
|
|
|
; Negative test: signedness mismatch
|
|
define i8 @scmp_4(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @scmp_4(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp ugt i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 20
|
|
; CHECK: false:
|
|
; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.scmp.i8.i32(i32 [[X]], i32 [[Y]])
|
|
; CHECK-NEXT: ret i8 [[R]]
|
|
;
|
|
%cond = icmp ugt i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
ret i8 20
|
|
false:
|
|
%r = call i8 @llvm.scmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
}
|
|
|
|
define i8 @ucmp_4(i32 %x, i32 %y) {
|
|
; CHECK-LABEL: @ucmp_4(
|
|
; CHECK-NEXT: [[COND:%.*]] = icmp slt i32 [[X:%.*]], [[Y:%.*]]
|
|
; CHECK-NEXT: br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
|
|
; CHECK: true:
|
|
; CHECK-NEXT: ret i8 20
|
|
; CHECK: false:
|
|
; CHECK-NEXT: [[R:%.*]] = call i8 @llvm.ucmp.i8.i32(i32 [[X]], i32 [[Y]])
|
|
; CHECK-NEXT: ret i8 [[R]]
|
|
;
|
|
%cond = icmp slt i32 %x, %y
|
|
br i1 %cond, label %true, label %false
|
|
true:
|
|
ret i8 20
|
|
false:
|
|
%r = call i8 @llvm.ucmp(i32 %x, i32 %y)
|
|
ret i8 %r
|
|
}
|