diff options
| author | Martin Nowack <martin.nowack@gmail.com> | 2018-05-15 15:12:12 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-07-04 15:13:02 +0100 |
| commit | ef90f1e219fec27a3d594158ae5f380a9e9a2f37 (patch) | |
| tree | 0a02b5da762b4bc59f7f6bd2453a2a6591f00062 /lib/Core/SpecialFunctionHandler.h | |
| parent | 6803c37be83f0c97c95870a18cb230e135a131c9 (diff) | |
| download | klee-ef90f1e219fec27a3d594158ae5f380a9e9a2f37.tar.gz | |
Reorder linking and optimizations
Link intrinsic library before executing optimizations. This makes sure that any optimization run by KLEE on the module is executed for the intrinsic library as well. Support .ll files as input for KLEE as well.
Diffstat (limited to 'lib/Core/SpecialFunctionHandler.h')
| -rw-r--r-- | lib/Core/SpecialFunctionHandler.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/Core/SpecialFunctionHandler.h b/lib/Core/SpecialFunctionHandler.h index b11a4974..f99a212f 100644 --- a/lib/Core/SpecialFunctionHandler.h +++ b/lib/Core/SpecialFunctionHandler.h @@ -77,7 +77,10 @@ namespace klee { /// prepared for execution. At the moment this involves deleting /// unused function bodies and marking intrinsics with appropriate /// flags for use in optimizations. - void prepare(); + /// + /// @param preservedFunctions contains all the function names which should + /// be preserved during optimization + void prepare(std::vector<const char *> &preservedFunctions); /// Initialize the internal handler map after the module has been /// prepared for execution. |