13ffde316a
Remove compares after replacing all uses. Cleaning dead compares can enable additional simplifications when adjusting the position of the pass slightly. In particular, it seems like the additional dead instructions may prevent SimplifyCFG performing some folds. Reviewed By: nikic Differential Revision: https://reviews.llvm.org/D158760
92 lines
3.0 KiB
LLVM
92 lines
3.0 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
|
|
|
define i1 @test_slt() {
|
|
; CHECK-LABEL: @test_slt(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, false
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], false
|
|
; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], false
|
|
; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], true
|
|
; CHECK-NEXT: ret i1 [[RES_4]]
|
|
;
|
|
entry:
|
|
%t.0 = icmp slt i8 10, 11
|
|
%f.0 = icmp slt i8 10, 10
|
|
%res.1 = xor i1 %t.0, %f.0
|
|
%f.1 = icmp slt i8 10, 9
|
|
%res.2 = xor i1 %res.1, %f.1
|
|
%f.2 = icmp slt i8 10, -10
|
|
%res.3 = xor i1 %res.2, %f.2
|
|
%t.1 = icmp slt i8 10, 11
|
|
%res.4 = xor i1 %res.3, %t.1
|
|
ret i1 %res.4
|
|
}
|
|
|
|
define i1 @test_sgt() {
|
|
; CHECK-LABEL: @test_sgt(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 true, false
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], false
|
|
; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], false
|
|
; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], true
|
|
; CHECK-NEXT: ret i1 [[RES_4]]
|
|
;
|
|
entry:
|
|
%t.0 = icmp sgt i8 11, 10
|
|
%f.0 = icmp sgt i8 10, 10
|
|
%res.1 = xor i1 %t.0, %f.0
|
|
%f.1 = icmp sgt i8 9, 10
|
|
%res.2 = xor i1 %res.1, %f.1
|
|
%f.2 = icmp sgt i8 -10, 10
|
|
%res.3 = xor i1 %res.2, %f.2
|
|
%t.1 = icmp sgt i8 -1, -2
|
|
%res.4 = xor i1 %res.3, %t.1
|
|
ret i1 %res.4
|
|
}
|
|
|
|
; Test cases where lhs - rhs results in constant offset.
|
|
define i1 @test_slt_gep_1(ptr %base) {
|
|
; CHECK-LABEL: @test_slt_gep_1(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[GEP_1:%.*]] = getelementptr inbounds i8, ptr [[BASE:%.*]], i8 1
|
|
; CHECK-NEXT: [[T_0:%.*]] = icmp slt ptr [[BASE]], [[GEP_1]]
|
|
; CHECK-NEXT: [[GEP_0:%.*]] = getelementptr inbounds i8, ptr [[BASE]], i8 0
|
|
; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[T_0]], false
|
|
; CHECK-NEXT: [[C_1:%.*]] = icmp slt ptr [[GEP_1]], [[BASE]]
|
|
; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[C_1]]
|
|
; CHECK-NEXT: ret i1 [[RES_2]]
|
|
;
|
|
entry:
|
|
%gep.1 = getelementptr inbounds i8, ptr %base, i8 1
|
|
%t.0 = icmp slt ptr %base, %gep.1
|
|
%gep.0 = getelementptr inbounds i8, ptr %base, i8 0
|
|
%f.0 = icmp slt ptr %base, %gep.0
|
|
%res.1 = xor i1 %t.0, %f.0
|
|
%c.1 = icmp slt ptr %gep.1, %base
|
|
%res.2 = xor i1 %res.1, %c.1
|
|
ret i1 %res.2
|
|
}
|
|
|
|
define i1 @test_slt_gep_2(ptr %base) {
|
|
; CHECK-LABEL: @test_slt_gep_2(
|
|
; CHECK-NEXT: [[GEP_SUB_1:%.*]] = getelementptr inbounds i8, ptr [[BASE:%.*]], i8 -1
|
|
; CHECK-NEXT: [[C_1:%.*]] = icmp slt ptr [[BASE]], [[GEP_SUB_1]]
|
|
; CHECK-NEXT: ret i1 [[C_1]]
|
|
;
|
|
%gep.sub.1 = getelementptr inbounds i8, ptr %base, i8 -1
|
|
%c.1 = icmp slt ptr %base, %gep.sub.1
|
|
ret i1 %c.1
|
|
}
|
|
|
|
define i1 @test_slt_gep_3(ptr %base) {
|
|
; CHECK-LABEL: @test_slt_gep_3(
|
|
; CHECK-NEXT: [[GEP_1_NOINBOUNDS:%.*]] = getelementptr i8, ptr [[BASE:%.*]], i8 1
|
|
; CHECK-NEXT: [[C_1:%.*]] = icmp slt ptr [[BASE]], [[GEP_1_NOINBOUNDS]]
|
|
; CHECK-NEXT: ret i1 [[C_1]]
|
|
;
|
|
%gep.1.noinbounds = getelementptr i8, ptr %base, i8 1
|
|
%c.1 = icmp slt ptr %base, %gep.1.noinbounds
|
|
ret i1 %c.1
|
|
}
|