test/Verifier/inalloca1.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @a(i64* byval inalloca %p)
   4 ; CHECK: Attributes {{.*}} are incompatible
   5
   6 declare void @b(i64* inreg inalloca %p)
   7 ; CHECK: Attributes {{.*}} are incompatible
   8
   9 declare void @c(i64* sret inalloca %p)
  10 ; CHECK: Attributes {{.*}} are incompatible
  11
  12 declare void @d(i64* nest inalloca %p)
  13 ; CHECK: Attributes {{.*}} are incompatible
  14
  15 declare void @e(i64* readonly inalloca %p)
  16 ; CHECK: Attributes {{.*}} are incompatible
  17
  18 declare void @f(void ()* inalloca %p)
  19 ; CHECK: do not support unsized types
  20
  21 declare void @g(i32* inalloca %p, i32 %p2)
  22 ; CHECK: inalloca isn't on the last parameter!