104 failures reported in test_verifier from ubuntu_bpf with J-realtime openstack arm64

[Po-Hsu Lin]

This is not a regression, this issue can be seen after we start testing on openstack with 5.15.0-1036.39 in sru-20230320, we just need a new bug to record different failures reported there.

There are 104 failures reported in this test_verifier tests with J/realtime openstack arm64. Failed cases as follows:
 #21/u BPF_ATOMIC_AND without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 53 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #21/p BPF_ATOMIC_AND without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 41 usec
 stack depth 8
 processed 10 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #22/u BPF_ATOMIC_AND with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 56 usec
 stack depth 8
 processed 16 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #22/p BPF_ATOMIC_AND with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 47 usec
 stack depth 8
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #23/u BPF_ATOMIC_AND with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 72 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #23/p BPF_ATOMIC_AND with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 63 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #24/u BPF_ATOMIC_AND with fetch - r0 as source reg FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 47 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #24/p BPF_ATOMIC_AND with fetch - r0 as source reg FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 40 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #25/p BPF_ATOMIC bounds propagation, mem->reg FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 33 usec
 stack depth 8
 processed 6 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #26/u atomic compare-and-exchange smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 94 usec
 stack depth 8
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

 #26/p atomic compare-and-exchange smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 61 usec
 stack depth 8
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

 #27/u atomic compare-and-exchange smoketest - 32bit FAIL
 Unexpected verifier log!
 EXP: R0 leaks addr into mem
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 leaks addr into mem
     RES: verification time 109 usec
 stack depth 4
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

 verification time 109 usec
 stack depth 4
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

 #27/p atomic compare-and-exchange smoketest - 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 288 usec
 stack depth 4
 processed 23 insns (limit 1000000) max_states_per_insn 0 total_states 2 peak_states 2 mark_read 1

 #30/u BPF_W cmpxchg should zero top 32 bits FAIL
 Unexpected verifier log!
 EXP: R0 leaks addr into mem
 RES:
 FAIL
 Unexpected error message!
     EXP: R0 leaks addr into mem
     RES: verification time 66 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 verification time 66 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 #30/p BPF_W cmpxchg should zero top 32 bits FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 173 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 #31/p Dest pointer in r0 - succeed, check 2 FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 28 usec
 stack depth 8
 processed 7 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #33/p Dest pointer in r0 - succeed, check 4 FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 56 usec
 stack depth 8
 processed 7 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #35/u BPF_ATOMIC_FETCH_ADD smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 55 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #35/p BPF_ATOMIC_FETCH_ADD smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 46 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #36/u BPF_ATOMIC_FETCH_ADD smoketest - 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 64 usec
 stack depth 4
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #36/p BPF_ATOMIC_FETCH_ADD smoketest - 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 196 usec
 stack depth 4
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #41/u BPF_ATOMIC OR without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 75 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #41/p BPF_ATOMIC OR without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 43 usec
 stack depth 8
 processed 10 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #42/u BPF_ATOMIC OR with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 57 usec
 stack depth 8
 processed 16 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #42/p BPF_ATOMIC OR with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 155 usec
 stack depth 8
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #43/u BPF_ATOMIC OR with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 190 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #43/p BPF_ATOMIC OR with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 123 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #44/u BPF_W atomic_fetch_or should zero top 32 bits FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 53 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 #44/p BPF_W atomic_fetch_or should zero top 32 bits FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 49 usec
 stack depth 8
 processed 13 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 0

 #45/u atomic exchange smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 51 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #45/p atomic exchange smoketest - 64bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 40 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #46/u atomic exchange smoketest - 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 91 usec
 stack depth 4
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #46/p atomic exchange smoketest - 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 164 usec
 stack depth 4
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #47/u BPF_ATOMIC XOR without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 150 usec
 stack depth 8
 processed 12 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #47/p BPF_ATOMIC XOR without fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 37 usec
 stack depth 8
 processed 10 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #48/u BPF_ATOMIC XOR with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 57 usec
 stack depth 8
 processed 16 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #48/p BPF_ATOMIC XOR with fetch FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 45 usec
 stack depth 8
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #49/u BPF_ATOMIC XOR with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 77 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #49/p BPF_ATOMIC XOR with fetch 32bit FAIL
 Failed to load prog 'Unknown error 524'!
 verification time 175 usec
 stack depth 4
 processed 14 insns (limit 1000000) max_states_per_insn 0 total_states 1 peak_states 1 mark_read 1

 #143/p bpf_get_stack return R0 within range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #150/p calls: trigger reg2btf_ids[reg->type] for reg->type > __BPF_REG_TYPE_MAX FAIL
 Unexpected verifier log!
 EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
 RES:
 FAIL
 Unexpected error message!
     EXP: arg#0 pointer type STRUCT prog_test_ref_kfunc must point
     RES: JIT does not support calling kernel function
 verification time 12 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 JIT does not support calling kernel function
 verification time 12 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #511/p helper access to variable memory: map, JMP, correct bounds FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #512/p helper access to variable memory: map, JMP, wrong max FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=49
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=49
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #513/p helper access to variable memory: map adjusted, JMP, correct bounds FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #514/p helper access to variable memory: map adjusted, JMP, wrong max FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #525/p helper access to variable memory: size = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #526/p helper access to variable memory: size possible = 0 allowed on != NULL stack pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #527/p helper access to variable memory: size possible = 0 allowed on != NULL map pointer (!ARG_PTR_TO_MEM_OR_NULL) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #551/p helper access to map: full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #552/p helper access to map: partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #553/p helper access to map: empty range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=0
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=0
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #554/p helper access to map: out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=0 size=56
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=0 size=56
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #555/p helper access to map: negative range FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #556/p helper access to adjusted map (via const imm): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #557/p helper access to adjusted map (via const imm): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #558/p helper access to adjusted map (via const imm): empty range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=0
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=0
     RES: trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #559/p helper access to adjusted map (via const imm): out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=52
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=52
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #560/p helper access to adjusted map (via const imm): negative range (> adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #561/p helper access to adjusted map (via const imm): negative range (< adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #562/p helper access to adjusted map (via const reg): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #563/p helper access to adjusted map (via const reg): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #564/p helper access to adjusted map (via const reg): empty range FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #565/p helper access to adjusted map (via const reg): out-of-bound range FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=52
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=52
     RES: trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #566/p helper access to adjusted map (via const reg): negative range (> adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #567/p helper access to adjusted map (via const reg): negative range (< adjustment) FAIL
 Unexpected verifier log!
 EXP: R2 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #568/p helper access to adjusted map (via variable): full range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #569/p helper access to adjusted map (via variable): partial range FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #570/p helper access to adjusted map (via variable): empty range FAIL
 Unexpected verifier log!
 EXP: R1 min value is outside of the allowed memory range
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is outside of the allowed memory range
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #571/p helper access to adjusted map (via variable): no max check FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #572/p helper access to adjusted map (via variable): wrong max check FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=4 size=45
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=4 size=45
     RES: trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #573/p helper access to map: bounds check using <, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #574/p helper access to map: bounds check using <, bad access FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #575/p helper access to map: bounds check using <=, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #576/p helper access to map: bounds check using <=, bad access FAIL
 Unexpected verifier log!
 EXP: R1 unbounded memory access
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 unbounded memory access
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #577/p helper access to map: bounds check using s<, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #578/p helper access to map: bounds check using s<, good access 2 FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #579/p helper access to map: bounds check using s<, bad access FAIL
 Unexpected verifier log!
 EXP: R1 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #580/p helper access to map: bounds check using s<=, good access FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #581/p helper access to map: bounds check using s<=, good access 2 FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #582/p helper access to map: bounds check using s<=, bad access FAIL
 Unexpected verifier log!
 EXP: R1 min value is negative
 RES:
 FAIL
 Unexpected error message!
     EXP: R1 min value is negative
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #583/p map lookup helper access to map FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #584/p map update helper access to map FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #585/p map update helper access to map: wrong size FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=8 off=0 size=16
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=8 off=0 size=16
     RES: trace type programs can only use preallocated hash map
 verification time 68 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 68 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #586/p map helper access to adjusted map (via const imm) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #587/p map helper access to adjusted map (via const imm): out-of-bound 1 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=12 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=12 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #588/p map helper access to adjusted map (via const imm): out-of-bound 2 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=-4 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=-4 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 16 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #589/p map helper access to adjusted map (via const reg) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #590/p map helper access to adjusted map (via const reg): out-of-bound 1 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=12 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=12 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #591/p map helper access to adjusted map (via const reg): out-of-bound 2 FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=-4 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=-4 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #592/p map helper access to adjusted map (via variable) FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 17 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #593/p map helper access to adjusted map (via variable): no max check FAIL
 Unexpected verifier log!
 EXP: R2 unbounded memory access, make sure to bounds check any such access
 RES:
 FAIL
 Unexpected error message!
     EXP: R2 unbounded memory access, make sure to bounds check any such access
     RES: trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #594/p map helper access to adjusted map (via variable): wrong max check FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=16 off=9 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=16 off=9 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 15 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #868/p regalloc basic FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #869/p regalloc negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=48 size=1
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=48 size=1
     RES: trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #870/p regalloc src_reg mark FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #871/p regalloc src_reg negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=44 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=44 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #872/p regalloc and spill FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 22 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #873/p regalloc and spill negative FAIL
 Unexpected verifier log!
 EXP: invalid access to map value, value_size=48 off=48 size=8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid access to map value, value_size=48 off=48 size=8
     RES: trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #874/p regalloc three regs FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #875/p regalloc after call FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 20 usec
 stack depth 0+0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #876/p regalloc in callee FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 23 usec
 stack depth 0+0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #877/p regalloc, spill, JEQ FAIL
 Failed to load prog 'Invalid argument'!
 trace type programs can only use preallocated hash map
 verification time 21 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #897/p search pruning: all branches should be verified (nop operation) FAIL
 Unexpected verifier log!
 EXP: R6 invalid mem access 'inv'
 RES:
 FAIL
 Unexpected error message!
     EXP: R6 invalid mem access 'inv'
     RES: trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 19 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 #898/p search pruning: all branches should be verified (invalid stack access) FAIL
 Unexpected verifier log!
 EXP: invalid read from stack off -16+0 size 8
 RES:
 FAIL
 Unexpected error message!
     EXP: invalid read from stack off -16+0 size 8
     RES: trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 trace type programs can only use preallocated hash map
 verification time 18 usec
 stack depth 0
 processed 0 insns (limit 1000000) max_states_per_insn 0 total_states 0 peak_states 0 mark_read 0

 Summary: 1717 PASSED, 0 SKIPPED, 104 FAILED

Please find attachment for complete test log.