JVM instruction spec compliance: dstore

[LSantha]

Instruction: dstore

• Spec Base: https://docs.oracle.com/javase/specs/jvms/se6/html/Instructions.doc.html
• Spec Page: https://docs.oracle.com/javase/specs/jvms/se6/html/Instructions2.doc2.html

Wiki References

• JIT-Compilers.md
• L1-Compiler.md
• L2-Compiler-Deep-Dive.md
• Type-System-Internals.md

Note: Clone wiki: git clone git@github.com:LSantha/jnode_ai.wiki.git .wiki

Agent Instructions

1. Read spec pages (base + specific page for this instruction)
2. Read wiki pages (clone if needed)
3. Analyze implementations in l1a, l1b, l2 packages
4. Verify spec compliance: operand stack, runtime exceptions, type checking
5. Document results with format:

Spec compliance report

Compiler	Status	Issues
l1a	✅ PASS / ❌ FAIL / ⚠️ PARTIAL
l1b	✅ PASS / ❌ FAIL / ⚠️ PARTIAL
l2	✅ PASS / ❌ FAIL / ⚠️ PARTIAL

---

Details

l1a Implementation

• Status:
• Files: core/src/core/org/jnode/vm/x86/compiler/l1a/X86BytecodeVisitor.java:<line>
• Issues:

l1b Implementation

• Status:
• Files: core/src/core/org/jnode/vm/x86/compiler/l1b/X86BytecodeVisitor.java:<line>
• Issues:

l2 Implementation

• Status:
• Files: core/src/core/org/jnode/vm/x86/compiler/l2/L2ByteCodeSupportChecker.java:<line>
• Issues:

IMPORTANT: No changes to source code or wiki are permitted.

[LSantha]

/oc Please proceed with this task.

[opencode-agent]

Investigation complete. All three JIT compilers pass spec compliance for dstore. The L1A and L1B compilers correctly delegate to dwstore() which handles double as a double-word value, storing to two consecutive local variable slots. The L2 compiler correctly models dstore as a VariableRefAssignQuad with DOUBLE type in its IR. No issues found.

opencode session  |  github run