# ah hdrlength 11-23
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ cmp gte reg 1 0x0000000b ]
[ cmp lte reg 1 0x00000017 ]
# ah hdrlength != 11-23
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ range neq reg 1 0x0000000b 0x00000017 ]
# ah hdrlength { 11-23}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 0000000b : 0 [end] element 00000018 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah hdrlength != { 11-23}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 0000000b : 0 [end] element 00000018 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah hdrlength {11, 23, 44 }
__set%d test-inet 3
__set%d test-inet 0
element 0000000b : 0 [end] element 00000017 : 0 [end] element 0000002c : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah hdrlength != {11, 23, 44 }
__set%d test-inet 3
__set%d test-inet 0
element 0000000b : 0 [end] element 00000017 : 0 [end] element 0000002c : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 1b @ transport header + 1 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah reserved 22
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ cmp eq reg 1 0x00001600 ]
# ah reserved != 233
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ cmp neq reg 1 0x0000e900 ]
# ah reserved 33-45
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ cmp gte reg 1 0x00002100 ]
[ cmp lte reg 1 0x00002d00 ]
# ah reserved != 33-45
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ range neq reg 1 0x00002100 0x00002d00 ]
# ah reserved {23, 100}
__set%d test-inet 3
__set%d test-inet 0
element 00001700 : 0 [end] element 00006400 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah reserved != {23, 100}
__set%d test-inet 3
__set%d test-inet 0
element 00001700 : 0 [end] element 00006400 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah reserved { 33-55}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 00002100 : 0 [end] element 00003800 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah reserved != { 33-55}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 00002100 : 0 [end] element 00003800 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 2b @ transport header + 2 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah spi 111
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ cmp eq reg 1 0x6f000000 ]
# ah spi != 111
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ cmp neq reg 1 0x6f000000 ]
# ah spi 111-222
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ cmp gte reg 1 0x6f000000 ]
[ cmp lte reg 1 0xde000000 ]
# ah spi != 111-222
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ range neq reg 1 0x6f000000 0xde000000 ]
# ah spi {111, 122}
__set%d test-inet 3
__set%d test-inet 0
element 6f000000 : 0 [end] element 7a000000 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah spi != {111, 122}
__set%d test-inet 3
__set%d test-inet 0
element 6f000000 : 0 [end] element 7a000000 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah spi { 111-122}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 6f000000 : 0 [end] element 7b000000 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah spi != { 111-122}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 6f000000 : 0 [end] element 7b000000 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 4 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah sequence 123
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ cmp eq reg 1 0x7b000000 ]
# ah sequence != 123
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ cmp neq reg 1 0x7b000000 ]
# ah sequence {23, 25, 33}
__set%d test-inet 3
__set%d test-inet 0
element 17000000 : 0 [end] element 19000000 : 0 [end] element 21000000 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah sequence != {23, 25, 33}
__set%d test-inet 3
__set%d test-inet 0
element 17000000 : 0 [end] element 19000000 : 0 [end] element 21000000 : 0 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah sequence { 23-33}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 17000000 : 0 [end] element 22000000 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ lookup reg 1 set __set%d ]
# ah sequence != { 23-33}
__set%d test-inet 7
__set%d test-inet 0
element 00000000 : 1 [end] element 17000000 : 0 [end] element 22000000 : 1 [end]
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ lookup reg 1 set __set%d 0x1 ]
# ah sequence 23-33
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ cmp gte reg 1 0x17000000 ]
[ cmp lte reg 1 0x21000000 ]
# ah sequence != 23-33
inet test-inet input
[ meta load l4proto => reg 1 ]
[ cmp eq reg 1 0x00000033 ]
[ payload load 4b @ transport header + 8 => reg 1 ]
[ range neq reg 1 0x17000000 0x21000000 ]