This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH] Generate more efficient memory barriers for LEON3
- From: Eric Botcazou <ebotcazou at adacore dot com>
- To: Daniel Cederman <cederman at gaisler dot com>
- Cc: gcc-patches at gcc dot gnu dot org, Software <software at gaisler dot com>
- Date: Sat, 19 Jul 2014 11:28:25 +0200
- Subject: Re: [PATCH] Generate more efficient memory barriers for LEON3
- Authentication-results: sourceware.org; auth=none
- References: <53AAB0AF dot 5060802 at gaisler dot com> <8126836 dot LYthcL4kk5 at polaris> <53C3C1FD dot 2030201 at gaisler dot com>
> LEON3 has a store buffer of length 1, so an additional store is required
> to be sure that the one preceding it has been written to memory. I am
> not familiar enough with the internals of gcc to pick the optimal place
> to encode this behavior, so any suggestions from you are appreciated :)
OK, that's not Strong Consistency so I'm going to apply your latest patch.
--
Eric Botcazou