• spop's avatar
    Use PIP to determine the integer feasibility of a constraint system. · b40e3432
    spop authored
    2011-01-25  Sebastian Pop  <sebastian.pop@amd.com>
    
    	* graphite-dependences.c (new_poly_dr): Call ppl_powerset_is_empty.
    	(build_lexicographical_constraint): Same.
    	(dependence_polyhedron_1): Same.
    	(graphite_legal_transform_dr): Same.
    	(graphite_carried_dependence_level_k): Same.
    	* graphite-ppl.c (ppl_powerset_is_empty): New.
    	* graphite-ppl.h (ppl_powerset_is_empty): Declared.
    	* tree-data-ref.c (dump_data_reference): Print the basic block index.
    
    	* gcc.dg/graphite/block-0.c: Add documentation.
    	* gcc.dg/graphite/block-4.c: Same.
    	* gcc.dg/graphite/block-7.c: Same.
    	* gcc.dg/graphite/block-8.c: New.
    	* gcc.dg/graphite/interchange-1.c: Un-XFAILed.
    	* gcc.dg/graphite/interchange-11.c: Un-XFAILed.
    	* gcc.dg/graphite/interchange-12.c: Add documentation.
    	* gcc.dg/graphite/interchange-13.c: New.
    	* gcc.dg/graphite/interchange-14.c: New.
    	* gcc.dg/graphite/interchange-15.c: New.
    	* gcc.dg/graphite/interchange-8.c: Add documentation.
    	* gcc.dg/graphite/interchange-mvt.c: Same.
    
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@169205 138bc75d-0d04-0410-961f-82ee72b054a4
    b40e3432
ChangeLog 66.5 KB