[llvm] 784c70d - [ConstraintElimination] Add initial ICMP_NE test cases.
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Mon Feb 22 09:12:23 PST 2021
Author: Florian Hahn
Date: 2021-02-22T17:11:04Z
New Revision: 784c70d704d3147ec12181f1304971b44443850b
URL: https://github.com/llvm/llvm-project/commit/784c70d704d3147ec12181f1304971b44443850b
DIFF: https://github.com/llvm/llvm-project/commit/784c70d704d3147ec12181f1304971b44443850b.diff
LOG: [ConstraintElimination] Add initial ICMP_NE test cases.
Added:
llvm/test/Transforms/ConstraintElimination/ne.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/ConstraintElimination/ne.ll b/llvm/test/Transforms/ConstraintElimination/ne.ll
new file mode 100644
index 000000000000..c33509131fe6
--- /dev/null
+++ b/llvm/test/Transforms/ConstraintElimination/ne.ll
@@ -0,0 +1,148 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes
+; RUN: opt -constraint-elimination -S %s | FileCheck %s
+
+define i1 @test_eq_ne(i8 %a, i8 %b) {
+; CHECK-LABEL: @test_eq_ne(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[A:%.*]], 0
+; CHECK-NEXT: br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
+; CHECK: then:
+; CHECK-NEXT: [[F_1:%.*]] = icmp ne i8 [[A]], 0
+; CHECK-NEXT: [[C_1:%.*]] = icmp ne i8 [[A]], 1
+; CHECK-NEXT: [[C_2:%.*]] = icmp ne i8 [[A]], [[B:%.*]]
+; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[F_1]], [[C_1]]
+; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[C_2]]
+; CHECK-NEXT: ret i1 [[RES_2]]
+; CHECK: else:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ne i8 [[A]], 0
+; CHECK-NEXT: [[C_3:%.*]] = icmp ne i8 [[A]], 1
+; CHECK-NEXT: [[C_4:%.*]] = icmp ne i8 [[A]], [[B]]
+; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[T_1]], [[C_3]]
+; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], [[C_4]]
+; CHECK-NEXT: ret i1 [[RES_4]]
+;
+entry:
+ %cmp = icmp eq i8 %a, 0
+ br i1 %cmp, label %then, label %else
+
+then:
+ %f.1 = icmp ne i8 %a, 0
+ %c.1 = icmp ne i8 %a, 1
+ %c.2 = icmp ne i8 %a, %b
+ %res.1 = xor i1 %f.1, %c.1
+ %res.2 = xor i1 %res.1, %c.2
+ ret i1 %res.2
+
+else:
+ %t.1 = icmp ne i8 %a, 0
+ %c.3 = icmp ne i8 %a, 1
+ %c.4 = icmp ne i8 %a, %b
+ %res.3 = xor i1 %t.1, %c.3
+ %res.4 = xor i1 %res.3, %c.4
+ ret i1 %res.4
+}
+
+define i1 @test_ne_eq(i8 %a, i8 %b) {
+; CHECK-LABEL: @test_ne_eq(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[CMP:%.*]] = icmp ne i8 [[A:%.*]], 0
+; CHECK-NEXT: br i1 [[CMP]], label [[THEN:%.*]], label [[ELSE:%.*]]
+; CHECK: then:
+; CHECK-NEXT: [[T_1:%.*]] = icmp ne i8 [[A]], 0
+; CHECK-NEXT: [[C_1:%.*]] = icmp ne i8 [[A]], 1
+; CHECK-NEXT: [[RES_1:%.*]] = xor i1 [[T_1]], [[C_1]]
+; CHECK-NEXT: [[C_2:%.*]] = icmp ne i8 [[A]], [[B:%.*]]
+; CHECK-NEXT: [[RES_2:%.*]] = xor i1 [[RES_1]], [[C_2]]
+; CHECK-NEXT: [[C_3:%.*]] = icmp eq i8 [[A]], [[B]]
+; CHECK-NEXT: [[RES_3:%.*]] = xor i1 [[RES_2]], [[C_3]]
+; CHECK-NEXT: [[C_4:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT: [[RES_4:%.*]] = xor i1 [[RES_3]], [[C_4]]
+; CHECK-NEXT: [[T_2:%.*]] = icmp ugt i8 [[A]], 0
+; CHECK-NEXT: [[RES_5:%.*]] = xor i1 [[RES_4]], [[T_2]]
+; CHECK-NEXT: [[T_3:%.*]] = icmp uge i8 [[A]], 1
+; CHECK-NEXT: [[RES_6:%.*]] = xor i1 [[RES_5]], [[T_3]]
+; CHECK-NEXT: [[C_5:%.*]] = icmp ugt i8 [[A]], 1
+; CHECK-NEXT: [[RES_7:%.*]] = xor i1 [[RES_6]], [[C_5]]
+; CHECK-NEXT: [[C_6:%.*]] = icmp sgt i8 [[A]], 0
+; CHECK-NEXT: [[RES_8:%.*]] = xor i1 [[RES_7]], [[C_6]]
+; CHECK-NEXT: ret i1 [[RES_8]]
+; CHECK: else:
+; CHECK-NEXT: [[F_1:%.*]] = icmp ne i8 [[A]], 0
+; CHECK-NEXT: [[C_7:%.*]] = icmp ne i8 [[A]], 1
+; CHECK-NEXT: [[RES_9:%.*]] = xor i1 [[F_1]], [[C_7]]
+; CHECK-NEXT: [[C_8:%.*]] = icmp ne i8 [[A]], [[B]]
+; CHECK-NEXT: [[RES_10:%.*]] = xor i1 [[RES_9]], [[C_8]]
+; CHECK-NEXT: [[C_9:%.*]] = icmp eq i8 [[A]], [[B]]
+; CHECK-NEXT: [[RES_11:%.*]] = xor i1 [[RES_10]], [[C_9]]
+; CHECK-NEXT: [[C_10:%.*]] = icmp eq i8 [[A]], 0
+; CHECK-NEXT: [[RES_12:%.*]] = xor i1 [[RES_11]], [[C_10]]
+; CHECK-NEXT: [[F_2:%.*]] = icmp ugt i8 [[A]], 0
+; CHECK-NEXT: [[RES_13:%.*]] = xor i1 [[RES_12]], false
+; CHECK-NEXT: [[F_3:%.*]] = icmp uge i8 [[A]], 1
+; CHECK-NEXT: [[RES_14:%.*]] = xor i1 [[RES_13]], false
+; CHECK-NEXT: [[C_11:%.*]] = icmp ugt i8 [[A]], 1
+; CHECK-NEXT: [[RES_15:%.*]] = xor i1 [[RES_14]], false
+; CHECK-NEXT: [[C_12:%.*]] = icmp sgt i8 [[A]], 0
+; CHECK-NEXT: [[RES_16:%.*]] = xor i1 [[RES_15]], [[C_12]]
+; CHECK-NEXT: ret i1 [[RES_16]]
+;
+entry:
+ %cmp = icmp ne i8 %a, 0
+ br i1 %cmp, label %then, label %else
+
+then:
+ %t.1 = icmp ne i8 %a, 0
+ %c.1 = icmp ne i8 %a, 1
+ %res.1 = xor i1 %t.1, %c.1
+
+ %c.2 = icmp ne i8 %a, %b
+ %res.2 = xor i1 %res.1, %c.2
+
+ %c.3 = icmp eq i8 %a, %b
+ %res.3 = xor i1 %res.2, %c.3
+
+ %c.4 = icmp eq i8 %a, 0
+ %res.4 = xor i1 %res.3, %c.4
+
+ %t.2 = icmp ugt i8 %a, 0
+ %res.5 = xor i1 %res.4, %t.2
+
+ %t.3 = icmp uge i8 %a, 1
+ %res.6 = xor i1 %res.5, %t.3
+
+ %c.5 = icmp ugt i8 %a, 1
+ %res.7 = xor i1 %res.6, %c.5
+
+ %c.6 = icmp sgt i8 %a, 0
+ %res.8 = xor i1 %res.7, %c.6
+
+ ret i1 %res.8
+
+else:
+ %f.1 = icmp ne i8 %a, 0
+ %c.7 = icmp ne i8 %a, 1
+ %res.9 = xor i1 %f.1, %c.7
+
+ %c.8 = icmp ne i8 %a, %b
+ %res.10 = xor i1 %res.9, %c.8
+
+ %c.9 = icmp eq i8 %a, %b
+ %res.11 = xor i1 %res.10, %c.9
+
+ %c.10 = icmp eq i8 %a, 0
+ %res.12 = xor i1 %res.11, %c.10
+
+ %f.2 = icmp ugt i8 %a, 0
+ %res.13 = xor i1 %res.12, %f.2
+
+ %f.3 = icmp uge i8 %a, 1
+ %res.14 = xor i1 %res.13, %f.3
+
+ %c.11 = icmp ugt i8 %a, 1
+ %res.15 = xor i1 %res.14, %c.11
+
+ %c.12 = icmp sgt i8 %a, 0
+ %res.16 = xor i1 %res.15, %c.12
+
+ ret i1 %res.16
+}
More information about the llvm-commits
mailing list