1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2 ; RUN: opt -inline -S < %s | FileCheck %s
4 declare void @external_function(i8*)
6 define internal void @inlined_function(i8* %arg) {
7 call void @external_function(i8* %arg)
11 ; TODO: This is a miscompile.
12 define void @test(i8** %p) {
14 ; CHECK-NEXT: [[ARG:%.*]] = load i8*, i8** [[P:%.*]], align 8, !alias.scope !0
15 ; CHECK-NEXT: call void @external_function(i8* [[ARG]]), !noalias !0
16 ; CHECK-NEXT: ret void
18 %arg = load i8*, i8** %p, !alias.scope !0
19 tail call void @inlined_function(i8* %arg), !noalias !0
24 !1 = distinct !{!1, !2}