Skip to content

Add rue debug ARM JIT compilation#461

Draft
prozacchiwawa wants to merge 24 commits into20260429-start-splitting-debugfrom
cursor/rue-debug-jit-d6c5
Draft

Add rue debug ARM JIT compilation#461
prozacchiwawa wants to merge 24 commits into20260429-start-splitting-debugfrom
cursor/rue-debug-jit-d6c5

Conversation

@prozacchiwawa
Copy link
Copy Markdown
Contributor

@prozacchiwawa prozacchiwawa commented May 1, 2026

Summary

  • add a rue debug ARM JIT compilation path with source-location-aware lowering/codegen into DebugSExp
  • dispatch armtx to rue compilation for .rue files while preserving existing chialisp behavior
  • add rue factorial debug/run scripts
  • avoid duplicate rue debug aliases and duplicate emitted debug aliases
  • fix quoted apply branches to use generated code labels
  • normalize rue source paths in debug info and set the gdb architecture in the rue gdb script
  • stop declaring/emitting empty alias sections for colloquial debug names
  • emit a single DWARF subprogram DIE for source-named debug functions
  • map rue executable function labels back to source function names
  • patch rue-ast locally to remove the Socket-blocked paste proc-macro dependency
  • record rue executable function body hashes during the real lowering pass instead of re-lowering functions in an empty environment
  • capture rue argument names/paths during the same lowering pass and emit them into the chialisp-compatible hash _arguments symbol metadata
  • emit the ARM JIT ELF as an ET_EXEC image with a PT_LOAD segment covering the bare-metal load span

Verification

  • cargo fmt --check
  • cargo check --bin armtx
  • cargo clippy --workspace -- -D warnings
  • cargo build --bin armtx
  • resources/tests/test_rue_sdc.sh + resources/tests/test_rue_sdc_gdb.sh (GDB resolves factorial(num=...) for values 6 through 1 and produces CLVM: 720)
  • generated rue_sdc.elf is ELF 32-bit LSB executable, ARM with entry point 0x1000 and one PT_LOAD
  • cargo tree -i paste --edges normal,build,dev reports no paste package
Open in Web Open in Cursor 

Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
@socket-security
Copy link
Copy Markdown

socket-security Bot commented May 1, 2026

Review the following changes in direct dependencies. Learn more about Socket for GitHub.

Diff Package Supply Chain
Security
Vulnerability Quality Maintenance License
Addedcargo/​id-arena@​2.3.010010093100100
Addedcargo/​rowan@​0.16.110010093100100
Addedcargo/​indexmap@​2.14.010010093100100

View full report

@socket-security
Copy link
Copy Markdown

socket-security Bot commented May 1, 2026

Warning

Review the following alerts detected in dependencies.

According to your organization's Security Policy, it is recommended to resolve "Warn" alerts. Learn more about Socket for GitHub.

Action Severity Alert  (click "▶" to expand/collapse)
Warn High
License policy violation: cargo unicode-ident under Unicode-3.0

License: Unicode-3.0 - The applicable license policy does not permit this license (5) (unicode-ident-1.0.24/LICENSE-UNICODE)

From: ?cargo/wasm-bindgen@0.2.108cargo/argh@0.1.17cargo/chia-bls@0.42.0cargo/rand@0.9.4cargo/pyo3@0.25.1cargo/sha2@0.10.9cargo/rand_chacha@0.9.0cargo/clvmr@0.16.2cargo/serde@1.0.226cargo/faerie@0.16.0cargo/unicode-ident@1.0.24

ℹ Read more on: This package | This alert | What is a license policy violation?

Next steps: Take a moment to review the security alert above. Review the linked package source code to understand the potential risk. Ensure the package is not malicious before proceeding. If you're unsure how to proceed, reach out to your security team or ask the Socket team for help at support@socket.dev.

Suggestion: Find a package that does not violate your license policy or adjust your policy to allow this package's license.

Mark the package as acceptable risk. To ignore this alert only in this pull request, reply with the comment @SocketSecurity ignore cargo/unicode-ident@1.0.24. You can also ignore all packages with @SocketSecurity ignore-all. To ignore an alert for all future pull requests, use Socket's Dashboard to change the triage state of this alert.

View full report

cursoragent and others added 23 commits May 1, 2026 19:30
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Co-authored-by: arty <prozacchiwawa@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants