Changeset 2176 for src/Clight/test/sum.c.ma
- Timestamp:
- Jul 12, 2012, 1:28:28 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/test/sum.c.ma
r1226 r2176 3 3 4 4 definition myprog := mk_program (\lambda _. clight_fundef) ((list init_data) × type) 5 [〈〈ident_of_nat 0 (* src *), Any〉,5 [〈〈ident_of_nat 0 (* src *), XData〉, 6 6 〈[(Init_int8 (repr I8 28)) ; (Init_int8 (repr I8 17)) ; 7 7 (Init_int8 (repr I8 17)) ; (Init_int8 (repr I8 8)) ; 8 (Init_int8 (repr I8 4)) ], (Tarray Any(Tint I8 Unsigned ) 5)〉〉]8 (Init_int8 (repr I8 4)) ], (Tarray (Tint I8 Unsigned ) 5)〉〉] 9 9 [〈ident_of_nat 1 (* main *), CL_Internal ( 10 10 mk_function (Tint I32 Signed ) [] [〈ident_of_nat 2, (Tint I32 Signed )〉 ; 〈ident_of_nat 3, (Tint I8 Unsigned )〉 ] … … 21 21 (Expr (Evar (ident_of_nat 2)) (Tint I32 Signed ))) 22 22 (Tint I32 Unsigned)) 23 (Expr (Esizeof (Tarray Any(Tint I8 Unsigned ) 5))23 (Expr (Esizeof (Tarray (Tint I8 Unsigned ) 5)) 24 24 (Tint I32 Unsigned))) (Tint I32 Signed )) 25 25 (Sassign (Expr (Evar (ident_of_nat 2)) (Tint I32 Signed )) … … 38 38 (Expr (Ebinop Oadd 39 39 (Expr (Evar (ident_of_nat 0)) 40 (Tarray Any(Tint I8 Unsigned ) 5))40 (Tarray (Tint I8 Unsigned ) 5)) 41 41 (Expr (Evar (ident_of_nat 2)) (Tint I32 Signed ))) 42 (Tpointer Any (Tint I8 Unsigned ))))43 (Tint I8 Unsigned))) (Tint I32 Signed )))44 (Tint I32 Signed )))(Tint I8 Unsigned )))42 (Tpointer (Tint I8 Unsigned )))) (Tint I8 Unsigned ))) 43 (Tint I32 Signed ))) (Tint I32 Signed ))) 44 (Tint I8 Unsigned ))) 45 45 ) 46 46 (Sreturn (Some expr (Expr (Ecast (Tint I32 Signed )
Note: See TracChangeset
for help on using the changeset viewer.