add an Rvalue for is_val_statically_known and use it in MIR optimization

joboet · joboet · commit bbcf44fbfaf9 · 2025-09-15T12:42:44.000+02:00
diff --git a/compiler/rustc_borrowck/src/lib.rs b/compiler/rustc_borrowck/src/lib.rs
@@ -1535,7 +1535,8 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, '_, 'tcx> {
             | Rvalue::Repeat(operand, _)
             | Rvalue::UnaryOp(_ /*un_op*/, operand)
             | Rvalue::Cast(_ /*cast_kind*/, operand, _ /*ty*/)
-            | Rvalue::ShallowInitBox(operand, _ /*ty*/) => {
+            | Rvalue::ShallowInitBox(operand, _ /*ty*/)
+            | Rvalue::StaticallyKnown(operand) => {
                 self.consume_operand(location, (operand, span), state)
             }
 
diff --git a/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs b/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs
@@ -299,7 +299,8 @@ impl<'a, 'tcx> LoanInvalidationsGenerator<'a, 'tcx> {
             | Rvalue::Repeat(operand, _)
             | Rvalue::UnaryOp(_ /*un_op*/, operand)
             | Rvalue::Cast(_ /*cast_kind*/, operand, _ /*ty*/)
-            | Rvalue::ShallowInitBox(operand, _ /*ty*/) => self.consume_operand(location, operand),
+            | Rvalue::ShallowInitBox(operand, _ /*ty*/)
+            | Rvalue::StaticallyKnown(operand) => self.consume_operand(location, operand),
 
             &Rvalue::CopyForDeref(place) => {
                 let op = &Operand::Copy(place);
diff --git a/compiler/rustc_borrowck/src/type_check/mod.rs b/compiler/rustc_borrowck/src/type_check/mod.rs
@@ -1633,7 +1633,8 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
             | Rvalue::ThreadLocalRef(..)
             | Rvalue::Len(..)
             | Rvalue::Discriminant(..)
-            | Rvalue::NullaryOp(NullOp::OffsetOf(..), _) => {}
+            | Rvalue::NullaryOp(NullOp::OffsetOf(..), _)
+            | Rvalue::StaticallyKnown(_) => {}
         }
     }
 
@@ -2209,7 +2210,8 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
             | Rvalue::CopyForDeref(..)
             | Rvalue::UnaryOp(..)
             | Rvalue::Discriminant(..)
-            | Rvalue::WrapUnsafeBinder(..) => None,
+            | Rvalue::WrapUnsafeBinder(..)
+            | Rvalue::StaticallyKnown(..) => None,
 
             Rvalue::Aggregate(aggregate, _) => match **aggregate {
                 AggregateKind::Adt(_, _, _, user_ty, _) => user_ty,
diff --git a/compiler/rustc_codegen_cranelift/src/base.rs b/compiler/rustc_codegen_cranelift/src/base.rs
@@ -934,6 +934,15 @@ fn codegen_stmt<'tcx>(fx: &mut FunctionCx<'_, '_, 'tcx>, cur_block: Block, stmt:
                     let operand = codegen_operand(fx, operand);
                     lval.write_cvalue_transmute(fx, operand);
                 }
+                Rvalue::StaticallyKnown(_) => {
+                    // Cranelift doesn't have an exquivalent for this. Just
+                    // return `false` unconditionally.
+                    let val = CValue::by_val(
+                        fx.bcx.ins().iconst(types::I8, i64::from(false)),
+                        fx.layout_of(fx.tcx.types.bool),
+                    );
+                    lval.write_cvalue(fx, val);
+                }
             }
         }
         StatementKind::StorageLive(_)
diff --git a/compiler/rustc_codegen_gcc/src/builder.rs b/compiler/rustc_codegen_gcc/src/builder.rs
@@ -925,6 +925,12 @@ impl<'a, 'gcc, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'gcc, 'tcx> {
         self.gcc_checked_binop(oop, typ, lhs, rhs)
     }
 
