blob: 1e63715cfb9ec76ae6e12ea0b7d6e946ace91441 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
; RUN: not opt -passes=verify -S < %s 2>&1 | FileCheck %s
define void @f(ptr %p) {
; CHECK: Intrinsic requires elementtype attribute on first argument
%a = call i32 @llvm.arm.ldrex.p0(ptr %p)
; CHECK: Intrinsic requires elementtype attribute on second argument
%c = call i32 @llvm.arm.strex.p0(i32 0, ptr %p)
; CHECK: Intrinsic requires elementtype attribute on first argument
%a2 = call i32 @llvm.arm.ldaex.p0(ptr %p)
; CHECK: Intrinsic requires elementtype attribute on second argument
%c2 = call i32 @llvm.arm.stlex.p0(i32 0, ptr %p)
ret void
}
declare i32 @llvm.arm.ldrex.p0(ptr)
declare i32 @llvm.arm.ldaex.p0(ptr)
declare i32 @llvm.arm.stlex.p0(i32, ptr)
declare i32 @llvm.arm.strex.p0(i32, ptr)
|
