[PATCH 00/89] Compile-time gimple-checking

[Richard Sandiford]

Jeff Law <law@redhat.com> writes:
> On 04/22/14 02:03, Richard Sandiford wrote:
>> First of all, thanks a lot for doing this.  Maybe one day we'll have
>> the same in rtl :-)
> Funny you should mention that.  I blocked off a hunk of time for David 
> to investigate doing some work on that this year.

That'd be great.  The fact that we had to turn rtl checking off by default
for being too expensive suggests that we do far too many opaque accesses.
Hopefully something like this will either eliminate the need for rtl
checking (probably a bit optimistic) or at least make it cheap enough
to be turned on by default.

E.g. "instruction" rtxes should be mostly distinct from "pattern" rtxes.
Having them as different types would also avoid cases of patterns being
accidentally passed to functions that take insns, or vice versa.

Thanks,
Richard