3 ms·
llvm has alloca. llvm has computed goto. Saying safe-Rust can generate arbitrary "safe" LLVM is a bold statement As an aside it may be interesting if this coul
by __s 10y ago
llvm has alloca. llvm has computed goto. Saying safe-Rust can generate arbitrary "safe" LLVM is a bold statement
As an aside it may be interesting if this could be "Target MIR", but that's a future prospect
- drdrey 10y agocomputed goto, aka indirectbr in the LLVM IR: http://llvm.org/docs/LangRef.html#indirectbr-instruction http://llvm.org/docs/LangRef.html#indirectbr-instruction
- wcrichton 10y agoRust doesn't generate arbitrary LLVM, but to my knowledge it does generate LLVM that is memory safe. That's the whole point of the borrow checker.