Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(498)

Unified Diff: test/Transforms/NaCl/combine-shuffle-vector.ll

Issue 939073008: Rebased PNaCl localmods in LLVM to 223109 (Closed)
Patch Set: undo localmod Created 5 years, 10 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: test/Transforms/NaCl/combine-shuffle-vector.ll
diff --git a/test/Transforms/NaCl/combine-shuffle-vector.ll b/test/Transforms/NaCl/combine-shuffle-vector.ll
new file mode 100644
index 0000000000000000000000000000000000000000..70cc17efc118c9c9dd41c2f5531ca3d5bbb21cb7
--- /dev/null
+++ b/test/Transforms/NaCl/combine-shuffle-vector.ll
@@ -0,0 +1,69 @@
+; RUN: opt -expand-shufflevector %s -S | \
+; RUN: opt -backend-canonicalize -S | FileCheck %s
+
+; Test that shufflevector is re-created after having been expanded to
+; insertelement / extractelement: shufflevector isn't part of the stable
+; PNaCl ABI but insertelement / extractelement are. Re-creating
+; shufflevector allows the backend to generate more efficient code.
+;
+; TODO(jfb) Narrow and widen aren't tested since the underlying types
+; are currently not supported by the PNaCl ABI.
+
+; The datalayout is needed to fold global constants.
+target datalayout = "e-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-p:32:32:32-v128:32:32"
+
+define <4 x i32> @test_splat_lo_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_splat_lo_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %lhs, <4 x i32> undef, <4 x i32> zeroinitializer
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 0, i32 0, i32 0, i32 0>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_splat_hi_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_splat_hi_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %rhs, <4 x i32> undef, <4 x i32> zeroinitializer
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 4, i32 4, i32 4, i32 4>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_id_lo_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_id_lo_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %lhs, <4 x i32> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_id_hi_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_id_hi_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %rhs, <4 x i32> undef, <4 x i32> <i32 0, i32 1, i32 2, i32 3>
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 4, i32 5, i32 6, i32 7>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_interleave_lo_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_interleave_lo_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 0, i32 4, i32 1, i32 5>
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 0, i32 4, i32 1, i32 5>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_interleave_hi_4xi32(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_interleave_hi_4xi32
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 1, i32 5, i32 3, i32 7>
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> %rhs, <4 x i32> <i32 1, i32 5, i32 3, i32 7>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
+
+define <4 x i32> @test_with_constant(<4 x i32> %lhs, <4 x i32> %rhs) {
+ ; CHECK-LABEL: test_with_constant
+ ; CHECK-NEXT: %[[R:[0-9]+]] = shufflevector <4 x i32> %lhs, <4 x i32> <i32 0, i32 -1, i32 undef, i32 undef>, <4 x i32> <i32 4, i32 0, i32 1, i32 5>
+ %res = shufflevector <4 x i32> %lhs, <4 x i32> <i32 0, i32 -1, i32 undef, i32 undef>, <4 x i32> <i32 4, i32 0, i32 1, i32 5>
+ ; CHECK-NEXT: ret <4 x i32> %[[R]]
+ ret <4 x i32> %res
+}
« no previous file with comments | « test/Transforms/NaCl/canonicalize-mem-intrinsics.ll ('k') | test/Transforms/NaCl/constant-insert-extract-element-index.ll » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698