[P4-design] Deparse emit of Header Union

David George david.george at netronome.com
Fri Aug 4 09:30:03 EDT 2017


Am I correct in saying that emitting a header_union will result in all
fields of all member to be written out whether valid or not? I believe this
is what the spec implies:

>> else if (isHeaderUnion(T) || isStruct(T))
>>      for (f : data.fields$)
>>            emit(e.f)

I believe the sensible behaviour should be to emit only the valid one.

Regards,
David George
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.p4.org/pipermail/p4-design_lists.p4.org/attachments/20170804/b65f454c/attachment-0002.html>


More information about the P4-design mailing list