Ignore:
Timestamp:
Oct 9, 2012, 3:10:07 PM (8 years ago)
Author:
campbell
Message:

Revert "Put the post-loop cost label into the Clight while statement ..."
Rely on the Cminor to RTLabs stage ignoring Cminor skips instead.
This reverts commit 2353.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Clight/test/controlflow.c.ma

    r2388 r2391  
    2828               (Expr (Evar (ident_of_nat 1)) (Tint I32 Signed  ))
    2929               (Expr (Econst_int I32 (repr ? 1)) (Tint I32 Signed  )))
    30                (Tint I32 Signed  ))))
    31          (None ?))
     30               (Tint I32 Signed  )))))
    3231         (Ssequence
    3332         (Sassign (Expr (Evar (ident_of_nat 1)) (Tint I32 Signed  ))
     
    133132                 (Expr (Evar (ident_of_nat 3)) (Tint I32 Signed  ))
    134133                 (Expr (Econst_int I32 (repr ? 1)) (Tint I32 Signed  )))
    135                  (Tint I32 Signed  )))))
    136              (None ?)))
     134                 (Tint I32 Signed  )))))))
    137135         )
    138136         (Sreturn (Some expr (Expr (Evar (ident_of_nat 3))
Note: See TracChangeset for help on using the changeset viewer.