RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[Inline] Add test for PR48209 (NFC)

Browse Source 
The test shows noalias metadata being incorrectly applied to the
instruction producing the argument for the call.
This commit is contained in:
Nikita Popov 2020-11-18 20:45:40 +01:00
parent 00f5bd854a
commit 16c81c015e
1 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
test/Transforms/Inline/pr48209.ll Normal file
View File

@ -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}