arm/prog/arm_progLib.sml

622 type opt = {gpr_map: bool, fpr_map: bool, mem: memory, temporal: bool}
637       [["temporal"],
638        ["not-temporal"]]
650        temporal = stateLib.generate_temporal()}: opt
652       {gpr_map = false, fpr_map = false, mem = Map, temporal = false}: opt
695          val (temporal, l) =
697                (#temporal default_opt) l (Lib.equal 0)
703                   temporal = temporal}: opt
782             #temporal (get_current_opt ()) = #temporal opt
787          ; stateLib.set_temporal (#temporal opt)
897 val () = arm_config "vfp" "flat,temporal"
898 val () = arm_config "vfp" "array,temporal"
899 val () = arm_config "vfp" "mapped,temporal"
900 val () = arm_config "vfp" "mapped32,temporal"
902 val () = arm_config "vfp" "map-reg,flat,temporal"
903 val () = arm_config "vfp" "map-reg,array,temporal"
904 val () = arm_config "vfp" "map-reg,mapped,temporal"
905 val () = arm_config "vfp" "map-reg,mapped32,temporal"
907 val () = arm_config "vfp,be" "flat,temporal"
908 val () = arm_config "vfp,be" "array,temporal"
909 val () = arm_config "vfp,be" "mapped,temporal"
910 val () = arm_config "vfp,be" "mapped32,temporal"
912 val () = arm_config "vfp,be" "map-reg,flat,temporal"
913 val () = arm_config "vfp,be" "map-reg,array,temporal"
914 val () = arm_config "vfp,be" "map-reg,mapped,temporal"
915 val () = arm_config "vfp,be" "map-reg,mapped32,temporal"