Problems with conditional execution and thumb code generation

[Richard Henderson]

On Fri, Aug 18, 2000 at 04:43:45PM +0100, Richard Earnshaw wrote:
> 	(eq (subreg:SI (reg/v:DI 34) 0)
>                 (const_int 0 [0x0]))
> 
> which of course then triggers an assertion failure because we have a 
> subreg not a reg.
> 
> Doesn't the above code need to handle subregs?

Yes it does.  I guess we hadn't seen this sort of thing before
due to the kinds of comparisons used on the machines using this
code at the moment.

> Maybe if there is no ready solution to the above, we could turn
> the #ifdefs into something that is dynamic (like we do for endianness).

I don't see that this would be easy, since you'd have to know
that no cond_exec pattern matched instead of some cond_exec
patterns not matching.


r~