# frag nexthdr tcp
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ cmp eq reg 1 0x00000006 ]

# frag nexthdr != icmp
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ cmp neq reg 1 0x00000001 ]

# frag nexthdr {esp, ah, comp, udp, udplite, tcp, dccp, sctp}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000032  : 0 [end]	element 00000033  : 0 [end]	element 0000006c  : 0 [end]	element 00000011  : 0 [end]	element 00000088  : 0 [end]	element 00000006  : 0 [end]	element 00000021  : 0 [end]	element 00000084  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ lookup reg 1 set __set%d ]

# frag nexthdr != {esp, ah, comp, udp, udplite, tcp, dccp, sctp}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000032  : 0 [end]	element 00000033  : 0 [end]	element 0000006c  : 0 [end]	element 00000011  : 0 [end]	element 00000088  : 0 [end]	element 00000006  : 0 [end]	element 00000021  : 0 [end]	element 00000084  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag nexthdr esp
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ cmp eq reg 1 0x00000032 ]

# frag nexthdr ah
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 0 => reg 1 ]
  [ cmp eq reg 1 0x00000033 ]

# frag reserved 22
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ cmp eq reg 1 0x00000016 ]

# frag reserved != 233
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ cmp neq reg 1 0x000000e9 ]

# frag reserved 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ cmp gte reg 1 0x00000021 ]
  [ cmp lte reg 1 0x0000002d ]

# frag reserved != 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ range neq reg 1 0x00000021 0x0000002d ]

# frag reserved { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000021  : 0 [end]	element 00000037  : 0 [end]	element 00000043  : 0 [end]	element 00000058  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ lookup reg 1 set __set%d ]

# frag reserved != { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000021  : 0 [end]	element 00000037  : 0 [end]	element 00000043  : 0 [end]	element 00000058  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag reserved { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 00000021  : 0 [end]	element 00000038  : 1 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ lookup reg 1 set __set%d ]

# frag reserved != { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 00000021  : 0 [end]	element 00000038  : 1 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 1 => reg 1 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag frag-off 22
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ cmp eq reg 1 0x0000b000 ]

# frag frag-off != 233
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ cmp neq reg 1 0x00004807 ]

# frag frag-off 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ cmp gte reg 1 0x00000801 ]
  [ cmp lte reg 1 0x00006801 ]

# frag frag-off != 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ range neq reg 1 0x00000801 0x00006801 ]

# frag frag-off { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000801  : 0 [end]	element 0000b801  : 0 [end]	element 00001802  : 0 [end]	element 0000c002  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ lookup reg 1 set __set%d ]

# frag frag-off != { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 00000801  : 0 [end]	element 0000b801  : 0 [end]	element 00001802  : 0 [end]	element 0000c002  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag frag-off { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 00000801  : 0 [end]	element 0000b901  : 1 [end]
ip6 test-ip6 output 
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ lookup reg 1 set __set%d ]

# frag frag-off != { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 00000801  : 0 [end]	element 0000b901  : 1 [end]
ip6 test-ip6 output 
  [ exthdr load ipv6 2b @ 44 + 2 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x0000f8ff ) ^ 0x00000000 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag more-fragments 1
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 3 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x00000001 ) ^ 0x00000000 ]
  [ cmp eq reg 1 0x00000001 ]

# frag id 1
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ cmp eq reg 1 0x01000000 ]

# frag id 22
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ cmp eq reg 1 0x16000000 ]

# frag id != 33
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ cmp neq reg 1 0x21000000 ]

# frag id 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ cmp gte reg 1 0x21000000 ]
  [ cmp lte reg 1 0x2d000000 ]

# frag id != 33-45
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ range neq reg 1 0x21000000 0x2d000000 ]

# frag id { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 21000000  : 0 [end]	element 37000000  : 0 [end]	element 43000000  : 0 [end]	element 58000000  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ lookup reg 1 set __set%d ]

# frag id != { 33, 55, 67, 88}
__set%d test-ip6 3
__set%d test-ip6 0
	element 21000000  : 0 [end]	element 37000000  : 0 [end]	element 43000000  : 0 [end]	element 58000000  : 0 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag id { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 21000000  : 0 [end]	element 38000000  : 1 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ lookup reg 1 set __set%d ]

# frag id != { 33-55}
__set%d test-ip6 7
__set%d test-ip6 0
	element 00000000  : 1 [end]	element 21000000  : 0 [end]	element 38000000  : 1 [end]
ip6 test-ip6 output
  [ exthdr load ipv6 4b @ 44 + 4 => reg 1 ]
  [ lookup reg 1 set __set%d 0x1 ]

# frag reserved2 1
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 3 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x00000006 ) ^ 0x00000000 ]
  [ cmp eq reg 1 0x00000002 ]

# frag more-fragments 0
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 3 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x00000001 ) ^ 0x00000000 ]
  [ cmp eq reg 1 0x00000000 ]

# frag more-fragments 1
ip6 test-ip6 output
  [ exthdr load ipv6 1b @ 44 + 3 => reg 1 ]
  [ bitwise reg 1 = (reg=1 & 0x00000001 ) ^ 0x00000000 ]
  [ cmp eq reg 1 0x00000001 ]