test/Transforms/ArgumentPromotion/tail.ll

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