[llvm] b1130c4 - [SCCP] Precommit some sext tests (NFC).
Florian Hahn via llvm-commits
llvm-commits at lists.llvm.org
Wed Jun 17 04:01:31 PDT 2020
Author: Florian Hahn
Date: 2020-06-17T12:00:08+01:00
New Revision: b1130c4f55b5bce36593dc58e92f441eae2b5bbd
URL: https://github.com/llvm/llvm-project/commit/b1130c4f55b5bce36593dc58e92f441eae2b5bbd
DIFF: https://github.com/llvm/llvm-project/commit/b1130c4f55b5bce36593dc58e92f441eae2b5bbd.diff
LOG: [SCCP] Precommit some sext tests (NFC).
Added:
llvm/test/Transforms/SCCP/ip-ranges-sext.ll
llvm/test/Transforms/SCCP/ranges-sext.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/SCCP/ip-ranges-sext.ll b/llvm/test/Transforms/SCCP/ip-ranges-sext.ll
new file mode 100644
index 000000000000..b631aeca1b5a
--- /dev/null
+++ b/llvm/test/Transforms/SCCP/ip-ranges-sext.ll
@@ -0,0 +1,114 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -ipsccp -S %s -o -| FileCheck %s
+
+define i64 @test1(i32 %x) {
+; CHECK-LABEL: @test1(
+; CHECK-NEXT: [[C:%.*]] = icmp sgt i32 [[X:%.*]], 0
+; CHECK-NEXT: br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
+; CHECK: true:
+; CHECK-NEXT: [[EXT_1:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_1]]
+; CHECK: false:
+; CHECK-NEXT: [[EXT_2:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_2]]
+;
+ %c = icmp sgt i32 %x, 0
+ br i1 %c, label %true, label %false
+
+true:
+ %ext.1 = sext i32 %x to i64
+ ret i64 %ext.1
+
+false:
+ %ext.2 = sext i32 %x to i64
+ ret i64 %ext.2
+}
+
+define i64 @test2(i32 %x) {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT: [[C:%.*]] = icmp sge i32 [[X:%.*]], 0
+; CHECK-NEXT: br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
+; CHECK: true:
+; CHECK-NEXT: [[EXT_1:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_1]]
+; CHECK: false:
+; CHECK-NEXT: [[EXT_2:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_2]]
+;
+ %c = icmp sge i32 %x, 0
+ br i1 %c, label %true, label %false
+
+true:
+ %ext.1 = sext i32 %x to i64
+ ret i64 %ext.1
+
+false:
+ %ext.2 = sext i32 %x to i64
+ ret i64 %ext.2
+}
+
+
+define i64 @test3(i32 %x) {
+; CHECK-LABEL: @test3(
+; CHECK-NEXT: [[C:%.*]] = icmp sge i32 [[X:%.*]], -1
+; CHECK-NEXT: br i1 [[C]], label [[TRUE:%.*]], label [[FALSE:%.*]]
+; CHECK: true:
+; CHECK-NEXT: [[EXT_1:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_1]]
+; CHECK: false:
+; CHECK-NEXT: [[EXT_2:%.*]] = sext i32 [[X]] to i64
+; CHECK-NEXT: ret i64 [[EXT_2]]
+;
+ %c = icmp sge i32 %x, -1
+ br i1 %c, label %true, label %false
+
+true:
+ %ext.1 = sext i32 %x to i64
+ ret i64 %ext.1
+
+false:
+ %ext.2 = sext i32 %x to i64
+ ret i64 %ext.2
+}
+
+define i64 @test4_sext_op_can_be_undef(i1 %c.1, i1 %c.2) {
+; CHECK-LABEL: @test4_sext_op_can_be_undef(
+; CHECK-NEXT: br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
+; CHECK: true.1:
+; CHECK-NEXT: br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
+; CHECK: true.2:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: false:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: exit:
+; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
+; CHECK-NEXT: [[EXT:%.*]] = sext i32 [[P]] to i64
+; CHECK-NEXT: ret i64 [[EXT]]
+;
+ br i1 %c.1, label %true.1, label %false
+
+true.1:
+ br i1 %c.2, label %true.2, label %exit
+
+true.2:
+ br label %exit
+
+false:
+ br label %exit
+
+exit:
+ %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
+ %ext = sext i32 %p to i64
+ ret i64 %ext
+}
+
+define i64 @test5(i32 %x) {
+; CHECK-LABEL: @test5(
+; CHECK-NEXT: [[P:%.*]] = and i32 [[X:%.*]], 15
+; CHECK-NEXT: [[EXT:%.*]] = sext i32 [[P]] to i64
+; CHECK-NEXT: ret i64 [[EXT]]
+;
+ %p = and i32 %x, 15
+ %ext = sext i32 %p to i64
+ ret i64 %ext
+}
diff --git a/llvm/test/Transforms/SCCP/ranges-sext.ll b/llvm/test/Transforms/SCCP/ranges-sext.ll
new file mode 100644
index 000000000000..66e9e52c0441
--- /dev/null
+++ b/llvm/test/Transforms/SCCP/ranges-sext.ll
@@ -0,0 +1,75 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -sccp -S %s -o -| FileCheck %s
+
+define i64 @test1_sext_op_can_be_undef(i1 %c.1, i1 %c.2) {
+; CHECK-LABEL: @test1_sext_op_can_be_undef(
+; CHECK-NEXT: br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
+; CHECK: true.1:
+; CHECK-NEXT: br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
+; CHECK: true.2:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: false:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: exit:
+; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ undef, [[FALSE]] ]
+; CHECK-NEXT: [[EXT:%.*]] = sext i32 [[P]] to i64
+; CHECK-NEXT: ret i64 [[EXT]]
+;
+ br i1 %c.1, label %true.1, label %false
+
+true.1:
+ br i1 %c.2, label %true.2, label %exit
+
+true.2:
+ br label %exit
+
+false:
+ br label %exit
+
+exit:
+ %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ undef, %false ]
+ %ext = sext i32 %p to i64
+ ret i64 %ext
+}
+
+define i64 @test2(i32 %x) {
+; CHECK-LABEL: @test2(
+; CHECK-NEXT: [[P:%.*]] = and i32 [[X:%.*]], 15
+; CHECK-NEXT: [[EXT:%.*]] = sext i32 [[P]] to i64
+; CHECK-NEXT: ret i64 [[EXT]]
+;
+ %p = and i32 %x, 15
+ %ext = sext i32 %p to i64
+ ret i64 %ext
+}
+
+define i64 @test3(i1 %c.1, i1 %c.2) {
+; CHECK-LABEL: @test3(
+; CHECK-NEXT: br i1 [[C_1:%.*]], label [[TRUE_1:%.*]], label [[FALSE:%.*]]
+; CHECK: true.1:
+; CHECK-NEXT: br i1 [[C_2:%.*]], label [[TRUE_2:%.*]], label [[EXIT:%.*]]
+; CHECK: true.2:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: false:
+; CHECK-NEXT: br label [[EXIT]]
+; CHECK: exit:
+; CHECK-NEXT: [[P:%.*]] = phi i32 [ 0, [[TRUE_1]] ], [ 1, [[TRUE_2]] ], [ 3, [[FALSE]] ]
+; CHECK-NEXT: [[EXT:%.*]] = sext i32 [[P]] to i64
+; CHECK-NEXT: ret i64 [[EXT]]
+;
+ br i1 %c.1, label %true.1, label %false
+
+true.1:
+ br i1 %c.2, label %true.2, label %exit
+
+true.2:
+ br label %exit
+
+false:
+ br label %exit
+
+exit:
+ %p = phi i32 [ 0, %true.1 ], [ 1, %true.2], [ 3, %false ]
+ %ext = sext i32 %p to i64
+ ret i64 %ext
+}
More information about the llvm-commits
mailing list