From 93d89c2b5e8497365be152fb53cb6cd4c5764d34 Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:25:25 +0000 Subject: Getting rid of CIL git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/api/index_values.html | 1964 ----------------------------------------- 1 file changed, 1964 deletions(-) delete mode 100644 cil/doc/api/index_values.html (limited to 'cil/doc/api/index_values.html') diff --git a/cil/doc/api/index_values.html b/cil/doc/api/index_values.html deleted file mode 100644 index 799daafd..00000000 --- a/cil/doc/api/index_values.html +++ /dev/null @@ -1,1964 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - -CIL API Documentation (version 1.3.5) : Index of values - - -

Index of values

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -


(++) [Pretty]	-Concatenates two documents. - -
A
addAttribute [Cil]	-Add an attribute. - -
addAttributes [Cil]	-Add a list of attributes. - -
addOffset [Cil]	-`addOffset o1 o2` adds `o1` to the end of `o2`. - -
addOffsetLval [Cil]	-Add an offset at the end of an lvalue. - -
additiveLevel [Cil]
addrOfLevel [Cil]
align [Pretty]	-Mark the current column as the current indentation level. - -
alignOf_int [Cil]	-The minimum alignment (in bytes) for a type. - -
append [Clist]	-Append two clists - -
argsToList [Cil]	-Obtain the argument list ([] if None) - -
arrowLevel [Cil]
attributeHash [Cil]	-This table contains the mapping of predefined attributes to classes. - -
auto_printer [Pretty]	-A function that when used at top-level in a module will direct - the pa_prtype module generate automatically the printing functions for a - type - -
B
bitsOffset [Cil]	-Give a type of a base and an offset, returns the number of bits from the - base address and the width (also expressed in bits) for the subobject - denoted by the offset. - -
bitsSizeOf [Cil]	-The size of a type, in bits. - -
bitwiseLevel [Cil]
break [Pretty]	-A document that consists of either a space or a line break. - -
bug [Cil]	-Like `Errormsg.bug` except that `Cil.currentLoc` is also printed - -
bug [Errormsg]	-Similar to `error` except that its output has the form `Bug: ...` - -
C
cExp [Formatcil]	-Constructs an expression based on the program and the list of arguments. - -
cInstr [Formatcil]	-Constructs an instruction based on the program and the list of arguments. - -
cLval [Formatcil]	-Constructs an lval based on the program and the list of arguments. - -
cStmt [Formatcil]
cStmts [Formatcil]	-Constructs a list of statements - -
cType [Formatcil]	-Constructs a type based on the program and the list of arguments. - -
cfgFun [Cfg]	-Compute a control flow graph for fd. - -
charConstPtrType [Cil]	-char const * - -
charConstToInt [Cil]	-Given the character c in a (CChr c), sign-extend it to 32 bits. - -
charPtrType [Cil]	-char * - -
charType [Cil]	-char - -
char_is_unsigned [Cil]	-Whether "char" is unsigned. - -
checkBeforeAppend [Clist]	-A useful check to assert before an append. - -
chr [Pretty]	-A document that prints a character. - -
cilVersion [Cil]	-This are the CIL version numbers. - -
cilVersionMajor [Cil]
cilVersionMinor [Cil]
cilVersionRevision [Cil]
clearCFGinfo [Cfg]	-clear the sid, succs, and preds fields of each statment in a function - -
clearFileCFG [Cfg]	-clear the sid, succs, and preds fields of each statement. - -
combinePredecessors [Dataflow.ForwardsTransfer]	-Take some old data for the start of a statement, and some new data for - the same point. - -
combineStmtStartData [Dataflow.BackwardsTransfer]	-When the analysis reaches the start of a block, combine the old data - with the one we have just computed. - -
combineSuccessors [Dataflow.BackwardsTransfer]	-Take the data from two successors and combine it - -
compFullName [Cil]	-Get the full name of a comp - -
compactStmts [Cil]	-Try to compress statements so as to get maximal basic blocks - -
comparativeLevel [Cil]
compareLoc [Cil]	-Comparison function for locations. - -
compute [Dataflow.BackwardsDataFlow]	-Fill in the T.stmtStartData, given a number of initial statements to - start from (the sinks for the backwards data flow). - -
compute [Dataflow.ForwardsDataFlow]	-Fill in the T.stmtStartData, given a number of initial statements to - start from. - -
computeCFGInfo [Cil]	-Compute the CFG information for all statements in a fundec and return a - list of the statements. - -
computeFileCFG [Cfg]	-Compute the CFG for an entire file, by calling cfgFun on each function. - -
computeFirstPredecessor [Dataflow.ForwardsTransfer]	-Give the first value for a predecessors, compute the value to be set - for the block - -
computeIDom [Dominators]	-Invoke on a code after filling in the CFG info and it computes the - immediate dominator information. - -
concat [Pretty]
constFold [Cil]	-Do constant folding on an expression. - -
constFoldBinOp [Cil]	-Do constant folding on a binary operation. - -
constFoldVisitor [Cil]	-A visitor that does constant folding. - -
copy [Dataflow.ForwardsTransfer]	-Make a deep copy of the data - -
copyCompInfo [Cil]	-Makes a shallow copy of a `Cil.compinfo` changing the name and the key. - -
copyFunction [Cil]	-Create a deep copy of a function. - -
copyVarinfo [Cil]	-Make a shallow copy of a `varinfo` and assign a new identifier - -
countNewLines [Pretty]	-Keep a running count of the taken newlines. - -
currentGlobal [Cil]	-A reference to the current global being visited - -
currentLoc [Cil]	-A reference to the current location. - -
D
dExp [Formatcil]	-Deconstructs an expression based on the program. - -
dExp [Cil]	-Generate an `Cil.exp` to be used in case of errors. - -
dGlobal [Cil]	-Generate a `Cil.global` to be used in case of errors. - -
dInstr [Formatcil]	-Deconstructs an instruction based on the program. - -
dInstr [Cil]	-Generate an `Cil.instr` to be used in case of errors. - -
dLval [Formatcil]	-Deconstructs an lval based on the program. - -
dType [Formatcil]	-Deconstructs a type based on the program. - -
d_attr [Cil]	-Pretty-print an attribute using `Cil.defaultCilPrinter` - -
d_attrlist [Cil]	-Pretty-print a list of attributes using `Cil.defaultCilPrinter` - -
d_attrparam [Cil]	-Pretty-print an argument of an attribute using `Cil.defaultCilPrinter` - -
d_binop [Cil]	-Pretty-print a binary operator - -
d_block [Cil]	-Pretty-print a block using `Cil.defaultCilPrinter`. - -
d_const [Cil]	-Pretty-print a constant - -
d_exp [Cil]	-Pretty-print an expression using `Cil.defaultCilPrinter` - -
d_fkind [Cil]	-Pretty-print a floating-point kind - -
d_formatarg [Cil]	-Pretty-prints a format arg - -
d_global [Cil]	-Pretty-print the internal representation of a global using - `Cil.defaultCilPrinter`. - -
d_hloc [Errormsg]
d_ikind [Cil]	-Pretty-print an integer of a given kind - -
d_init [Cil]	-Pretty-print an initializer using `Cil.defaultCilPrinter`. - -
d_instr [Cil]	-Pretty-print an instruction using `Cil.defaultCilPrinter` - -
d_int32 [Pretty]	-Print an int32 - -
d_int64 [Pretty]
d_label [Cil]	-Pretty-print a label using `Cil.defaultCilPrinter` - -
d_list [Pretty]	-sm: Yet another list printer. - -
d_loc [Cil]	-Pretty-print a location - -
d_loc [Errormsg]
d_lval [Cil]	-Pretty-print an lvalue using `Cil.defaultCilPrinter` - -
d_map [Pretty.MakeMapPrinter]	-Format a map, analogous to d_list. - -
d_offset [Cil]	-Pretty-print an offset using `Cil.defaultCilPrinter`, given the pretty - printing for the base. - -
d_plainexp [Cil]	-Pretty-print the internal representation of an expression - -
d_plaininit [Cil]	-Pretty-print the internal representation of an integer - -
d_plainlval [Cil]	-Pretty-print the internal representation of an lvalue - -
d_plaintype [Cil]	-Pretty-print the internal representation of a type - -
d_set [Pretty.MakeSetPrinter]	-Format a set, analogous to d_list. - -
d_shortglobal [Cil]	-Pretty-print a short description of the global. - -
d_stmt [Cil]	-Pretty-print a statement using `Cil.defaultCilPrinter`. - -
d_storage [Cil]	-Pretty-print storage-class information - -
d_thisloc [Cil]	-Pretty-print the `Cil.currentLoc` - -
d_type [Cil]	-Pretty-print a type using `Cil.defaultCilPrinter` - -
d_typsig [Cil]	-Print a type signature - -
d_unop [Cil]	-Pretty-print a unary operator - -
debug [Dataflow.BackwardsTransfer]	-Whether to turn on debugging - -
debug [Dataflow.ForwardsTransfer]	-Whether to turn on debugging - -
debugFlag [Errormsg]	-If set then print debugging info - -
defaultCilPrinter [Cil]
derefStarLevel [Cil]
dn_attr [Cil]
dn_attrlist [Cil]
dn_attrparam [Cil]
dn_exp [Cil]	-Versions of the above pretty printers, that don't print #line directives - -
dn_global [Cil]
dn_init [Cil]
dn_instr [Cil]
dn_lval [Cil]
dn_stmt [Cil]
dn_type [Cil]
doGuard [Dataflow.ForwardsTransfer]	-Generate the successor to an If statement assuming the given expression - is nonzero. - -
doInstr [Dataflow.BackwardsTransfer]	-The (backwards) transfer function for an instruction. - -
doInstr [Dataflow.ForwardsTransfer]	-The (forwards) transfer function for an instruction. - -
doStmt [Dataflow.BackwardsTransfer]	-The (backwards) transfer function for a branch. - -
doStmt [Dataflow.ForwardsTransfer]	-The (forwards) transfer function for a statement. - -
docAlphaTable [Alpha]	-Split the name in preparation for newAlphaName. - -
docArray [Pretty]	-Formats an array. - -
docCList [Clist]	-A document for printing a clist (similar to `docList`) - -
docList [Pretty]	-An alternative function for printing a list. - -
docMap [Pretty.MakeMapPrinter]	-Format a map, analogous to docList. - -
docOpt [Pretty]	-Prints an `'a option` with `None` or `Some` - -
docSet [Pretty.MakeSetPrinter]	-Format a set, analogous to docList. - -
dominates [Dominators]	-Check whether one statement dominates another. - -
doubleType [Cil]	-double - -
dprintf [Pretty]	-This function provides an alternative method for constructing - `doc` objects. - -
dropAttribute [Cil]	-Remove all attributes with the given name. - -
dropAttributes [Cil]	-Remove all attributes with names appearing in the string list. - -
dummyFile [Cil]	-A dummy file - -
dummyFunDec [Cil]	-A dummy function declaration handy when you need one as a placeholder. - -
dummyInstr [Cil]	-A instr to serve as a placeholder - -
dummyStmt [Cil]	-A statement consisting of just `dummyInstr` - -
dumpBlock [Cil]	-Dump a block to a file using a given indentation. - -
dumpFile [Cil]	-Pretty-print an entire file. - -
dumpGlobal [Cil]	-Pretty-print a global. - -
dumpInit [Cil]	-Dump an initializer to a file using a given indentation. - -
dumpStmt [Cil]	-Dump a statement to a file using a given indentation. - -
E
empty [Clist]	-The empty clist - -
emptyFunction [Cil]	-Make an empty function - -
eprintf [Pretty]	-Like `Pretty.fprintf` applied to `stderr` - -
error [Cil]	-Like `Errormsg.error` except that `Cil.currentLoc` is also printed - -
error [Errormsg]	-Prints an error message of the form `Error: ...`. - -
errorLoc [Cil]	-Like `Cil.error` except that it explicitly takes a location argument, - instead of using the `Cil.currentLoc` - -
existsType [Cil]	-Scans a type by applying the function on all elements. - -
F
f_int32 [Pretty]
f_int64 [Pretty]
fastMode [Pretty]	-If set to `true` then optional breaks are taken only when the document - has exceeded the given width. - -
filterAttributes [Cil]	-Retains attributes with the given name - -
filterStmt [Dataflow.BackwardsTransfer]	-Whether to put this predecessor block in the worklist. - -
filterStmt [Dataflow.ForwardsTransfer]	-Whether to put this statement in the worklist. - -
findNaturalLoops [Dominators]	-Compute the start of the natural loops. - -
finishParsing [Errormsg]
flushOften [Pretty]	-If true the it flushes after every print - -
foldGlobals [Cil]	-Fold over all globals, including the global initializer - -
foldLeftCompound [Cil]	-Fold over the list of initializers in a Compound. - -
foldLeftCompoundAll [Cil]	-Fold over the list of initializers in a Compound, like - `Cil.foldLeftCompound` but in the case of an array it scans even missing - zero initializers at the end of the array - -
fold_left [Clist]	-A version of fold_left that works on clists - -
forgcc [Cil]	-Return the string 's' if we're printing output for gcc, suppres - it if we're printing for CIL to parse back in. - -
fprint [Pretty]	-Format the document to the given width and emit it to the given channel - -
fprintf [Pretty]	-Like `Pretty.dprintf` followed by `Pretty.fprint` - -
fromList [Clist]	-Convert an ordinary list to a clist - -
G
gccBuiltins [Cil]	-A list of the GCC built-in functions. - -
getAlphaPrefix [Alpha]
getCompField [Cil]	-Return a named fieldinfo in compinfo, or raise Not_found - -
getGlobInit [Cil]	-Get the global initializer and create one if it does not already exist. - -
getHPosition [Errormsg]	-high-level position - -
getIdom [Dominators]	-This is like Inthash.find but gives an error if the information is - Not_found - -
getLocation [Errormsg]
getParenthLevel [Cil]	-Parentheses level. - -
getPosition [Errormsg]
get_globalLoc [Cil]	-Return the location of a global, or locUnknown - -
get_instrLoc [Cil]	-Return the location of an instruction - -
get_stmtLoc [Cil]	-Return the location of a statement, or locUnknown - -
gprintf [Pretty]	-Like `Pretty.dprintf` but more general. - -
H
hadErrors [Errormsg]	-This is set whenever one of the above error functions are called. - -
hasAttribute [Cil]	-True if the named attribute appears in the attribute list. - -
has_performance_counters [Stats]	-Check if we have performance counters - -
I
increm [Cil]	-Increment an expression. - -
indent [Pretty]	-Indents the document. - -
indexLevel [Cil]
initCIL [Cil]	-Call this function to perform some initialization. - -
insert [Pretty]	-A function that is useful with the `printf`-like interface - -
insertImplicitCasts [Cil]	-Do insert implicit casts (default true) - -
intPtrType [Cil]	-int * - -
intType [Cil]	-int - -
integer [Cil]	-Construct an integer of kind IInt. - -
invalidStmt [Cil]	-An empty statement. - -
isArithmeticType [Cil]	-True if the argument is an arithmetic type (i.e. - -
isArrayType [Cil]	-True if the argument is an array type - -
isCompleteType [Cil]	-Returns true if this is a complete type. - -
isConstant [Cil]	-True if the expression is a compile-time constant - -
isFunctionType [Cil]	-True if the argument is a function type - -
isInteger [Cil]	-True if the given expression is a (possibly cast'ed) - character or an integer constant - -
isIntegralType [Cil]	-True if the argument is an integral type (i.e. - -
isPointerType [Cil]	-True if the argument is a pointer type - -
isSigned [Cil]	-Returns true if and only if the given integer type is signed. - -
isVoidPtrType [Cil]
isVoidType [Cil]
isZero [Cil]	-True if the given expression is a (possibly cast'ed) integer or character - constant with value zero - -
iter [Clist]	-A version of iter that works on clists - -
iterGlobals [Cil]	-Iterate over all globals, including the global initializer - -
K
kinteger [Cil]	-Construct an integer of a given kind. - -
kinteger64 [Cil]	-Construct an integer of a given kind, using OCaml's int64 type. - -
L
lastTime [Stats]	-Time a function and set lastTime to the time it took - -
leftflush [Pretty]	-Use after a `Pretty.line` to prevent the indentation. - -
lenOfArray [Cil]	-Call to compute the array length as present in the array type, to an - integer. - -
length [Clist]	-Find the length of a clist - -
line [Pretty]	-A document that consists of a mandatory newline. - -
lineDirectiveStyle [Cil]	-How to print line directives - -
lineLength [Cil]	-The length used when wrapping output lines. - -
little_endian [Cil]	-Whether the machine is little endian. - -
loadBinaryFile [Cil]	-Read a `Cil.file` in binary form from the filesystem. - -
locUnknown [Cil]	-Represents a location that cannot be determined - -
locUnknown [Errormsg]	-An unknown location for use when you need one but you don't have one - -
log [Errormsg]	-Print something to `logChannel` - -
logChannel [Errormsg]	-A channel for printing log messages - -
logg [Errormsg]	-same as `Errormsg.log` but do not wrap lines - -
longType [Cil]	-long - -
lowerConstants [Cil]	-Do lower constants (default true) - -
lowerEnumVisitor [Cillower]	-Replace enumeration constants with integer constants - -
M
makeFormalVar [Cil]	-Make a formal variable for a function. - -
makeGlobalVar [Cil]	-Make a global variable. - -
makeLocalVar [Cil]	-Make a local variable and add it to a function's slocals (only if insert = - true, which is the default). - -
makeTempVar [Cil]	-Make a temporary variable and add it to a function's slocals. - -
makeVarinfo [Cil]	-Make a varinfo. - -
makeZeroInit [Cil]	-Make a initializer for zero-ing a data type - -
map [Clist]	-Map a function over a clist. - -
mapGlobals [Cil]	-Map over all globals, including the global initializer and change things - in place - -
mapNoCopy [Cil]	-Like map but try not to make a copy of the list - -
mapNoCopyList [Cil]	-Like map but each call can return a list. - -
mark [Pretty]	-Mark the beginning of a markup section. - -
markup [Pretty]	-Prints a document as markup. - -
missingFieldName [Cil]	-This is a constant used as the name of an unnamed bitfield. - -
mkAddrOf [Cil]	-Make an AddrOf. - -
mkAddrOrStartOf [Cil]	-Like mkAddrOf except if the type of lval is an array then it uses - StartOf. - -
mkBlock [Cil]	-Construct a block with no attributes, given a list of statements - -
mkCast [Cil]	-Like `Cil.mkCastT` but uses typeOf to get `oldt` - -
mkCastT [Cil]	-Construct a cast when having the old type of the expression. - -
mkCompInfo [Cil]	-Creates a a (potentially recursive) composite type. - -
mkEmptyStmt [Cil]	-Returns an empty statement (of kind `Instr`) - -
mkFor [Cil]	-Make a for loop for(start; guard; next) { ... - -
mkForIncr [Cil]	-Make a for loop for(i=start; i<past; i += incr) { ... - -
mkMem [Cil]	-Make a Mem, while optimizing AddrOf. - -
mkStmt [Cil]	-Construct a statement, given its kind. - -
mkStmtOneInstr [Cil]	-Construct a statement consisting of just one instruction - -
mkString [Cil]	-Make an expression that is a string constant (of pointer type) - -
mkWhile [Cil]	-Make a while loop. - -
mone [Cil]	--1 - -
msvcBuiltins [Cil]	-A list of the MSVC built-in functions. - -
msvcMode [Cil]	-Whether the pretty printer should print output for the MS VC compiler. - -
N
name [Dataflow.BackwardsTransfer]	-For debugging purposes, the name of the analysis - -
name [Dataflow.ForwardsTransfer]	-For debugging purposes, the name of the analysis - -
newAlphaName [Alpha]	-Create a new name based on a given name. - -
newHline [Errormsg]
newVID [Cil]	-Generate a new variable ID. - -
new_sid [Cil]
newline [Errormsg]
nil [Pretty]	-Constructs an empty document - -
noMemoize [Formatcil]	-If set then will not memoize the parsed patterns - -
nodeList [Cfg]	-All of the nodes in a file. - -
null [Errormsg]	-Do not actually print (i.e. - -
num [Pretty]	-A document that prints an integer in decimal form - -
numNodes [Cfg]	-number of nodes in the CFG - -
O
one [Cil]	-1 - -
P
parseInt [Cil]	-Convert a string representing a C integer literal to an expression. - -
parse_error [Errormsg]
partitionAttributes [Cil]	-Partition the attributes into classes:name attributes, function type, - and type attributes - -
peepHole1 [Cil]	-Similar to `peepHole2` except that the optimization window consists of - one statement, not two - -
peepHole2 [Cil]	-A peephole optimizer that processes two adjacent statements and possibly - replaces them both. - -
plainCilPrinter [Cil]
popContext [Errormsg]	-Removes the last registered context printing function - -
prepareCFG [Cil]	-Prepare a function for CFG information computation by - `Cil.computeCFGInfo`. - -
pretty [Dataflow.BackwardsTransfer]	-Pretty-print the state - -
pretty [Dataflow.ForwardsTransfer]	-Pretty-print the state - -
print [Stats]	-Print the current stats preceeded by a message - -
printAttr [Cil]	-Print an attribute given a pretty printer - -
printAttrs [Cil]	-Print a set of attributes given a pretty printer - -
printBlock [Cil]	-Print a block given a pretty printer. - -
printCfgChannel [Cfg]	-print control flow graph (in dot form) for fundec to channel - -
printCfgFilename [Cfg]	-Print control flow graph (in dot form) for fundec to file - -
printCilAsIs [Cil]	-Whether to print the CIL as they are, without trying to be smart and - print nicer code. - -
printDepth [Pretty]	-Specifies the nesting depth of the `align`/`unalign` pairs at which - everything is replaced with ellipsis - -
printExp [Cil]	-Print an expression given a pretty printer - -
printGlobal [Cil]	-Print a global given a pretty printer - -
printIndent [Pretty]	-If false then does not indent - -
printInit [Cil]	-Print an initializer given a pretty printer. - -
printInstr [Cil]	-Print an instruction given a pretty printer - -
printLval [Cil]	-Print an lvalue given a pretty printer - -
printStmt [Cil]	-Print a statement given a pretty printer. - -
printType [Cil]	-Print a type given a pretty printer - -
print_CIL_Input [Cil]	-Whether we print something that will only be used as input to our own - parser. - -
printerForMaincil [Cil]
printf [Pretty]	-Like `Pretty.fprintf` applied to `stdout` - -
pushContext [Errormsg]	-Registers a context printing function - -
pushGlobal [Cil]	-CIL keeps the types at the beginning of the file and the variables at the - end of the file. - -
R
readingFromStdin [Errormsg]	-Records whether the stdin is open for reading the goal * - -
real [Pretty]	-A document that prints a real number - -
registerAlphaName [Alpha]	-Register a name with an alpha conversion table to ensure that when later - we call newAlphaName we do not end up generating this one - -
removeOffset [Cil]	-Remove ONE offset from the end of an offset sequence. - -
removeOffsetLval [Cil]	-Remove ONE offset from the end of an lvalue. - -
repeattime [Stats]	-repeattime is like time but runs the function several times until the total - running time is greater or equal to the first argument. - -
reset [Stats]	-Resets all the timings. - -
rev [Clist]	-Reverse a clist. - -
S
s [Errormsg]	-Stop the execution by raising an Error. - -
sample_pentium_perfcount_10 [Stats]	-Sample the current cycle count, in kilocycles. - -
sample_pentium_perfcount_20 [Stats]	-Sample the current cycle count, in megacycles. - -
saveBinaryFile [Cil]	-Write a `Cil.file` in binary form to the filesystem. - -
saveBinaryFileChannel [Cil]	-Write a `Cil.file` in binary form to the filesystem. - -
separateStorageModifiers [Cil]	-Separate out the storage-modifier name attributes - -
seq [Pretty]	-Formats a sequence. - -
setCurrentFile [Errormsg]
setCurrentLine [Errormsg]
setFormals [Cil]	-Update the formals of a `fundec` and make sure that the function type - has the same information. - -
setFunctionType [Cil]	-Set the types of arguments and results as given by the function type - passed as the second argument. - -
setFunctionTypeMakeFormals [Cil]	-Set the type of the function and make formal arguments for them - -
setHFile [Errormsg]
setHLine [Errormsg]
setMaxId [Cil]	-Update the smaxid after you have populated with locals and formals - (unless you constructed those using `Cil.makeLocalVar` or - `Cil.makeTempVar`. - -
setTypeAttrs [Cil]
setTypeSigAttrs [Cil]	-Replace the attributes of a signature (only at top level) - -
showContext [Errormsg]	-Show the context stack to stderr - -
single [Clist]	-Create a clist containing one element - -
sizeOf [Cil]
splitFunctionType [Cil]	-Given a function type split it into return type, - arguments, is_vararg and attributes. - -
splitFunctionTypeVI [Cil]
sprint [Pretty]	-Format the document to the given width and emit it as a string - -
startParsing [Errormsg]
startParsingFromString [Errormsg]
start_id [Cfg]	-Next statement id that will be assigned. - -
startsWith [Cil]	-sm: return true if the first is a prefix of the second string - -
stmtStartData [Dataflow.BackwardsTransfer]	-For each block id, the data at the start. - -
stmtStartData [Dataflow.ForwardsTransfer]	-For each statement id, the data at the start. - -
stripCasts [Cil]	-Removes casts from this expression, but ignores casts within - other expression constructs. - -
T
test [Formatcil]	-Just a testing function - -
text [Pretty]	-A document that prints the given string - -
time [Stats]	-Time a function and associate the time with the given string. - -
timethis [Stats]
toList [Clist]	-Convert a clist to an ordinary list - -
typeAddAttributes [Cil]	-Add some attributes to a type - -
typeAttrs [Cil]	-Returns all the attributes contained in a type. - -
typeOf [Cil]	-Compute the type of an expression - -
typeOfLval [Cil]	-Compute the type of an lvalue - -
typeOfSizeOf [Cil]
typeOffset [Cil]	-Compute the type of an offset from a base type - -
typeRemoveAttributes [Cil]	-Remove all attributes with the given names from a type. - -
typeSig [Cil]	-Compute a type signature - -
typeSigAttrs [Cil]	-Get the top-level attributes of a signature - -
typeSigWithAttrs [Cil]	-Like `Cil.typeSig` but customize the incorporation of attributes. - -
U
uintPtrType [Cil]	-unsigned int * - -
uintType [Cil]	-unsigned int - -
ulongType [Cil]	-unsigned long - -
unalign [Pretty]	-Reverts to the last saved indentation level. - -
underscore_name [Cil]	-Whether the compiler generates assembly labels by prepending "_" to the - identifier. - -
undoAlphaChanges [Alpha]	-Undo the changes to a table - -
unimp [Cil]	-Like `Errormsg.unimp` except that `Cil.currentLoc`is also printed - -
unimp [Errormsg]	-Similar to `error` except that its output has the form `Unimplemented: ...` - -
uniqueVarNames [Cil]	-Assign unique names to local variables. - -
unmark [Pretty]	-The end of a markup section - -
unrollType [Cil]	-Unroll a type until it exposes a non - `TNamed`. - -
unrollTypeDeep [Cil]	-Unroll all the TNamed in a type (even under type constructors such as - `TPtr`, `TFun` or `TArray`. - -
upointType [Cil]
useLogicalOperators [Cil]	-Whether to use the logical operands LAnd and LOr. - -
V
var [Cil]	-Makes an lvalue out of a given variable - -
verboseFlag [Errormsg]
visitCilAttributes [Cil]	-Visit a list of attributes - -
visitCilBlock [Cil]	-Visit a block - -
visitCilExpr [Cil]
visitCilFile [Cil]	-Visit a file. - -
visitCilFileSameGlobals [Cil]	-A visitor for the whole file that does not change the globals (but maybe - changes things inside the globals). - -
visitCilFunction [Cil]	-Visit a function definition - -
visitCilGlobal [Cil]	-Visit a global - -
visitCilInit [Cil]	-Visit an initializer - -
visitCilInitOffset [Cil]	-Visit an initializer offset - -
visitCilInstr [Cil]	-Visit an instruction - -
visitCilLval [Cil]	-Visit an lvalue - -
visitCilOffset [Cil]	-Visit an lvalue or recursive offset - -
visitCilStmt [Cil]	-Visit a statement - -
visitCilType [Cil]	-Visit a type - -
visitCilVarDecl [Cil]	-Visit a variable declaration - -
voidPtrType [Cil]	-void * - -
voidType [Cil]	-void - -
W
warn [Cil]	-Like `Errormsg.warn` except that `Cil.currentLoc` is also printed - -
warn [Errormsg]	-Like `Errormsg.error` but does not raise the `Errormsg.Error` - exception. - -
warnContext [Cil]	-Like `Errormsg.warn` except that `Cil.currentLoc` and context - is also printed - -
warnContextOpt [Cil]	-Like `Errormsg.warn` except that `Cil.currentLoc` and context is also - printed. - -
warnFlag [Errormsg]	-Set to true if you want to see all warnings. - -
warnLoc [Cil]	-Like `Cil.warn` except that it explicitly takes a location argument, - instead of using the `Cil.currentLoc` - -
warnOpt [Cil]	-Like `Errormsg.warnOpt` except that `Cil.currentLoc` is also printed. - -
warnOpt [Errormsg]	-Like `Errormsg.warn` but optional. - -
wcharKind [Cil]	-wchar_t (depends on architecture) and is set when you call - `Cil.initCIL`. - -
wcharType [Cil]
withContext [Errormsg]	-To ensure that the context is registered and removed properly, use the - function below - -
withPrintDepth [Pretty]	-Invokes a thunk, with printDepth temporarily set to the specified value - -
Z
zero [Cil]	-0 - -

- - \ No newline at end of file -- cgit