Lines Matching refs:mk_var
633 fun reg tm = mk_var ("r" ^ Int.toString (uint_of_word tm), ``:word32``);
634 fun flag tm = mk_var (fst (dest_const tm), bool);
635 val arch = mk_var ("architecture",``:ARMarch``)
636 val cpsr = mk_var ("cpsr", ``:ARMpsr``)
637 val spsr = mk_var ("spsr", ``:ARMpsr``)
638 val GE = mk_var ("GE", ``:word4``)
639 val IT = mk_var ("IT", ``:word8``)
640 val teehbr = mk_var ("TEEHBR", ``:word32``)
641 val mode = mk_var ("mode", ``:word5``)
642 val mem = mk_var ("mem", ``:word32 -> word8``)
643 val spsrGE = mk_var ("spsrGE", ``:word4``)
644 val spsrIT = mk_var ("spsrIT", ``:word8``)
645 val spsrmode = mk_var ("spsrmode", ``:word5``)
657 mk_var (String.concat
661 mk_var (String.concat ["spsr", "_", mode_str tm], ``:word32``)
662 fun spsr_flag tm = mk_var ("s" ^ fst (dest_const tm), bool);