Skip to content

IDE ssi solver with abi#145

Merged
b-paul merged 1 commit into
mainfrom
const-prop-abi
May 8, 2026
Merged

IDE ssi solver with abi#145
b-paul merged 1 commit into
mainfrom
const-prop-abi

Conversation

@b-paul
Copy link
Copy Markdown
Collaborator

@b-paul b-paul commented May 8, 2026

Assume R19 to R29 and R31 are preserved across external function calls to get better simplification

@b-paul b-paul enabled auto-merge (squash) May 8, 2026 04:48
@JTrenerry
Copy link
Copy Markdown
Collaborator

string matching = bad, so maybe eventually something more sound could be used? (i.e. call_preserved flag or something but that would be just string matching to begin with lol)

@b-paul b-paul merged commit 4aff6e2 into main May 8, 2026
8 checks passed
@b-paul b-paul deleted the const-prop-abi branch May 8, 2026 04:52
@agle agle restored the const-prop-abi branch May 8, 2026 05:02
@agle
Copy link
Copy Markdown
Owner

agle commented May 8, 2026

I've unmerged this, going down this road ends up in the mess basil had. We need a systematic approach to abi not hacks in each individual transform/analysis

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.

3 participants