Skip to content

Commit

Permalink
verify memoryssa on debug
Browse files Browse the repository at this point in the history
  • Loading branch information
vchuravy committed May 8, 2023
1 parent e3c03d6 commit 67fed9c
Showing 1 changed file with 7 additions and 2 deletions.
9 changes: 7 additions & 2 deletions src/codegen.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -9068,9 +9068,14 @@ extern "C" void jl_init_llvm(void)
cl::ProvidePositionalOption(clopt, "true", 1);
#else
cl::ProvidePositionalOption(clopt, "false", 1);
#endif
#endif // JL_LLVM_OPAQUE_POINTERS
#ifdef JL_DEBUG_BUILD
clopt = llvmopts.lookup("verify-memoryssa");
if (clopt && clopt->getNumOccurrences() == 0) {
cl::ProvidePositionalOption(clopt, "true", 1);
}
#endif
#endif // JL_DEBUG_BUILD
#endif // JL_LLVM_VERSION

jl_ExecutionEngine = new JuliaOJIT();

Expand Down

0 comments on commit 67fed9c

Please sign in to comment.