testsuite/tests/cps/cps024.cmm


1
2
3
4
5
6
7
8
9
10
11
12

// Test update frames

foo1(bits32 x, bits32 y) jump update (x, y) {
  bits32 z;
  return (z);
}

foo2(bits32 x, bits32 y) jump update (x, y) {
  bits32 z;
  foreign "C--" bar() "safe";
  return (z);
}