This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] verify cond_expr condition type
On Sat, 17 Jan 2004 23:53:32 +0100, Jan Hubicka <hubicka@ucw.cz> wrote:
>> As discussed re one of law's dominator changes. Fortunately my fears
>> were unfounded and bootstrap and check passes with this installed.
>
> Nice, but would be perhaps better to go for my verify_gimple_grammar
> patch? That should be place for such a checks to go
> (it don't do this check in current incarnation)
It makes sense for me to keep the logic about what is or is not fully
simplified all in the same place, i.e. the gimplifier. I've had a patch to
add a speculative mode to the gimplifier in the works for a while now;
sorry I haven't finished it yet. I'll definitely finish it up this week.
Jason