3 #include "libinterface.h"
13 int user_main(int argc, char **argv)
17 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
18 store_32(&x, 0); // x = 0
19 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
20 store_32(&y, 0); // y = 0
22 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
23 store_32(&py, (uint32_t)&z); // py = &z
24 // MCID mpx = MC2_nextOpLoad(MCID_NODEP);
25 px = (int *)load_32(&py); // px = y;
26 // MC2_nextOpStore(mpx, MCID_NODEP);
27 store_32(px, 25); // *px = 25;
29 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
30 store_32(&px, (uint32_t)&x); // px = &x
32 // MC2_nextOpStore(MCID_NODEP, mx);
34 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
35 store_32(&y, (uint32_t) &x);
37 // MC2_nextOpStore(MCID_NODEP, mpx);
38 store_32(&y, (uint32_t) px);
39 // MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
40 store_32(&y, (uint32_t) &px);