[llvm] b51c290 - [Inline] Add test for PR48209 (NFC)

[Nikita Popov via llvm-commits]

Author: Nikita Popov
Date: 2020-11-18T20:52:58+01:00
New Revision: b51c290663cf50372cd681917cc63379abcf104a

URL: https://github.com/llvm/llvm-project/commit/b51c290663cf50372cd681917cc63379abcf104a
DIFF: https://github.com/llvm/llvm-project/commit/b51c290663cf50372cd681917cc63379abcf104a.diff

LOG: [Inline] Add test for PR48209 (NFC)

The test shows noalias metadata being incorrectly applied to the
instruction producing the argument for the call.

Added: 
    llvm/test/Transforms/Inline/pr48209.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Transforms/Inline/pr48209.ll b/llvm/test/Transforms/Inline/pr48209.ll
new file mode 100644
index 000000000000..c36a1729182a
--- /dev/null
+++ b/llvm/test/Transforms/Inline/pr48209.ll
@@ -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}