+    fn is_constant(&mut self, val: Self::Value) -> Self::Value {
+        let builtin = self.context.get_builtin_function("__builtin_constant_p");
+        let res = self.context.new_call(None, builtin, &[val]);
+        self.icmp(IntPredicate::IntEQ, res, self.const_i32(0))
+    }
+
     fn alloca(&mut self, size: Size, align: Align) -> RValue<'gcc> {
         let ty = self.cx.type_array(self.cx.type_i8(), size.bytes()).get_aligned(align.bytes());
         // TODO(antoyo): It might be better to return a LValue, but fixing the rustc API is non-trivial.
diff --git a/compiler/rustc_codegen_gcc/src/intrinsic/mod.rs b/compiler/rustc_codegen_gcc/src/intrinsic/mod.rs
@@ -381,12 +381,6 @@ impl<'a, 'gcc, 'tcx> IntrinsicCallBuilderMethods<'tcx> for Builder<'a, 'gcc, 'tc
                     &args.iter().map(|arg| arg.immediate()).collect::<Vec<_>>(),
                 )
             }
-            sym::is_val_statically_known => {
-                let a = args[0].immediate();
-                let builtin = self.context.get_builtin_function("__builtin_constant_p");
-                let res = self.context.new_call(None, builtin, &[a]);
-                self.icmp(IntPredicate::IntEQ, res, self.const_i32(0))
-            }
             sym::catch_unwind => {
                 try_intrinsic(
                     self,
diff --git a/compiler/rustc_codegen_llvm/src/builder.rs b/compiler/rustc_codegen_llvm/src/builder.rs
@@ -1103,6 +1103,10 @@ impl<'a, 'll, 'tcx> BuilderMethods<'a, 'tcx> for Builder<'a, 'll, 'tcx> {
         Some(self.call_intrinsic(name, &[self.type_i8(), self.type_ix(size.bits())], &[lhs, rhs]))
     }
 
+    fn is_constant(&mut self, val: Self::Value) -> Self::Value {
+        self.call_intrinsic("llvm.is.constant", &[self.cx.val_ty(val)], &[val])
+    }
+
     /* Miscellaneous instructions */
     fn memcpy(
         &mut self,
diff --git a/compiler/rustc_codegen_llvm/src/intrinsic.rs b/compiler/rustc_codegen_llvm/src/intrinsic.rs
@@ -198,17 +198,6 @@ impl<'ll, 'tcx> IntrinsicCallBuilderMethods<'tcx> for Builder<'_, 'll, 'tcx> {
                 codegen_autodiff(self, tcx, instance, args, result);
                 return Ok(());
             }
-            sym::is_val_statically_known => {
-                if let OperandValue::Immediate(imm) = args[0].val {
-                    self.call_intrinsic(
-                        "llvm.is.constant",
-                        &[args[0].layout.immediate_llvm_type(self.cx)],
-                        &[imm],
-                    )
-                } else {
-                    self.const_bool(false)
-                }
-            }
             sym::select_unpredictable => {
                 let cond = args[0].immediate();
                 assert_eq!(args[1].layout, args[2].layout);
diff --git a/compiler/rustc_codegen_ssa/src/mir/rvalue.rs b/compiler/rustc_codegen_ssa/src/mir/rvalue.rs
@@ -737,6 +737,27 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
                 let layout = bx.cx().layout_of(binder_ty);
                 OperandRef { val: operand.val, layout }
             }
+            mir::Rvalue::StaticallyKnown(ref operand) => {
+                let operand = self.codegen_operand(bx, operand);
+                let val = match operand.val {
+                    // This would need to insert some loads for the type. That's
+                    // unlikely to be profitable, so just collapse to `false`.
+                    OperandValue::Ref(..) => bx.const_bool(false),
+                    OperandValue::Immediate(val) => bx.is_constant(val),
+                    OperandValue::Pair(lval, rval) => {
+                        let l = bx.is_constant(lval);
+                        let r = bx.is_constant(rval);
+                        bx.and(l, r)
+                    }
+                    // A zero-sized value is always constant, so the backend
+                    // knows everything there is to know about it.
+                    OperandValue::ZeroSized => bx.const_bool(true),
+                };
+                OperandRef {
+                    val: OperandValue::Immediate(val),
+                    layout: bx.cx().layout_of(bx.tcx().types.bool),
+                }
+            }
         }
     }
 
diff --git a/compiler/rustc_codegen_ssa/src/traits/builder.rs b/compiler/rustc_codegen_ssa/src/traits/builder.rs
@@ -293,6 +293,15 @@ pub trait BuilderMethods<'a, 'tcx>:
         self.assume(is_null);
     }
 
