1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2
3declare void @some_function(i32*)
4
5; CHECK: Attribute 'elementtype(i32)' applied to incompatible type!
6define void @type_mismatch1() {
7  call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* null, i32 elementtype(i32) 0, i32 0)
8  ret void
9}
10
11; CHECK: Attribute 'elementtype' type does not match parameter!
12define void @type_mismatch2() {
13  call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* elementtype(i64) null, i32 0, i32 0)
14  ret void
15}
16
17; CHECK: Attribute 'elementtype' can only be applied to intrinsics and inline asm.
18define void @not_intrinsic() {
19  call void @some_function(i32* elementtype(i32) null)
20  ret void
21}
22
23; CHECK: Attribute 'elementtype' can only be applied to a callsite.
24define void @llvm.not_call(i32* elementtype(i32)) {
25  ret void
26}
27
28define void @elementtype_required() {
29; CHECK: Intrinsic requires elementtype attribute on first argument.
30  call i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32* null, i32 0, i32 0)
31; CHECK: Intrinsic requires elementtype attribute on first argument.
32  call i32* @llvm.preserve.struct.access.index.p0i32.p0i32(i32* null, i32 0, i32 0)
33  ret void
34}
35
36declare i32* @llvm.preserve.array.access.index.p0i32.p0i32(i32*, i32, i32)
37declare i32* @llvm.preserve.struct.access.index.p0i32.p0i32(i32*, i32, i32)
38