llvm/test/Transforms/Inline/pr48209.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=inline -S < %s | FileCheck %s
   3
   4 declare void @external_function(ptr)
   5
   6 define internal void @inlined_function(ptr %arg) {
   7   call void @external_function(ptr %arg)
   8   ret void
   9 }
  10
  11 ; TODO: This is a miscompile.
  12 define 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}