summary refs log tree commit diff
path: root/src/librustc_codegen_llvm/context.rs
diff options
context:
space:
mode:
authorXiang Fan <sfanxiang@gmail.com>2019-06-06 08:39:20 +0800
committerXiang Fan <sfanxiang@gmail.com>2019-09-28 04:45:08 +0800
commitf71e0daa29b232d8f689f77fecb84dcb87fce6da (patch)
tree7e450a5f114b0973aad2b5b7799bc7f54c6776c7 /src/librustc_codegen_llvm/context.rs
parenta37fe2de697bb1a9d304e4e811836e125f944cd5 (diff)
downloadrust-f71e0daa29b232d8f689f77fecb84dcb87fce6da.tar.gz
rust-f71e0daa29b232d8f689f77fecb84dcb87fce6da.zip
Add llvm.sideeffect to potential infinite loops and recursions
LLVM assumes that a thread will eventually cause side effect. This is
not true in Rust if a loop or recursion does nothing in its body,
causing undefined behavior even in common cases like `loop {}`.
Inserting llvm.sideeffect fixes the undefined behavior.

As a micro-optimization, only insert llvm.sideeffect when jumping back
in blocks or calling a function.

A patch for LLVM is expected to allow empty non-terminate code by
default and fix this issue from LLVM side.

https://github.com/rust-lang/rust/issues/28728
Diffstat (limited to 'src/librustc_codegen_llvm/context.rs')
-rw-r--r--src/librustc_codegen_llvm/context.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc_codegen_llvm/context.rs b/src/librustc_codegen_llvm/context.rs
index 58ce9703909..bac37369a29 100644
--- a/src/librustc_codegen_llvm/context.rs
+++ b/src/librustc_codegen_llvm/context.rs
@@ -537,6 +537,7 @@ impl CodegenCx<'b, 'tcx> {
         ifn!("llvm.trap", fn() -> void);
         ifn!("llvm.debugtrap", fn() -> void);
         ifn!("llvm.frameaddress", fn(t_i32) -> i8p);
+        ifn!("llvm.sideeffect", fn() -> void);
 
         ifn!("llvm.powi.f32", fn(t_f32, t_i32) -> t_f32);
         ifn!("llvm.powi.v2f32", fn(t_v2f32, t_i32) -> t_v2f32);