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