llvm/test/Verifier/allocsize.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 ; CHECK: 'allocsize' element size argument is out of bounds
   4 declare ptr @a(i32) allocsize(1)
   5
   6 ; CHECK: 'allocsize' element size argument must refer to an integer parameter
   7 declare ptr @b(ptr) allocsize(0)
   8
   9 ; CHECK: 'allocsize' number of elements argument is out of bounds
  10 declare ptr @c(i32) allocsize(0, 1)
  11
  12 ; CHECK: 'allocsize' number of elements argument must refer to an integer parameter
  13 declare ptr @d(i32, ptr) allocsize(0, 1)
  14
  15 ; CHECK: 'allocsize' number of elements argument is out of bounds
  16 declare ptr @e(i32, i32) allocsize(1, 2)