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