Candl
0.6.1
|
#include <stdio.h>
#include <candl/statement.h>
#include <candl/matrix.h>
#include <candl/program.h>
#include <candl/options.h>
Go to the source code of this file.
Functions | |
CandlDependence * | candl_dependence_prune_transitively_covered (CandlDependence *deps) |
------ ( ----------------------------------------------------------** )\ CAnDL ** ----- / ) --------------------------------------------------------** ( * ( pruning.h ** ---- #/ --------------------------------------------------------** .-"#'-. First version: July 17th 2011 ** --- |"-.-"| -------------------------------------------------------** | | | | | | ************************************************************* CAnDL '-._,-' the Chunky Analyzer for Dependences in Loops (experimental) *
* Copyright (C) 2003-2008 Cedric Bastoul * * This is free software; you can redistribute it and/or modify it under the * terms of the GNU General Public License as published by the Free Software * Foundation; either version 2 of the License, or (at your option) any later * version. * * This software is distributed in the hope that it will be useful, but * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License * for more details. * * You should have received a copy of the GNU General Public License along * with software; if not, write to the Free Software Foundation, Inc., * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA * * CAnDL, the Chunky Dependence Analyzer * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr * *
Remove somes dependences that are duplicates under transitive closure. In-place modification of the list of dependence polyhedra.
References CANDL_get_si, candl_matrix_equal(), candl_matrix_free(), CANDL_RAW, CANDL_RAW_SCALPRIV, CANDL_WAW, find_dep_paths(), is_covering(), is_iter_unimodular(), candlstatement::label, candldependence::next, candlstatement::read, candldependence::ref_source, candldependence::source, candldependence::target, candldependence::type, and candlstatement::written.
Referenced by candl_dependence().