[Inline] Add test for PR48209 (NFC)
authorNikita Popov <nikita.ppv@gmail.com>
Wed, 18 Nov 2020 19:45:40 +0000 (20:45 +0100)
committerNikita Popov <nikita.ppv@gmail.com>
Wed, 18 Nov 2020 19:52:58 +0000 (20:52 +0100)
The test shows noalias metadata being incorrectly applied to the
instruction producing the argument for the call.

llvm/test/Transforms/Inline/pr48209.ll [new file with mode: 0644]

diff --git a/llvm/test/Transforms/Inline/pr48209.ll b/llvm/test/Transforms/Inline/pr48209.ll
new file mode 100644 (file)
index 0000000..c36a172
--- /dev/null
@@ -0,0 +1,25 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -inline -S < %s | FileCheck %s
+
+declare void @external_function(i8*)
+
+define internal void @inlined_function(i8* %arg) {
+  call void @external_function(i8* %arg)
+  ret void
+}
+
+; TODO: This is a miscompile.
+define void @test(i8** %p) {
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    [[ARG:%.*]] = load i8*, i8** [[P:%.*]], align 8, !alias.scope !0, !noalias !0
+; CHECK-NEXT:    call void @external_function(i8* [[ARG]]), !noalias !0
+; CHECK-NEXT:    ret void
+;
+  %arg = load i8*, i8** %p, !alias.scope !0
+  tail call void @inlined_function(i8* %arg), !noalias !0
+  ret void
+}
+
+!0 = !{!1}
+!1 = distinct !{!1, !2}
+!2 = distinct !{!2}