gcc/gcc/genmatch.c

21 along with GCC; see the file COPYING3.  If not see
349 /* Helper for easy comparing ID with tree code CODE.  */
478    the code to be generated for 'if' and 'with' expressions.  */
554 /* Helper to distinguish 'if' from 'with' expressions.  */
753    children if STRIP, else replace them with an unconditional convert.  */
827   /* Conditional converts are lowered to a pattern with the
911       /* If this is a COND with a captured expression or an
912          expression with two operands then also match a GENERIC
968 /* In AST operand O replace operator ID with operator WITH.  */
971 replace_id (operand *o, user_id *id, id_base *with)
979       return new capture (c->where, replace_id (c->what, id, with));
983       expr *ne = new expr (e->operation == id ? with : e->operation,
987 	ne->append_op (replace_id (e->ops[i], id, with));
996       ids.safe_push (c_expr::id_tab (id->id, with->id));
1451    expressions with side-effects in save_expr and preserve side-effects
1452    of expressions with omit_one_operand.  Analyze captures in
1453    match, result and with expressions and perform early-outs
1529 	 expression as with conditional converts two captures
1875      with substituting a capture of that.
1906 /* Fill NAME with the operand name at position POS.  */
2302 /* Generate code for the '(if ...)', '(with ..)' and actual transform
2463 		 with substituting a capture of that.  */
2643 	         GENERIC.  The following drops patterns with outermost
2851 /* Eat an identifier token with value S from R.  */
3014 		fatal_at (token, "only binary operators or function with "
3108 		fatal_at (token, "using an operator with operands as predicate");
3116 		fatal_at (token, "using an operator with operands as predicate");
3168    with
3169      <result-op> = <op> | <if> | <with>
3171      <with> = '(' 'with' '{' <c-expr> '}' <result-op> ')'
3172    and fill SIMPLIFIERS with the results.  */
3233 	  else if (peek_ident ("with"))
3235 	      eat_ident ("with");
3236 	      /* Parse (with c-expr expr) as (if-with (true) expr).  */
3337 	    fatal_at (token, "operator '%s' with arity %d does not match "
3338 		      "others with arity %d", oper, idb->nargs, arity);
3400 /* Parse an identifier associated with a list of operators.
3429 	fatal_at (token, "operator '%s' with arity %d does not match "
3430 			 "others with arity %d", oper, idb->nargs, arity);
3494   /* All clauses start with '('.  */
3674   /* Go over all predicates defined with patterns and perform