BC: fix flags for flbit-field

Author: samth

pkgs/racket-test-core/tests/racket/flonum.rktl

@@ -443,6 +443,14 @@
     (test (bitwise-bit-field #x5B71B43544F260A6 i j)
           flbit-field 3.141579e132 i j)))
 
+;; ----------------------------------------
+;; Regression test to make sure that flbit-field does not internally
+;; claim to produce a flonum
+(let ([f (black-box (lambda (v) (fixnum? (flbit-field v 52 63))))])
+  (test #t f 1.0))
+(let ([f (black-box (lambda (v) (fixnum? (unsafe-flbit-field v 52 63))))])
+  (test #t f 1.0))
+
 ;; ----------------------------------------
 ;; Make sure `flvector` is not incorrectly constant-folded
 

racket/src/bc/src/number.c

@@ -1013,7 +1013,6 @@ void scheme_init_flfxnum_number(Scheme_Startup_Env *env)
   scheme_addto_prim_instance("flsingle", p, env);
 
   p = scheme_make_folding_prim(fl_bit_field, "flbit-field", 3, 3, 1);
-  SCHEME_PRIM_PROC_FLAGS(p) |= scheme_intern_prim_opt_flags(SCHEME_PRIM_PRODUCES_FLONUM);
   scheme_addto_prim_instance("flbit-field", p, env);
 
   p = scheme_make_folding_prim(fl_sin, "flsin", 1, 1, 1);
@@ -1608,7 +1607,6 @@ void scheme_init_unsafe_number(Scheme_Startup_Env *env)
   scheme_addto_prim_instance("unsafe-flsingle", p, env);
 
   p = scheme_make_folding_prim(unsafe_flbit_field, "unsafe-flbit-field", 3, 3, 1);
-  SCHEME_PRIM_PROC_FLAGS(p) |= scheme_intern_prim_opt_flags(SCHEME_PRIM_PRODUCES_FLONUM);
   scheme_addto_prim_instance("unsafe-flbit-field", p, env);
 }