From b552a9f41b3e3b9db56f240f3e96430f4d5ade03 Mon Sep 17 00:00:00 2001
From: Frederic Kehrein <frederic.kehrein@rwth-aachen.de>
Date: Fri, 24 May 2019 15:23:35 +0200
Subject: Added another `ScalarizerLegacyPass` run to remove vectorized code
 introduced during the optimization step

---
 lib/Module/KModule.cpp | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/Module')

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);
-- 
cgit 1.4.1