TEST

rust-lang · Jan 17, 2024 · 3f6531c · 3f6531c
1 parent 61faffb
commit 3f6531c
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/compiler/rustc_codegen_gcc/src/context.rs b/compiler/rustc_codegen_gcc/src/context.rs
@@ -196,7 +196,7 @@ impl<'gcc, 'tcx> CodegenCx<'gcc, 'tcx> {
 
  let mut functions = FxHashMap::default();
  let builtins = [
- "__builtin_unreachable", "abort", "__builtin_expect", "__builtin_add_overflow", "__builtin_mul_overflow",
+ "__builtin_unreachable", "abort", "__builtin_expect", "__builtin_constant_p", "__builtin_add_overflow", "__builtin_mul_overflow",
  "__builtin_saddll_overflow", /*"__builtin_sadd_overflow",*/ "__builtin_smulll_overflow", /*"__builtin_smul_overflow",*/
  "__builtin_ssubll_overflow", /*"__builtin_ssub_overflow",*/ "__builtin_sub_overflow", "__builtin_uaddll_overflow",
  "__builtin_uadd_overflow", "__builtin_umulll_overflow", "__builtin_umul_overflow", "__builtin_usubll_overflow",

diff --git a/compiler/rustc_codegen_gcc/src/intrinsic/mod.rs b/compiler/rustc_codegen_gcc/src/intrinsic/mod.rs
@@ -123,6 +123,12 @@ impl<'a, 'gcc, 'tcx> IntrinsicCallMethods<'tcx> for Builder<'a, 'gcc, 'tcx> {
  sym::unlikely => {
  self.expect(args[0].immediate(), false)
  }
+ 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))
+ }
  kw::Try => {
  try_intrinsic(
  self,