xref: /llvm-project/llvm/test/Verifier/allockind.ll (revision c820f2a43eaba02db97c4ff60c58a58e6bdd391d) 
1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2
3; CHECK: 'allockind()' requires exactly one of alloc, realloc, and free
4declare ptr @a(i32) allockind("aligned")
5
6; CHECK: 'allockind()' requires exactly one of alloc, realloc, and free
7declare ptr @b(ptr) allockind("free,realloc")
8
9; CHECK: 'allockind("free")' doesn't allow uninitialized, zeroed, or aligned modifiers.
10declare ptr @c(i32) allockind("free,zeroed")
11
12; CHECK: 'allockind()' can't be both zeroed and uninitialized
13declare ptr @d(i32, ptr) allockind("realloc,uninitialized,zeroed")
14
15; CHECK: 'allockind()' requires exactly one of alloc, realloc, and free
16declare ptr @e(i32, i32) allockind("alloc,free")
17