llvm/test/Verifier/inalloca1.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @a(i64* byval(i64) inalloca(i64) %p)
   4 ; CHECK: Attributes {{.*}} are incompatible
   5
   6 declare void @b(i64* inreg inalloca(i64) %p)
   7 ; CHECK: Attributes {{.*}} are incompatible
   8
   9 declare void @c(i64* sret(i64) inalloca(i64) %p)
  10 ; CHECK: Attributes {{.*}} are incompatible
  11
  12 declare void @d(i64* nest inalloca(i64) %p)
  13 ; CHECK: Attributes {{.*}} are incompatible
  14
  15 declare void @e(i64* readonly inalloca(i64) %p)
  16 ; CHECK: Attributes {{.*}} are incompatible
  17
  18 declare void @f(void ()* inalloca(void()) %p)
  19 ; CHECK: Attribute 'inalloca' does not support unsized types
  20
  21 declare void @g(i32* inalloca(i32) %p, i32 %p2)
  22 ; CHECK: inalloca isn't on the last parameter!
  23
  24 ; CHECK: Attribute 'inalloca' type does not match parameter!
  25 ; CHECK-NEXT: void (i32*)* @inalloca_mismatched_pointee_type0
  26 define void @inalloca_mismatched_pointee_type0(i32* inalloca(i8)) {
  27   ret void
  28 }
  29
  30 ; CHECK: Attribute 'inalloca(i8)' applied to incompatible type!
  31 ; CHECK-NEXT: void (i8)* @inalloca_not_pointer
  32 define void @inalloca_not_pointer(i8 inalloca(i8)) {
  33   ret void
  34 }