Mercurial > hg > Gears > GearsAgda
comparison 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 |
comparison
equal
deleted
inserted
replaced
9:14c604cfa711 | 10:88a4a95f5485 |
---|---|
1 typedef struct DataSegment1 { | |
2 int i; // 4 byte | |
3 char c[10]; // 10 byte | |
4 // padding 2 byte | |
5 } data1; | |
6 | |
7 typedef struct DataSegment2 { | |
8 int x; // 4 byte | |
9 int y; // 4 byte | |
10 int z; // 4 byte | |
11 } data2; | |
12 | |
13 typedef struct metaDataSegment { | |
14 size_t size; // 8 byte | |
15 void* ds; // 8 byte | |
16 } mdata; | |
17 | |
18 __code code1(); | |
19 __code meta_code1(); | |
20 __code code2(); | |
21 __code meta_code2(); |