xref: /llvm-project/llvm/test/Verifier/allocsize.ll (revision c820f2a43eaba02db97c4ff60c58a58e6bdd391d) 
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 ptr @a(i32) allocsize(1)
5
6; CHECK: 'allocsize' element size argument must refer to an integer parameter
7declare ptr @b(ptr) allocsize(0)
8
9; CHECK: 'allocsize' number of elements argument is out of bounds
10declare ptr @c(i32) allocsize(0, 1)
11
12; CHECK: 'allocsize' number of elements argument must refer to an integer parameter
13declare ptr @d(i32, ptr) allocsize(0, 1)
14
15; CHECK: 'allocsize' number of elements argument is out of bounds
16declare ptr @e(i32, i32) allocsize(1, 2)
17