removed old commented code

Author: jvanburen

lambda/lambda.ml

@@ -3048,139 +3048,3 @@ let sign_extend_int arg ~bits ~loc =
 
 let unary p arg ~loc = Lprim (Pscalar (Unary p), [arg], loc)
 let binary p x y ~loc = Lprim (Pscalar (Binary p), [x; y], loc)
-
-(* CR jvanburen: clean up *)
-(* module Bytecode = struct
- *   (* naked integers are boxed or tagged as appropriate in bytecode *)
- *
- *   type smallint = Int8 | Int16 | Immediate
- *
- *
- *   let static_cast arg ~src ~dst ~loc =
- *     if src = dst then arg else
- *     Lprim (Pscalar (Unary (Static_cast {src ; dst })), [arg], loc)
- *
- *   let to_bytecode_compatible arg ~from ~loc =
- *     static_cast arg ~src
- *     match (t : Scalar.t) with
- *     | Value value -> arg, Scalar.Bytecode.Value value
- *     | Naked value ->
- *       let bytecode = Scalar.Bytecode.Value value
- *       Lprim (Pscalar (Binary( Static_cast { src = t ; dst = Value value}) ) arg, [], Lconst const_unit), Scalar.Bytecode.Value Int8
- *       match value with
- *       | Int8 ->
- *       | Int16 -> Lprim (Pint16 arg, [], Lconst const_unit), Scalar.Bytecode.Value Int16
- *       | Immediate -> arg, Scalar.Bytecode.Value Immediate
- *       | _ -> assert false
- *
- *     | Value () ->
- *       Lprim (Pscalar (Binary (Static_cast
- *                                 {src = Naked_int8}
- *                              )),
- *              [int_size; Lconst(const_int bits)], loc)
- *
- *     | Tagged_immediate Tagged_immediate
- *       -> Misc.fatal_error "There is no Naked_immediate type yet"
- *
- *   let static_cast ~src ~dst args loc =
- *     let src = Bytecode_repr.of_size src in
- *     let dst = Bytecode_repr.of_size dst in
- *     let arg = Lprim (Bytecode_repr.wrap src, args, loc) in
- *     let converted =
- *       match src, dst with
- *       | Tagged src, Tagged dst ->
- *         if Bytecode_repr.bits src <= Bytecode_repr.bits dst
- *         then arg
- *         else sign_extend arg ~bits:(Bytecode_repr.bits dst)
- *       | Boxed src, Tagged dst ->
- *         sign_extend
- *           ~bits:(Bytecode_repr.bits dst)
- *           (Lprim (Pintofbint src, args, loc))
- *       | Tagged (_ : unboxed_integer), Boxed dst ->
- *         Lprim (Pbox_int (dst, alloc_local), [arg], loc)
- *       | Boxed src, Boxed dst ->
- *         Lprim (Pcvtbint (src, dst, alloc_local), [ arg ], loc)
- *     in
- *     Lprim (Bytecode_repr.unwrap dst, [converted], loc)
- * end
- *
- * let naked_int_cast ~src ~dst args loc =
- *   let src = Bytecode_repr.of_size src in
- *   let dst = Bytecode_repr.of_size dst in
- *   let arg = Lprim (Bytecode_repr.wrap src, args, loc) in
- *   let converted =
- *     match src, dst with
- *     | Tagged src, Tagged dst ->
- *       if Bytecode_repr.bits src <= Bytecode_repr.bits dst
- *       then arg
- *       else sign_extend arg ~bits:(Bytecode_repr.bits dst)
- *     | Boxed src, Tagged dst ->
- *       sign_extend
- *         ~bits:(Bytecode_repr.bits dst)
- *         (Lprim (Pintofbint src, args, loc))
- *     | Tagged (_ : unboxed_integer), Boxed dst ->
- *       Lprim (Pbox_int (dst, alloc_local), [arg], loc)
- *     | Boxed src, Boxed dst ->
- *       Lprim (Pcvtbint (src, dst, alloc_local), [ arg ], loc)
- *   in
- *   Lprim (Bytecode_repr.unwrap dst, [converted], loc)
- *
- * let naked_int_cmp ~op ~size args loc =
- *   let repr = Bytecode_repr.of_size size in
- *   let wrap = Bytecode_repr.wrap repr in
- *   let args = ListLabels.map args ~f:(fun arg ->
- *     Lprim(wrap, [arg], loc))
- *   in
- *   let prim =
- *     match repr with
- *     | Tagged (_ : unboxed_integer) -> Pintcomp op
- *     | Boxed boxed -> Pbintcomp (boxed, op)
- *   in
- *   Lprim (prim, args, loc)
- *
- * let naked_int_binop ~op ~size args loc =
- *   let repr = Bytecode_repr.of_size size in
- *   let wrap = Bytecode_repr.wrap repr in
- *   let args = ListLabels.map args ~f:(fun arg ->
- *     Lprim (wrap, [arg], loc))
- *   in
- *   let go ?unbox_second_argument prim =
- *     match args with
- *     | [] | [_] | _::_::_::_ ->
- *       Misc.fatal_error "naked_int_binop expected two arguments"
- *     | [l; r] ->
- *       let args =
- *         match unbox_second_argument with
- *         | None -> [l; r]
- *         | Some boxed ->  [l; Lprim (Pintofbint boxed, [r], loc)]
- *       in
- *       Lprim (Bytecode_repr.unwrap repr, [Lprim (prim, args, loc)], loc)
- *
- *   in
- *   match op, repr with
- *   | Add , Tagged (_ : unboxed_integer) -> go Paddint
- *   | Sub , Tagged (_ : unboxed_integer) -> go Psubint
- *   | Mul , Tagged (_ : unboxed_integer) -> go Pmulint
- *   | Sdiv , Tagged (_ : unboxed_integer) -> go (Pdivint Safe)
- *   | Srem , Tagged (_ : unboxed_integer) -> go (Pmodint Safe)
- *   | And , Tagged (_ : unboxed_integer) -> go Pandint
- *   | Or  , Tagged (_ : unboxed_integer) -> go Porint
- *   | Xor , Tagged (_ : unboxed_integer) -> go Pxorint
- *   | Shl , Tagged (_ : unboxed_integer) -> go Plslint
- *   | Lshr, Tagged (_ : unboxed_integer) -> go Plsrint
- *   | Ashr, Tagged (_ : unboxed_integer) -> go Pasrint
- *   | Add , Boxed boxed -> go (Paddbint (boxed, alloc_heap))
- *   | Sub , Boxed boxed -> go (Psubbint (boxed, alloc_heap))
- *   | Mul , Boxed boxed -> go (Pmulbint (boxed, alloc_heap))
- *   | Sdiv , Boxed boxed -> go (Pdivbint {size=boxed; is_safe=Safe; mode=alloc_heap})
- *   | Srem , Boxed boxed -> go (Pmodbint {size=boxed; is_safe=Safe; mode=alloc_heap})
- *   | And , Boxed boxed -> go (Pandbint (boxed, alloc_heap))
- *   | Or  , Boxed boxed -> go (Porbint  (boxed, alloc_heap))
- *   | Xor , Boxed boxed -> go (Pxorbint (boxed, alloc_heap))
- *   (* boxed integer shifts take a tagged integer as the second argument *)
- *   | Shl , Boxed boxed ->
- *     go (Plslbint (boxed, alloc_heap)) ~unbox_second_argument:boxed
- *   | Lshr, Boxed boxed ->
- *     go (Plsrbint (boxed, alloc_heap)) ~unbox_second_argument:boxed
- *   | Ashr, Boxed boxed ->
- *     go (Pasrbint (boxed, alloc_heap)) ~unbox_second_argument:boxed *)