Skip to content

Document IR semantic - #19

Draft
belovdv wants to merge 3 commits into
masterfrom
docs
Draft

belovdv wants to merge 3 commits into
masterfrom
docs

Conversation

@belovdv

@belovdv belovdv commented Sep 25, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@belovdv
belovdv requested a review from uslsteen September 25, 2026 12:04
@belovdv belovdv self-assigned this Sep 25, 2026
@belovdv
belovdv marked this pull request as draft September 25, 2026 12:05
Comment thread docs/ops.md Outdated
- Note: standard extraction of several bits from a bigger bit vector from a given offset
- `orr_shifted(base, val, lsb) = orr(base, lsl(extend_zero(val), lsb))`
- Note: this is simplified `insert` created for encoding - it behaves the same way if `base` has 0 bits in the place of modification
- `insert<_, M>(base, val, lsb) = orr(and(base, (2^M - 1) * 2^lsb), lsl(extend_zero(val), lsb))`

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Consider using the ** operator instead of the ^ operator for exponentiation.

uslsteen

This comment was marked as low quality.

@belovdv belovdv mentioned this pull request Oct 20, 2026
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