p4c/testdata/p4_16_samples/enumCmp.p4 at f0d1743b0625f102d9f9ca2b37bbe2b3b83e381b · p4lang/p4c · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
control proto<P>(inout P pkt);
package top<P>(proto<P> p);

enum bit<8> E1 { A = 1, B = 2, C = 10 }
enum bit<8> E2 { X = 2, Y = 1, Z = 3 }

header data_t {
    E1          e1;
    E2          e2;
    bit<8>      a;
    bit<8>      b;
    bit<8>      c;
}

struct headers {
    data_t      data;
}


control c(inout headers hdr) {
    apply {
        if (hdr.data.e1 == hdr.data.e2) { hdr.data.a[0+:1] = 1; }
        if (hdr.data.e1 == E1.A) { hdr.data.a[1+:1] = 1; }
        if (hdr.data.e1 == E2.X) { hdr.data.a[2+:1] = 1; }
        if (hdr.data.e1 == hdr.data.c) { hdr.data.a[3+:1] = 1; }
        if (hdr.data.c == E1.B) { hdr.data.a[4+:1] = 1; }
        if (hdr.data.c == E2.Y) { hdr.data.a[5+:1] = 1; }
        if (E1.A == E2.X) { hdr.data.b[0+:1] = 1; }
        if (E1.A == E2.Y) { hdr.data.b[1+:1] = 1; }
    }
}

top(c()) main;