Re: [tree-ssa] RFC: Never gimplify ASM_EXPRs

[Jason Merrill <jason at redhat dot com>]

On Thu, 5 Jun 2003 10:15:18 -0700, Richard Henderson <rth@redhat.com> wrote:

> On Thu, Jun 05, 2003 at 11:12:36AM -0400, Jason Merrill wrote:
>> Andrew and I discussed this issue at the summit, and agreed (I thought)
>> that the asm should either make the operand an input/output operand or pass
>> in X and do the dereference in the explicit assembly.
>
> Doing the dereference explicitly in the assembly is not
> an option.  The syntax for various addressing modes
> varies too widely.
>
> IMO yall should be special-casing memory operands.

I plan to do that, by reducing them to INDIRECT_REFs (if the operand isn't
already a decl).  Of course, that means that we don't get complex
addressing modes, since I assume combine won't touch asms.

One way to fix this (and the builtins problem) would be to teach various
expanders about formal expression temps: they can look up what expression a
temp corresponds to, and plug it back in as appropriate.

Other ideas?

Jason