Mercurial > hg > Gears > GearsAgda
view src/allocate/prototype.h @ 10:88a4a95f5485
create list
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Thu, 02 Apr 2015 02:31:13 +0900 |
parents | src/allocate/allocate_test.h@14c604cfa711 |
children | a4f351b66544 |
line wrap: on
line source
typedef struct DataSegment1 { int i; // 4 byte char c[10]; // 10 byte // padding 2 byte } data1; typedef struct DataSegment2 { int x; // 4 byte int y; // 4 byte int z; // 4 byte } data2; typedef struct metaDataSegment { size_t size; // 8 byte void* ds; // 8 byte } mdata; __code code1(); __code meta_code1(); __code code2(); __code meta_code2();