diff options
| author | Cliff Click <cliffc@acm.org> | 2026-08-10 11:11:18 -0700 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2026-08-10 15:21:17 -0700 |
| commit | 28209703c72fb7e9955961dbdb84e24a0f871acd (patch) | |
| tree | 8e4df2c1a5e6811696b454bbc4d7cd1cc30e42e7 /src/test/java/com/seaofnodes/simple/EvalArm64.java | |
| parent | e57bdd315a7918a0d130e1c95648ca4a1b4f08ed (diff) | |
| download | Simple-linear-chapter25.tar.gz Simple-linear-chapter25.zip | |
Chapter 25: Moduleslinear-chapter25
Diffstat (limited to 'src/test/java/com/seaofnodes/simple/EvalArm64.java')
| -rw-r--r-- | src/test/java/com/seaofnodes/simple/EvalArm64.java | 40 |
1 files changed, 17 insertions, 23 deletions
diff --git a/src/test/java/com/seaofnodes/simple/EvalArm64.java b/src/test/java/com/seaofnodes/simple/EvalArm64.java index 9575d9fe..32a5b152 100644 --- a/src/test/java/com/seaofnodes/simple/EvalArm64.java +++ b/src/test/java/com/seaofnodes/simple/EvalArm64.java @@ -63,9 +63,9 @@ public class EvalArm64 { double frval = 0; int pc = _pc; int cycle = _cycle; - boolean is_f = false; outer: for(int icount = 0; icount < maxops; icount++) { + boolean is_f = false; int ir = 0; rval = 0; frval = 0; @@ -96,29 +96,28 @@ public class EvalArm64 { } case 0x1E: { // floats is_f = true; - int rs1 = (ir >> 5) & 0x1F; + int rs1 = (ir >> 5) & 0x1F; int rs2 = (ir >> 16) & 0x1F; int op = (ir >> 10) & 0x3F; switch(op) { case 16: frval = fregs[rs1]; break; // fmov - case 10:frval = fregs[rs1] + fregs[rs2]; break; // fadd + case 10: frval = fregs[rs1] + fregs[rs2]; break; // fadd case 6: if (fregs[rs2] == 0) frval = 0; else frval = fregs[rs1] / fregs[rs2]; break; // fdiv case 8: { // fcmp - double lhs = fregs[rs1]; + double lhs = fregs[rs1]; double rhs = fregs[rs2]; Z = (lhs == rhs); - N = (lhs < rhs); - C = lhs >= rhs; + N = (lhs < rhs); + C = (lhs > rhs); V = Double.isNaN(lhs) || Double.isNaN(rhs); rdid = -1; - break; } - case 2: frval = fregs[rs1] * fregs[rs2]; break; // fmul + case 2: frval = fregs[rs1] * fregs[rs2]; break; // fmul case 14: frval = fregs[rs1] - fregs[rs2]; break; // fsub default: trap = (2+1); } @@ -298,10 +297,12 @@ public class EvalArm64 { break; } - case 0x90: { // adrp - int immhi = ( (ir& ~0x1F) << 8 ) >> 8; + case 0x90, 0xB0, 0xD0, 0xF0: { // adrp + int immhi = ( ir << 8 ) >>> (8+5); int immlo = (ir>>29)& 3; - int imm = ((immhi<<2) | immlo) << 12; + int imm = ((immhi<<2) | immlo); + imm = (imm << 11) >> 11; + imm <<= 12; rval = (pc & ~0xFFF) + imm; break; } @@ -361,13 +362,11 @@ public class EvalArm64 { int encodedCond = (ir >> 12) & 0xF; int decodedCond = encodedCond ^ 1; // conditional select(csel) - int rm = (ir >> 16) & 0x1F; - int rn = (ir >> 5) & 0x1F; boolean cond = switch (decodedCond) { case 0x0 -> Z ; // eq case 0x1 -> !Z ; // ne case 0x2 -> C ; // cs - case 0x3 -> !C ; + case 0x3 -> !C ; // cc case 0x4 -> N ; // mi case 0x5 -> !N ; // pl case 0x6 -> V ; // vs @@ -382,11 +381,7 @@ public class EvalArm64 { case 0xF -> false ; // never default -> throw Utils.TODO(); }; -// int reg = cond ? rn : rm; -// rval = reg==31 ? 0 : regs[reg]; -// if( cond ) rval++; - if(cond) rval = 1; - else rval = 0; + if( cond ) rval = 1; break; } case 0x9B: { // mul @@ -753,16 +748,15 @@ public class EvalArm64 { break; } if(rdid != -1) { - if(is_f) {fregs[rdid] = frval; is_f = false;} - else regs[rdid] = rval; + if(is_f) fregs[rdid] = frval; + else regs[rdid] = rval; } pc += 4; } // Handle traps and interrupts. - if(trap != 0) { + if(trap != 0) return trap; - } _cycle = cycle; _pc = pc; return 0; |