Kyle Cripps

[#4883] Remove unused actions whose `@name` name starts with "__"

3

Fixes #4883

Add mechanism for easily adding tests for command-line options

1

e.g. `--Werror`, `--Wdisable`, etc. See https://github.com/p4lang/p4c/pull/4894 and #4366 for initial test ideas.

Unexpected "Duplicates declaration" error when P4 program contains no duplicate declarations

7

``` #include struct S { bit f; } extern bool foo(in bool x, in bool y); control C(inout S s) { action a1() { if (foo(s.f == 0, false)) {...

[#1362] Clarify that `switch` statements _are_ allowed in action/function bodies, and that `switch` statements with `action_run` expressions are only allowed in control `apply` blocks

2

Cleans up some wording that was missed by #945, which makes it unclear as to whether `switch` statements are actually supported in actions/functions or not. Closes #1362.

Clarify whether P4-16 allows `switch` statements in actions

9

Current behavior of the `p4c` compiler is: 1. Report the following error message for backends that _do_ run the `EliminateSwitch` midend pass: ``` error: SwitchStatement: switch statements not supported in...

Add tests for `switch` statements located in action bodies

2

As mentioned in https://github.com/p4lang/p4-spec/issues/1362, the frontend passes currently produce valid IR for `switch` statements located in actions, but no tests exist to validate that (as all of the backends run...

`Compiler Bug` in `simplifySwitch.cpp`

8

Building the following P4 program: ``` extern void __e(in bit arg); extern void __e2(in bit arg); control C() { action bar(bool a, bool b) { bit x; bit y; switch...