1 files changed, 18 insertions, 0 deletions
diff --git a/testsuite/tests/cps/cps022.cmm b/testsuite/tests/cps/cps022.cmm
new file mode 100644
index 0000000000..64d6c39f19
--- /dev/null
+++ b/testsuite/tests/cps/cps022.cmm
@@ -0,0 +1,18 @@
+// Test conditional jumps to a proc-point/continuation
+
+// So far this can't happen, so this test is unneeded
+// and would currently fail (it won't even parse).
+// But if in future a CmmCondBranch could target
+// a proc-point/continuation, then the CPS would need
+// to be updated to account for this.
+
+foo() {
+  bits32 x, y, z;
+  x = x;
+  (x) = foreign "C--" bar() "safe";
+L:
+  y = y;
+  foreign "C--" baz() "safe";
+  if (y<3) goto L;
+  goto L;
+}