Chapter 25: Modules, Separate Compilation, and SSA Constructionlinear

Co-authored-by: Hsiang-Ying Fu <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: fuhsnn <66062782+fuhsnn@users.noreply.github.com>
Co-authored-by: Symious <14933944+symious@users.noreply.github.com>
Co-authored-by: Jun Kawasaki <jun784@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>

1 files changed, 69 insertions, 0 deletions

diff --git a/src/test/java/com/seaofnodes/simple/NativeExecutionTest.java b/src/test/java/com/seaofnodes/simple/NativeExecutionTest.java
new file mode 100644
index 00000000..f3f65183
--- /dev/null
+++ b/src/test/java/com/seaofnodes/simple/NativeExecutionTest.java
@@ -0,0 +1,69 @@
+package com.seaofnodes.simple;
+
+import java.io.IOException;
+import java.nio.file.Files;
+import java.nio.file.Path;
+import org.junit.Test;
+import static org.junit.Assert.*;
+import static org.junit.Assume.assumeTrue;
+
+public class NativeExecutionTest {
+    // A subprocess with deterministic stdout, stderr, and process status.
+    public static class Child {
+        public static void main(String[] args) {
+            System.out.println("before exit");
+            System.err.println("child diagnostic");
+            System.exit(Integer.parseInt(args[0]));
+        }
+    }
+
+    private static String child(int exit) throws IOException {
+        String java = Path.of(System.getProperty("java.home"),"bin","java").toString();
+        return TestC.exec(java,"-cp",System.getProperty("java.class.path"),
+                          Child.class.getName(),Integer.toString(exit));
+    }
+
+    private static void checkFailure(int exit) throws IOException {
+        try {
+            child(exit);
+            fail("Accepted process exit "+exit);
+        } catch( IOException e ) {
+            assertTrue(e.getMessage(),e.getMessage().contains("exit code: "+exit));
+            assertTrue(e.getMessage(),e.getMessage().contains("before exit"));
+            assertTrue(e.getMessage(),e.getMessage().contains("child diagnostic"));
+        }
+    }
+
+    @Test public void testNonzeroExit() throws IOException { checkFailure(7); }
+
+    @Test public void testFullWindowsExitCode() throws IOException {
+        assumeTrue(TestC.OS.startsWith("Windows"));
+        checkFailure(256); // Narrowing to a byte incorrectly reports success.
+        checkFailure(2816); // Observed Cygwin status for the Hello World crash.
+    }
+
+    @Test public void testSuccessfulOutput() throws IOException {
+        assertEquals("before exit"+System.lineSeparator(),child(0));
+    }
+
+    @Test public void testHelloWorldArtifacts() throws IOException {
+        new Chapter22Test().testHelloWorld();
+        new Chapter25Test().testHelloWorld();
+        // Model a parallel run paused between Chapter 22's link and execution.
+        // Chapter 25 must not replace the executable Chapter 22 is about to run.
+        String exe = "build/objs/helloWorld"+(TestC.OS.startsWith("Windows") ? ".exe" : "");
+        assertEquals("Hello, World!",TestC.exec(exe));
+    }
+
+    @Test public void testDriverNonzeroExit() throws Exception {
+        Path dir = Files.createTempDirectory(Path.of("build/objs"),"driver-exit-");
+        Path src = dir.resolve("fail.smp");
+        Files.writeString(src,"return 7;");
+        try {
+            Simple.main(new String[]{src.toString()});
+            fail("Driver accepted a failed executable");
+        } catch( IOException e ) {
+            assertTrue(e.getMessage(),e.getMessage().contains("exit code: 7"));
+        }
+    }
+}