diff options
Diffstat (limited to 'content/zettel/3a8a3.md')
-rw-r--r-- | content/zettel/3a8a3.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/content/zettel/3a8a3.md b/content/zettel/3a8a3.md new file mode 100644 index 0000000..091aab7 --- /dev/null +++ b/content/zettel/3a8a3.md @@ -0,0 +1,15 @@ ++++ +title = "When are phi functions executed" +author = "Yann Herklotz" +tags = [] +categories = [] +backlinks = ["3a8a2"] +forwardlinks = [] +zettelid = "3a8a3" ++++ + +Phi functions are executed directly after a `Inop` instruction that +leads to a branching instruction, otherwise the standard execution of +RTL instructions is performed. This means that it is much easier to +define the semantics of the execution of the phi instructions, as these +only have to be performed after an `Inop` instruction. |