Re: [PATCH GCC]Move simplification of (A == C1) ? A : C2 to match.pd

[Marc Glisse]

On Fri, 18 Nov 2016, Bin Cheng wrote:

+(for cmp (lt le gt ge)
+ (simplify
+  (cond (cmp@0 (convert1? @1) INTEGER_CST@3) (convert2? @1) INTEGER_CST@2)
+  (with
+   {
+     tree from_type = TREE_TYPE (@1);
+     tree c1_type = TREE_TYPE (@3), c2_type = TREE_TYPE (@2);
+     enum tree_code code = TREE_CODE (@0), cmp_code = TREE_CODE (@0);
Note that you can use cmp directly, it is already equal to LT_EXPR or one 
of the others.

--
Marc Glisse