diff options
| author | Frederic Kehrein <frederic.kehrein@rwth-aachen.de> | 2019-05-24 15:23:35 +0200 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-03-18 15:47:58 +0000 |
| commit | b552a9f41b3e3b9db56f240f3e96430f4d5ade03 (patch) | |
| tree | 7872ca0aa38ba8996d90257b4c83156d6af3ccbd /lib | |
| parent | 43cded9e512cefcedcb9a759ca3582624ec659e3 (diff) | |
| download | klee-b552a9f41b3e3b9db56f240f3e96430f4d5ade03.tar.gz | |
Added another `ScalarizerLegacyPass` run to remove vectorized code introduced during the optimization step
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Module/KModule.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp index cec0ea6f..c4fd980f 100644 --- a/lib/Module/KModule.cpp +++ b/lib/Module/KModule.cpp @@ -291,6 +291,7 @@ void KModule::optimiseAndPrepare( default: klee_error("invalid --switch-type"); } pm3.add(new IntrinsicCleanerPass(*targetData)); + pm3.add(createScalarizerPass()); pm3.add(new PhiCleanerPass()); pm3.add(new FunctionAliasPass()); pm3.run(*module); |