lists.openwall.net   lists  /  announce  owl-users  owl-dev  john-users  john-dev  passwdqc-users  yescrypt  popa3d-users  /  oss-security  kernel-hardening  musl  sabotage  tlsify  passwords  /  crypt-dev  xvendor  /  Bugtraq  Full-Disclosure  linux-kernel  linux-netdev  linux-ext4  linux-hardening  linux-cve-announce  PHC 
Open Source and information security mailing list archives
 
Hash Suite: Windows password security audit tool. GUI, reports in PDF.
[<prev] [next>] [<thread-prev] [day] [month] [year] [list] 
Date:   Sun, 22 Mar 2020 22:02:56 +0800
From:   kernel test robot <rong.a.chen@...el.com>
To:     John Fastabend <john.fastabend@...il.com>
Cc:     yhs@...com, alexei.starovoitov@...il.com, daniel@...earbox.net,
        netdev@...r.kernel.org, bpf@...r.kernel.org,
        john.fastabend@...il.com, lkp@...ts.01.org
Subject: [bpf] a162f637b0: kernel-selftests.bpf.test_align.fail

FYI, we noticed the following commit (built with gcc-7):

commit: a162f637b08577f8e843d469ec20b338853e05ca ("[RFC PATCH 2/4] bpf: verifier, do explicit u32 bounds tracking")
url: https://github.com/0day-ci/linux/commits/John-Fastabend/rfc-for-32-bit-subreg-verifier-tracking/20200307-081430
base: https://git.kernel.org/cgit/linux/kernel/git/bpf/bpf.git master

in testcase: kernel-selftests
with following parameters:

	group: kselftests-bpf
	ucode: 0xd6

test-description: The kernel contains a set of "self tests" under the tools/testing/selftests/ directory. These are intended to be small unit tests to exercise individual code paths in the kernel.
test-url: https://www.kernel.org/doc/Documentation/kselftest.txt


on test machine: 8 threads Intel(R) Core(TM) i7-6700 CPU @ 3.40GHz with 16G memory

caused below changes (please refer to attached dmesg/kmsg for entire log/backtrace):


If you fix the issue, kindly add following tag
Reported-by: kernel test robot <rong.a.chen@...el.com>


