llvm/test/Verifier/aarch64-ldstxr.ll

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