This fixes the issues with __pld by removing it and related prefetch
instrisics from the arm_acle.h and defines the intrinsics directly.
PR target/123548
gcc/ChangeLog:
* config/aarch64/aarch64-builtins.cc
(aarch64_init_prefetch_builtin): Rename to...
(aarch64_init_prefetch_builtins): ...this and change builtin
names.
(AARCH64_INIT_PREFETCH_BUILTIN): Change to not add
"__builtin_aarch64__" prefix.
(handle_arm_acle_h): Add call to aarch64_init_prefetch_builtins.
(aarch64_init_pcdphint_builtins): Move __pldir code to init
prefetch builtins.
(aarch64_general_init_builtins): Remove call to
aarch64_init_prefetch_builtin.
* config/aarch64/arm_acle.h
(__pld): Remove
(__pli): Likewise.
(__plix): Likewise.
(__pldx): Likewise.
(__pldir): Likewise.
gcc/testsuite/ChangeLog:
* gcc.target/aarch64/pldir.c: Move to...
* gcc.target/aarch64/acle/pldir.c: ...here.
* gcc.target/aarch64/builtin_pld_pli_illegal.c: Removed.
* gcc.target/aarch64/acle/pld_pli_illegal.c: New test.
* gcc.target/aarch64/pr123548.c: New test.
---
gcc/config/aarch64/aarch64-builtins.cc | 27 ++++++--------
gcc/config/aarch64/arm_acle.h | 37 -------------------
.../gcc.target/aarch64/acle/pld_pli_illegal.c | 33 +++++++++++++++++
.../gcc.target/aarch64/{ => acle}/pldir.c | 0
.../aarch64/builtin_pld_pli_illegal.c | 33 -----------------
gcc/testsuite/gcc.target/aarch64/pr123548.c | 18 +++++++++
6 files changed, 62 insertions(+), 86 deletions(-)
create mode 100644 gcc/testsuite/gcc.target/aarch64/acle/pld_pli_illegal.c
rename gcc/testsuite/gcc.target/aarch64/{ => acle}/pldir.c (100%)
delete mode 100644 gcc/testsuite/gcc.target/aarch64/builtin_pld_pli_illegal.c
create mode 100644 gcc/testsuite/gcc.target/aarch64/pr123548.c
diff --git a/gcc/config/aarch64/aarch64-builtins.cc
b/gcc/config/aarch64/aarch64-builtins.cc
index c2a9e3d3412..71802c13b94 100644
--- a/gcc/config/aarch64/aarch64-builtins.cc
+++ b/gcc/config/aarch64/aarch64-builtins.cc
@@ -2216,13 +2216,13 @@ aarch64_init_rwsr_builtins (void)
AARCH64_INIT_RWSR_BUILTINS_DECL (WSR128, wsr128, fntype);
}
-/* Add builtins for data and instrution prefetch. */
+/* Add builtins for data and instruction prefetch. */
static void
-aarch64_init_prefetch_builtin (void)
+aarch64_init_prefetch_builtins (void)
{
#define AARCH64_INIT_PREFETCH_BUILTIN(INDEX, N)
\
aarch64_builtin_decls[INDEX] = \
- aarch64_general_add_builtin ("__builtin_aarch64_" N, ftype, INDEX, \
+ aarch64_general_add_builtin (N, ftype, INDEX, \
prefetch_attrs)
tree ftype;
@@ -2233,17 +2233,20 @@ aarch64_init_prefetch_builtin (void)
cv_argtype = build_pointer_type (cv_argtype);
ftype = build_function_type_list (void_type_node, cv_argtype, NULL);
- AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLD, "pld");
- AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLI, "pli");
+ AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLD, "__pld");
+ AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLI, "__pli");
ftype = build_function_type_list (void_type_node, unsigned_type_node,
unsigned_type_node, unsigned_type_node,
cv_argtype, NULL);
- AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLDX, "pldx");
+ AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLDX, "__pldx");
ftype = build_function_type_list (void_type_node, unsigned_type_node,
unsigned_type_node, cv_argtype, NULL);
- AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLIX, "plix");
+ AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_PLIX, "__plix");
+
+ ftype = build_function_type_list (void_type_node, cv_argtype, NULL_TREE);
+ AARCH64_INIT_PREFETCH_BUILTIN (AARCH64_BUILTIN_PLDIR, "__plidir");
}
/* Initialize the memory tagging extension (MTE) builtins. */
@@ -2398,6 +2401,7 @@ handle_arm_acle_h (void)
aarch64_init_ls64_builtins ();
aarch64_init_tme_builtins ();
aarch64_init_memtag_builtins ();
+ aarch64_init_prefetch_builtins ();
}
/* Initialize fpsr fpcr getters and setters. */
@@ -2529,14 +2533,6 @@ aarch64_init_pcdphint_builtins (void)
= aarch64_general_add_builtin ("__builtin_aarch64_stshh_df", ftype,
AARCH64_BUILTIN_STSHH_DF);
- tree cv_argtype = build_qualified_type (void_type_node, TYPE_QUAL_CONST
- | TYPE_QUAL_VOLATILE);
- cv_argtype = build_pointer_type (cv_argtype);
-
- ftype = build_function_type_list (void_type_node, cv_argtype, NULL_TREE);
- aarch64_builtin_decls[AARCH64_BUILTIN_PLDIR]
- = aarch64_general_add_builtin ("__builtin_aarch64_pldir", ftype,
- AARCH64_BUILTIN_PLDIR);
}
/* Initialize all builtins in the AARCH64_BUILTIN_GENERAL group. */
@@ -2563,7 +2559,6 @@ aarch64_general_init_builtins (void)
aarch64_init_data_intrinsics ();
aarch64_init_rwsr_builtins ();
- aarch64_init_prefetch_builtin ();
tree ftype_jcvt
= build_function_type_list (intSI_type_node, double_type_node, NULL);
diff --git a/gcc/config/aarch64/arm_acle.h b/gcc/config/aarch64/arm_acle.h
index 651f4cb8b60..794ea32b178 100644
--- a/gcc/config/aarch64/arm_acle.h
+++ b/gcc/config/aarch64/arm_acle.h
@@ -78,43 +78,6 @@ _GCC_ARM_ACLE_DATA_FN (revll, bswap64, uint64_t, uint64_t)
#undef _GCC_ARM_ACLE_DATA_FN
-__extension__ extern __inline void
-__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
-__pld (void const volatile *__addr)
-{
- return __builtin_aarch64_pld (__addr);
-}
-
-__extension__ extern __inline void
-__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
-__pli (void const volatile *__addr)
-{
- return __builtin_aarch64_pli (__addr);
-}
-
-__extension__ extern __inline void
-__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
-__plix (unsigned int __cache, unsigned int __rettn,
- void const volatile *__addr)
-{
- return __builtin_aarch64_plix (__cache, __rettn, __addr);
-}
-
-__extension__ extern __inline void
-__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
-__pldx (unsigned int __access, unsigned int __cache, unsigned int __rettn,
- void const volatile *__addr)
-{
- return __builtin_aarch64_pldx (__access, __cache, __rettn, __addr);
-}
-
-__extension__ extern __inline void
-__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
-__pldir (void const volatile *__addr)
-{
- return __builtin_aarch64_pldir (__addr);
-}
-
__extension__ extern __inline unsigned long
__attribute__ ((__always_inline__, __gnu_inline__, __artificial__))
__revl (unsigned long __value)
diff --git a/gcc/testsuite/gcc.target/aarch64/acle/pld_pli_illegal.c
b/gcc/testsuite/gcc.target/aarch64/acle/pld_pli_illegal.c
new file mode 100644
index 00000000000..0aa98849300
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/acle/pld_pli_illegal.c
@@ -0,0 +1,33 @@
+/* Check that PRFM-related bounds checks are applied correctly. */
+/* { dg-do compile } */
+#include <arm_acle.h>
+
+/* Access kind specifiers. */
+#define KIND_LOW -1
+#define KIND_HIGH 2
+/* Cache levels. */
+#define LEVEL_LOW -1
+#define LEVEL_HIGH 4
+/* Retention policies. */
+#define POLICY_LOW -1
+#define POLICY_HIGH 2
+
+void
+data_rw_prefetch_bad_bounds (void *a)
+{
+ __pldx (KIND_LOW, 0, 0, a); /* { dg-error {argument 1 must be a constant
immediate in range \[0,1\]} } */
+ __pldx (KIND_HIGH, 0, 0, a); /* { dg-error {argument 1 must be a constant
immediate in range \[0,1\]} } */
+ __pldx (0, LEVEL_LOW, 0, a); /* { dg-error {argument 2 must be a constant
immediate in range \[0,3\]} } */
+ __pldx (0, LEVEL_HIGH, 0, a); /* { dg-error {argument 2 must be a constant
immediate in range \[0,3\]} } */
+ __pldx (0, 0, POLICY_LOW, a); /* { dg-error {argument 3 must be a constant
immediate in range \[0,1\]} } */
+ __pldx (0, 0, POLICY_HIGH, a); /* { dg-error {argument 3 must be a constant
immediate in range \[0,1\]} } */
+}
+
+void
+insn_prefetch_bad_bounds (void *a)
+{
+ __plix (LEVEL_LOW, 0, a); /* { dg-error {argument 1 must be a constant
immediate in range \[0,3\]} } */
+ __plix (LEVEL_HIGH, 0, a); /* { dg-error {argument 1 must be a constant
immediate in range \[0,3\]} } */
+ __plix (0, POLICY_LOW, a); /* { dg-error {argument 2 must be a constant
immediate in range \[0,1\]} } */
+ __plix (0, POLICY_HIGH, a); /* { dg-error {argument 2 must be a constant
immediate in range \[0,1\]} } */
+}
diff --git a/gcc/testsuite/gcc.target/aarch64/pldir.c
b/gcc/testsuite/gcc.target/aarch64/acle/pldir.c
similarity index 100%
rename from gcc/testsuite/gcc.target/aarch64/pldir.c
rename to gcc/testsuite/gcc.target/aarch64/acle/pldir.c
diff --git a/gcc/testsuite/gcc.target/aarch64/builtin_pld_pli_illegal.c
b/gcc/testsuite/gcc.target/aarch64/builtin_pld_pli_illegal.c
deleted file mode 100644
index b799a65eb25..00000000000
--- a/gcc/testsuite/gcc.target/aarch64/builtin_pld_pli_illegal.c
+++ /dev/null
@@ -1,33 +0,0 @@
-/* Check that PRFM-related bounds checks are applied correctly. */
-/* { dg-do compile } */
-#include <arm_acle.h>
-
-/* Access kind specifiers. */
-#define KIND_LOW -1
-#define KIND_HIGH 2
-/* Cache levels. */
-#define LEVEL_LOW -1
-#define LEVEL_HIGH 4
-/* Retention policies. */
-#define POLICY_LOW -1
-#define POLICY_HIGH 2
-
-void
-data_rw_prefetch_bad_bounds (void *a)
-{
- __builtin_aarch64_pldx (KIND_LOW, 0, 0, a); /* { dg-error {argument 1 must
be a constant immediate in range \[0,1\]} } */
- __builtin_aarch64_pldx (KIND_HIGH, 0, 0, a); /* { dg-error {argument 1 must
be a constant immediate in range \[0,1\]} } */
- __builtin_aarch64_pldx (0, LEVEL_LOW, 0, a); /* { dg-error {argument 2 must
be a constant immediate in range \[0,3\]} } */
- __builtin_aarch64_pldx (0, LEVEL_HIGH, 0, a); /* { dg-error {argument 2 must
be a constant immediate in range \[0,3\]} } */
- __builtin_aarch64_pldx (0, 0, POLICY_LOW, a); /* { dg-error {argument 3
must be a constant immediate in range \[0,1\]} } */
- __builtin_aarch64_pldx (0, 0, POLICY_HIGH, a); /* { dg-error {argument 3
must be a constant immediate in range \[0,1\]} } */
-}
-
-void
-insn_prefetch_bad_bounds (void *a)
-{
- __builtin_aarch64_plix (LEVEL_LOW, 0, a); /* { dg-error {argument 1 must be
a constant immediate in range \[0,3\]} } */
- __builtin_aarch64_plix (LEVEL_HIGH, 0, a); /* { dg-error {argument 1 must be
a constant immediate in range \[0,3\]} } */
- __builtin_aarch64_plix (0, POLICY_LOW, a); /* { dg-error {argument 2 must
be a constant immediate in range \[0,1\]} } */
- __builtin_aarch64_plix (0, POLICY_HIGH, a); /* { dg-error {argument 2 must
be a constant immediate in range \[0,1\]} } */
-}
diff --git a/gcc/testsuite/gcc.target/aarch64/pr123548.c
b/gcc/testsuite/gcc.target/aarch64/pr123548.c
new file mode 100644
index 00000000000..c3e752197ce
--- /dev/null
+++ b/gcc/testsuite/gcc.target/aarch64/pr123548.c
@@ -0,0 +1,18 @@
+/* { dg-do compile } */
+/* { dg-options "-O0" } */
+/* { dg-final { check-function-bodies "**" "" "" } } */
+
+#include <arm_acle.h>
+
+void
+test (void *a)
+{
+ __pldx (1, 1, 1, a);
+}
+/*
+** test:
+**...
+** prfm\tPSTL2STRM, \[x[0-9]+\]
+**...
+** ret
+*/
--
2.34.1
