Merge branch 'dev-pass-order'. Close #205.

NASA-SW-VnV · Apr 1, 2024 · 7eb2d06 · 7eb2d06
2 parents 39a88c0 + 4907d78
commit 7eb2d06
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/frontend/llvm/src/ikos_pp.cpp b/frontend/llvm/src/ikos_pp.cpp
@@ -266,12 +266,12 @@ int main(int argc, char** argv) {
     // Dead code elimination (opt -dce)
     pass_manager.add(llvm::createDeadCodeEliminationPass());
 
-    // Remove unreachable blocks also dead cycles
-    pass_manager.add(ikos_pp::create_remove_unreachable_blocks_pass());
-
     // Remove switch constructions (opt -lowerswitch)
     pass_manager.add(llvm::createLowerSwitchPass());
 
+    // Remove unreachable blocks also dead cycles
+    pass_manager.add(ikos_pp::create_remove_unreachable_blocks_pass());
+
     // Lower down atomic instructions (opt -loweratomic)
     pass_manager.add(llvm::createLowerAtomicPass());