# selftests: bpf: test_align
# Test   0: mov ... PASS
# Test   1: shift ... PASS
# Test   2: addsub ... PASS
# Test   3: mul ... PASS
# Test   4: unknown shift ... Failed to find match 7: R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r3 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (67) r3 <<= 1
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=510,var_off=(0x0; 0x1fe),var32_off=(0x0; 0x1fe)) R10=fp0
# 8: (67) r3 <<= 1
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 9: (67) r3 <<= 1
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=2040,var_off=(0x0; 0x7f8),var32_off=(0x0; 0x7f8)) R10=fp0
# 10: (67) r3 <<= 1
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=4080,var_off=(0x0; 0xff0),var32_off=(0x0; 0xff0)) R10=fp0
# 11: (61) r2 = *(u32 *)(r1 +76)
# 12: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=inv(id=0,umax_value=4080,var_off=(0x0; 0xff0),var32_off=(0x0; 0xff0)) R10=fp0
# 12: (61) r3 = *(u32 *)(r1 +80)
# 13: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 13: (bf) r0 = r2
# 14: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 14: (07) r0 += 8
# 15: R0=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0
# 15: (3d) if r3 >= r0 goto pc+1
#  R0=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0
# 16: R0=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0
# 16: (95) exit
# 17: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R10=fp0
# 17: (71) r4 = *(u8 *)(r2 +0)
# 18: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 18: (67) r4 <<= 5
# 19: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=8160,var_off=(0x0; 0x1fe0),var32_off=(0x0; 0x1fe0)) R10=fp0
# 19: (77) r4 >>= 1
# 20: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4080,var_off=(0x0; 0xff0),var32_off=(0x0; 0xff0)) R10=fp0
# 20: (77) r4 >>= 1
# 21: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=2040,var_off=(0x0; 0x7f8),var32_off=(0x0; 0x7f8)) R10=fp0
# 21: (77) r4 >>= 1
# 22: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 22: (77) r4 >>= 1
# 23: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=510,var_off=(0x0; 0x1fe),var32_off=(0x0; 0x1fe)) R10=fp0
# 23: (b7) r0 = 0
# 24: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=510,var_off=(0x0; 0x1fe),var32_off=(0x0; 0x1fe)) R10=fp0
# 24: (95) exit
# processed 25 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
# FAIL
# Test   5: unknown mul ... Failed to find match 7: R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r3 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (bf) r4 = r3
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 8: (27) r4 *= 1
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 9: (bf) r4 = r3
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 10: (27) r4 *= 2
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=510,var_off=(0x0; 0x1fe),var32_off=(0x0; 0x1fe)) R10=fp0
# 11: (bf) r4 = r3
# 12: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 12: (27) r4 *= 4
# 13: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 13: (bf) r4 = r3
# 14: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 14: (27) r4 *= 8
# 15: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=2040,var_off=(0x0; 0x7f8),var32_off=(0x0; 0x7f8)) R10=fp0
# 15: (27) r4 *= 2
# 16: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=4080,var_off=(0x0; 0xff0),var32_off=(0x0; 0xff0)) R10=fp0
# 16: (b7) r0 = 0
# 17: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R4_w=inv(id=0,umax_value=4080,var_off=(0x0; 0xff0),var32_off=(0x0; 0xff0)) R10=fp0
# 17: (95) exit
# processed 18 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0
# FAIL
# Test   6: packet const offset ... Failed to find match 10: R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r5 = r2
# 3: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 3: (b7) r0 = 0
# 4: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 4: (07) r5 += 14
# 5: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=14,r=0,imm=0) R10=fp0
# 5: (bf) r4 = r5
# 6: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=0,off=14,r=0,imm=0) R5_w=pkt(id=0,off=14,r=0,imm=0) R10=fp0
# 6: (07) r4 += 4
# 7: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=0,off=18,r=0,imm=0) R5_w=pkt(id=0,off=14,r=0,imm=0) R10=fp0
# 7: (3d) if r3 >= r4 goto pc+1
#  R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=0,off=18,r=0,imm=0) R5_w=pkt(id=0,off=14,r=0,imm=0) R10=fp0
# 8: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=0,off=18,r=0,imm=0) R5_w=pkt(id=0,off=14,r=0,imm=0) R10=fp0
# 8: (95) exit
# 9: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=0,off=18,r=18,imm=0) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 9: (71) r4 = *(u8 *)(r5 +0)
# 10: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 10: (71) r4 = *(u8 *)(r5 +1)
# 11: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 11: (71) r4 = *(u8 *)(r5 +2)
# 12: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 12: (71) r4 = *(u8 *)(r5 +3)
# 13: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 13: (69) r4 = *(u16 *)(r5 +0)
# 14: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff),var32_off=(0x0; 0xffff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 14: (69) r4 = *(u16 *)(r5 +2)
# 15: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff),var32_off=(0x0; 0xffff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 15: (61) r4 = *(u32 *)(r5 +0)
# 16: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 16: (b7) r0 = 0
# 17: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=18,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=0,off=14,r=18,imm=0) R10=fp0
# 17: (95) exit
# processed 18 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
# FAIL
# Test   7: packet variable offset ... Failed to find match 8: R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r6 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (67) r6 <<= 2
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 8: (bf) r5 = r2
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=8,imm=0) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 9: (07) r5 += 14
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=14,r=8,imm=0) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 10: (0f) r5 += r6
# last_idx 10 first_idx 0
# regs=40 stack=0 before 9: (07) r5 += 14
# regs=40 stack=0 before 8: (bf) r5 = r2
# regs=40 stack=0 before 7: (67) r6 <<= 2
# regs=40 stack=0 before 6: (71) r6 = *(u8 *)(r2 +0)
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 11: (bf) r4 = r5
# 12: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 12: (07) r4 += 4
# 13: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 13: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 14: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 14: (95) exit
# 15: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=18,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=14,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 15: (61) r4 = *(u32 *)(r5 +0)
# 16: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=1,off=14,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 16: (bf) r5 = r2
# 17: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=0,off=0,r=8,imm=0) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 17: (0f) r5 += r6
# 18: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=2,off=0,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 18: (07) r5 += 14
# 19: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 19: (bf) r4 = r5
# 20: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 20: (07) r4 += 4
# 21: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 21: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 22: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 22: (95) exit
# 23: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=18,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=14,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 23: (61) r4 = *(u32 *)(r5 +0)
# 24: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=2,off=14,r=18,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 24: (bf) r5 = r2
# 25: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=0,off=0,r=8,imm=0) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 25: (07) r5 += 14
# 26: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=0,off=14,r=8,imm=0) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 26: (0f) r5 += r6
# 27: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=3,off=14,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 27: (07) r5 += 4
# 28: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=3,off=18,r=0,umax_value=1020,var_off=(0x0; 0x3fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 28: (0f) r5 += r6
# 29: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5_w=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 29: (bf) r4 = r5
# 30: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 30: (07) r4 += 4
# 31: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=4,off=22,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 31: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=4,off=22,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 32: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=4,off=22,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=4,off=18,r=0,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 32: (95) exit
# 33: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=4,off=22,r=22,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=4,off=18,r=22,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 33: (61) r4 = *(u32 *)(r5 +0)
# 34: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=4,off=18,r=22,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 34: (b7) r0 = 0
# 35: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R5=pkt(id=4,off=18,r=22,umax_value=2040,var_off=(0x0; 0x7fc),s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 35: (95) exit
# processed 36 insns (limit 1000000) max_states_per_insn 0 total_states 3 peak_states 3 mark_read 1
# FAIL
# Test   8: packet variable offset 2 ... Failed to find match 8: R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r6 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (67) r6 <<= 2
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 8: (07) r6 += 14
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 9: (bf) r5 = r2
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=8,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 10: (0f) r5 += r6
# last_idx 10 first_idx 0
# regs=40 stack=0 before 9: (bf) r5 = r2
# regs=40 stack=0 before 8: (07) r6 += 14
# regs=40 stack=0 before 7: (67) r6 <<= 2
# regs=40 stack=0 before 6: (71) r6 = *(u8 *)(r2 +0)
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 11: (bf) r4 = r5
# 12: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 12: (07) r4 += 4
# 13: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 13: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 14: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 14: (95) exit
# 15: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R10=fp0
# 15: (61) r6 = *(u32 *)(r5 +0)
# 16: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R10=fp0
# 16: (57) r6 &= 255
# 17: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 17: (67) r6 <<= 2
# 18: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 18: (0f) r5 += r6
# last_idx 18 first_idx 13
# regs=40 stack=0 before 17: (67) r6 <<= 2
# regs=40 stack=0 before 16: (57) r6 &= 255
# regs=40 stack=0 before 15: (61) r6 = *(u32 *)(r5 +0)
# 19: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 19: (bf) r4 = r5
# 20: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 20: (07) r4 += 4
# 21: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 21: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 22: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 22: (95) exit
# 23: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 23: (61) r6 = *(u32 *)(r5 +0)
# 24: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R10=fp0
# 24: (b7) r0 = 0
# 25: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=4,umin_value=14,umax_value=2054,var_off=(0x2; 0xffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R10=fp0
# 25: (95) exit
# processed 26 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
# FAIL
# Test   9: dubious pointer arithmetic ... Failed to find match 6: R5_w=inv(id=0,smax_value=9223372036854775804,umax_value=18446744073709551612,var_off=(0x0; 0xfffffffffffffffc))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (b7) r0 = 0
# 3: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (bf) r5 = r3
# 4: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (1f) r5 -= r2
# 5: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=inv(id=0,var32_off=(0x0; 0xffffffff)) R10=fp0
# 5: (67) r5 <<= 2
# 6: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=inv(id=0,smax_value=9223372036854775804,umax_value=18446744073709551612,var_off=(0x0; 0xfffffffffffffffc),s32_max_value=2147483644,u32_max_value=-4,var32_off=(0x0; 0xfffffffc)) R10=fp0
# 6: (07) r5 += 14
# 7: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=inv(id=0,var_off=(0x2; 0xfffffffffffffffc),var32_off=(0x2; 0xfffffffc)) R10=fp0
# 7: (75) if r5 s>= 0x0 goto pc+1
#  R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=inv(id=0,umin_value=9223372036854775810,umax_value=18446744073709551614,var_off=(0x8000000000000002; 0x7ffffffffffffffc),s32_min_value=2,u32_min_value=2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R10=fp0
# 8: R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=inv(id=0,umin_value=9223372036854775810,umax_value=18446744073709551614,var_off=(0x8000000000000002; 0x7ffffffffffffffc),s32_min_value=2,u32_min_value=2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R10=fp0
# 8: (95) exit
# 9: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R5=inv(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R10=fp0
# 9: (bf) r6 = r2
# 10: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R5=inv(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 10: (0f) r6 += r5
# last_idx 10 first_idx 9
# regs=20 stack=0 before 9: (bf) r6 = r2
#  R0_w=inv0 R1=ctx(id=0,off=0,imm=0) R2_rw=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_rw=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R10=fp0
# parent didn't have regs=20 stack=0 marks
# last_idx 7 first_idx 0
# regs=20 stack=0 before 7: (75) if r5 s>= 0x0 goto pc+1
# regs=20 stack=0 before 6: (07) r5 += 14
# regs=20 stack=0 before 5: (67) r5 <<= 2
# regs=20 stack=0 before 4: (1f) r5 -= r2
# regs=24 stack=0 before 3: (bf) r5 = r3
# regs=c stack=0 before 2: (b7) r0 = 0
# regs=c stack=0 before 1: (61) r3 = *(u32 *)(r1 +80)
# regs=4 stack=0 before 0: (61) r2 = *(u32 *)(r1 +76)
# 11: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 11: (bf) r4 = r6
# 12: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 12: (07) r4 += 4
# 13: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 13: (3d) if r3 >= r4 goto pc+1
#  R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 14: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 14: (95) exit
# 15: R0=inv0 R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=0,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=invP(id=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_max_value=-2,u32_max_value=-2,var32_off=(0x2; 0xfffffffc)) R6_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=9223372036854775806,var_off=(0x2; 0x7ffffffffffffffc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R10=fp0
# 15: (61) r4 = *(u32 *)(r6 +0)
# invalid access to packet, off=0 size=4, R6(id=1,off=0,r=0)
# R6 offset is outside of the packet
# processed 16 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
# FAIL
# Test  10: variable subtraction ... Failed to find match 9: R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r6 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (bf) r7 = r6
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 8: (67) r6 <<= 2
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 9: (07) r6 += 14
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 10: (67) r7 <<= 2
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 11: (1f) r6 -= r7
# 12: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R6=inv(id=0,smin_value=-1006,smax_value=1034,var_off=(0x2; 0xfffffffffffffffc),var32_off=(0x2; 0xfffffffc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 12: (75) if r6 s>= 0x0 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R6=inv(id=0,umin_value=18446744073709550610,umax_value=18446744073709551614,var_off=(0xfffffffffffffc02; 0x3fc),u32_min_value=-1006,u32_max_value=-2,var32_off=(0xfffffc02; 0x3fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 13: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R6=inv(id=0,umin_value=18446744073709550610,umax_value=18446744073709551614,var_off=(0xfffffffffffffc02; 0x3fc),u32_min_value=-1006,u32_max_value=-2,var32_off=(0xfffffc02; 0x3fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 13: (95) exit
# 14: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R6=inv(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 14: (bf) r5 = r2
# 15: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=8,imm=0) R6=inv(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 15: (0f) r5 += r6
# last_idx 15 first_idx 12
# regs=40 stack=0 before 14: (bf) r5 = r2
# regs=40 stack=0 before 12: (75) if r6 s>= 0x0 goto pc+1
#  R0_rw=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_rw=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_rw=invP(id=0,smin_value=-1006,smax_value=1034,var_off=(0x2; 0xfffffffffffffffc),var32_off=(0x2; 0xfffffffc)) R7_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# parent didn't have regs=40 stack=0 marks
# last_idx 11 first_idx 0
# regs=40 stack=0 before 11: (1f) r6 -= r7
# regs=c0 stack=0 before 10: (67) r7 <<= 2
# regs=c0 stack=0 before 9: (07) r6 += 14
# regs=c0 stack=0 before 8: (67) r6 <<= 2
# regs=c0 stack=0 before 7: (bf) r7 = r6
# regs=40 stack=0 before 6: (71) r6 = *(u8 *)(r2 +0)
# 16: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 16: (bf) r4 = r5
# 17: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 17: (07) r4 += 4
# 18: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 18: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 19: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=1,off=4,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=1,off=0,r=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 19: (95) exit
# 20: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),var32_off=(0x2; 0x7fc)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 20: (61) r6 = *(u32 *)(r5 +0)
# 21: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=1,off=4,r=4,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=1,off=0,r=4,umin_value=2,umax_value=1034,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R7=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 21: (95) exit
# processed 22 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1
# FAIL
# Test  11: pointer variable subtraction ... Failed to find match 10: R6_w=inv(id=0,umax_value=60,var_off=(0x0; 0x3c))
# func#0 @0
# 0: R1=ctx(id=0,off=0,imm=0) R10=fp0
# 0: (61) r2 = *(u32 *)(r1 +76)
# 1: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R10=fp0
# 1: (61) r3 = *(u32 *)(r1 +80)
# 2: R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 2: (bf) r0 = r2
# 3: R0_w=pkt(id=0,off=0,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 3: (07) r0 += 8
# 4: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 4: (3d) if r3 >= r0 goto pc+1
#  R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: R0_w=pkt(id=0,off=8,r=0,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=0,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 5: (95) exit
# 6: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R10=fp0
# 6: (71) r6 = *(u8 *)(r2 +0)
# 7: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 7: (bf) r7 = r6
# 8: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 8: (57) r6 &= 15
# 9: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=15,var_off=(0x0; 0xf),var32_off=(0x0; 0xf)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 9: (67) r6 <<= 2
# 10: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umax_value=60,var_off=(0x0; 0x3c),var32_off=(0x0; 0x3c)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 10: (07) r6 += 14
# 11: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 11: (bf) r5 = r2
# 12: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=0,off=0,r=8,imm=0) R6_w=inv(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 12: (1f) r5 -= r6
# last_idx 12 first_idx 0
# regs=40 stack=0 before 11: (bf) r5 = r2
# regs=40 stack=0 before 10: (07) r6 += 14
# regs=40 stack=0 before 9: (67) r6 <<= 2
# regs=40 stack=0 before 8: (57) r6 &= 15
# regs=40 stack=0 before 7: (bf) r7 = r6
# regs=40 stack=0 before 6: (71) r6 = *(u8 *)(r2 +0)
# 13: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=0,r=8,umin_value=18446744073709551542,umax_value=18446744073709551602,var_off=(0xffffffffffffff82; 0x7c),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=inv(id=0,umax_value=255,var_off=(0x0; 0xff),var32_off=(0x0; 0xff)) R10=fp0
# 13: (67) r7 <<= 2
# 14: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=0,r=8,umin_value=18446744073709551542,umax_value=18446744073709551602,var_off=(0xffffffffffffff82; 0x7c),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=inv(id=0,umax_value=1020,var_off=(0x0; 0x3fc),var32_off=(0x0; 0x3fc)) R10=fp0
# 14: (07) r7 += 76
# 15: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=1,off=0,r=8,umin_value=18446744073709551542,umax_value=18446744073709551602,var_off=(0xffffffffffffff82; 0x7c),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=inv(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 15: (0f) r5 += r7
# last_idx 15 first_idx 0
# regs=80 stack=0 before 14: (07) r7 += 76
# regs=80 stack=0 before 13: (67) r7 <<= 2
# regs=80 stack=0 before 12: (1f) r5 -= r6
# regs=80 stack=0 before 11: (bf) r5 = r2
# regs=80 stack=0 before 10: (07) r6 += 14
# regs=80 stack=0 before 9: (67) r6 <<= 2
# regs=80 stack=0 before 8: (57) r6 &= 15
# regs=80 stack=0 before 7: (bf) r7 = r6
# regs=40 stack=0 before 6: (71) r6 = *(u8 *)(r2 +0)
# 16: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R5_w=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 16: (bf) r4 = r5
# 17: R0_w=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2_w=pkt(id=0,off=0,r=8,imm=0) R3_w=pkt_end(id=0,off=0,imm=0) R4_w=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5_w=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7_w=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 17: (07) r4 += 4
# 18: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 18: (3d) if r3 >= r4 goto pc+1
#  R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 19: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=0,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 19: (95) exit
# 20: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=4,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=4,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6=invP(id=0,umin_value=14,umax_value=74,var_off=(0x2; 0x7c),var32_off=(0x2; 0x7c)) R7=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 20: (61) r6 = *(u32 *)(r5 +0)
# 21: R0=pkt(id=0,off=8,r=8,imm=0) R1=ctx(id=0,off=0,imm=0) R2=pkt(id=0,off=0,r=8,imm=0) R3=pkt_end(id=0,off=0,imm=0) R4=pkt(id=2,off=4,r=4,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R5=pkt(id=2,off=0,r=4,umin_value=2,umax_value=1082,var_off=(0x2; 0x7fc),s32_min_value=0,s32_max_value=0,u32_max_value=0,var32_off=(0x0; 0x0)) R6_w=inv(id=0,umax_value=4294967295,var_off=(0x0; 0xffffffff),var32_off=(0x0; 0xffffffff)) R7=invP(id=0,umin_value=76,umax_value=1096,var_off=(0x0; 0x7fc),var32_off=(0x0; 0x7fc)) R10=fp0
# 21: (95) exit
# processed 22 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1
# FAIL
# Results: 4 pass 8 fail
not ok 7 selftests: bpf: test_align # exit=1

To reproduce:

        git clone https://github.com/intel/lkp-tests.git
        cd lkp-tests
        bin/lkp install job.yaml  # job file is attached in this email
        bin/lkp run     job.yaml



Thanks,
Rong Chen


View attachment "config-5.6.0-rc3-00213-ga162f637b0857" of type "text/plain" (203561 bytes)

View attachment "job-script" of type "text/plain" (6097 bytes)

Download attachment "kmsg.xz" of type "application/x-xz" (148096 bytes)

View attachment "job.yaml" of type "text/plain" (5178 bytes)

View attachment "reproduce" of type "text/plain" (204 bytes)

Powered by blists - more mailing lists

Powered by Openwall GNU/*/Linux Powered by OpenVZ