ARM/v7/armSyntax.sml

371 val can = Lib.can
373 val is_error      = can dest_error
374 val is_valuestate = can dest_valuestate
376 val is_constT = can dest_constT
377 val is_seqT   = can dest_seqT
378 val is_parT   = can dest_parT
379 val is_forT   = can dest_forT
380 val is_readT  = can dest_readT
381 val is_writeT = can dest_writeT
383 val is_read__reg      = can dest_read__reg
384 val is_write__reg     = can dest_write__reg
385 val is_read__psr      = can dest_read__psr
386 val is_write__psr     = can dest_write__psr
387 val is_read_reg_mode  = can dest_read_reg_mode
388 val is_write_reg_mode = can dest_write_reg_mode
389 val is_read_reg       = can dest_read_reg
390 val is_write_reg      = can dest_write_reg
391 val is_read_cpsr      = can dest_read_cpsr
392 val is_write_cpsr     = can dest_write_cpsr
393 val is_read_spsr      = can dest_read_spsr
394 val is_write_spsr     = can dest_write_spsr
395 val is_read_memA      = can dest_read_memA
396 val is_write_memA     = can dest_write_memA
397 val is_decode_psr     = can dest_decode_psr
398 val is_bytes          = can dest_bytes
399 val is_align          = can dest_align
400 val is_aligned        = can dest_aligned
401 val is_ITAdvance      = can dest_ITAdvance
403 val is_clear_event_register     = can dest_clear_event_register
404 val is_send_event               = can dest_send_event
405 val is_wait_for_interrupt       = can dest_wait_for_interrupt
406 val is_clear_wait_for_interrupt = can dest_clear_wait_for_interrupt;
408 val is_arm_decode     = can dest_arm_decode
409 val is_thumb_decode   = can dest_thumb_decode
410 val is_thumbee_decode = can dest_thumbee_decode
411 val is_thumb2_decode  = can dest_thumb2_decode;