llvm/test/Verifier/inalloca2.ll

   1 ; This used to be invalid, but now it's valid.  Ensure the verifier
   2 ; doesn't reject it.
   3 ; RUN: llvm-as %s -o /dev/null
   4
   5 declare void @doit(ptr inalloca(i64) %a)
   6
   7 define void @a() {
   8 entry:
   9   %a = alloca inalloca [2 x i32]
  10   call void @doit(ptr inalloca(i64) %a)
  11   ret void
  12 }
  13
  14 define void @b() {
  15 entry:
  16   %a = alloca inalloca i64
  17   call void @doit(ptr inalloca(i64) %a)
  18   call void @doit(ptr inalloca(i64) %a)
  19   ret void
  20 }
  21
  22 define void @c(i1 %cond) {
  23 entry:
  24   br i1 %cond, label %if, label %else
  25
  26 if:
  27   %a = alloca inalloca i64
  28   br label %call
  29
  30 else:
  31   %b = alloca inalloca i64
  32   br label %call
  33
  34 call:
  35   %args = phi ptr [ %a, %if ], [ %b, %else ]
  36   call void @doit(ptr inalloca(i64) %args)
  37   ret void
  38 }