+    /// Returns whether `val` has a value known at compile-time.
+    ///
+    /// Defaults to always returning `false`, since returning `true` might trick
+    /// the program into performing costly checks that only make sense at
+    /// compile-time.
+    fn is_constant(&mut self, _val: Self::Value) -> Self::Value {
+        self.const_bool(false)
+    }
+
     fn range_metadata(&mut self, load: Self::Value, range: WrappingRange);
     fn nonnull_metadata(&mut self, load: Self::Value);
 
diff --git a/compiler/rustc_const_eval/src/check_consts/check.rs b/compiler/rustc_const_eval/src/check_consts/check.rs
@@ -708,6 +708,10 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
             Rvalue::WrapUnsafeBinder(..) => {
                 // Unsafe binders are always trivial to create.
             }
+
+            Rvalue::StaticallyKnown(..) => {
+                // We can always choose a value for this.
+            }
         }
     }
 
diff --git a/compiler/rustc_const_eval/src/check_consts/qualifs.rs b/compiler/rustc_const_eval/src/check_consts/qualifs.rs
@@ -242,7 +242,8 @@ where
         | Rvalue::Repeat(operand, _)
         | Rvalue::UnaryOp(_, operand)
         | Rvalue::Cast(_, operand, _)
-        | Rvalue::ShallowInitBox(operand, _) => in_operand::<Q, _>(cx, in_local, operand),
+        | Rvalue::ShallowInitBox(operand, _)
+        | Rvalue::StaticallyKnown(operand) => in_operand::<Q, _>(cx, in_local, operand),
 
         Rvalue::BinaryOp(_, box (lhs, rhs)) => {
             in_operand::<Q, _>(cx, in_local, lhs) || in_operand::<Q, _>(cx, in_local, rhs)
diff --git a/compiler/rustc_const_eval/src/check_consts/resolver.rs b/compiler/rustc_const_eval/src/check_consts/resolver.rs
@@ -203,7 +203,8 @@ where
             | mir::Rvalue::UnaryOp(..)
             | mir::Rvalue::Discriminant(..)
             | mir::Rvalue::Aggregate(..)
-            | mir::Rvalue::WrapUnsafeBinder(..) => {}
+            | mir::Rvalue::WrapUnsafeBinder(..)
+            | mir::Rvalue::StaticallyKnown(..) => {}
         }
     }
 
diff --git a/compiler/rustc_const_eval/src/const_eval/machine.rs b/compiler/rustc_const_eval/src/const_eval/machine.rs
@@ -548,12 +548,6 @@ impl<'tcx> interpret::Machine<'tcx> for CompileTimeMachine<'tcx> {
                 ecx.write_pointer(ptr, dest)?;
             }
 
-            // The intrinsic represents whether the value is known to the optimizer (LLVM).
-            // We're not doing any optimizations here, so there is no optimizer that could know the value.
-            // (We know the value here in the machine of course, but this is the runtime of that code,
-            // not the optimization stage.)
-            sym::is_val_statically_known => ecx.write_scalar(Scalar::from_bool(false), dest)?,
-
             // We handle these here since Miri does not want to have them.
             sym::assert_inhabited
             | sym::assert_zero_valid
diff --git a/compiler/rustc_const_eval/src/interpret/machine.rs b/compiler/rustc_const_eval/src/interpret/machine.rs
@@ -289,6 +289,18 @@ pub trait Machine<'tcx>: Sized {
         a
     }
 
