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 a596f95
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions src/codegen.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -9068,9 +9068,15 @@ extern "C" void jl_init_llvm(void)
cl::ProvidePositionalOption(clopt, "true", 1);
#else
cl::ProvidePositionalOption(clopt, "false", 1);
#endif
#endif // JL_LLVM_OPAQUE_POINTERS
}
#endif
#ifdef JL_DEBUG_BUILD
clopt = llvmopts.lookup("verify-memoryssa");
if (clopt && clopt->getNumOccurrences() == 0) {
cl::ProvidePositionalOption(clopt, "true", 1);
}
#endif // JL_DEBUG_BUILD
#endif // JL_LLVM_VERSION

jl_ExecutionEngine = new JuliaOJIT();

Expand Down

0 comments on commit a596f95

Please sign in to comment.