1 files changed, 16 insertions, 0 deletions
diff --git a/testsuite/tests/cps/cps017.cmm b/testsuite/tests/cps/cps017.cmm
new file mode 100644
index 0000000000..7f12348260
--- /dev/null
+++ b/testsuite/tests/cps/cps017.cmm
@@ -0,0 +1,16 @@
+// Test whether extra proc-points are generated
+// by a label after a call such as with a heap check,
+// but where the return signature is different.
+// The extra proc-point should be generated in this case.
+
+foo1 () {
+  bits32 p, q;
+  bits32 x, y, z;
+  (p, q) = foreign "C--" bar(1, 2) "safe";
+L:
+  if (Hp < HpLim) {
+    (p) = foreign "C--" do_gc() "safe";
+    goto L;
+  }
+  return (p+q+x+y+z);
+}