Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Correct note on value use and block dominance #6

Closed
wants to merge 1 commit into from
+3 −2
Closed

Correct note on value use and block dominance #6

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 3 additions & 2 deletions site/articles/code-models.md
View file
Original file line number Diff line number Diff line change
@@ -801,8 +801,9 @@ iteration. The (back) branch in `^block_3` passes the values to be used for the
next loop iteration as block arguments.

> A value can be used by an operation if it is defined earlier in the same
> block or defined in a dominating block. This is why the `invoke` operation
> in `^block_2` can use `%4`, since `^block_1` dominates `^block_2`.
> block or defined in a dominating block. This is why the `add` operation
> in `^block_2` or the `invoke` operation in `^block_4` can use `%4`, since
> `^block_1` dominates `^block_2` and `^block_4`.

> Structured control flow operations and pure SSA form are not mutually
> exclusive. Although we will not model Java expressions and statement