ARM/v7/arm_parserLib.sml

101 type instruction =
106   {instruction : instruction option,
145 val read_instruction = readT (#instruction);
174   { instruction = i,
182 let val i = #instruction s in
183   { instruction = if isSome i then
189                     raise ERR "write_cond" "no instruction",
198   { instruction = #instruction s,
206   { instruction = #instruction s,
214   { instruction = #instruction s,
222   { instruction = #instruction s,
230   { instruction = #instruction s,
238   { instruction = #instruction s,
246   { instruction = #instruction s,
259   { instruction = #instruction s,
388 let val init = { instruction = NONE,
772       assertT (q <> Narrow) (s,"not available as narrow thumb instruction") f);
1041              "IT instruction not allowed in IT block")
1354      (s,"not a valid Thumb instruction") f;
1456             ("data_processing_immediate", "not a valid ARM instruction")
1488         ("data_processing_immediate", "not a valid ARM instruction")
2045            ("arm_parse_it", "only available as narrow thumb instruction")
2295          assertT thumb ("arm_parse_div", "Thumb2 instruction only")
2370        "post indexing not possible for narrow Thumb instruction")
2479                         "invalid register(s) for narrow Thumb instruction")
2490              ("arm_parse_mode2", "not a valid instruction")
2505                     ("arm_parse_mode2", "not a valid instruction")
2582        "post indexing not possible for narrow Thumb instruction")
2681                        ("arm_parse_mode3", "invalid narrow Thumb instruction")
2697           ("arm_parse_mode3", "not a valid instruction")
3031         ("arm_parse_swp", "not available as Thumb instruction")
3203                   ("arm_parse_ldm_stm", "invalid instruction")
3214                   ("arm_parse_ldm_stm", "invalid instruction")
3441                "invalid registers for narrow thumb instruction")
3503              ("arm_parse_rev", "invalid registers for narrow thumb instruction")
3656                 ("arm_parse_msr", "not a Thumb instruction")
3711                      "cannot set mode with narrow Thumb instruction")
3730             ("arm_parse_srs", "not available as a Thumb instruction")
3749             ("arm_parse_rfe", "not available as a Thumb instruction")
3867       ("arm_parse_check_array", "only available as narrow ThumbEE instruction")
3879          "only available as narrow ThumbEE instruction")
3891        "only available as narrow ThumbEE instruction")
3907        "only available as narrow ThumbEE instruction")