r211888 - in /branches/match-and-simplify/gcc: ...

[rguenth@gcc.gnu.org]

Author: rguenth
Date: Mon Jun 23 09:42:04 2014
New Revision: 211888

URL: https://gcc.gnu.org/viewcvs?rev=211888&root=gcc&view=rev
Log:
2014-06-23  Richard Biener  <rguenther@suse.de>
	Prathamesh Kulkarni  <bilbotheelffriend@gmail.com>

	* match.pd: Remove commutated patterns in favor of :c annotations.
	* genmatch.c (e_operation): Add is_commutative flag.
	(e_operation::e_operation): Adjust.
	(simplify): Make match a vector of matches.
	(print_operand): New debug function.
	(print_matches): Likewise.
	(cartesian_product, commutate): New functions implementing
	AST commutation.
	(write_nary_simplifiers): Adjust to create code for all
	commutations.
	(parse_expr): Parse ':<flag>' with <flag> being c for
	commutative.
	(parse_match_and_simplify): Commutate the AST.
	(main): Print commutated simplifiers.

Modified:
    branches/match-and-simplify/gcc/ChangeLog.mas
    branches/match-and-simplify/gcc/genmatch.c
    branches/match-and-simplify/gcc/match.pd