From 89dd0a79da85b2c7102b7c8918a1466e6238fe94 Mon Sep 17 00:00:00 2001
From: Cliff Click <cliffc@acm.org>
Date: Fri, 13 Jun 2025 15:42:08 -0700
Subject: Chapter 24a: SCCP Within a Function
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Tamás Hadházy <85063808+Hels15@users.noreply.github.com>
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: Hadházy Tamás <helsgithub15@gmail.com>
Co-authored-by: Claude Opus 5 <noreply@anthropic.com>
---
 src/test/java/com/seaofnodes/simple/Eval2.java | 21 +++++++++++++++------
 1 file changed, 15 insertions(+), 6 deletions(-)

(limited to 'src/test/java/com/seaofnodes/simple/Eval2.java')

diff --git a/src/test/java/com/seaofnodes/simple/Eval2.java b/src/test/java/com/seaofnodes/simple/Eval2.java
index 908cc2e0..98e0f18a 100644
--- a/src/test/java/com/seaofnodes/simple/Eval2.java
+++ b/src/test/java/com/seaofnodes/simple/Eval2.java
@@ -319,14 +319,23 @@ public abstract class Eval2 {
             // Unknown-caller inputs are type placeholders, not heap constants.
             if( !tmp.isConstant() ) yield tmp;
             if( tmp._obj.isAry() ) { // Constant array ptr
-                TypeConAry con = (TypeConAry)tmp._obj.field("[]")._t;
-                Object[] xs = new Object[con.len()];
-                for( int i=0; i<con.len(); i++ )
-                    xs[i] = con.at8(i);
-                yield xs;
+                Type elem = tmp._obj.field("[]")._t;
+                if( elem instanceof TypeConAry con ) {
+                    Object[] xs = new Object[con.len()];
+                    for( int i=0; i<con.len(); i++ )
+                        xs[i] = con.at8(i);
+                    yield xs;
+                } else {
+                    // Generic constant array, used as a default input to a
+                    // function; should never execute.
+                    yield new Object[0];
+                }
 
             } else {
-                throw Utils.TODO(); // Constant non-array ptr
+                // Generic TMP (since Simple is not currently making actual
+                // memory constants), used as a default input to a function;
+                // should never execute.
+                yield tmp.toString();
             }
         }
         default -> null;
-- 
cgit v1.2.3