Re: [PATCH] Add warnings about GENERIC code-gen deficiencies in genmatch

2015-07-30 Thread Michael Matz
Hi, On Thu, 30 Jul 2015, Richard Biener wrote: > @@ -4174,11 +4267,13 @@ main (int argc, char **argv) >else if (strcmp (argv[i], "--generic") == 0) > gimple = false; >else if (strcmp (argv[i], "-v") == 0) > - verbose = true; > + verbose = 1; If you don't want to sta

[PATCH] Add warnings about GENERIC code-gen deficiencies in genmatch

2015-07-30 Thread Richard Biener
This adds warnings when a pattern requires inputs to have no side-effects to match for GENERIC code-gen. It also improves on some obvious cases like escapes through predicates or a few special cases such as TREE_REAL_CST. Bootstrapped and tested on x86_64-unknown-linux-gnu, applied to trunk. Ri