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

Update some Clight examples.

File:
1 moved

Legend:

Unmodified
Added
Removed
  • src/Clight/test/null-op.c.ma

    r964 r965  
    99                  (Tpointer Any (Tint I8 Unsigned )))
    1010         (Expr (Ecast (Tpointer Any (Tint I8 Unsigned ))
    11            (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
     11           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
    1212           (Tpointer Any (Tint I8 Unsigned ))))
    1313       (Ssequence
     
    2323                        (Tpointer Any (Tint I8 Unsigned ))))
    2424                      (Tint I32 Signed  ))
    25          (Sreturn (Some expr (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))))
     25         (Sreturn (Some expr (Expr (Econst_int I32 (repr ? 0))
     26                               (Tint I32 Signed  ))))
    2627         Sskip)
    2728       (Ssequence
     
    3334                          (Tpointer Any (Tint I8 Unsigned ))))
    3435                        (Tint I32 Signed  ))
    35                       (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
     36                      (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
    3637                      (Tint I32 Signed  ))
    37          (Sreturn (Some expr (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))))
     38         (Sreturn (Some expr (Expr (Econst_int I32 (repr ? 0))
     39                               (Tint I32 Signed  ))))
    3840         Sskip)
    3941       (Ssequence
     
    4244         (Expr (Ebinop Oadd
    4345           (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned )))
    44            (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
     46           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
    4547           (Tpointer Any (Tint I8 Unsigned ))))
    4648       (Ssequence
    4749       (Sassign (Expr (Evar (ident_of_nat 2))
    4850                  (Tpointer Any (Tint I8 Unsigned )))
    49          (Expr (Ebinop Oadd (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))
     51         (Expr (Ebinop Oadd
     52           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  ))
    5053           (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned ))))
    5154           (Tpointer Any (Tint I8 Unsigned ))))
     
    5558         (Expr (Ebinop Osub
    5659           (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned )))
    57            (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
     60           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
    5861           (Tpointer Any (Tint I8 Unsigned ))))
    5962       (Sreturn (Some expr (Expr (Ebinop Oeq
     
    6265                             (Expr (Ecast (Tpointer Any (Tint I8 Unsigned ))
    6366                               (Expr (Ecast (Tpointer Any Tvoid)
    64                                  (Expr (Econst_int (repr 0))
    65                                    (Tint I32 Unsigned)))
     67                                 (Expr (Econst_int I8 (repr ? 0))
     68                                   (Tint I8 Unsigned )))
    6669                                 (Tpointer Any Tvoid)))
    6770                               (Tpointer Any (Tint I8 Unsigned ))))
Note: See TracChangeset for help on using the changeset viewer.