[llvm-branch-commits] [llvm] a5a6164 - [AArch64] Add test to check the attributes for some intrinsics.

[Florian Hahn via llvm-branch-commits]

Author: Florian Hahn
Date: 2021-01-18T17:18:19Z
New Revision: a5a6164f6de5bea2ad1e78445684cc81fe632e56

URL: https://github.com/llvm/llvm-project/commit/a5a6164f6de5bea2ad1e78445684cc81fe632e56
DIFF: https://github.com/llvm/llvm-project/commit/a5a6164f6de5bea2ad1e78445684cc81fe632e56.diff

LOG: [AArch64] Add test to check the attributes for some intrinsics.

Added: 
    llvm/test/Assembler/aarch64-intrinsics-attributes.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/Assembler/aarch64-intrinsics-attributes.ll b/llvm/test/Assembler/aarch64-intrinsics-attributes.ll
new file mode 100644
index 000000000000..e86904210fcc
--- /dev/null
+++ b/llvm/test/Assembler/aarch64-intrinsics-attributes.ll
@@ -0,0 +1,26 @@
+; REQUIRES: aarch64-registered-target
+
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+
+; Make sure some AArch64 intrinsics have the expected attributes.
+
+; CHECK: declare i64 @llvm.aarch64.ldxr.p0i64(i64*) [[NOUNWIND:#[0-9]+]]
+declare i64 @llvm.aarch64.ldxr.p0i64(i64*)
+
+; CHECK: declare i32 @llvm.aarch64.stxp(i64, i64, i32*) [[NOUNWIND]]
+declare i32 @llvm.aarch64.stxp(i64, i64, i32*)
+
+; CHECK: declare i32 @llvm.aarch64.dsb(i32) [[NOUNWIND]]
+declare i32 @llvm.aarch64.dsb(i32)
+
+; CHECK: declare i64 @llvm.aarch64.neon.sqdmulls.scalar(i32, i32) [[NOUNWIND_READNONE:#[0-9]+]]
+declare i64 @llvm.aarch64.neon.sqdmulls.scalar(i32, i32)
+
+; CHECK: declare <4 x i32> @llvm.aarch64.neon.shadd.v4i32(<4 x i32>, <4 x i32>) [[NOUNWIND_READNONE]]
+declare <4 x i32> @llvm.aarch64.neon.shadd.v4i32(<4 x i32>, <4 x i32>)
+
+; CHECK: declare <vscale x 4 x i32> @llvm.aarch64.sve.dup.nxv4i32(<vscale x 4 x i32>, <vscale x 4 x i1>, i32) [[NOUNWIND_READNONE]]
+declare <vscale x 4 x i32> @llvm.aarch64.sve.dup.nxv4i32(<vscale x 4 x i32>, <vscale x 4 x i1>, i32)
+
+; CHECK: attributes [[NOUNWIND]] = { nounwind }
+; CHECK: attributes [[NOUNWIND_READNONE]] = { nounwind readnone }