rm custom intrinsics::discriminant_value

2020-03-08 14:31:57 +01:00 · 2020-03-08 14:31:57 +01:00 · 6fd3c9174c
commit 6fd3c9174c
parent e6a0c60a0f
1 changed files with 0 additions and 6 deletions
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@ -248,12 +248,6 @@ fn call_intrinsic(
                }
            }

-            "discriminant_value" => {
-                let place = this.deref_operand(args[0])?;
-                let discr_val = this.read_discriminant(place.into())?.0;
-                this.write_scalar(Scalar::from_uint(discr_val, dest.layout.size), dest)?;
-            }
-
            #[rustfmt::skip]
            | "sinf32"
            | "fabsf32"