Re: [PATCH] Add verifier for virtual SSA form

2016-08-17 Thread Richard Biener
On Mon, 15 Aug 2016, Richard Biener wrote: > > This adds a verifier that makes sure no overlapping life-ranges occur > for virtuals. > > Bootstrap and regtest running on x86_64-unknown-linux-gnu. The following is what I ended up applying. It fixes fallout found in the vectorizer, general SSA i

[PATCH] Add verifier for virtual SSA form

2016-08-15 Thread Richard Biener
This adds a verifier that makes sure no overlapping life-ranges occur for virtuals. Bootstrap and regtest running on x86_64-unknown-linux-gnu. Richard. 2016-08-15 Richard Biener * tree-ssa.c: Include tree-cfg.h and tree-dfa.h. (verify_vssa): New function verifying virtual SS