* Re: [PATCH, testsuite/ARM] Enable atomic tests in gcc.dg for -march=armv8-a bare metal
[not found] <1538006.87G1ae6iGf@e108577-lin>
@ 2016-06-01 15:33 ` Kyrill Tkachov
2016-06-01 16:56 ` Thomas Preudhomme
0 siblings, 1 reply; 2+ messages in thread
From: Kyrill Tkachov @ 2016-06-01 15:33 UTC (permalink / raw)
To: Thomas Preudhomme, ramana.radhakrishnan, richard.earnshaw, GCC Patches
I see gcc-patches was not cc'ed on the original submission and I didn't CC it myself
in my reply, so here it is a resend with my reply...
On 31/05/16 14:11, Thomas Preudhomme wrote:
> Hi,
>
> sync_char_short and sync_int_long used to restrict platform running
> gcc.dg/atomic* tests are only true for ARM when targetting Linux. However,
> ARMv8-A brought atomic instructions support so these tests could be run on
> bare metal ARMv8-A targets.
>
> This patch define these two effective target to be true for ARM when the
> platform supports lda* and stl* instructions.
>
> ChangeLog entry is as follows:
>
>
> *** gcc/ChangeLog ***
>
> 2016-05-26 Thomas Preud'homme <thomas.preudhomme@arm.com>
>
> * doc/sourcebuild.texi (arm_acq_rel): Document new effective target.
>
>
> *** gcc/testsuite/ChangeLog ***
>
> 2016-05-26 Thomas Preud'homme <thomas.preudhomme@arm.com>
>
> * lib/target-supports.exp (check_effective_target_arm_acq_rel): New
> procedure.
Have you confirmed that the tests that now become enabled
for bare-metal pass on an arm-none-eabi test run with -march=armv8-a?
If so, this is ok with the typo fixes below. Please resend the patch
you intend to commit to gcc-patches for archival purposes.
Thanks,
Kyrill
>
> See patch in attachment.
>
> Is this ok for trunk?
>
> Best regards,
>
> Thomas
diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 72a7c020d6d25ffe152d9618281c2be632b57a27..25a50784d1e6ff075d2de345953d74ca1378856f 100644
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -1597,6 +1597,9 @@ ARM target supports executing ARMv8.1 Adv.SIMD instructions. Some
multilibs may be incompatible with the options needed. Implies
arm_v8_1a_neon_ok.
+@item arm_acq_rel
+ARM target supports acquire-release instructions.
+
@item arm_prefer_ldrd_strd
ARM target prefers @code{LDRD} and @code{STRD} instructions over
@code{LDM} and @code{STM} instructions.
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 127af0a1f33bebb0ecc6aa8587d992e89524ce6e..3bfb0b5bee98a09fbc731a1eb7feb7b5eb709746 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -3528,6 +3528,25 @@ proc check_effective_target_arm_neonv2 { } {
}
}
+# Return 1 if this is an ARM target with load acquire and store release for
+# 8-, 16- and 32-byte types.
+
s/store release/store release instructions/
s/byte/bit/.
+proc check_effective_target_arm_acq_rel { } {
+ return [check_no_compiler_messages arm_acq_rel object {
+ void
+ load_acquire_store_release (void)
+ {
+ asm ("lda r0, [r1]\n\t"
+ "stl r0, [r1]\n\t"
+ "ldah r0, [r1]\n\t"
+ "stlh r0, [r1]\n\t"
+ "ldab r0, [r1]\n\t"
+ "stlb r0, [r1]"
+ : : : "r0", "memory");
+ }
+ }]
+}
+
# Return 1 if this a Loongson-2E or -2F target using an ABI that supports
# the Loongson vector modes.
@@ -5759,6 +5778,8 @@ proc check_effective_target_sync_int_long { } {
|| [istarget aarch64*-*-*]
|| [istarget alpha*-*-*]
|| [istarget arm*-*-linux-*]
+ || ([istarget arm*-*-*]
+ && [check_effective_target_arm_acq_rel])
|| [istarget bfin*-*linux*]
|| [istarget hppa*-*linux*]
|| [istarget s390*-*-*]
@@ -5792,6 +5813,8 @@ proc check_effective_target_sync_char_short { } {
|| [istarget i?86-*-*] || [istarget x86_64-*-*]
|| [istarget alpha*-*-*]
|| [istarget arm*-*-linux-*]
+ || ([istarget arm*-*-*]
+ && [check_effective_target_arm_acq_rel])
|| [istarget hppa*-*linux*]
|| [istarget s390*-*-*]
|| [istarget powerpc*-*-*]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: [PATCH, testsuite/ARM] Enable atomic tests in gcc.dg for -march=armv8-a bare metal
2016-06-01 15:33 ` [PATCH, testsuite/ARM] Enable atomic tests in gcc.dg for -march=armv8-a bare metal Kyrill Tkachov
@ 2016-06-01 16:56 ` Thomas Preudhomme
0 siblings, 0 replies; 2+ messages in thread
From: Thomas Preudhomme @ 2016-06-01 16:56 UTC (permalink / raw)
To: Kyrill Tkachov; +Cc: ramana.radhakrishnan, richard.earnshaw, GCC Patches
[-- Attachment #1: Type: text/plain, Size: 1629 bytes --]
On Wednesday 01 June 2016 16:33:30 Kyrill Tkachov wrote:
> I see gcc-patches was not cc'ed on the original submission and I didn't CC
> it myself in my reply, so here it is a resend with my reply...
>
> On 31/05/16 14:11, Thomas Preudhomme wrote:
> > Hi,
> >
> > sync_char_short and sync_int_long used to restrict platform running
> > gcc.dg/atomic* tests are only true for ARM when targetting Linux.
> > However,
> > ARMv8-A brought atomic instructions support so these tests could be run
> > on
> > bare metal ARMv8-A targets.
> >
> > This patch define these two effective target to be true for ARM when the
> > platform supports lda* and stl* instructions.
> >
> > ChangeLog entry is as follows:
> >
> >
> > *** gcc/ChangeLog ***
> >
> > 2016-05-26 Thomas Preud'homme <thomas.preudhomme@arm.com>
> >
> > * doc/sourcebuild.texi (arm_acq_rel): Document new effective
> > target.
> >
> > *** gcc/testsuite/ChangeLog ***
> >
> > 2016-05-26 Thomas Preud'homme <thomas.preudhomme@arm.com>
> >
> > * lib/target-supports.exp (check_effective_target_arm_acq_rel):
> > New
> > procedure.
>
> Have you confirmed that the tests that now become enabled
> for bare-metal pass on an arm-none-eabi test run with -march=armv8-a?
I did but had a doubt about whether I also tried with -march=armv8-a -mthumb
so I tried that just in case and it's all good.
> If so, this is ok with the typo fixes below. Please resend the patch
> you intend to commit to gcc-patches for archival purposes.
Thanks. Committed the patch in attachment.
Best regards,
Thomas
[-- Attachment #2: enable_gccdg_atomic_tests_on_armv8a.patch --]
[-- Type: text/x-patch, Size: 2287 bytes --]
diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
index 41657b5ea47dca7526d0b323e0e27580d50fe51d..0c03920cbec090b07f2559d6471c6eac9bb0c18a 100644
--- a/gcc/doc/sourcebuild.texi
+++ b/gcc/doc/sourcebuild.texi
@@ -1597,6 +1597,9 @@ ARM target supports executing ARMv8.1 Adv.SIMD instructions. Some
multilibs may be incompatible with the options needed. Implies
arm_v8_1a_neon_ok.
+@item arm_acq_rel
+ARM target supports acquire-release instructions.
+
@item arm_prefer_ldrd_strd
ARM target prefers @code{LDRD} and @code{STRD} instructions over
@code{LDM} and @code{STM} instructions.
diff --git a/gcc/testsuite/lib/target-supports.exp b/gcc/testsuite/lib/target-supports.exp
index 04ca17656f2f26dda710e8a0f9ca77dd963ab39b..f4cb276ed97eaf0f809b2c221f465747320d9a03 100644
--- a/gcc/testsuite/lib/target-supports.exp
+++ b/gcc/testsuite/lib/target-supports.exp
@@ -3494,6 +3494,25 @@ proc check_effective_target_arm_neonv2 { } {
}
}
+# Return 1 if this is an ARM target with load acquire and store release
+# instructions for 8-, 16- and 32-bit types.
+
+proc check_effective_target_arm_acq_rel { } {
+ return [check_no_compiler_messages arm_acq_rel object {
+ void
+ load_acquire_store_release (void)
+ {
+ asm ("lda r0, [r1]\n\t"
+ "stl r0, [r1]\n\t"
+ "ldah r0, [r1]\n\t"
+ "stlh r0, [r1]\n\t"
+ "ldab r0, [r1]\n\t"
+ "stlb r0, [r1]"
+ : : : "r0", "memory");
+ }
+ }]
+}
+
# Return 1 if this a Loongson-2E or -2F target using an ABI that supports
# the Loongson vector modes.
@@ -5725,6 +5744,8 @@ proc check_effective_target_sync_int_long { } {
|| [istarget aarch64*-*-*]
|| [istarget alpha*-*-*]
|| [istarget arm*-*-linux-*]
+ || ([istarget arm*-*-*]
+ && [check_effective_target_arm_acq_rel])
|| [istarget bfin*-*linux*]
|| [istarget hppa*-*linux*]
|| [istarget s390*-*-*]
@@ -5758,6 +5779,8 @@ proc check_effective_target_sync_char_short { } {
|| [istarget i?86-*-*] || [istarget x86_64-*-*]
|| [istarget alpha*-*-*]
|| [istarget arm*-*-linux-*]
+ || ([istarget arm*-*-*]
+ && [check_effective_target_arm_acq_rel])
|| [istarget hppa*-*linux*]
|| [istarget s390*-*-*]
|| [istarget powerpc*-*-*]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2016-06-01 16:56 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <1538006.87G1ae6iGf@e108577-lin>
2016-06-01 15:33 ` [PATCH, testsuite/ARM] Enable atomic tests in gcc.dg for -march=armv8-a bare metal Kyrill Tkachov
2016-06-01 16:56 ` Thomas Preudhomme
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).