1; RUN: llvm-dis < %S/arm-intrinsics.bc | FileCheck %s
2
3define void @f(i32* %p) {
4; CHECK: call i32 @llvm.arm.ldrex.p0i32(i32* elementtype(i32)
5  %a = call i32 @llvm.arm.ldrex.p0i32(i32* %p)
6; CHECK: call i32 @llvm.arm.strex.p0i32(i32 0, i32* elementtype(i32)
7  %c = call i32 @llvm.arm.strex.p0i32(i32 0, i32* %p)
8
9; CHECK: call i32 @llvm.arm.ldaex.p0i32(i32* elementtype(i32)
10  %a2 = call i32 @llvm.arm.ldaex.p0i32(i32* %p)
11; CHECK: call i32 @llvm.arm.stlex.p0i32(i32 0, i32* elementtype(i32)
12  %c2 = call i32 @llvm.arm.stlex.p0i32(i32 0, i32* %p)
13  ret void
14}
15
16declare i32 @llvm.arm.ldrex.p0i32(i32*)
17declare i32 @llvm.arm.ldaex.p0i32(i32*)
18declare i32 @llvm.arm.stlex.p0i32(i32, i32*)
19declare i32 @llvm.arm.strex.p0i32(i32, i32*)