test/Transforms/ArgumentPromotion/tail.ll

   1 ; RUN: opt %s -argpromotion -S -o - | FileCheck %s
   2
   3 %pair = type { i32, i32 }
   4
   5 declare i8* @foo(%pair*)
   6
   7 define internal void @bar(%pair* byval %Data) {
   8 ; CHECK: define internal void @bar(i32 %Data.0, i32 %Data.1)
   9 ; CHECK: %Data = alloca %pair
  10 ; CHECK-NOT: tail
  11 ; CHECK: call i8* @foo(%pair* %Data)
  12   tail call i8* @foo(%pair* %Data)
  13   ret void
  14 }
  15
  16 define void @zed(%pair* byval %Data) {
  17   call void @bar(%pair* byval %Data)
  18   ret void
  19 }