Changeset 1408 for src/RTLabs
- Timestamp:
- Oct 19, 2011, 11:30:24 AM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/RTLabs/RTLabsToRTL.ma
r1358 r1408 439 439 λdef: rtl_internal_function globals. 440 440 match op1 with 441 [ Ocastint src_sign src_size ⇒441 [ Ocastint src_sign src_size _ _ ⇒ 442 442 let dest_size ≝ |destrs| * 8 in 443 443 let src_size ≝ bitsize_of_intsize src_size in
Note: See TracChangeset
for help on using the changeset viewer.