source: Deliverables/D4.1/Physical.mli @ 550

Last change on this file since 550 was 454, checked in by sacerdot, 9 years ago

CSC + Nicolas + Dominic:

1) back-porting of changes by Nicolas from the compiler
2) new file ASMCosts to compute the cost of labels
3) several changes here and there to implement 2)

File size: 770 bytes
RevLine 
[91]1open BitVectors;;
[88]2
[44]3exception Byte7_conversion
[28]4
[120]5module type Map =
6 sig
7  type key
8  type map
9   val empty : map
10   val find : key -> map -> byte
11   val add : key -> byte -> map -> map
[442]12   val fold : (key -> byte -> 'b -> 'b) -> map -> 'b -> 'b
[448]13   val equal: (byte -> byte -> bool) -> map -> map -> bool
[120]14 end
15;;
[28]16
[120]17module Byte7Map : Map with type key = byte7
18module WordMap : Map with type key = word
19
[91]20val int_of_bit: bit -> int
[28]21
22val subb8_with_c:
[92]23 byte -> byte -> bit -> byte * bit * bit * bit (* -, c, ac, ov *)
24val add8_with_c:
25 byte -> byte -> bit -> byte * bit * bit * bit
[161]26val add16_with_c:
27 word -> word -> bit -> word * bit * bit * bit
[92]28val dec: byte -> byte (* with roll-over *)
29val inc: byte -> byte (* with roll-over *)
[454]30
31val addr16_of_addr11: word -> word11 -> word
Note: See TracBrowser for help on using the repository browser.