A CIL Tutorial - Department of Computer Science - ETH Zürich

CHAPTER 10. ADDING A NEW KIND OF STATEMENT 82
let isCacheReportStmt (s : stmt) : block option =
match s.skind with
| If(CastE(t, z), b, , ) when z = zero ∧ isCacheReportType t → Some b
| Block b when hasCacheReportAttrs b.battrs → Some b
| → None
Now, if we make the following macro:
#define cache report if((void * attribute ((cache report)))0)
We can write code like the following:
cache report {
...
}
Alternately (or in addition), if we make the following macro:
#define CACHE REPORT blockattribute ((cache report))
We can write code like the following:
{ CACHE REPORT
...
}
The above syntactic constructs will be replaced by calls to two functions, one at the beginning
of the block of code we want to prole, and one at the end.
We create instrumentation functions just as we did back in Chapter 4, so we just include the
code here that builds the function call instructions.
The functions are dened in ciltut-lib/src/tut10.c and set up using the function initCacheFunctions.
The function makeCacheReportStmts builds the function calls for source location loc, and returns
a pair of statements containing the instructions.
let makeCacheReportStmts (loc : location) : stmt × stmt =
let f, l = mkString loc.file, integer loc.line in
i2s (Call(None, v2e cachefuns.cache begin, [f; l; ], loc)),
i2s (Call(None, v2e cachefuns.cache end, [f; l; ], loc))