From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/Dataflow.html | 114 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 114 insertions(+) create mode 100644 cil/doc/api/Dataflow.html (limited to 'cil/doc/api/Dataflow.html') diff --git a/cil/doc/api/Dataflow.html b/cil/doc/api/Dataflow.html new file mode 100644 index 00000000..9f744ea0 --- /dev/null +++ b/cil/doc/api/Dataflow.html @@ -0,0 +1,114 @@ + + + + + + + + + + + + + + + + + + + + + + + + + +CIL API Documentation (version 1.3.5) : Dataflow + + + +

Module Dataflow

+
+

module Dataflow: sig .. end

A framework for data flow analysis for CIL code. Before using + this framework, you must initialize the Control-flow Graph for your + program, e.g using Cfg.computeFileCFG
+

+
type 'a action = + + + + + + + + + + + + + + +

+`\|`	+`Default`	`(*`	`The default action`	`*)`
+`\|`	+`Done of 'a`	`(*`	`Do not do the default action. Use this result`	`*)`
+`\|`	+`Post of ('a -> 'a)`	`(*`	`The default action, followed by the given + transformer`	`*)`

+ + +
type 'a stmtaction = + + + + + + + + + + + + + + +

+`\|`	+`SDefault`	`(*`	`The default action`	`*)`
+`\|`	+`SDone`	`(*`	`Do not visit this statement or its successors`	`*)`
+`\|`	+`SUse of 'a`	`(*`	`Visit the instructions and successors of this statement + as usual, but use the specified state instead of the + one that was passed to doStmt`	`*)`

+ + +
type 'a guardaction = + + + + + + + + + + + + + + +

+`\|`	+`GDefault`	`(*`	`The default state`	`*)`
+`\|`	+`GUse of 'a`	`(*`	`Use this data for the branch`	`*)`
+`\|`	+`GUnreachable`	`(*`	`The branch will never be taken.`	`*)`

+ + +

module type ForwardsTransfer = sig .. end

module ForwardsDataFlow: functor (T : ForwardsTransfer) -> sig .. end

module type BackwardsTransfer = sig .. end

module BackwardsDataFlow: functor (T : BackwardsTransfer) -> sig .. end

\ No newline at end of file -- cgit