* @file absgraph.c
* @author Sebastian Hack
* @date 20.04.2007
- * @version $Id: $
+ * @version $Id$
* @summary
*
* Abstract graph implementations for the CFG of a ir_graph.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#include "irgraph_t.h"
#include "iredges_t.h"
* @file absgraph.h
* @author Sebastian Hack
* @date 20.04.2007
- * @version $Id: $
+ * @version $Id$
* @summary
*
* An abstract graph "interface". Currently
*
* This is just that we can do some graph algos
* on the CFG, dominance tree, etc.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#ifndef FIRM_ANA_ABSGRAPH_H
#define FIRM_ANA_ABSGRAPH_H
* @file dfs.c
* @author Sebastian Hack
* @date 20.04.2007
- * @version $Id: $
+ * @version $Id$
* @summary
*
* Simple depth first search on CFGs.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#include <assert.h>
#include "irtools.h"
* @file dfs.h
* @author Sebastian Hack
* @date 20.04.2007
- * @version $Id: $
+ * @version $Id$
* @summary
*
* Primitive depth-first search on the CFG.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#ifndef FIRM_ANA_DFS_H
#define FIRM_ANA_DFS_H
-/**
- * @file dfs_t.h
- * @date 21.04.2007
- * @author Sebastian Hack
+/*
+ * Copyright (C) 1995-2007 University of Karlsruhe. All right reserved.
*
- * depth first search internal stuff.
+ * This file is part of libFirm.
+ *
+ * This file may be distributed and/or modified under the terms of the
+ * GNU General Public License version 2 as published by the Free Software
+ * Foundation and appearing in the file LICENSE.GPL included in the
+ * packaging of this file.
+ *
+ * Licensees holding valid libFirm Professional Edition licenses may use
+ * this file in accordance with the libFirm Commercial License.
+ * Agreement provided with the Software.
*
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
+ * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
+ * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
+ * PURPOSE.
*/
-#ifndef _DFS_T_H
-#define _DFS_T_H
+/**
+ * @file dfs_t.h
+ * @author Sebastian Hack
+ * @date 21.04.2007
+ * @version $Id$
+ * @summary
+ *
+ * depth first search internal stuff.
+ */
+#ifndef FIRM_ANA_DFS_T_H
+#define FIRM_ANA_DFS_T_H
#include "firm_config.h"
#include "hashptr.h"
#define dfs_get_post_num_node(dfs, num) ((dfs)->post_order[num]->node)
#define dfs_is_ancestor(dfs, n, m) _dfs_is_ancestor((n), (m))
-#endif /* _DFS_T_H */
+#endif /* FIRM_ANA_DFS_T_H */
* @file livechk.c
* @date 21.04.2007
* @author Sebastian Hack
- * @version $Id: $
+ * @version $Id$
* @summary
*
* Liveness checks as developed by Benoit Boissinot, Fabrice Rastello and myself.
* - data obtained from a depth-first-search
*
* The precomputation remains valid as long as the CFG is not altered.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#include <stdio.h>
* @file irlivechk.h
* @author Sebastian Hack
* @date 22.04.2007
- * @version $Id: $
+ * @version $Id$
* @summary
*
* Live in/end checks whose only precomputation concerns the structure of the CFG.
* Hence, nothing has to be updated if the program is modified unless the CFG is touched.
* See .c file for more comments.
- *
- * Copyright (C) 2007 Universitaet Karlsruhe
- * Released under the GPL
*/
#ifndef FIRM_ANA_IRLIVECHK_H
#define FIRM_ANA_IRLIVECHK_H