PreviousUpNext

15.4.442  src/lib/compiler/back/low/treecode/treecode-bitsize-g.pkg

## treecode-bitsize-g.pkg -- does a treecode expression return a 32-bit int, a 64-bit int, or ... ?

# Compiled by:
#     src/lib/compiler/back/low/lib/lowhalf.lib



###                 "Without music, life would be an error."
###
###                              -- Friedrich Nietzsche


# We get invoked from;
#
#     src/lib/compiler/back/low/treecode/treecode-transforms-g.pkg

generic package   treecode_bitsize_g   (
    #             ==================
    #
    package     tcf:  Treecode_Form;                            # Treecode_Form         is from   src/lib/compiler/back/low/treecode/treecode-form.api
    #
    int_bitsize:   tcf::Int_Bitsize;                            # Size-in-bits of vanilla int.
)
: (weak) Treecode_Bitsize                                       # Treecode_Bitsize              is from   src/lib/compiler/back/low/treecode/treecode-bitsize.api
{
    # Export to client packages:
    #
    package tcf =  tcf;                                         # "tcf" == "treecode_form".

    int_bitsize = int_bitsize;                                  # Size-in-bits of vanilla int.

    fun size (tcf::CODETEMP_INFO              (type, _      )) =>  type;
        #
        size (tcf::LITERAL       _) =>  int_bitsize;
        size (tcf::LABEL         _) =>  int_bitsize;
        size (tcf::LATE_CONSTANT _) =>  int_bitsize;
        #
        size (tcf::LABEL_EXPRESSION e) => size e;
        #
        size (tcf::NEG              (type, _      )) =>  type;
        size (tcf::ADD              (type, _, _   )) =>  type;
        size (tcf::SUB              (type, _, _   )) =>  type;
        size (tcf::MULS             (type, _, _   )) =>  type;
        #
        size (tcf::DIVS             (_, type, _, _)) =>  type;
        size (tcf::REMS             (_, type, _, _)) =>  type;
        #
        size (tcf::MULU             (type, _, _   )) =>  type;
        size (tcf::DIVU             (type, _, _   )) =>  type;
        size (tcf::REMU             (type, _, _   )) =>  type;
        size (tcf::NEG_OR_TRAP             (type, _      )) =>  type;
        size (tcf::ADD_OR_TRAP             (type, _, _   )) =>  type;
        size (tcf::SUB_OR_TRAP             (type, _, _   )) =>  type;
        size (tcf::MULS_OR_TRAP             (type, _, _   )) =>  type;
        #
        size (tcf::DIVS_OR_TRAP             (_, type, _, _)) =>  type;
        #
        size (tcf::BITWISE_AND      (type, _, _   )) =>  type;
        size (tcf::BITWISE_OR       (type, _, _   )) =>  type;
        size (tcf::BITWISE_XOR      (type, _, _   )) =>  type;
        size (tcf::BITWISE_EQV      (type, _, _   )) =>  type;
        size (tcf::BITWISE_NOT      (type, _      )) =>  type;
        size (tcf::RIGHT_SHIFT      (type, _, _   )) =>  type;
        size (tcf::RIGHT_SHIFT_U    (type, _, _   )) =>  type;
        size (tcf::LEFT_SHIFT       (type, _, _   )) =>  type;
        size (tcf::SIGN_EXTEND      (type, _, _   )) =>  type;
        size (tcf::ZERO_EXTEND      (type, _, _   )) =>  type;
        size (tcf::FLOAT_TO_INT     (type, _, _, _)) =>  type;
        size (tcf::CONDITIONAL_LOAD (type, _, _, _)) =>  type;
        size (tcf::LOAD             (type, _, _   )) =>  type;
        #
        size (tcf::PRED  (e, _)) => size e;
        size (tcf::LET   (_, e)) => size e;
        size (tcf::RNOTE (e, _)) => size e;
        #
        size (tcf::REXT             (type, _      )) =>  type;
        size (tcf::OP               (type, _, _   )) =>  type;
        size (tcf::ARG              (type, _, _   )) =>  type;
        size (tcf::ATATAT           (type, _, _   )) =>  type;
        #
        size (tcf::PARAM _) =>  int_bitsize;
        size (tcf::QQQ    ) =>  int_bitsize;
        #
        size (tcf::BITSLICE (type, _, _)) =>  type;
    end;

    fun fsize (tcf::CODETEMP_INFO_FLOAT (type, _      )) =>  type;
        #
        fsize (tcf::FLOAD               (type, _, _   )) =>  type;
        fsize (tcf::FADD                (type, _, _   )) =>  type;
        fsize (tcf::FSUB                (type, _, _   )) =>  type;
        fsize (tcf::FMUL                (type, _, _   )) =>  type;
        fsize (tcf::FDIV                (type, _, _   )) =>  type;
        #
        fsize (tcf::FABS                (type, _      )) =>  type;
        fsize (tcf::FNEG                (type, _      )) =>  type;
        fsize (tcf::FSQRT               (type, _      )) =>  type;
        fsize (tcf::FCONDITIONAL_LOAD   (type, _, _, _)) =>  type;
        fsize (tcf::INT_TO_FLOAT        (type, _, _   )) =>  type;
        fsize (tcf::FLOAT_TO_FLOAT      (type, _, _   )) =>  type;
        fsize (tcf::COPY_FLOAT_SIGN     (type, _, _   )) =>  type;
        fsize (tcf::FEXT                (type, _      )) =>  type;
        #
        fsize (tcf::FPRED (e, _)) =>  fsize e;
        fsize (tcf::FNOTE (e, _)) =>  fsize e;
    end;
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext