[llvm] 1b61d83 - [Inline] Add test for PR50589 (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Sun Jul 18 09:38:18 PDT 2021
Author: Nikita Popov
Date: 2021-07-18T18:38:06+02:00
New Revision: 1b61d837b9d0eebdecab21939ba5c0e493ed7db2
URL: https://github.com/llvm/llvm-project/commit/1b61d837b9d0eebdecab21939ba5c0e493ed7db2
DIFF: https://github.com/llvm/llvm-project/commit/1b61d837b9d0eebdecab21939ba5c0e493ed7db2.diff
LOG: [Inline] Add test for PR50589 (NFC)
Added:
llvm/test/Transforms/Inline/pr50589.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/Transforms/Inline/pr50589.ll b/llvm/test/Transforms/Inline/pr50589.ll
new file mode 100644
index 000000000000..7431c1d37f8e
--- /dev/null
+++ b/llvm/test/Transforms/Inline/pr50589.ll
@@ -0,0 +1,56 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -inline < %s | FileCheck %s
+
+; Test interaction of simplification during cloning with insertion of scoped
+; noalias metadata.
+
+define <2 x i8> @callee1(<2 x i8>* %ptr1, <2 x i8>* noalias %ptr2, <2 x i1> %mask, <2 x i8> %passthru) {
+; CHECK-LABEL: @callee1(
+; CHECK-NEXT: [[RET:%.*]] = call <2 x i8> @llvm.masked.load.v2i8.p0v2i8(<2 x i8>* [[PTR1:%.*]], i32 1, <2 x i1> [[MASK:%.*]], <2 x i8> [[PASSTHRU:%.*]])
+; CHECK-NEXT: store <2 x i8> zeroinitializer, <2 x i8>* [[PTR2:%.*]], align 2
+; CHECK-NEXT: ret <2 x i8> [[RET]]
+;
+ %ret = call <2 x i8> @llvm.masked.load.v2i8(<2 x i8>* %ptr1, i32 1, <2 x i1> %mask, <2 x i8> %passthru)
+ store <2 x i8> zeroinitializer, <2 x i8>* %ptr2
+ ret <2 x i8> %ret
+}
+
+; TODO: The load should not have !noalias.
+define void @caller1(<2 x i8>* %ptr1, <2 x i8>* %ptr2) {
+; CHECK-LABEL: @caller1(
+; CHECK-NEXT: [[PASSTHRU:%.*]] = load <2 x i8>, <2 x i8>* [[PTR2:%.*]], align 2, !noalias !0
+; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META0:![0-9]+]])
+; CHECK-NEXT: store <2 x i8> zeroinitializer, <2 x i8>* [[PTR2]], align 2, !alias.scope !0
+; CHECK-NEXT: ret void
+;
+ %passthru = load <2 x i8>, <2 x i8>* %ptr2
+ call <2 x i8> @callee1(<2 x i8>* %ptr1, <2 x i8>* %ptr2, <2 x i1> zeroinitializer, <2 x i8> %passthru)
+ ret void
+}
+
+define <2 x i8> @callee2(<2 x i8>* %ptr1, <2 x i8>* noalias %ptr2, <2 x i1> %mask) {
+; CHECK-LABEL: @callee2(
+; CHECK-NEXT: [[PASSTHRU:%.*]] = load <2 x i8>, <2 x i8>* [[PTR2:%.*]], align 2
+; CHECK-NEXT: [[RET:%.*]] = call <2 x i8> @llvm.masked.load.v2i8.p0v2i8(<2 x i8>* [[PTR1:%.*]], i32 1, <2 x i1> [[MASK:%.*]], <2 x i8> [[PASSTHRU]])
+; CHECK-NEXT: store <2 x i8> zeroinitializer, <2 x i8>* [[PTR2]], align 2
+; CHECK-NEXT: ret <2 x i8> [[RET]]
+;
+ %passthru = load <2 x i8>, <2 x i8>* %ptr2
+ %ret = call <2 x i8> @llvm.masked.load.v2i8(<2 x i8>* %ptr1, i32 1, <2 x i1> %mask, <2 x i8> %passthru)
+ store <2 x i8> zeroinitializer, <2 x i8>* %ptr2
+ ret <2 x i8> %ret
+}
+
+; TODO: The load should not have !noalias.
+define void @caller2(<2 x i8>* %ptr1, <2 x i8>* %ptr2) {
+; CHECK-LABEL: @caller2(
+; CHECK-NEXT: call void @llvm.experimental.noalias.scope.decl(metadata [[META3:![0-9]+]])
+; CHECK-NEXT: [[PASSTHRU_I:%.*]] = load <2 x i8>, <2 x i8>* [[PTR2:%.*]], align 2, !alias.scope !3, !noalias !3
+; CHECK-NEXT: store <2 x i8> zeroinitializer, <2 x i8>* [[PTR2]], align 2, !alias.scope !3
+; CHECK-NEXT: ret void
+;
+ call <2 x i8> @callee2(<2 x i8>* %ptr1, <2 x i8>* %ptr2, <2 x i1> zeroinitializer)
+ ret void
+}
+
+declare <2 x i8> @llvm.masked.load.v2i8(<2 x i8>*, i32, <2 x i1>, <2 x i8>)
More information about the llvm-commits
mailing list