Changeset 2913
- Timestamp:
- Mar 20, 2013, 12:24:39 AM (5 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
extracted/rTLabsToRTL.ml
r2873 r2913 626 626 List.list) Bind_new.bind_new **) 627 627 let translate_cast globals src_sign destrs srcrs = 628 let t = Util.reduce_strong destrs srcrs in628 let t = Util.reduce_strong srcrs destrs in 629 629 let src_common = t.Types.fst.Types.fst in 630 630 let src_rest = t.Types.fst.Types.snd in … … 633 633 BindLists.bappend 634 634 (let l = 635 translate_move globals src_common636 (List.map (fun x -> Joint.Reg x) dst_common)635 translate_move globals dst_common 636 (List.map (fun x -> Joint.Reg x) src_common) 637 637 in 638 638 Bind_new.Bret l) … … 651 651 let l = translate_fill_with_zero globals dst_rest in 652 652 Bind_new.Bret l) 653 | List.Cons (x, x0) -> let l = List.Nil in Bind_new.Bret l) 653 | List.Cons (x, x0) -> 654 let l = List.Nil in Bind_new.Bret l) 654 655 655 656 (** val translate_notint :
Note: See TracChangeset
for help on using the changeset viewer.