4 #include "libinterface.h"
14 int user_main(int argc, char **argv)
18 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
19 store_32(&x, 0); // x = 0
20 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
21 store_32(&y, 0); // y = 0
23 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
24 store_32(&py, (uint32_t)&z); // py = &z
25 // MCID mpx = MC2_nextOpLoad(MCID_NODEP);
26 px = (int *)load_32(&py); // px = y;
27 // MC2_nextOpStore(mpx, MCID_NODEP);
28 store_32(px, 25); // *px = 25;
30 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
31 store_32(&px, (uint32_t)&x); // px = &x
33 // MC2_nextOpStore(MCID_NODEP, mx);
35 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
36 store_32(&y, (uint32_t) &x);
38 // MC2_nextOpStore(MCID_NODEP, mpx);
39 store_32(&y, (uint32_t) px);
40 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
41 store_32(&y, (uint32_t) &px);