Verifier stucks while verifying the loop program

[pcy190]

ebpf-verifier-check stuck while verifying the following program with the default option (i.e., the termination check is disabled by default):

the hex dump of the instruction stream:

0f57 0000 0000 0003 0020 0000 0000 0000
00c7 0000 0001 61df 6063 7465 0000 0000
0065 fffc 0008 ff00 00c7 0000 0085 ab01
0005 fffe 0000 0000 

the assembly format of this instruction stream:

        0:      r15 &= 196608
       1:       r0 = *(u32 *)skb[]
       2:       r0 >>>= 1642004481
       3:       *(u32 *)(r0 + 29797) = r6
       4:       if r0 s> -16777208 goto -4 <1>
       5:       r0 >>>= -1425997691
       6:       goto -2 <5>