+    /// Computes the result of `is_val_statically_known`.
+    ///
+    /// The default implementation always returns `false`, but this could also
+    /// non-deterministically choose a value (miri does that to fully explore
+    /// the possible AM executions).
+    fn is_val_statically_known(
+        _ecx: &InterpCx<'tcx, Self>,
+        _val: &OpTy<'tcx, Self::Provenance>,
+    ) -> InterpResult<'tcx, bool> {
+        interp_ok(false)
+    }
+
     /// Called before a basic block terminator is executed.
     #[inline]
     fn before_terminator(_ecx: &mut InterpCx<'tcx, Self>) -> InterpResult<'tcx> {
diff --git a/compiler/rustc_const_eval/src/interpret/step.rs b/compiler/rustc_const_eval/src/interpret/step.rs
@@ -295,6 +295,12 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> {
                 let op = self.eval_operand(op, None)?;
                 self.copy_op_allow_transmute(&op, &dest)?;
             }
+
+            StaticallyKnown(ref op) => {
+                let op = self.eval_operand(op, None)?;
+                let known = M::is_val_statically_known(self, &op)?;
+                self.write_scalar(Scalar::from_bool(known), &dest)?;
+            }
         }
 
         trace!("{:?}", self.dump_place(&dest));
diff --git a/compiler/rustc_middle/src/mir/pretty.rs b/compiler/rustc_middle/src/mir/pretty.rs
@@ -1224,6 +1224,10 @@ impl<'tcx> Debug for Rvalue<'tcx> {
             WrapUnsafeBinder(ref op, ty) => {
                 with_no_trimmed_paths!(write!(fmt, "wrap_binder!({op:?}; {ty})"))
             }
+
+            StaticallyKnown(ref op) => {
+                write!(fmt, "StaticallyKnown({op:?})")
+            }
         }
     }
 }
diff --git a/compiler/rustc_middle/src/mir/statement.rs b/compiler/rustc_middle/src/mir/statement.rs
@@ -717,7 +717,8 @@ impl<'tcx> Rvalue<'tcx> {
             | Rvalue::Discriminant(_)
             | Rvalue::Aggregate(_, _)
             | Rvalue::ShallowInitBox(_, _)
-            | Rvalue::WrapUnsafeBinder(_, _) => true,
+            | Rvalue::WrapUnsafeBinder(_, _)
+            | Rvalue::StaticallyKnown(_) => true,
         }
     }
 
@@ -772,6 +773,7 @@ impl<'tcx> Rvalue<'tcx> {
             Rvalue::ShallowInitBox(_, ty) => Ty::new_box(tcx, ty),
             Rvalue::CopyForDeref(ref place) => place.ty(local_decls, tcx).ty,
             Rvalue::WrapUnsafeBinder(_, ty) => ty,
+            Rvalue::StaticallyKnown(_) => tcx.types.bool,
         }
     }
 
diff --git a/compiler/rustc_middle/src/mir/syntax.rs b/compiler/rustc_middle/src/mir/syntax.rs
@@ -1489,6 +1489,13 @@ pub enum Rvalue<'tcx> {
 
     /// Wraps a value in an unsafe binder.
     WrapUnsafeBinder(Operand<'tcx>, Ty<'tcx>),
+
+    /// Yields a boolean that indicates whether the value of the operand is
+    /// known during optimization.
+    ///
+    /// From an operational semantics perspective, the result is
+    /// non-deterministically chosen.
+    StaticallyKnown(Operand<'tcx>),
 }
 
 #[derive(Clone, Copy, Debug, PartialEq, Eq, TyEncodable, TyDecodable, Hash, HashStable)]
diff --git a/compiler/rustc_middle/src/mir/visit.rs b/compiler/rustc_middle/src/mir/visit.rs
@@ -795,6 +795,10 @@ macro_rules! make_mir_visitor {
                         self.visit_operand(op, location);
                         self.visit_ty($(& $mutability)? *ty, TyContext::Location(location));
                     }
+
+                    Rvalue::StaticallyKnown(op) => {
+                        self.visit_operand(op, location);
+                    }
                 }
             }
 
diff --git a/compiler/rustc_mir_dataflow/src/impls/borrowed_locals.rs b/compiler/rustc_mir_dataflow/src/impls/borrowed_locals.rs
@@ -98,7 +98,8 @@ where
             | Rvalue::Discriminant(..)
             | Rvalue::Aggregate(..)
             | Rvalue::CopyForDeref(..)
-            | Rvalue::WrapUnsafeBinder(..) => {}
+            | Rvalue::WrapUnsafeBinder(..)
+            | Rvalue::StaticallyKnown(..) => {}
         }
     }
 
