[Do Not Merge] BMv2 Backend - #312

Draft

PietroGhg wants to merge 49 commits into

p4lang:mainfrom

PietroGhg:pietro/bmv2_develop

Commits on Jan 28, 2026

Add initial support for header instances
PietroGhg
committed
f73e14c
Use same instance for same struct type
PietroGhg
committed
f43d759
Lower package instantiation to V1Switch
PietroGhg
committed
5d71f67
JSON printing for headers and parsers
PietroGhg
committed
1f36929
Header instances for controls and actions
PietroGhg
committed
1911f66
Fix unique names for local variables
PietroGhg
committed
6b94aca
Action conversion
PietroGhg
committed
b7e14a9
Lower check for validity
PietroGhg
committed
ccb42e3
Tables and Pipelines lowering
PietroGhg
committed
d833e4e

Commits on Feb 2, 2026

Remove coroutine header
PietroGhg
committed
28e51d8
Deparser lowering
PietroGhg
committed
df6cd86
Calculation lowering
PietroGhg
committed
c37dbb7
Checksum lowering
PietroGhg
committed
f649396
Print hexstrings
PietroGhg
committed
df6dd8a
action ids in tables json
PietroGhg
committed
f93566c
Action Synthesis pass
PietroGhg
committed
b0d701e
Table Synthesis pass
PietroGhg
committed
47b16ea
Handle explicit extract in lowertoheaderinstance
PietroGhg
committed
9187406
Hexstr parser transition
PietroGhg
committed
5c34556
Rename standard_metadata_t to standard_metadata
PietroGhg
committed
99308d1
Rename according to target-reqs
PietroGhg
committed
ed716ba
Support header instances from scalar variables
PietroGhg
committed
8132d89
Set corelib annotations pass
PietroGhg
committed
0caa256
Remove p4hir.scope ops
PietroGhg
committed
68e9949
Update BMv2 pipeline
PietroGhg
committed
e8ddb7e
Handle hit/miss table_apply checks
PietroGhg
committed
afc97ec
Ensure standard_metadata
PietroGhg
committed
f33a18d
ControlPlaneNames pass
PietroGhg
committed
ac19768
Control plane name for table match keys
PietroGhg
committed
2daad75
Print control plane name for actions
PietroGhg
committed
de6b574
[wip][do not merge] fake p4c script
PietroGhg
committed
3eb079b
Skip inlining for table_action and table_default_action
PietroGhg
committed
090650f
Break down assign of full structs with header fields
PietroGhg
committed
25dc82b
Header instances for header unions
PietroGhg
committed
b27da2b
Fix op cloning in if conditional regions
PietroGhg
committed
17633dd
Add/Remove header ops and patterns
PietroGhg
committed
bffe1f8
Fix next node computation for conditionals
PietroGhg
committed
8ea6050
Set default table size
PietroGhg
committed
5efea3f
JSON printing for cast and arithmetic ops
PietroGhg
committed
b69b3d6
Clone symToVal op
PietroGhg
committed
898c37d
Support extract_VL
PietroGhg
committed
b289ea6
Support table constant entries
PietroGhg
committed
4e9e19c
Structs and Headers flattening pass
PietroGhg
committed
d619eba
constexpr vars for verify/update func names
PietroGhg
committed
973b1b9
Update lowering patterns to account for canonicalization
PietroGhg
committed
e8e62d4
Fix bool and wrapping JSON printing
PietroGhg
committed
9722b5c
Use configureUnknownOpDynamicallyLegalByTypes
PietroGhg
committed
59af389
Parser SetOp
PietroGhg
committed
8eeb16c
Custom parser/printer for header fields
PietroGhg
committed
a03e459