| /arkcompiler/runtime_core/tests/verifier-tests/ |
| D | jumps_3.pa | 17 jmp lbl
19 jeqz lbl
21 jeqz lbl
23 lbl:
|
| D | jumps_1.pa | 17 lbl:
19 jeqz lbl
21 jeqz lbl
23 jeqz lbl
|
| D | jumps_2.pa | 17 jeqz lbl
19 jeqz lbl
21 jeqz lbl
23 lbl:
|
| /arkcompiler/runtime_core/static_core/tests/verifier-tests/ |
| D | jumps_2.pa | 17 jeqz lbl
19 jeqz lbl
21 jeqz lbl
23 lbl:
|
| D | jumps_1.pa | 17 lbl:
19 jeqz lbl
21 jeqz lbl
23 jeqz lbl
|
| D | jumps_3.pa | 17 jmp lbl
19 jeqz lbl
21 jeqz lbl
23 lbl:
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | jlt.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jle.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jge.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jgt.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jne.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jeq.yaml | 39 lbl:
42 - values: ["v256, lbl"]
43 - values: ["v65535, lbl"]
44 - values: ["v65536, lbl"]
45 - values: ["a0, lbl"]
46 - values: ["a256, lbl"]
47 - values: ["a65535, lbl"]
48 - values: ["lbl"]
51 - values: ["# v1, lbl"]
52 - values: ["V1, lbl"]
[all …]
|
| D | jne.obj.yaml | 48 lbl:
51 - values: ["v256, lbl"]
52 - values: ["v65535, lbl"]
53 - values: ["v65536, lbl"]
54 - values: ["a0, lbl"]
55 - values: ["a256, lbl"]
56 - values: ["a65535, lbl"]
57 - values: ["lbl"]
60 - values: ["# v1, lbl"]
61 - values: ["V1, lbl"]
[all …]
|
| D | jeq.obj.yaml | 48 lbl:
51 - values: ["v256, lbl"]
52 - values: ["v65535, lbl"]
53 - values: ["v65536, lbl"]
54 - values: ["a0, lbl"]
55 - values: ["a256, lbl"]
56 - values: ["a65535, lbl"]
57 - values: ["lbl"]
60 - values: ["# v1, lbl"]
61 - values: ["V1, lbl"]
[all …]
|
| D | jnez.obj.yaml | 44 lbl:
50 - values: ["v1, lbl"]
52 - values: ["# lbl"]
53 - values: ["Lbl"]
54 - values: ["LBL"]
66 jnez.obj lbl
69 lbl:
397 lbl:
398 jnez.obj lbl
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | jeq.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jne.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jge.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jgt.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jlt.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jle.yaml | 40 lbl:
43 - values: ["v256, lbl"]
44 - values: ["v65535, lbl"]
45 - values: ["v65536, lbl"]
46 - values: ["a0, lbl"]
47 - values: ["a256, lbl"]
48 - values: ["a65535, lbl"]
49 - values: ["lbl"]
52 - values: ["# v1, lbl"]
53 - values: ["V1, lbl"]
[all …]
|
| D | jne.obj.yaml | 53 lbl:
56 - values: ["v256, lbl"]
57 - values: ["v65535, lbl"]
58 - values: ["v65536, lbl"]
59 - values: ["a0, lbl"]
60 - values: ["a256, lbl"]
61 - values: ["a65535, lbl"]
62 - values: ["lbl"]
65 - values: ["# v1, lbl"]
66 - values: ["V1, lbl"]
[all …]
|
| D | jeq.obj.yaml | 53 lbl:
56 - values: ["v256, lbl"]
57 - values: ["v65535, lbl"]
58 - values: ["v65536, lbl"]
59 - values: ["a0, lbl"]
60 - values: ["a256, lbl"]
61 - values: ["a65535, lbl"]
62 - values: ["lbl"]
65 - values: ["# v1, lbl"]
66 - values: ["V1, lbl"]
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | cflow_checks.md | 92 lbl: <-----\
96 jeqz lbl -+
241 jmp lbl ---\
246 lbl: <------/
273 lbl:
300 lbl: <-------\
307 jmp lbl ---/
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | cflow_checks.md | 92 lbl: <-----\
96 jeqz lbl -+
241 jmp lbl ---\
246 lbl: <------/
273 lbl:
300 lbl: <-------\
307 jmp lbl ---/
|