20 lines · plain
1; RUN: not opt -passes=verify -S < %s 2>&1 | FileCheck %s2 3define void @f(ptr %p) {4; CHECK: Intrinsic requires elementtype attribute on first argument5 %a = call i64 @llvm.aarch64.ldxr.p0(ptr %p)6; CHECK: Intrinsic requires elementtype attribute on second argument7 %c = call i32 @llvm.aarch64.stxr.p0(i64 0, ptr %p)8 9; CHECK: Intrinsic requires elementtype attribute on first argument10 %a2 = call i64 @llvm.aarch64.ldaxr.p0(ptr %p)11; CHECK: Intrinsic requires elementtype attribute on second argument12 %c2 = call i32 @llvm.aarch64.stlxr.p0(i64 0, ptr %p)13 ret void14}15 16declare i64 @llvm.aarch64.ldxr.p0(ptr)17declare i64 @llvm.aarch64.ldaxr.p0(ptr)18declare i32 @llvm.aarch64.stxr.p0(i64, ptr)19declare i32 @llvm.aarch64.stlxr.p0(i64, ptr)20