Skip to content

Commit

Permalink
Move comment about calling convention for directionless parameters ou…
Browse files Browse the repository at this point in the history
…t of list
  • Loading branch information
jnfoster committed Jun 3, 2024
1 parent f92db37 commit 0c726e8
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions p4-16/spec/P4-16-spec.mdk
Original file line number Diff line number Diff line change
Expand Up @@ -1506,8 +1506,7 @@ Each parameter may be labeled with a direction:
- For anything other than an action, e.g. a control, parser, or
function, a directionless parameter means that the value supplied
as an argument in a call must be a compile-time known value
(see Section [#sec-compile-time-known]). Note that a directionless
parameter of extern object type is passed by reference.
(see Section [#sec-compile-time-known]).
- For an action, a directionless parameter indicates that it is
"action data". See Section [#sec-actions] for the meaning of
action data, but its meaning includes the following possibilities:
Expand All @@ -1518,6 +1517,8 @@ Each parameter may be labeled with a direction:
when an entry is added to a table that uses that action. See
Section [#sec-actions].

A directionless parameter of extern object type is passed by reference.

Direction `out` parameters are always initialized at the beginning of
execution of the portion of the program that has the `out` parameters,
e.g. `control`, `parser`, `action`, function, etc. This
Expand Down

0 comments on commit 0c726e8

Please sign in to comment.