Changeset 961 for src/Clight/label.ma


Ignore:
Timestamp:
Jun 15, 2011, 4:15:52 PM (8 years ago)
Author:
campbell
Message:

Use precise bitvector sizes throughout the front end, rather than 32bits
everywhere.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/label.ma

    r781 r961  
    5454    do 〈e2,costgen〉 ← label_expr e2 costgen;
    5555    do 〈e2,costgen〉 ← add_cost_expr e2 costgen;
    56     do 〈ef,costgen〉 ← add_cost_expr (Expr (Econst_int zero) (Tint I32 Signed)) costgen;
     56    do 〈ef,costgen〉 ← add_cost_expr (Expr (Econst_int I32 (zero ?)) (Tint I32 Signed)) costgen;
    5757    OK ? 〈Econdition e1 e2 ef, costgen〉
    5858| Eorbool e1 e2 ⇒
    5959    do 〈e1,costgen〉 ← label_expr e1 costgen;
    60     do 〈et,costgen〉 ← add_cost_expr (Expr (Econst_int one) (Tint I32 Signed)) costgen;
     60    do 〈et,costgen〉 ← add_cost_expr (Expr (Econst_int I32 (repr ? 1)) (Tint I32 Signed)) costgen;
    6161    do 〈e2,costgen〉 ← label_expr e2 costgen;
    6262    do 〈e2,costgen〉 ← add_cost_expr e2 costgen;
     
    165165    do 〈s,costgen〉 ← add_cost_before s costgen;
    166166    OK ? 〈LSdefault s, costgen〉
    167 | LScase i s ls' ⇒
     167| LScase sz i s ls' ⇒
    168168    do 〈s,costgen〉 ← label_statement s costgen;
    169169    do 〈s,costgen〉 ← add_cost_before s costgen;
    170170    do 〈ls',costgen〉 ← label_lstatements ls' costgen;
    171     OK ? 〈LScase i s ls', costgen〉
     171    OK ? 〈LScase sz i s ls', costgen〉
    172172].
    173173
Note: See TracChangeset for help on using the changeset viewer.