#<SB-C:TN B!1 :DEBUG-ENVIRONMENT> is not valid as the first argument to VOP: SB-VM::MOVE-IF/UNSIGNED

[Paul F. Dietz]

Found with random tester on x86-64 Linux.

(defun f5 (b)
  (case b ((2030) 4611686018427387908)
          ((572) b)
          (t 0)
          ))

===>

#<SB-C:TN B!1 :DEBUG-ENVIRONMENT> is not valid as the first argument to VOP:
  SB-VM::MOVE-IF/UNSIGNED
Primitive type: T
SC restrictions:
  (SB-VM::IMMEDIATE SB-VM::UNSIGNED-STACK SB-VM::UNSIGNED-REG)
The primitive type disallows these loadable SCs:
  (SB-VM::UNSIGNED-STACK SB-VM::UNSIGNED-REG)
No move VOPs are defined to coerce to these allowed SCs:
  (SB-VM::IMMEDIATE)
   [Condition of type SIMPLE-ERROR]

Restarts:
 0: [ABORT] Exit debugger, returning to top level.

Backtrace:
  0: (SB-C::BAD-COERCE-ERROR #<SB-C:TN-REF :TN #<SB-C:TN B!1 :DEBUG-ENVIRONMENT> :WRITE-P NIL :VOP SB-VM::MOVE-IF/UNSIGNED>)
  1: (SB-C::EMIT-COERCE-VOP #<SB-C:TN-REF :TN #<SB-C:TN B!1 :DEBUG-ENVIRONMENT> :WRITE-P NIL :VOP SB-VM::MOVE-IF/UNSIGNED> NIL #(NIL NIL NIL NIL NIL NIL ...) #<SB-C::VOP :INFO SB-VM::MOVE-IF/UNSIGNED :ARGS..
  2: (SB-C::COERCE-VOP-OPERANDS #<SB-C::VOP :INFO SB-VM::MOVE-IF/UNSIGNED :ARGS #<SB-C:TN-REF :TN #<SB-C:TN B!1 :DEBUG-ENVIRONMENT> :WRITE-P NIL :VOP SB-VM::MOVE-IF/UNSIGNED> :RESULTS #<SB-C:TN-REF :TN #<S..
  3: (SB-C::EMIT-MOVES-AND-COERCIONS #<SB-C::IR2-BLOCK :START-VOP #<SB-C::VOP :INFO SB-C:IF-EQ :ARGS #<SB-C:TN-REF :TN #<SB-C:TN B!1 :DEBUG-ENVIRONMENT> :WRITE-P NIL :VOP SB-C:IF-EQ> :RESULTS NIL> :LAST-V..
  4: (SB-C::SELECT-REPRESENTATIONS #<SB-C:COMPONENT :NAME F5 {1003C7F533}>)
  5: (SB-C::%COMPILE-COMPONENT #<SB-C:COMPONENT :NAME F5 {1003C7F533}>)
[...]

[Stas Boukarev (stassats)]

2960acf666e0b954530c5b209b431eaf30453fe1