Home | History | Annotate | Download | only in Verifier
      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 i8* @a(i32) allocsize(1)
      5 
      6 ; CHECK: 'allocsize' element size argument must refer to an integer parameter
      7 declare i8* @b(i32*) allocsize(0)
      8 
      9 ; CHECK: 'allocsize' number of elements argument is out of bounds
     10 declare i8* @c(i32) allocsize(0, 1)
     11 
     12 ; CHECK: 'allocsize' number of elements argument must refer to an integer parameter
     13 declare i8* @d(i32, i32*) allocsize(0, 1)
     14 
     15 ; CHECK: 'allocsize' number of elements argument is out of bounds
     16 declare i8* @e(i32, i32) allocsize(1, 2)
     17