From b991f9a52f68b96442a2a45d9bd97ddd57756f30 Mon Sep 17 00:00:00 2001
From: gnzlbg <gonzalobg88@gmail.com>
Date: Sun, 22 Sep 2019 09:48:30 +0200
Subject: [PATCH] Add is_const_eval intrinsic

---
 src/shims/intrinsics.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index 06af6db76a..eda4037845 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -223,6 +223,9 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 let discr_val = this.read_discriminant(place.into())?.0;
                 this.write_scalar(Scalar::from_uint(discr_val, dest.layout.size), dest)?;
             }
+            "is_const_eval" => {
+                this.write_scalar(Scalar::from_u8(1), dest)?;
+            }
 
             "sinf32" | "fabsf32" | "cosf32" | "sqrtf32" | "expf32" | "exp2f32" | "logf32" |
             "log10f32" | "log2f32" | "floorf32" | "ceilf32" | "truncf32" | "roundf32" => {