Changeset 961 for src/Clight/label.ma
 Timestamp:
 Jun 15, 2011, 4:15:52 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/Clight/label.ma
r781 r961 54 54 do 〈e2,costgen〉 ← label_expr e2 costgen; 55 55 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; 57 57 OK ? 〈Econdition e1 e2 ef, costgen〉 58 58  Eorbool e1 e2 ⇒ 59 59 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; 61 61 do 〈e2,costgen〉 ← label_expr e2 costgen; 62 62 do 〈e2,costgen〉 ← add_cost_expr e2 costgen; … … 165 165 do 〈s,costgen〉 ← add_cost_before s costgen; 166 166 OK ? 〈LSdefault s, costgen〉 167  LScase i s ls' ⇒167  LScase sz i s ls' ⇒ 168 168 do 〈s,costgen〉 ← label_statement s costgen; 169 169 do 〈s,costgen〉 ← add_cost_before s costgen; 170 170 do 〈ls',costgen〉 ← label_lstatements ls' costgen; 171 OK ? 〈LScase i s ls', costgen〉171 OK ? 〈LScase sz i s ls', costgen〉 172 172 ]. 173 173
Note: See TracChangeset
for help on using the changeset viewer.