search

p4lang / p4c

P4_16 reference compiler
https://p4.org/
Apache License 2.0
669 stars 441 forks source link

Gauntlet reports fail on a program using lookahead with header type #3044

Open mvido opened 2 years ago

mvido commented 2 years ago

Gauntlet is reporting a failure in ExpandLookahead pass for a program pna-example-dpdk-varbit.p4.txt which is a modification of https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-example-dpdk-varbit.p4 (this modification is also available in draft PR: https://github.com/p4lang/p4c/pull/3015), the details can be seen in the output of CI run: https://github.com/p4lang/p4c/runs/4695836576?check_suite_focus=true

This program was added to the test suite as https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-issue3041.p4 by PR: https://github.com/p4lang/p4c/pull/3042

Validate job is currently broken (@fruffy is fixing it by https://github.com/p4lang/p4c/pull/3043). The same failure will be probably reported by Gauntlet for this https://github.com/p4lang/p4c/blob/main/testdata/p4_16_samples/pna-issue3041.p4 program when validate job is fixed in https://github.com/p4lang/p4c/pull/3043.

mihaibudiu commented 2 years ago

@fruffy is this solved?

fruffy commented 2 years ago

No, unfortunately I did not have the time to fix this yet. The parser validation of Gauntlet is unstable after the rewrite. I should disable it until I have properly implemented it.