- addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
- addPass(PM, createGlobalDCEPass()); // Kill unused uinit g-vars
- addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
- addPass(PM, createConstantMergePass()); // Merge dup global constants
- addPass(PM, createDeadInstEliminationPass()); // Remove Dead code/vars
- addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
- addPass(PM, createIndVarSimplifyPass()); // Simplify indvars
+ addPass(PM, createFunctionResolvingPass()); // Resolve (...) functions
+ addPass(PM, createGlobalDCEPass()); // Kill unused uinit g-vars
+ addPass(PM, createDeadTypeEliminationPass()); // Eliminate dead types
+ addPass(PM, createConstantMergePass()); // Merge dup global constants
+ addPass(PM, createVerifierPass()); // Verify that input is correct
+ addPass(PM, createDeadInstEliminationPass()); // Remove Dead code/vars
+ addPass(PM, createRaiseAllocationsPass()); // call %malloc -> malloc inst
+ addPass(PM, createIndVarSimplifyPass()); // Simplify indvars