[cfe-dev] reserved registers on inline asm clobber list silently ignored
Friedman, Eli via cfe-dev
cfe-dev at lists.llvm.org
Thu Jul 5 11:28:04 PDT 2018
On 7/5/2018 7:01 AM, Ties Stuij via cfe-dev wrote:
> Hi all,
> I'm looking at an issue where when specifying a reserved register (fp, base pointer) on the clobber list of an asm() statement, we don't preserve the original value across the asm code. Practically the register in the clobber list is ignored in this case, so if we're overwriting it in our asm code, we have problems.
> As the clobber list is a GCC extension, I looked at the GCC behaviour, and GCC is doing roughly the same thing. There is a GCC bug out on this (https://gcc.gnu.org/bugzilla/show_bug.cgi?id=11807), and the opinions are somewhat divided on how to proceed.
> There's a few ways in which we think we'd like to resolve this:
> 1 - leave as is, and be in line with GCC
> 2 - error when we see the SP and PC on the clobber list, otherwise store and load around the assembly code
> 3 - error on any reserved register on the clobber list
> Where option 1 doesn't sound like a very nice option to me as it's counter-intuitive, and seems quite shoot-in-the-foot-y.
> Any opinions on this?
Regardless of how much of a footgun this is, we'll get a ton of
complaints if we print an error in any case where gcc doesn't, so any
new diagnostics would need to be a warning, at least at first.
"otherwise store and load around the assembly code" makes sense for
cases where the compiler is arbitrarily reserving registers, like
fp/base ptr in a function that contains a VLA. In particular, the
"base" register isn't really specified anywhere, so we can't expect
users to consistently avoid it.
Printing a diagnostic for code that tries to clobber "sp" or "pc" makes
sense; that can't do anything useful in any context. Probably also
makes sense to print a diagnostic for other fundamentally reserved
registers, like the frame pointer with -fno-omit-frame-pointer, or x18
on AArch64 targets where it's reserved, rather than try to do something
which might have surprising results.
Employee of Qualcomm Innovation Center, Inc.
Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project
More information about the cfe-dev