This commit is contained in:
Samuel Moelius 2022-02-22 19:22:28 -05:00 committed by GitHub
parent 55ee2bb081
commit 34f726b933
1 changed files with 2 additions and 2 deletions

View File

@ -80,8 +80,8 @@ possible effects for each statement and terminator, the "before" effect and the
unprefixed (or "primary") effect. The "before" effects are applied immediately unprefixed (or "primary") effect. The "before" effects are applied immediately
before the unprefixed effect **regardless of the direction of the analysis**. before the unprefixed effect **regardless of the direction of the analysis**.
In other words, a backward analysis will apply the "before" effect and then the In other words, a backward analysis will apply the "before" effect and then the
the "primary" effect when computing the transfer function for a basic block, "primary" effect when computing the transfer function for a basic block, just
just like a forward analysis. like a forward analysis.
The vast majority of analyses should use only the unprefixed effects: Having The vast majority of analyses should use only the unprefixed effects: Having
multiple effects for each statement makes it difficult for consumers to know multiple effects for each statement makes it difficult for consumers to know