You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// giving it to libnvvm. Then to debug codegen failures, we can just ask the user to provide the corresponding llvm ir
114
114
// file with --emit=llvm-ir
115
115
116
-
let verification_res = prog.verify();
116
+
let verification_res = prog.verify(&args.nvvm_options);
117
117
if verification_res.is_err(){
118
118
let log = prog.compiler_log().unwrap().unwrap_or_default();
119
119
let footer = "If you plan to submit a bug report please re-run the codegen with `RUSTFLAGS=\"--emit=llvm-ir\" and include the .ll file corresponding to the .o file mentioned in the log";
0 commit comments