Changeset 965 for src/Clight/test/null-op.c.ma

Timestamp:

Jun 15, 2011, 4:15:56 PM (10 years ago)

Author:

campbell

Message:

Update some Clight examples.

File:

• src/Clight/test/null-op.c.ma (moved) (moved from src/Clight/test/null-op.ma) (6 diffs)

src/Clight/test/null-op.c.ma

@@ -9 +9 @@
                   (Tpointer Any (Tint I8 Unsigned )))
          (Expr (Ecast (Tpointer Any (Tint I8 Unsigned ))
-           (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
+           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
            (Tpointer Any (Tint I8 Unsigned ))))
        (Ssequence
@@ -23 +23 @@
                         (Tpointer Any (Tint I8 Unsigned ))))
                       (Tint I32 Signed  ))
-         (Sreturn (Some expr (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))))
+         (Sreturn (Some expr (Expr (Econst_int I32 (repr ? 0))
+                               (Tint I32 Signed  ))))
          Sskip)
        (Ssequence
@@ -33 +34 @@
                           (Tpointer Any (Tint I8 Unsigned ))))
                         (Tint I32 Signed  ))
-                      (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
+                      (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
                       (Tint I32 Signed  ))
-         (Sreturn (Some expr (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))))
+         (Sreturn (Some expr (Expr (Econst_int I32 (repr ? 0))
+                               (Tint I32 Signed  ))))
          Sskip)
        (Ssequence
@@ -42 +44 @@
          (Expr (Ebinop Oadd
            (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned )))
-           (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
+           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
            (Tpointer Any (Tint I8 Unsigned ))))
        (Ssequence
        (Sassign (Expr (Evar (ident_of_nat 2))
                   (Tpointer Any (Tint I8 Unsigned )))
-         (Expr (Ebinop Oadd (Expr (Econst_int (repr 0)) (Tint I32 Signed  ))
+         (Expr (Ebinop Oadd
+           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  ))
            (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned ))))
            (Tpointer Any (Tint I8 Unsigned ))))
@@ -55 +58 @@
          (Expr (Ebinop Osub
            (Expr (Evar (ident_of_nat 2)) (Tpointer Any (Tint I8 Unsigned )))
-           (Expr (Econst_int (repr 0)) (Tint I32 Signed  )))
+           (Expr (Econst_int I32 (repr ? 0)) (Tint I32 Signed  )))
            (Tpointer Any (Tint I8 Unsigned ))))
        (Sreturn (Some expr (Expr (Ebinop Oeq
@@ -62 +65 @@
                              (Expr (Ecast (Tpointer Any (Tint I8 Unsigned ))
                                (Expr (Ecast (Tpointer Any Tvoid)
-                                 (Expr (Econst_int (repr 0))
-                                   (Tint I32 Unsigned)))
+                                 (Expr (Econst_int I8 (repr ? 0))
+                                   (Tint I8 Unsigned )))
                                  (Tpointer Any Tvoid)))
                                (Tpointer Any (Tint I8 Unsigned ))))