Skip to content

Upstream new spec for (spec (load_constant_full ty imm size const) - #43

Open
yuetongz417 wants to merge 4 commits into
wellesley-prog-sys:upstream-4-8from
yuetongz417:upstream-new-spec-5-11
Open

Upstream new spec for (spec (load_constant_full ty imm size const)#43
yuetongz417 wants to merge 4 commits into
wellesley-prog-sys:upstream-4-8from
yuetongz417:upstream-new-spec-5-11

Conversation

@yuetongz417

Copy link
Copy Markdown

Added a new spec for (spec (load_constant_full ty imm size const) based on the rust code in cranelift/codegen/src/isa/aarch64/lower/isle.rs

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.

1 participant