diff --git a/compiler/rustc_mir_dataflow/src/move_paths/builder.rs b/compiler/rustc_mir_dataflow/src/move_paths/builder.rs
@@ -399,7 +399,8 @@ impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F> {
             | Rvalue::Cast(_, ref operand, _)
             | Rvalue::ShallowInitBox(ref operand, _)
             | Rvalue::UnaryOp(_, ref operand)
-            | Rvalue::WrapUnsafeBinder(ref operand, _) => self.gather_operand(operand),
+            | Rvalue::WrapUnsafeBinder(ref operand, _)
+            | Rvalue::StaticallyKnown(ref operand) => self.gather_operand(operand),
             Rvalue::BinaryOp(ref _binop, box (ref lhs, ref rhs)) => {
                 self.gather_operand(lhs);
                 self.gather_operand(rhs);
diff --git a/compiler/rustc_mir_transform/src/dataflow_const_prop.rs b/compiler/rustc_mir_transform/src/dataflow_const_prop.rs
@@ -491,6 +491,16 @@ impl<'a, 'tcx> ConstAnalysis<'a, 'tcx> {
                 FlatSet::Elem(Scalar::from_target_usize(val, &self.tcx))
             }
             Rvalue::Discriminant(place) => state.get_discr(place.as_ref(), &self.map),
+            Rvalue::StaticallyKnown(op) => {
+                match self.eval_operand(op, state) {
+                    // The constant value of the argument is known to this pass
+                    // and can be used for further optimizations. Collapsing to
+                    // `true` is thus likely to be profitable.
+                    FlatSet::Elem(_) => FlatSet::Elem(Scalar::from_bool(true)),
+                    FlatSet::Bottom => FlatSet::Bottom,
+                    FlatSet::Top => FlatSet::Top,
+                }
+            }
             Rvalue::Use(operand) => return self.handle_operand(operand, state),
             Rvalue::CopyForDeref(place) => {
                 return self.handle_operand(&Operand::Copy(*place), state);
diff --git a/compiler/rustc_mir_transform/src/gvn.rs b/compiler/rustc_mir_transform/src/gvn.rs
@@ -858,6 +858,9 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
                 }
                 Value::Discriminant(place)
             }
+            Rvalue::StaticallyKnown(ref mut arg_op) => {
+                return self.simplify_statically_known(arg_op, location);
+            }
 
             // Unsupported values.
             Rvalue::ThreadLocalRef(..) | Rvalue::ShallowInitBox(..) => return None,
@@ -1440,6 +1443,26 @@ impl<'body, 'tcx> VnState<'body, 'tcx> {
         Some(self.insert(self.tcx.types.usize, Value::Len(inner)))
     }
 
+    fn simplify_statically_known(
+        &mut self,
+        arg_op: &mut Operand<'tcx>,
+        location: Location,
+    ) -> Option<VnIndex> {
+        let value = self.simplify_operand(arg_op, location)?;
+        match self.evaluated[value] {
+            // `Rvalue::StaticallyKnown` intentionally does not have a
+            // corresponding `Value` variant in order to preserve as many
+            // distinct `StaticallyKnown`s as possible – other passes may
+            // learn more information that allows them to optimize patterns
+            // that this pass does not recognize.
+            None => None,
+            // This pass knows the constant value of the argument and can use
+            // that for further optimizations. Thus collapsing this to `true`
+            // is likely to be profitable.
+            Some(_) => Some(self.insert_bool(true)),
+        }
+    }
+
     fn pointers_have_same_metadata(&self, left_ptr_ty: Ty<'tcx>, right_ptr_ty: Ty<'tcx>) -> bool {
         let left_meta_ty = left_ptr_ty.pointee_metadata_ty_or_projection(self.tcx);
         let right_meta_ty = right_ptr_ty.pointee_metadata_ty_or_projection(self.tcx);
diff --git a/compiler/rustc_mir_transform/src/known_panics_lint.rs b/compiler/rustc_mir_transform/src/known_panics_lint.rs
@@ -446,7 +446,8 @@ impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx> {
             | Rvalue::ShallowInitBox(..)
             | Rvalue::Discriminant(..)
             | Rvalue::NullaryOp(..)
-            | Rvalue::WrapUnsafeBinder(..) => {}
+            | Rvalue::WrapUnsafeBinder(..)
+            | Rvalue::StaticallyKnown(..) => {}
         }
 
         // FIXME we need to revisit this for #67176
@@ -685,6 +686,8 @@ impl<'mir, 'tcx> ConstPropagator<'mir, 'tcx> {
                 })?;
                 imm.into()
             }
