p4lang-p4c-nightly

p4lang-p4c-nightly:eliminate-redundant-ir-check

  1. Git
  2. lp:p4lang-p4c-nightly
  3. eliminate-redundant-ir-check
Last commit made on 2021-05-06
Get this branch:
git clone -b eliminate-redundant-ir-check https://git.launchpad.net/p4lang-p4c-nightly

Branch merges

Branch information

Name:
eliminate-redundant-ir-check
Repository:
lp:p4lang-p4c-nightly

Recent commits

f5fa920... by Nate Foster <email address hidden>

Eliminate redundant validation code.

The `ifTrue` branch doesn't have a `NullOK` annotation, so the IR
generator already adds the same check:
```
void IR::IfStatement::validate() const {
        CHECK_NULL(condition);
        CHECK_NULL(ifTrue);
{ CHECK_NULL(ifTrue); } }
```

9cda79a... by Han Wang <email address hidden>

dpdk: fix non-determinism in parser state assembly generation (#2763)

61c2d21... by Han Wang <email address hidden>

dpdk: implement checksum clear method (#2761)

f47980b... by Nate Foster <email address hidden>

Test `main` branch (#2758)

* Trivial commit that updates list of backends

* Update hash for Boost libraries in Bazel

efdd7e0... by Radostin Stoyanov <email address hidden>

Minor run-dpdk-test improvements (#2757)

cleanup run-dpdk-test

Signed-off-by: Radostin Stoyanov <email address hidden>

08ef61a... by Nate Foster <email address hidden>

Replace "master" with "main" in preparation for change of p4c's primary branch (#2708)

Also update references to main branch in behavioral-model.

7749dfb... by Han Wang <email address hidden>

dpdk: fix checksum support (#2756)

9de755b... by Carl Geoffrion <email address hidden>

Update StrengthReduction pass relative to signed shift left operation (#2754)

* Update StrengthReduction pass relative to signed shift left operation

The current code does not slice a shift left operation if the source
field is signed, e.g.:
   unsigned_val[7:0] = (signed_val << 3)[15:8];
to something like this:
   unsigned_val[7:0] = signed_val[12:5];

This is not in-line with the P4 Spec "8.6. Operations on fixed-width
signed integers" chapter which state "Shifting left produces the exact
same bit pattern as a shift left of an unsigned value. Shift left can
thus overflow, when it leads to a change of the sign bit."

Slicing the operation also help reduce field constraints down the road.

* Updating testdata strength4 output

482eaa1... by Jakub Neruda <email address hidden>

Find install_manifest.txt for uninstall target (#2752)

948ec62... by Andy Fingerhut <email address hidden>

Add match_kind optional to PSA include file (#2696)