This is the mail archive of the mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: Volatile Memory accesses in Branch Delay Slots

On Tue, 2017-07-25 at 10:47 +0200, Jakob Wenzel wrote:
> jr's delay slot is not filled. However, if the declaration of a is 
> changed to `extern int a`, the delay slot is filled with the sw.
> The function responsible for this behavior seems to be 
> resource_conflicts_p in reorg.c. Sadly, I could not find any
> comments 
> explaining why volatile accesses cannot be put into delay slots.
> What is the reason for this behavior? I am unable to think of any 
> situation where allowing volatile memory accesses in branch delay
> slots  leads to problems. Am I missing a case? Or are negative
> effects limited  to other architectures?

Maybe because the code that does the delay slot stuffing does not do
sophisticated checks whether such instruction reordering would not
violate anything?  So it's playing safe and bails out if it sees
"volatile mem".  Same thing happens also with insns that have multiple
sets.  Ideally it should do some more fine grained checks and give the
backend an option to opt-in or opt-out.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]