+
+            StaticallyKnown(..) => return None,
         };
         trace!(?val);
 
diff --git a/compiler/rustc_mir_transform/src/lower_intrinsics.rs b/compiler/rustc_mir_transform/src/lower_intrinsics.rs
diff --git a/compiler/rustc_mir_transform/src/promote_consts.rs b/compiler/rustc_mir_transform/src/promote_consts.rs
diff --git a/compiler/rustc_mir_transform/src/validate.rs b/compiler/rustc_mir_transform/src/validate.rs
diff --git a/compiler/rustc_public/src/unstable/convert/stable/mir.rs b/compiler/rustc_public/src/unstable/convert/stable/mir.rs
diff --git a/library/core/src/intrinsics/mod.rs b/library/core/src/intrinsics/mod.rs
diff --git a/src/tools/miri/src/intrinsics/mod.rs b/src/tools/miri/src/intrinsics/mod.rs
diff --git a/src/tools/miri/src/machine.rs b/src/tools/miri/src/machine.rs
diff --git a/src/tools/miri/tests/pass/intrinsics/intrinsics.rs b/src/tools/miri/tests/pass/intrinsics/intrinsics.rs
diff --git a/tests/codegen-llvm/is_val_statically_known.rs b/tests/codegen-llvm/is_val_statically_known.rs
diff --git a/tests/mir-opt/lower_intrinsics.rs b/tests/mir-opt/lower_intrinsics.rs

Original file line number	Diff line number	Diff line change
`@@ -1535,7 +1535,8 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, '_, 'tcx> {`
`1535`	`1535`	`\| Rvalue::Repeat(operand, _)`
`1536`	`1536`	`\| Rvalue::UnaryOp(_ /un_op/, operand)`
`1537`	`1537`	`\| Rvalue::Cast(_ /cast_kind/, operand, _ /ty/)`
`1538`		`- \| Rvalue::ShallowInitBox(operand, _ /ty/) => {`
	`1538`	`+ \| Rvalue::ShallowInitBox(operand, _ /ty/)`
	`1539`	`+ \| Rvalue::StaticallyKnown(operand) => {`
`1539`	`1540`	`self.consume_operand(location, (operand, span), state)`
`1540`	`1541`	`}`
`1541`	`1542`
Original file line number	Diff line number	Diff line change
`@@ -934,6 +934,15 @@ fn codegen_stmt<'tcx>(fx: &mut FunctionCx<'_, '_, 'tcx>, cur_block: Block, stmt:`
`934`	`934`	`let operand = codegen_operand(fx, operand);`
`935`	`935`	`lval.write_cvalue_transmute(fx, operand);`
`936`	`936`	`}`
	`937`	`+ Rvalue::StaticallyKnown(_) => {`
	`938`	`+ // Cranelift doesn't have an exquivalent for this. Just`
	`939`	+ // return `false` unconditionally.
	`940`	`+ let val = CValue::by_val(`
	`941`	`+ fx.bcx.ins().iconst(types::I8, i64::from(false)),`
	`942`	`+ fx.layout_of(fx.tcx.types.bool),`
	`943`	`+ );`
	`944`	`+ lval.write_cvalue(fx, val);`
	`945`	`+ }`
`937`	`946`	`}`
`938`	`947`	`}`
`939`	`948`	`StatementKind::StorageLive(_)`
Original file line number	Diff line number	Diff line change
`@@ -381,12 +381,6 @@ impl<'a, 'gcc, 'tcx> IntrinsicCallBuilderMethods<'tcx> for Builder<'a, 'gcc, 'tc`
`381`	`381`	`&args.iter().map(\|arg\| arg.immediate()).collect::<Vec<_>>(),`
`382`	`382`	`)`
`383`	`383`	`}`
`384`		`- sym::is_val_statically_known => {`
`385`		`- let a = args[0].immediate();`
`386`		`- let builtin = self.context.get_builtin_function("__builtin_constant_p");`
`387`		`- let res = self.context.new_call(None, builtin, &[a]);`
`388`		`- self.icmp(IntPredicate::IntEQ, res, self.const_i32(0))`
`389`		`- }`
`390`	`384`	`sym::catch_unwind => {`
`391`	`385`	`try_intrinsic(`
`392`	`386`	`self,`