john/cell
1
0
Fork 0
Code Issues 31 Pull Requests Actions Packages Projects Releases 2 Wiki Activity
Files
356c51bde3c5787eaa7892d6821160d46fb6be9f
cell/boot/verify_ir.cm.mcode

24524 lines
237 KiB
Plaintext
Raw Blame History

{
"name": "verify_ir.cm",
"functions": [
{
"disruption_pc": 0,
"nr_slots": 89,
"nr_close_slots": 0,
"instructions": [
[
"load_field",
12,
1,
"instructions",
150,
22
],
[
"move",
3,
12,
150,
22
],
[
"load_field",
13,
1,
"nr_slots",
151,
18
],
[
"move",
2,
13,
151,
18
],
[
"array",
14,
0,
152,
16
],
[
"move",
10,
14,
152,
16
],
[
"access",
11,
0,
153,
11
],
[
"null",
6,
154,
15
],
[
"null",
8,
155,
12
],
[
"null",
5,
156,
19
],
[
"access",
9,
0,
157,
11
],
[
"null",
4,
158,
13
],
[
"null",
7,
159,
13
],
[
"null",
15,
161,
23
],
[
"is_identical",
16,
3,
15,
161,
23
],
[
"jump_true",
16,
"eq_done_2",
161,
23
],
[
"is_int",
17,
3,
161,
23
],
[
"jump_false",
17,
"eq_ni_3",
161,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_3",
161,
23
],
[
"eq_int",
16,
3,
15,
161,
23
],
[
"jump",
"eq_done_2",
161,
23
],
"eq_ni_3",
[
"is_num",
17,
3,
161,
23
],
[
"jump_false",
17,
"eq_nn_4",
161,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_4",
161,
23
],
[
"eq_float",
16,
3,
15,
161,
23
],
[
"jump",
"eq_done_2",
161,
23
],
"eq_nn_4",
[
"is_text",
17,
3,
161,
23
],
[
"jump_false",
17,
"eq_nt_5",
161,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_5",
161,
23
],
[
"eq_text",
16,
3,
15,
161,
23
],
[
"jump",
"eq_done_2",
161,
23
],
"eq_nt_5",
[
"is_null",
17,
3,
161,
23
],
[
"jump_false",
17,
"eq_nnl_6",
161,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
16,
161,
23
],
[
"jump",
"eq_done_2",
161,
23
],
"eq_nnl_6",
[
"is_bool",
17,
3,
161,
23
],
[
"jump_false",
17,
"eq_nb_7",
161,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_7",
161,
23
],
[
"eq_bool",
16,
3,
15,
161,
23
],
[
"jump",
"eq_done_2",
161,
23
],
"eq_nb_7",
[
"false",
16,
161,
23
],
"eq_done_2",
[
"jump_false",
16,
"if_else_0",
161,
23
],
[
"return",
10,
161,
36
],
"_nop_ur_1",
"if_else_0",
"if_end_1",
"while_start_8",
[
"length",
19,
3,
163,
21
],
[
"is_int",
21,
11,
163,
21
],
[
"jump_false",
21,
"rel_ni_10",
163,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
20,
11,
19,
163,
21
],
[
"jump",
"rel_done_12",
163,
21
],
"rel_ni_10",
[
"is_num",
21,
11,
163,
21
],
[
"jump_false",
21,
"rel_nn_11",
163,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
20,
11,
19,
163,
21
],
[
"jump",
"rel_done_12",
163,
21
],
"rel_nn_11",
[
"is_text",
21,
11,
163,
21
],
[
"jump_false",
21,
"rel_err_13",
163,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_13",
163,
21
],
[
"lt_text",
20,
11,
19,
163,
21
],
[
"jump",
"rel_done_12",
163,
21
],
"rel_err_13",
[
"disrupt",
163,
21
],
"rel_done_12",
[
"jump_false",
20,
"while_end_9",
163,
21
],
[
"load_dynamic",
23,
3,
11,
164,
26
],
[
"move",
6,
23,
164,
26
],
[
"is_array",
24,
6,
165,
18
],
[
"jump_false",
24,
"if_else_14",
165,
18
],
[
"access",
25,
0,
166,
18
],
[
"load_index",
26,
6,
25,
166,
18
],
[
"move",
8,
26,
166,
18
],
[
"get",
27,
3,
1,
167,
19
],
[
"load_dynamic",
28,
27,
8,
167,
34
],
[
"move",
5,
28,
167,
34
],
[
"null",
29,
168,
24
],
[
"is_identical",
30,
5,
29,
168,
24
],
[
"jump_true",
30,
"ne_nid_19",
168,
24
],
[
"jump",
"ne_ni_20",
168,
24
],
"ne_nid_19",
[
"false",
30,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_ni_20",
[
"is_int",
31,
5,
168,
24
],
[
"jump_false",
31,
"ne_nn_21",
168,
24
],
"_nop_tc_12",
[
"jump",
"ne_nn_21",
168,
24
],
[
"ne_int",
30,
5,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nn_21",
[
"is_num",
31,
5,
168,
24
],
[
"jump_false",
31,
"ne_nt_22",
168,
24
],
"_nop_tc_13",
[
"jump",
"ne_nt_22",
168,
24
],
[
"ne_float",
30,
5,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nt_22",
[
"is_text",
31,
5,
168,
24
],
[
"jump_false",
31,
"ne_nnl_23",
168,
24
],
"_nop_tc_14",
[
"jump",
"ne_nnl_23",
168,
24
],
[
"ne_text",
30,
5,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nnl_23",
[
"is_null",
31,
5,
168,
24
],
[
"jump_false",
31,
"ne_nb_24",
168,
24
],
"_nop_tc_15",
"_nop_tc_16",
[
"false",
30,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nb_24",
[
"is_bool",
31,
5,
168,
24
],
[
"jump_false",
31,
"ne_mis_25",
168,
24
],
"_nop_tc_17",
[
"jump",
"ne_mis_25",
168,
24
],
[
"ne_bool",
30,
5,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_mis_25",
[
"true",
30,
168,
24
],
"ne_done_18",
[
"jump_false",
30,
"if_else_16",
168,
24
],
[
"access",
33,
0,
169,
13
],
[
"move",
9,
33,
169,
13
],
"while_start_26",
[
"length",
34,
5,
170,
27
],
[
"is_int",
36,
9,
170,
27
],
[
"jump_false",
36,
"rel_ni_28",
170,
27
],
"_nop_tc_18",
"_nop_tc_19",
[
"lt_int",
35,
9,
34,
170,
27
],
[
"jump",
"rel_done_30",
170,
27
],
"rel_ni_28",
[
"is_num",
36,
9,
170,
27
],
[
"jump_false",
36,
"rel_nn_29",
170,
27
],
"_nop_tc_20",
"_nop_tc_21",
[
"lt_float",
35,
9,
34,
170,
27
],
[
"jump",
"rel_done_30",
170,
27
],
"rel_nn_29",
[
"is_text",
36,
9,
170,
27
],
[
"jump_false",
36,
"rel_err_31",
170,
27
],
"_nop_tc_22",
[
"jump",
"rel_err_31",
170,
27
],
[
"lt_text",
35,
9,
34,
170,
27
],
[
"jump",
"rel_done_30",
170,
27
],
"rel_err_31",
[
"disrupt",
170,
27
],
"rel_done_30",
[
"jump_false",
35,
"while_end_27",
170,
27
],
[
"load_dynamic",
38,
5,
9,
171,
27
],
[
"access",
39,
1,
171,
32
],
[
"add",
40,
38,
39,
171,
32
],
[
"move",
4,
40,
171,
32
],
[
"length",
41,
6,
172,
28
],
[
"access",
42,
2,
172,
37
],
[
"subtract",
43,
41,
42,
172,
37
],
[
"is_int",
45,
4,
172,
37
],
[
"jump_false",
45,
"rel_ni_34",
172,
37
],
[
"is_int",
46,
43,
172,
37
],
[
"jump_false",
46,
"rel_ni_34",
172,
37
],
[
"lt_int",
44,
4,
43,
172,
37
],
[
"jump",
"rel_done_36",
172,
37
],
"rel_ni_34",
[
"is_num",
45,
4,
172,
37
],
[
"jump_false",
45,
"rel_nn_35",
172,
37
],
[
"is_num",
46,
43,
172,
37
],
[
"jump_false",
46,
"rel_nn_35",
172,
37
],
[
"lt_float",
44,
4,
43,
172,
37
],
[
"jump",
"rel_done_36",
172,
37
],
"rel_nn_35",
[
"is_text",
45,
4,
172,
37
],
[
"jump_false",
45,
"rel_err_37",
172,
37
],
[
"is_text",
46,
43,
172,
37
],
[
"jump_false",
46,
"rel_err_37",
172,
37
],
[
"lt_text",
44,
4,
43,
172,
37
],
[
"jump",
"rel_done_36",
172,
37
],
"rel_err_37",
[
"disrupt",
172,
37
],
"rel_done_36",
[
"jump_false",
44,
"if_else_32",
172,
37
],
[
"load_dynamic",
47,
6,
4,
173,
25
],
[
"move",
7,
47,
173,
25
],
[
"is_num",
48,
7,
174,
27
],
[
"move",
49,
48,
174,
27
],
[
"jump_false",
49,
"and_end_40",
174,
27
],
[
"access",
50,
0,
174,
42
],
[
"is_int",
52,
7,
174,
42
],
[
"jump_false",
52,
"rel_ni_42",
174,
42
],
"_nop_tc_23",
[
"jump",
"rel_ni_42",
174,
42
],
[
"lt_int",
51,
7,
50,
174,
42
],
[
"jump",
"rel_done_44",
174,
42
],
"rel_ni_42",
[
"is_num",
52,
7,
174,
42
],
[
"jump_false",
52,
"rel_nn_43",
174,
42
],
"_nop_tc_24",
"_nop_tc_25",
[
"lt_float",
51,
7,
50,
174,
42
],
[
"jump",
"rel_done_44",
174,
42
],
"rel_nn_43",
[
"is_text",
52,
7,
174,
42
],
[
"jump_false",
52,
"rel_err_45",
174,
42
],
"_nop_tc_26",
[
"jump",
"rel_err_45",
174,
42
],
[
"lt_text",
51,
7,
50,
174,
42
],
[
"jump",
"rel_done_44",
174,
42
],
"rel_err_45",
[
"disrupt",
174,
42
],
"rel_done_44",
[
"move",
54,
51,
174,
42
],
[
"jump_true",
54,
"or_end_41",
174,
42
],
[
"is_int",
56,
7,
174,
54
],
[
"jump_false",
56,
"rel_ni_46",
174,
54
],
[
"is_int",
57,
2,
174,
54
],
[
"jump_false",
57,
"rel_ni_46",
174,
54
],
[
"ge_int",
55,
7,
2,
174,
54
],
[
"jump",
"rel_done_48",
174,
54
],
"rel_ni_46",
[
"is_num",
56,
7,
174,
54
],
[
"jump_false",
56,
"rel_nn_47",
174,
54
],
[
"is_num",
57,
2,
174,
54
],
[
"jump_false",
57,
"rel_nn_47",
174,
54
],
[
"ge_float",
55,
7,
2,
174,
54
],
[
"jump",
"rel_done_48",
174,
54
],
"rel_nn_47",
[
"is_text",
56,
7,
174,
54
],
[
"jump_false",
56,
"rel_err_49",
174,
54
],
[
"is_text",
57,
2,
174,
54
],
[
"jump_false",
57,
"rel_err_49",
174,
54
],
[
"ge_text",
55,
7,
2,
174,
54
],
[
"jump",
"rel_done_48",
174,
54
],
"rel_err_49",
[
"disrupt",
174,
54
],
"rel_done_48",
[
"move",
54,
55,
174,
54
],
"or_end_41",
[
"move",
49,
54,
174,
54
],
"and_end_40",
[
"jump_false",
49,
"if_else_38",
174,
54
],
[
"access",
59,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
60,
59,
1,
1,
1
],
[
"null",
61,
1,
1
],
[
"setarg",
60,
0,
61,
1,
1
],
[
"setarg",
60,
1,
11,
1,
1
],
[
"invoke",
60,
58,
1,
1
],
[
"load_dynamic",
62,
5,
9,
1,
16
],
[
"access",
64,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
65,
64,
1,
1,
1
],
[
"null",
66,
1,
1
],
[
"setarg",
65,
0,
66,
1,
1
],
[
"setarg",
65,
1,
62,
1,
1
],
[
"invoke",
65,
63,
1,
1
],
[
"access",
68,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
69,
68,
1,
1,
1
],
[
"null",
70,
1,
1
],
[
"setarg",
69,
0,
70,
1,
1
],
[
"setarg",
69,
1,
7,
1,
1
],
[
"invoke",
69,
67,
1,
1
],
[
"access",
71,
1,
1,
17
],
[
"subtract",
72,
2,
71,
1,
17
],
[
"access",
74,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
75,
74,
1,
1,
1
],
[
"null",
76,
1,
1
],
[
"setarg",
75,
0,
76,
1,
1
],
[
"setarg",
75,
1,
72,
1,
1
],
[
"invoke",
75,
73,
1,
1
],
[
"array",
77,
0,
1,
1
],
[
"push",
77,
58,
1,
1
],
[
"push",
77,
8,
1,
1
],
[
"push",
77,
63,
1,
1
],
[
"push",
77,
67,
1,
1
],
[
"push",
77,
73,
1,
1
],
[
"access",
78,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
79,
"slot_bounds: instr {0} op={1} slot[{2}]={3} out of range 0..{4}",
1,
1
],
[
"frame",
81,
78,
2,
1,
1
],
[
"null",
82,
1,
1
],
[
"setarg",
81,
0,
82,
1,
1
],
[
"setarg",
81,
1,
79,
1,
1
],
[
"setarg",
81,
2,
77,
1,
1
],
[
"invoke",
81,
80,
1,
1
],
[
"is_array",
83,
10,
1,
1
],
[
"jump_false",
83,
"push_err_50",
1,
1
],
[
"push",
10,
80,
1,
1
],
[
"jump",
"push_done_51",
1,
1
],
"push_err_50",
[
"disrupt",
1,
1
],
"push_done_51",
[
"jump",
"if_end_39",
1,
1
],
"if_else_38",
"if_end_39",
[
"jump",
"if_end_33",
1,
1
],
"if_else_32",
"if_end_33",
[
"access",
84,
1,
178,
19
],
[
"add",
85,
9,
84,
178,
19
],
[
"move",
9,
85,
178,
19
],
[
"jump",
"while_start_26",
178,
19
],
"while_end_27",
[
"jump",
"if_end_17",
178,
19
],
"if_else_16",
"if_end_17",
[
"jump",
"if_end_15",
178,
19
],
"if_else_14",
"if_end_15",
[
"access",
86,
1,
182,
13
],
[
"add",
87,
11,
86,
182,
13
],
[
"move",
11,
87,
182,
13
],
[
"jump",
"while_start_8",
182,
13
],
"while_end_9",
[
"return",
10,
184,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 72,
"nr_close_slots": 0,
"instructions": [
[
"load_field",
10,
1,
"instructions",
190,
22
],
[
"move",
5,
10,
190,
22
],
[
"array",
11,
0,
191,
16
],
[
"move",
7,
11,
191,
16
],
[
"record",
12,
0
],
[
"move",
2,
12,
192,
16
],
[
"access",
8,
0,
193,
11
],
[
"null",
4,
194,
15
],
[
"null",
6,
195,
12
],
[
"null",
9,
196,
19
],
[
"null",
3,
197,
16
],
[
"null",
13,
199,
23
],
[
"is_identical",
14,
5,
13,
199,
23
],
[
"jump_true",
14,
"eq_done_54",
199,
23
],
[
"is_int",
15,
5,
199,
23
],
[
"jump_false",
15,
"eq_ni_55",
199,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_55",
199,
23
],
[
"eq_int",
14,
5,
13,
199,
23
],
[
"jump",
"eq_done_54",
199,
23
],
"eq_ni_55",
[
"is_num",
15,
5,
199,
23
],
[
"jump_false",
15,
"eq_nn_56",
199,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_56",
199,
23
],
[
"eq_float",
14,
5,
13,
199,
23
],
[
"jump",
"eq_done_54",
199,
23
],
"eq_nn_56",
[
"is_text",
15,
5,
199,
23
],
[
"jump_false",
15,
"eq_nt_57",
199,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_57",
199,
23
],
[
"eq_text",
14,
5,
13,
199,
23
],
[
"jump",
"eq_done_54",
199,
23
],
"eq_nt_57",
[
"is_null",
15,
5,
199,
23
],
[
"jump_false",
15,
"eq_nnl_58",
199,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
14,
199,
23
],
[
"jump",
"eq_done_54",
199,
23
],
"eq_nnl_58",
[
"is_bool",
15,
5,
199,
23
],
[
"jump_false",
15,
"eq_nb_59",
199,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_59",
199,
23
],
[
"eq_bool",
14,
5,
13,
199,
23
],
[
"jump",
"eq_done_54",
199,
23
],
"eq_nb_59",
[
"false",
14,
199,
23
],
"eq_done_54",
[
"jump_false",
14,
"if_else_52",
199,
23
],
[
"return",
7,
199,
36
],
"_nop_ur_1",
"if_else_52",
"if_end_53",
"while_start_60",
[
"length",
17,
5,
202,
21
],
[
"is_int",
19,
8,
202,
21
],
[
"jump_false",
19,
"rel_ni_62",
202,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
18,
8,
17,
202,
21
],
[
"jump",
"rel_done_64",
202,
21
],
"rel_ni_62",
[
"is_num",
19,
8,
202,
21
],
[
"jump_false",
19,
"rel_nn_63",
202,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
18,
8,
17,
202,
21
],
[
"jump",
"rel_done_64",
202,
21
],
"rel_nn_63",
[
"is_text",
19,
8,
202,
21
],
[
"jump_false",
19,
"rel_err_65",
202,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_65",
202,
21
],
[
"lt_text",
18,
8,
17,
202,
21
],
[
"jump",
"rel_done_64",
202,
21
],
"rel_err_65",
[
"disrupt",
202,
21
],
"rel_done_64",
[
"jump_false",
18,
"while_end_61",
202,
21
],
[
"load_dynamic",
21,
5,
8,
203,
26
],
[
"move",
4,
21,
203,
26
],
[
"is_text",
22,
4,
204,
17
],
[
"move",
23,
22,
204,
17
],
[
"jump_false",
23,
"and_end_68",
204,
17
],
[
"access",
24,
"_nop_",
204,
47
],
[
"access",
26,
{
"name": "starts_with",
"kind": "name",
"make": "intrinsic"
},
204,
28
],
[
"frame",
27,
26,
2,
204,
28
],
[
"null",
28,
204,
28
],
[
"setarg",
27,
0,
28,
204,
28
],
[
"setarg",
27,
1,
4,
204,
28
],
[
"setarg",
27,
2,
24,
204,
28
],
[
"invoke",
27,
25,
204,
28
],
[
"not",
29,
25,
204,
28
],
[
"move",
23,
29,
204,
28
],
"and_end_68",
[
"jump_false",
23,
"if_else_66",
204,
28
],
[
"true",
30,
205,
23
],
[
"store_dynamic",
2,
30,
4,
205,
14
],
[
"jump",
"if_end_67",
205,
14
],
"if_else_66",
"if_end_67",
[
"access",
31,
1,
207,
13
],
[
"add",
32,
8,
31,
207,
13
],
[
"move",
8,
32,
207,
13
],
[
"jump",
"while_start_60",
207,
13
],
"while_end_61",
[
"access",
33,
0,
211,
7
],
[
"move",
8,
33,
211,
7
],
"while_start_69",
[
"length",
34,
5,
212,
21
],
[
"is_int",
36,
8,
212,
21
],
[
"jump_false",
36,
"rel_ni_71",
212,
21
],
"_nop_tc_12",
"_nop_tc_13",
[
"lt_int",
35,
8,
34,
212,
21
],
[
"jump",
"rel_done_73",
212,
21
],
"rel_ni_71",
[
"is_num",
36,
8,
212,
21
],
[
"jump_false",
36,
"rel_nn_72",
212,
21
],
"_nop_tc_14",
"_nop_tc_15",
[
"lt_float",
35,
8,
34,
212,
21
],
[
"jump",
"rel_done_73",
212,
21
],
"rel_nn_72",
[
"is_text",
36,
8,
212,
21
],
[
"jump_false",
36,
"rel_err_74",
212,
21
],
"_nop_tc_16",
[
"jump",
"rel_err_74",
212,
21
],
[
"lt_text",
35,
8,
34,
212,
21
],
[
"jump",
"rel_done_73",
212,
21
],
"rel_err_74",
[
"disrupt",
212,
21
],
"rel_done_73",
[
"jump_false",
35,
"while_end_70",
212,
21
],
[
"load_dynamic",
38,
5,
8,
213,
26
],
[
"move",
4,
38,
213,
26
],
[
"is_array",
39,
4,
214,
18
],
[
"jump_false",
39,
"if_else_75",
214,
18
],
[
"access",
40,
0,
215,
18
],
[
"load_index",
41,
4,
40,
215,
18
],
[
"move",
6,
41,
215,
18
],
[
"get",
42,
6,
1,
216,
19
],
[
"load_dynamic",
43,
42,
6,
216,
34
],
[
"move",
9,
43,
216,
34
],
[
"null",
44,
217,
24
],
[
"is_identical",
45,
9,
44,
217,
24
],
[
"jump_true",
45,
"ne_nid_80",
217,
24
],
[
"jump",
"ne_ni_81",
217,
24
],
"ne_nid_80",
[
"false",
45,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_ni_81",
[
"is_int",
46,
9,
217,
24
],
[
"jump_false",
46,
"ne_nn_82",
217,
24
],
"_nop_tc_17",
[
"jump",
"ne_nn_82",
217,
24
],
[
"ne_int",
45,
9,
44,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_nn_82",
[
"is_num",
46,
9,
217,
24
],
[
"jump_false",
46,
"ne_nt_83",
217,
24
],
"_nop_tc_18",
[
"jump",
"ne_nt_83",
217,
24
],
[
"ne_float",
45,
9,
44,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_nt_83",
[
"is_text",
46,
9,
217,
24
],
[
"jump_false",
46,
"ne_nnl_84",
217,
24
],
"_nop_tc_19",
[
"jump",
"ne_nnl_84",
217,
24
],
[
"ne_text",
45,
9,
44,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_nnl_84",
[
"is_null",
46,
9,
217,
24
],
[
"jump_false",
46,
"ne_nb_85",
217,
24
],
"_nop_tc_20",
"_nop_tc_21",
[
"false",
45,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_nb_85",
[
"is_bool",
46,
9,
217,
24
],
[
"jump_false",
46,
"ne_mis_86",
217,
24
],
"_nop_tc_22",
[
"jump",
"ne_mis_86",
217,
24
],
[
"ne_bool",
45,
9,
44,
217,
24
],
[
"jump",
"ne_done_79",
217,
24
],
"ne_mis_86",
[
"true",
45,
217,
24
],
"ne_done_79",
[
"jump_false",
45,
"if_else_77",
217,
24
],
[
"access",
48,
1,
218,
36
],
[
"add",
49,
9,
48,
218,
36
],
[
"load_dynamic",
50,
4,
49,
218,
36
],
[
"move",
3,
50,
218,
36
],
[
"is_text",
51,
3,
219,
21
],
[
"move",
52,
51,
219,
21
],
[
"jump_false",
52,
"and_end_89",
219,
21
],
[
"load_dynamic",
53,
2,
3,
219,
39
],
[
"true",
54,
219,
50
],
[
"is_identical",
55,
53,
54,
219,
50
],
[
"jump_true",
55,
"ne_nid_91",
219,
50
],
[
"jump",
"ne_ni_92",
219,
50
],
"ne_nid_91",
[
"false",
55,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_ni_92",
[
"is_int",
56,
53,
219,
50
],
[
"jump_false",
56,
"ne_nn_93",
219,
50
],
"_nop_tc_23",
[
"jump",
"ne_nn_93",
219,
50
],
[
"ne_int",
55,
53,
54,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_nn_93",
[
"is_num",
56,
53,
219,
50
],
[
"jump_false",
56,
"ne_nt_94",
219,
50
],
"_nop_tc_24",
[
"jump",
"ne_nt_94",
219,
50
],
[
"ne_float",
55,
53,
54,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_nt_94",
[
"is_text",
56,
53,
219,
50
],
[
"jump_false",
56,
"ne_nnl_95",
219,
50
],
"_nop_tc_25",
[
"jump",
"ne_nnl_95",
219,
50
],
[
"ne_text",
55,
53,
54,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_nnl_95",
[
"is_null",
56,
53,
219,
50
],
[
"jump_false",
56,
"ne_nb_96",
219,
50
],
"_nop_tc_26",
[
"jump",
"ne_nb_96",
219,
50
],
[
"false",
55,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_nb_96",
[
"is_bool",
56,
53,
219,
50
],
[
"jump_false",
56,
"ne_mis_97",
219,
50
],
"_nop_tc_27",
"_nop_tc_28",
[
"ne_bool",
55,
53,
54,
219,
50
],
[
"jump",
"ne_done_90",
219,
50
],
"ne_mis_97",
[
"true",
55,
219,
50
],
"ne_done_90",
[
"move",
52,
55,
219,
50
],
"and_end_89",
[
"jump_false",
52,
"if_else_87",
219,
50
],
[
"access",
59,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
60,
59,
1,
1,
1
],
[
"null",
61,
1,
1
],
[
"setarg",
60,
0,
61,
1,
1
],
[
"setarg",
60,
1,
8,
1,
1
],
[
"invoke",
60,
58,
1,
1
],
[
"array",
62,
0,
1,
1
],
[
"push",
62,
58,
1,
1
],
[
"push",
62,
6,
1,
1
],
[
"push",
62,
3,
1,
1
],
[
"access",
63,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
64,
"jump_targets: instr {0} op={1} target label \"{2}\" not found",
1,
1
],
[
"frame",
66,
63,
2,
1,
1
],
[
"null",
67,
1,
1
],
[
"setarg",
66,
0,
67,
1,
1
],
[
"setarg",
66,
1,
64,
1,
1
],
[
"setarg",
66,
2,
62,
1,
1
],
[
"invoke",
66,
65,
1,
1
],
[
"is_array",
68,
7,
1,
1
],
[
"jump_false",
68,
"push_err_98",
1,
1
],
[
"push",
7,
65,
1,
1
],
[
"jump",
"push_done_99",
1,
1
],
"push_err_98",
[
"disrupt",
1,
1
],
"push_done_99",
[
"jump",
"if_end_88",
1,
1
],
"if_else_87",
"if_end_88",
[
"jump",
"if_end_78",
1,
1
],
"if_else_77",
"if_end_78",
[
"jump",
"if_end_76",
1,
1
],
"if_else_75",
"if_end_76",
[
"access",
69,
1,
224,
13
],
[
"add",
70,
8,
69,
224,
13
],
[
"move",
8,
70,
224,
13
],
[
"jump",
"while_start_69",
224,
13
],
"while_end_70",
[
"return",
7,
226,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 449,
"nr_close_slots": 0,
"instructions": [
[
"load_field",
20,
1,
"instructions",
232,
22
],
[
"move",
4,
20,
232,
22
],
[
"array",
21,
0,
233,
16
],
[
"move",
18,
21,
233,
16
],
[
"record",
22,
0
],
[
"move",
14,
22,
234,
20
],
[
"access",
19,
0,
235,
11
],
[
"null",
12,
236,
15
],
[
"null",
15,
237,
12
],
[
"null",
2,
238,
12
],
[
"null",
13,
239,
12
],
[
"null",
8,
240,
12
],
[
"null",
16,
241,
12
],
[
"null",
23,
243,
23
],
[
"is_identical",
24,
4,
23,
243,
23
],
[
"jump_true",
24,
"eq_done_102",
243,
23
],
[
"is_int",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_ni_103",
243,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_103",
243,
23
],
[
"eq_int",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_102",
243,
23
],
"eq_ni_103",
[
"is_num",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nn_104",
243,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_104",
243,
23
],
[
"eq_float",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_102",
243,
23
],
"eq_nn_104",
[
"is_text",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nt_105",
243,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_105",
243,
23
],
[
"eq_text",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_102",
243,
23
],
"eq_nt_105",
[
"is_null",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nnl_106",
243,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
24,
243,
23
],
[
"jump",
"eq_done_102",
243,
23
],
"eq_nnl_106",
[
"is_bool",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nb_107",
243,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_107",
243,
23
],
[
"eq_bool",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_102",
243,
23
],
"eq_nb_107",
[
"false",
24,
243,
23
],
"eq_done_102",
[
"jump_false",
24,
"if_else_100",
243,
23
],
[
"return",
18,
243,
36
],
"_nop_ur_1",
"if_else_100",
"if_end_101",
[
"access",
10,
"int",
246,
15
],
[
"access",
9,
"float",
247,
17
],
[
"access",
5,
"text",
248,
16
],
[
"access",
6,
"bool",
249,
16
],
[
"record",
27,
0
],
[
"true",
28,
252,
13
],
[
"store_field",
27,
28,
"eq_int",
252,
13
],
[
"true",
29,
252,
27
],
[
"store_field",
27,
29,
"ne_int",
252,
27
],
[
"true",
30,
252,
41
],
[
"store_field",
27,
30,
"lt_int",
252,
41
],
[
"true",
31,
252,
55
],
[
"store_field",
27,
31,
"gt_int",
252,
55
],
[
"true",
32,
252,
69
],
[
"store_field",
27,
32,
"le_int",
252,
69
],
[
"true",
33,
252,
83
],
[
"store_field",
27,
33,
"ge_int",
252,
83
],
[
"move",
3,
27,
252,
83
],
[
"record",
34,
0
],
[
"true",
35,
255,
15
],
[
"store_field",
34,
35,
"eq_float",
255,
15
],
[
"true",
36,
255,
31
],
[
"store_field",
34,
36,
"ne_float",
255,
31
],
[
"true",
37,
255,
47
],
[
"store_field",
34,
37,
"lt_float",
255,
47
],
[
"true",
38,
255,
63
],
[
"store_field",
34,
38,
"gt_float",
255,
63
],
[
"true",
39,
255,
79
],
[
"store_field",
34,
39,
"le_float",
255,
79
],
[
"true",
40,
255,
95
],
[
"store_field",
34,
40,
"ge_float",
255,
95
],
[
"move",
11,
34,
255,
95
],
[
"record",
41,
0
],
[
"true",
42,
258,
14
],
[
"store_field",
41,
42,
"eq_text",
258,
14
],
[
"true",
43,
258,
29
],
[
"store_field",
41,
43,
"ne_text",
258,
29
],
[
"true",
44,
258,
44
],
[
"store_field",
41,
44,
"lt_text",
258,
44
],
[
"true",
45,
258,
59
],
[
"store_field",
41,
45,
"gt_text",
258,
59
],
[
"true",
46,
258,
74
],
[
"store_field",
41,
46,
"le_text",
258,
74
],
[
"true",
47,
258,
89
],
[
"store_field",
41,
47,
"ge_text",
258,
89
],
[
"true",
48,
259,
13
],
[
"store_field",
41,
48,
"concat",
259,
13
],
[
"move",
7,
41,
259,
13
],
[
"record",
49,
0
],
[
"true",
50,
262,
14
],
[
"store_field",
49,
50,
"eq_bool",
262,
14
],
[
"true",
51,
262,
29
],
[
"store_field",
49,
51,
"ne_bool",
262,
29
],
[
"true",
52,
262,
40
],
[
"store_field",
49,
52,
"not",
262,
40
],
[
"true",
53,
262,
51
],
[
"store_field",
49,
53,
"and",
262,
51
],
[
"true",
54,
262,
61
],
[
"store_field",
49,
54,
"or",
262,
61
],
[
"move",
17,
49,
262,
61
],
"while_start_108",
[
"length",
55,
4,
265,
21
],
[
"is_int",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_ni_110",
265,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_112",
265,
21
],
"rel_ni_110",
[
"is_num",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_nn_111",
265,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_112",
265,
21
],
"rel_nn_111",
[
"is_text",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_err_113",
265,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_113",
265,
21
],
[
"lt_text",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_112",
265,
21
],
"rel_err_113",
[
"disrupt",
265,
21
],
"rel_done_112",
[
"jump_false",
56,
"while_end_109",
265,
21
],
[
"load_dynamic",
59,
4,
19,
266,
26
],
[
"move",
12,
59,
266,
26
],
[
"is_text",
60,
12,
269,
17
],
[
"move",
61,
60,
269,
17
],
[
"jump_false",
61,
"and_end_116",
269,
17
],
[
"access",
62,
"_nop_",
269,
47
],
[
"access",
64,
{
"name": "starts_with",
"kind": "name",
"make": "intrinsic"
},
269,
28
],
[
"frame",
65,
64,
2,
269,
28
],
[
"null",
66,
269,
28
],
[
"setarg",
65,
0,
66,
269,
28
],
[
"setarg",
65,
1,
12,
269,
28
],
[
"setarg",
65,
2,
62,
269,
28
],
[
"invoke",
65,
63,
269,
28
],
[
"not",
67,
63,
269,
28
],
[
"move",
61,
67,
269,
28
],
"and_end_116",
[
"jump_false",
61,
"if_else_114",
269,
28
],
[
"record",
68,
0
],
[
"move",
14,
68,
270,
20
],
[
"access",
69,
1,
271,
15
],
[
"add",
70,
19,
69,
271,
15
],
[
"move",
19,
70,
271,
15
],
[
"jump",
"while_start_108",
272,
7
],
[
"jump",
"if_end_115",
272,
7
],
"if_else_114",
"if_end_115",
[
"is_array",
71,
12,
275,
19
],
"_nop_bl_1",
[
"jump_true",
71,
"if_else_117",
275,
19
],
[
"access",
73,
1,
276,
15
],
[
"add",
74,
19,
73,
276,
15
],
[
"move",
19,
74,
276,
15
],
[
"jump",
"while_start_108",
277,
7
],
[
"jump",
"if_end_118",
277,
7
],
"if_else_117",
"if_end_118",
[
"access",
75,
0,
280,
16
],
[
"load_index",
76,
12,
75,
280,
16
],
[
"move",
15,
76,
280,
16
],
[
"access",
77,
"int",
283,
15
],
[
"is_identical",
78,
15,
77,
283,
15
],
[
"jump_true",
78,
"eq_done_121",
283,
15
],
[
"is_int",
79,
15,
283,
15
],
[
"jump_false",
79,
"eq_ni_122",
283,
15
],
"_nop_tc_12",
[
"jump",
"eq_ni_122",
283,
15
],
[
"eq_int",
78,
15,
77,
283,
15
],
[
"jump",
"eq_done_121",
283,
15
],
"eq_ni_122",
[
"is_num",
79,
15,
283,
15
],
[
"jump_false",
79,
"eq_nn_123",
283,
15
],
"_nop_tc_13",
[
"jump",
"eq_nn_123",
283,
15
],
[
"eq_float",
78,
15,
77,
283,
15
],
[
"jump",
"eq_done_121",
283,
15
],
"eq_nn_123",
[
"is_text",
79,
15,
283,
15
],
[
"jump_false",
79,
"eq_nt_124",
283,
15
],
"_nop_tc_14",
"_nop_tc_15",
[
"eq_text",
78,
15,
77,
283,
15
],
[
"jump",
"eq_done_121",
283,
15
],
"eq_nt_124",
[
"is_null",
79,
15,
283,
15
],
[
"jump_false",
79,
"eq_nnl_125",
283,
15
],
"_nop_tc_16",
[
"jump",
"eq_nnl_125",
283,
15
],
[
"true",
78,
283,
15
],
[
"jump",
"eq_done_121",
283,
15
],
"eq_nnl_125",
[
"is_bool",
79,
15,
283,
15
],
[
"jump_false",
79,
"eq_nb_126",
283,
15
],
"_nop_tc_17",
[
"jump",
"eq_nb_126",
283,
15
],
[
"eq_bool",
78,
15,
77,
283,
15
],
[
"jump",
"eq_done_121",
283,
15
],
"eq_nb_126",
[
"false",
78,
283,
15
],
"eq_done_121",
[
"jump_false",
78,
"if_else_119",
283,
15
],
[
"access",
81,
1,
284,
29
],
[
"load_index",
82,
12,
81,
284,
29
],
[
"access",
84,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
284,
18
],
[
"frame",
85,
84,
1,
284,
18
],
[
"null",
86,
284,
18
],
[
"setarg",
85,
0,
86,
284,
18
],
[
"setarg",
85,
1,
82,
284,
18
],
[
"invoke",
85,
83,
284,
18
],
[
"store_dynamic",
14,
10,
83,
284,
18
],
[
"jump",
"if_end_120",
284,
18
],
"if_else_119",
[
"access",
87,
"access",
285,
22
],
[
"is_identical",
88,
15,
87,
285,
22
],
[
"jump_true",
88,
"eq_done_129",
285,
22
],
[
"is_int",
89,
15,
285,
22
],
[
"jump_false",
89,
"eq_ni_130",
285,
22
],
"_nop_tc_18",
[
"jump",
"eq_ni_130",
285,
22
],
[
"eq_int",
88,
15,
87,
285,
22
],
[
"jump",
"eq_done_129",
285,
22
],
"eq_ni_130",
[
"is_num",
89,
15,
285,
22
],
[
"jump_false",
89,
"eq_nn_131",
285,
22
],
"_nop_tc_19",
[
"jump",
"eq_nn_131",
285,
22
],
[
"eq_float",
88,
15,
87,
285,
22
],
[
"jump",
"eq_done_129",
285,
22
],
"eq_nn_131",
[
"is_text",
89,
15,
285,
22
],
[
"jump_false",
89,
"eq_nt_132",
285,
22
],
"_nop_tc_20",
"_nop_tc_21",
[
"eq_text",
88,
15,
87,
285,
22
],
[
"jump",
"eq_done_129",
285,
22
],
"eq_nt_132",
[
"is_null",
89,
15,
285,
22
],
[
"jump_false",
89,
"eq_nnl_133",
285,
22
],
"_nop_tc_22",
[
"jump",
"eq_nnl_133",
285,
22
],
[
"true",
88,
285,
22
],
[
"jump",
"eq_done_129",
285,
22
],
"eq_nnl_133",
[
"is_bool",
89,
15,
285,
22
],
[
"jump_false",
89,
"eq_nb_134",
285,
22
],
"_nop_tc_23",
[
"jump",
"eq_nb_134",
285,
22
],
[
"eq_bool",
88,
15,
87,
285,
22
],
[
"jump",
"eq_done_129",
285,
22
],
"eq_nb_134",
[
"false",
88,
285,
22
],
"eq_done_129",
[
"jump_false",
88,
"if_else_127",
285,
22
],
[
"access",
91,
2,
286,
27
],
[
"load_index",
92,
12,
91,
286,
27
],
[
"is_num",
93,
92,
286,
27
],
[
"jump_false",
93,
"if_else_135",
286,
27
],
[
"access",
94,
2,
287,
30
],
[
"load_index",
95,
12,
94,
287,
30
],
[
"is_int",
96,
95,
287,
30
],
[
"jump_false",
96,
"if_else_137",
287,
30
],
[
"access",
97,
1,
288,
33
],
[
"load_index",
98,
12,
97,
288,
33
],
[
"access",
100,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
288,
22
],
[
"frame",
101,
100,
1,
288,
22
],
[
"null",
102,
288,
22
],
[
"setarg",
101,
0,
102,
288,
22
],
[
"setarg",
101,
1,
98,
288,
22
],
[
"invoke",
101,
99,
288,
22
],
[
"store_dynamic",
14,
10,
99,
288,
22
],
[
"jump",
"if_end_138",
288,
22
],
"if_else_137",
[
"access",
103,
1,
290,
33
],
[
"load_index",
104,
12,
103,
290,
33
],
[
"access",
106,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
290,
22
],
[
"frame",
107,
106,
1,
290,
22
],
[
"null",
108,
290,
22
],
[
"setarg",
107,
0,
108,
290,
22
],
[
"setarg",
107,
1,
104,
290,
22
],
[
"invoke",
107,
105,
290,
22
],
[
"store_dynamic",
14,
9,
105,
290,
22
],
"if_end_138",
[
"jump",
"if_end_136",
290,
22
],
"if_else_135",
[
"access",
109,
2,
292,
32
],
[
"load_index",
110,
12,
109,
292,
32
],
[
"is_text",
111,
110,
292,
32
],
[
"jump_false",
111,
"if_else_139",
292,
32
],
[
"access",
112,
1,
293,
31
],
[
"load_index",
113,
12,
112,
293,
31
],
[
"access",
115,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
293,
20
],
[
"frame",
116,
115,
1,
293,
20
],
[
"null",
117,
293,
20
],
[
"setarg",
116,
0,
117,
293,
20
],
[
"setarg",
116,
1,
113,
293,
20
],
[
"invoke",
116,
114,
293,
20
],
[
"store_dynamic",
14,
5,
114,
293,
20
],
[
"jump",
"if_end_140",
293,
20
],
"if_else_139",
"if_end_140",
"if_end_136",
[
"jump",
"if_end_128",
293,
20
],
"if_else_127",
[
"access",
118,
"true",
295,
22
],
[
"is_identical",
119,
15,
118,
295,
22
],
[
"jump_true",
119,
"eq_done_144",
295,
22
],
[
"is_int",
120,
15,
295,
22
],
[
"jump_false",
120,
"eq_ni_145",
295,
22
],
"_nop_tc_24",
[
"jump",
"eq_ni_145",
295,
22
],
[
"eq_int",
119,
15,
118,
295,
22
],
[
"jump",
"eq_done_144",
295,
22
],
"eq_ni_145",
[
"is_num",
120,
15,
295,
22
],
[
"jump_false",
120,
"eq_nn_146",
295,
22
],
"_nop_tc_25",
[
"jump",
"eq_nn_146",
295,
22
],
[
"eq_float",
119,
15,
118,
295,
22
],
[
"jump",
"eq_done_144",
295,
22
],
"eq_nn_146",
[
"is_text",
120,
15,
295,
22
],
[
"jump_false",
120,
"eq_nt_147",
295,
22
],
"_nop_tc_26",
"_nop_tc_27",
[
"eq_text",
119,
15,
118,
295,
22
],
[
"jump",
"eq_done_144",
295,
22
],
"eq_nt_147",
[
"is_null",
120,
15,
295,
22
],
[
"jump_false",
120,
"eq_nnl_148",
295,
22
],
"_nop_tc_28",
[
"jump",
"eq_nnl_148",
295,
22
],
[
"true",
119,
295,
22
],
[
"jump",
"eq_done_144",
295,
22
],
"eq_nnl_148",
[
"is_bool",
120,
15,
295,
22
],
[
"jump_false",
120,
"eq_nb_149",
295,
22
],
"_nop_tc_29",
[
"jump",
"eq_nb_149",
295,
22
],
[
"eq_bool",
119,
15,
118,
295,
22
],
[
"jump",
"eq_done_144",
295,
22
],
"eq_nb_149",
[
"false",
119,
295,
22
],
"eq_done_144",
[
"move",
122,
119,
295,
22
],
[
"jump_true",
122,
"or_end_143",
295,
22
],
[
"access",
123,
"false",
295,
38
],
[
"is_identical",
124,
15,
123,
295,
38
],
[
"jump_true",
124,
"eq_done_150",
295,
38
],
[
"is_int",
125,
15,
295,
38
],
[
"jump_false",
125,
"eq_ni_151",
295,
38
],
"_nop_tc_30",
[
"jump",
"eq_ni_151",
295,
38
],
[
"eq_int",
124,
15,
123,
295,
38
],
[
"jump",
"eq_done_150",
295,
38
],
"eq_ni_151",
[
"is_num",
125,
15,
295,
38
],
[
"jump_false",
125,
"eq_nn_152",
295,
38
],
"_nop_tc_31",
[
"jump",
"eq_nn_152",
295,
38
],
[
"eq_float",
124,
15,
123,
295,
38
],
[
"jump",
"eq_done_150",
295,
38
],
"eq_nn_152",
[
"is_text",
125,
15,
295,
38
],
[
"jump_false",
125,
"eq_nt_153",
295,
38
],
"_nop_tc_32",
"_nop_tc_33",
[
"eq_text",
124,
15,
123,
295,
38
],
[
"jump",
"eq_done_150",
295,
38
],
"eq_nt_153",
[
"is_null",
125,
15,
295,
38
],
[
"jump_false",
125,
"eq_nnl_154",
295,
38
],
"_nop_tc_34",
[
"jump",
"eq_nnl_154",
295,
38
],
[
"true",
124,
295,
38
],
[
"jump",
"eq_done_150",
295,
38
],
"eq_nnl_154",
[
"is_bool",
125,
15,
295,
38
],
[
"jump_false",
125,
"eq_nb_155",
295,
38
],
"_nop_tc_35",
[
"jump",
"eq_nb_155",
295,
38
],
[
"eq_bool",
124,
15,
123,
295,
38
],
[
"jump",
"eq_done_150",
295,
38
],
"eq_nb_155",
[
"false",
124,
295,
38
],
"eq_done_150",
[
"move",
122,
124,
295,
38
],
"or_end_143",
[
"jump_false",
122,
"if_else_141",
295,
38
],
[
"access",
127,
1,
296,
29
],
[
"load_index",
128,
12,
127,
296,
29
],
[
"access",
130,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
296,
18
],
[
"frame",
131,
130,
1,
296,
18
],
[
"null",
132,
296,
18
],
[
"setarg",
131,
0,
132,
296,
18
],
[
"setarg",
131,
1,
128,
296,
18
],
[
"invoke",
131,
129,
296,
18
],
[
"store_dynamic",
14,
6,
129,
296,
18
],
[
"jump",
"if_end_142",
296,
18
],
"if_else_141",
"if_end_142",
"if_end_128",
"if_end_120",
[
"load_dynamic",
133,
3,
15,
300,
17
],
[
"true",
134,
300,
24
],
[
"is_identical",
135,
133,
134,
300,
24
],
[
"jump_true",
135,
"eq_done_159",
300,
24
],
[
"is_int",
136,
133,
300,
24
],
[
"jump_false",
136,
"eq_ni_160",
300,
24
],
"_nop_tc_36",
[
"jump",
"eq_ni_160",
300,
24
],
[
"eq_int",
135,
133,
134,
300,
24
],
[
"jump",
"eq_done_159",
300,
24
],
"eq_ni_160",
[
"is_num",
136,
133,
300,
24
],
[
"jump_false",
136,
"eq_nn_161",
300,
24
],
"_nop_tc_37",
[
"jump",
"eq_nn_161",
300,
24
],
[
"eq_float",
135,
133,
134,
300,
24
],
[
"jump",
"eq_done_159",
300,
24
],
"eq_nn_161",
[
"is_text",
136,
133,
300,
24
],
[
"jump_false",
136,
"eq_nt_162",
300,
24
],
"_nop_tc_38",
[
"jump",
"eq_nt_162",
300,
24
],
[
"eq_text",
135,
133,
134,
300,
24
],
[
"jump",
"eq_done_159",
300,
24
],
"eq_nt_162",
[
"is_null",
136,
133,
300,
24
],
[
"jump_false",
136,
"eq_nnl_163",
300,
24
],
"_nop_tc_39",
[
"jump",
"eq_nnl_163",
300,
24
],
[
"true",
135,
300,
24
],
[
"jump",
"eq_done_159",
300,
24
],
"eq_nnl_163",
[
"is_bool",
136,
133,
300,
24
],
[
"jump_false",
136,
"eq_nb_164",
300,
24
],
"_nop_tc_40",
"_nop_tc_41",
[
"eq_bool",
135,
133,
134,
300,
24
],
[
"jump",
"eq_done_159",
300,
24
],
"eq_nb_164",
[
"false",
135,
300,
24
],
"eq_done_159",
[
"move",
138,
135,
300,
24
],
[
"jump_false",
138,
"and_end_158",
300,
24
],
[
"length",
139,
12,
300,
39
],
[
"access",
140,
5,
300,
49
],
"_nop_tc_42",
"_nop_tc_43",
"_nop_tc_44",
[
"jump",
"rel_ni_165",
300,
49
],
[
"ge_int",
141,
139,
140,
300,
49
],
[
"jump",
"rel_done_167",
300,
49
],
"rel_ni_165",
"_nop_tc_45",
"_nop_tc_46",
"_nop_tc_47",
"_nop_tc_48",
[
"ge_float",
141,
139,
140,
300,
49
],
[
"jump",
"rel_done_167",
300,
49
],
"rel_nn_166",
"_nop_tc_49",
[
"jump",
"rel_err_168",
300,
49
],
"_nop_tc_50",
[
"jump",
"rel_err_168",
300,
49
],
[
"ge_text",
141,
139,
140,
300,
49
],
[
"jump",
"rel_done_167",
300,
49
],
"rel_err_168",
[
"disrupt",
300,
49
],
"rel_done_167",
[
"move",
138,
141,
300,
49
],
"and_end_158",
[
"jump_false",
138,
"if_else_156",
300,
49
],
[
"access",
144,
2,
301,
23
],
[
"load_index",
145,
12,
144,
301,
23
],
[
"access",
147,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
301,
12
],
[
"frame",
148,
147,
1,
301,
12
],
[
"null",
149,
301,
12
],
[
"setarg",
148,
0,
149,
301,
12
],
[
"setarg",
148,
1,
145,
301,
12
],
[
"invoke",
148,
146,
301,
12
],
[
"move",
2,
146,
301,
12
],
[
"load_dynamic",
150,
14,
2,
302,
23
],
[
"move",
8,
150,
302,
23
],
[
"null",
151,
303,
17
],
[
"is_identical",
152,
8,
151,
303,
17
],
[
"jump_true",
152,
"ne_nid_174",
303,
17
],
[
"jump",
"ne_ni_175",
303,
17
],
"ne_nid_174",
[
"false",
152,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_ni_175",
[
"is_int",
153,
8,
303,
17
],
[
"jump_false",
153,
"ne_nn_176",
303,
17
],
"_nop_tc_51",
[
"jump",
"ne_nn_176",
303,
17
],
[
"ne_int",
152,
8,
151,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_nn_176",
[
"is_num",
153,
8,
303,
17
],
[
"jump_false",
153,
"ne_nt_177",
303,
17
],
"_nop_tc_52",
[
"jump",
"ne_nt_177",
303,
17
],
[
"ne_float",
152,
8,
151,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_nt_177",
[
"is_text",
153,
8,
303,
17
],
[
"jump_false",
153,
"ne_nnl_178",
303,
17
],
"_nop_tc_53",
[
"jump",
"ne_nnl_178",
303,
17
],
[
"ne_text",
152,
8,
151,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_nnl_178",
[
"is_null",
153,
8,
303,
17
],
[
"jump_false",
153,
"ne_nb_179",
303,
17
],
"_nop_tc_54",
"_nop_tc_55",
[
"false",
152,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_nb_179",
[
"is_bool",
153,
8,
303,
17
],
[
"jump_false",
153,
"ne_mis_180",
303,
17
],
"_nop_tc_56",
[
"jump",
"ne_mis_180",
303,
17
],
[
"ne_bool",
152,
8,
151,
303,
17
],
[
"jump",
"ne_done_173",
303,
17
],
"ne_mis_180",
[
"true",
152,
303,
17
],
"ne_done_173",
[
"move",
155,
152,
303,
17
],
[
"jump_false",
155,
"and_end_172",
303,
17
],
[
"is_identical",
156,
8,
10,
303,
31
],
[
"jump_true",
156,
"ne_nid_182",
303,
31
],
[
"jump",
"ne_ni_183",
303,
31
],
"ne_nid_182",
[
"false",
156,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_ni_183",
[
"is_int",
157,
8,
303,
31
],
[
"jump_false",
157,
"ne_nn_184",
303,
31
],
"_nop_tc_57",
[
"jump",
"ne_nn_184",
303,
31
],
[
"ne_int",
156,
8,
10,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_nn_184",
[
"is_num",
157,
8,
303,
31
],
[
"jump_false",
157,
"ne_nt_185",
303,
31
],
"_nop_tc_58",
[
"jump",
"ne_nt_185",
303,
31
],
[
"ne_float",
156,
8,
10,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_nt_185",
[
"is_text",
157,
8,
303,
31
],
[
"jump_false",
157,
"ne_nnl_186",
303,
31
],
"_nop_tc_59",
"_nop_tc_60",
[
"ne_text",
156,
8,
10,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_nnl_186",
[
"is_null",
157,
8,
303,
31
],
[
"jump_false",
157,
"ne_nb_187",
303,
31
],
"_nop_tc_61",
[
"jump",
"ne_nb_187",
303,
31
],
[
"false",
156,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_nb_187",
[
"is_bool",
157,
8,
303,
31
],
[
"jump_false",
157,
"ne_mis_188",
303,
31
],
"_nop_tc_62",
[
"jump",
"ne_mis_188",
303,
31
],
[
"ne_bool",
156,
8,
10,
303,
31
],
[
"jump",
"ne_done_181",
303,
31
],
"ne_mis_188",
[
"true",
156,
303,
31
],
"ne_done_181",
[
"move",
155,
156,
303,
31
],
"and_end_172",
[
"move",
159,
155,
303,
31
],
[
"jump_false",
159,
"and_end_171",
303,
31
],
[
"access",
160,
"unknown",
303,
46
],
[
"is_identical",
161,
8,
160,
303,
46
],
[
"jump_true",
161,
"ne_nid_190",
303,
46
],
[
"jump",
"ne_ni_191",
303,
46
],
"ne_nid_190",
[
"false",
161,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_ni_191",
[
"is_int",
162,
8,
303,
46
],
[
"jump_false",
162,
"ne_nn_192",
303,
46
],
"_nop_tc_63",
[
"jump",
"ne_nn_192",
303,
46
],
[
"ne_int",
161,
8,
160,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_nn_192",
[
"is_num",
162,
8,
303,
46
],
[
"jump_false",
162,
"ne_nt_193",
303,
46
],
"_nop_tc_64",
[
"jump",
"ne_nt_193",
303,
46
],
[
"ne_float",
161,
8,
160,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_nt_193",
[
"is_text",
162,
8,
303,
46
],
[
"jump_false",
162,
"ne_nnl_194",
303,
46
],
"_nop_tc_65",
"_nop_tc_66",
[
"ne_text",
161,
8,
160,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_nnl_194",
[
"is_null",
162,
8,
303,
46
],
[
"jump_false",
162,
"ne_nb_195",
303,
46
],
"_nop_tc_67",
[
"jump",
"ne_nb_195",
303,
46
],
[
"false",
161,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_nb_195",
[
"is_bool",
162,
8,
303,
46
],
[
"jump_false",
162,
"ne_mis_196",
303,
46
],
"_nop_tc_68",
[
"jump",
"ne_mis_196",
303,
46
],
[
"ne_bool",
161,
8,
160,
303,
46
],
[
"jump",
"ne_done_189",
303,
46
],
"ne_mis_196",
[
"true",
161,
303,
46
],
"ne_done_189",
[
"move",
159,
161,
303,
46
],
"and_end_171",
[
"jump_false",
159,
"if_else_169",
303,
46
],
[
"access",
165,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
166,
165,
1,
1,
1
],
[
"null",
167,
1,
1
],
[
"setarg",
166,
0,
167,
1,
1
],
[
"setarg",
166,
1,
19,
1,
1
],
[
"invoke",
166,
164,
1,
1
],
[
"array",
168,
0,
1,
1
],
[
"push",
168,
164,
1,
1
],
[
"push",
168,
15,
1,
1
],
[
"push",
168,
2,
1,
1
],
[
"push",
168,
8,
1,
1
],
[
"access",
169,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
170,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected int",
1,
1
],
[
"frame",
172,
169,
2,
1,
1
],
[
"null",
173,
1,
1
],
[
"setarg",
172,
0,
173,
1,
1
],
[
"setarg",
172,
1,
170,
1,
1
],
[
"setarg",
172,
2,
168,
1,
1
],
[
"invoke",
172,
171,
1,
1
],
[
"is_array",
174,
18,
1,
1
],
[
"jump_false",
174,
"push_err_197",
1,
1
],
[
"push",
18,
171,
1,
1
],
[
"jump",
"push_done_198",
1,
1
],
"push_err_197",
[
"disrupt",
1,
1
],
"push_done_198",
[
"jump",
"if_end_170",
1,
1
],
"if_else_169",
"if_end_170",
[
"length",
175,
12,
306,
18
],
[
"access",
176,
6,
306,
28
],
"_nop_tc_69",
"_nop_tc_70",
"_nop_tc_71",
[
"jump",
"rel_ni_201",
306,
28
],
[
"ge_int",
177,
175,
176,
306,
28
],
[
"jump",
"rel_done_203",
306,
28
],
"rel_ni_201",
"_nop_tc_72",
"_nop_tc_73",
"_nop_tc_74",
"_nop_tc_75",
[
"ge_float",
177,
175,
176,
306,
28
],
[
"jump",
"rel_done_203",
306,
28
],
"rel_nn_202",
"_nop_tc_76",
[
"jump",
"rel_err_204",
306,
28
],
"_nop_tc_77",
[
"jump",
"rel_err_204",
306,
28
],
[
"ge_text",
177,
175,
176,
306,
28
],
[
"jump",
"rel_done_203",
306,
28
],
"rel_err_204",
[
"disrupt",
306,
28
],
"rel_done_203",
[
"jump_false",
177,
"if_else_199",
306,
28
],
[
"access",
180,
3,
307,
25
],
[
"load_index",
181,
12,
180,
307,
25
],
[
"access",
183,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
307,
14
],
[
"frame",
184,
183,
1,
307,
14
],
[
"null",
185,
307,
14
],
[
"setarg",
184,
0,
185,
307,
14
],
[
"setarg",
184,
1,
181,
307,
14
],
[
"invoke",
184,
182,
307,
14
],
[
"move",
13,
182,
307,
14
],
[
"load_dynamic",
186,
14,
13,
308,
25
],
[
"move",
16,
186,
308,
25
],
[
"null",
187,
309,
19
],
[
"is_identical",
188,
16,
187,
309,
19
],
[
"jump_true",
188,
"ne_nid_210",
309,
19
],
[
"jump",
"ne_ni_211",
309,
19
],
"ne_nid_210",
[
"false",
188,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_ni_211",
[
"is_int",
189,
16,
309,
19
],
[
"jump_false",
189,
"ne_nn_212",
309,
19
],
"_nop_tc_78",
[
"jump",
"ne_nn_212",
309,
19
],
[
"ne_int",
188,
16,
187,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_nn_212",
[
"is_num",
189,
16,
309,
19
],
[
"jump_false",
189,
"ne_nt_213",
309,
19
],
"_nop_tc_79",
[
"jump",
"ne_nt_213",
309,
19
],
[
"ne_float",
188,
16,
187,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_nt_213",
[
"is_text",
189,
16,
309,
19
],
[
"jump_false",
189,
"ne_nnl_214",
309,
19
],
"_nop_tc_80",
[
"jump",
"ne_nnl_214",
309,
19
],
[
"ne_text",
188,
16,
187,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_nnl_214",
[
"is_null",
189,
16,
309,
19
],
[
"jump_false",
189,
"ne_nb_215",
309,
19
],
"_nop_tc_81",
"_nop_tc_82",
[
"false",
188,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_nb_215",
[
"is_bool",
189,
16,
309,
19
],
[
"jump_false",
189,
"ne_mis_216",
309,
19
],
"_nop_tc_83",
[
"jump",
"ne_mis_216",
309,
19
],
[
"ne_bool",
188,
16,
187,
309,
19
],
[
"jump",
"ne_done_209",
309,
19
],
"ne_mis_216",
[
"true",
188,
309,
19
],
"ne_done_209",
[
"move",
191,
188,
309,
19
],
[
"jump_false",
191,
"and_end_208",
309,
19
],
[
"is_identical",
192,
16,
10,
309,
33
],
[
"jump_true",
192,
"ne_nid_218",
309,
33
],
[
"jump",
"ne_ni_219",
309,
33
],
"ne_nid_218",
[
"false",
192,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_ni_219",
[
"is_int",
193,
16,
309,
33
],
[
"jump_false",
193,
"ne_nn_220",
309,
33
],
"_nop_tc_84",
[
"jump",
"ne_nn_220",
309,
33
],
[
"ne_int",
192,
16,
10,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_nn_220",
[
"is_num",
193,
16,
309,
33
],
[
"jump_false",
193,
"ne_nt_221",
309,
33
],
"_nop_tc_85",
[
"jump",
"ne_nt_221",
309,
33
],
[
"ne_float",
192,
16,
10,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_nt_221",
[
"is_text",
193,
16,
309,
33
],
[
"jump_false",
193,
"ne_nnl_222",
309,
33
],
"_nop_tc_86",
"_nop_tc_87",
[
"ne_text",
192,
16,
10,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_nnl_222",
[
"is_null",
193,
16,
309,
33
],
[
"jump_false",
193,
"ne_nb_223",
309,
33
],
"_nop_tc_88",
[
"jump",
"ne_nb_223",
309,
33
],
[
"false",
192,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_nb_223",
[
"is_bool",
193,
16,
309,
33
],
[
"jump_false",
193,
"ne_mis_224",
309,
33
],
"_nop_tc_89",
[
"jump",
"ne_mis_224",
309,
33
],
[
"ne_bool",
192,
16,
10,
309,
33
],
[
"jump",
"ne_done_217",
309,
33
],
"ne_mis_224",
[
"true",
192,
309,
33
],
"ne_done_217",
[
"move",
191,
192,
309,
33
],
"and_end_208",
[
"move",
195,
191,
309,
33
],
[
"jump_false",
195,
"and_end_207",
309,
33
],
[
"access",
196,
"unknown",
309,
48
],
[
"is_identical",
197,
16,
196,
309,
48
],
[
"jump_true",
197,
"ne_nid_226",
309,
48
],
[
"jump",
"ne_ni_227",
309,
48
],
"ne_nid_226",
[
"false",
197,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_ni_227",
[
"is_int",
198,
16,
309,
48
],
[
"jump_false",
198,
"ne_nn_228",
309,
48
],
"_nop_tc_90",
[
"jump",
"ne_nn_228",
309,
48
],
[
"ne_int",
197,
16,
196,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_nn_228",
[
"is_num",
198,
16,
309,
48
],
[
"jump_false",
198,
"ne_nt_229",
309,
48
],
"_nop_tc_91",
[
"jump",
"ne_nt_229",
309,
48
],
[
"ne_float",
197,
16,
196,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_nt_229",
[
"is_text",
198,
16,
309,
48
],
[
"jump_false",
198,
"ne_nnl_230",
309,
48
],
"_nop_tc_92",
"_nop_tc_93",
[
"ne_text",
197,
16,
196,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_nnl_230",
[
"is_null",
198,
16,
309,
48
],
[
"jump_false",
198,
"ne_nb_231",
309,
48
],
"_nop_tc_94",
[
"jump",
"ne_nb_231",
309,
48
],
[
"false",
197,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_nb_231",
[
"is_bool",
198,
16,
309,
48
],
[
"jump_false",
198,
"ne_mis_232",
309,
48
],
"_nop_tc_95",
[
"jump",
"ne_mis_232",
309,
48
],
[
"ne_bool",
197,
16,
196,
309,
48
],
[
"jump",
"ne_done_225",
309,
48
],
"ne_mis_232",
[
"true",
197,
309,
48
],
"ne_done_225",
[
"move",
195,
197,
309,
48
],
"and_end_207",
[
"jump_false",
195,
"if_else_205",
309,
48
],
[
"access",
201,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
202,
201,
1,
1,
1
],
[
"null",
203,
1,
1
],
[
"setarg",
202,
0,
203,
1,
1
],
[
"setarg",
202,
1,
19,
1,
1
],
[
"invoke",
202,
200,
1,
1
],
[
"array",
204,
0,
1,
1
],
[
"push",
204,
200,
1,
1
],
[
"push",
204,
15,
1,
1
],
[
"push",
204,
13,
1,
1
],
[
"push",
204,
16,
1,
1
],
[
"access",
205,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
206,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected int",
1,
1
],
[
"frame",
208,
205,
2,
1,
1
],
[
"null",
209,
1,
1
],
[
"setarg",
208,
0,
209,
1,
1
],
[
"setarg",
208,
1,
206,
1,
1
],
[
"setarg",
208,
2,
204,
1,
1
],
[
"invoke",
208,
207,
1,
1
],
[
"is_array",
210,
18,
1,
1
],
[
"jump_false",
210,
"push_err_233",
1,
1
],
[
"push",
18,
207,
1,
1
],
[
"jump",
"push_done_234",
1,
1
],
"push_err_233",
[
"disrupt",
1,
1
],
"push_done_234",
[
"jump",
"if_end_206",
1,
1
],
"if_else_205",
"if_end_206",
[
"jump",
"if_end_200",
1,
1
],
"if_else_199",
"if_end_200",
[
"jump",
"if_end_157",
1,
1
],
"if_else_156",
[
"load_dynamic",
211,
11,
15,
313,
26
],
[
"true",
212,
313,
33
],
[
"is_identical",
213,
211,
212,
313,
33
],
[
"jump_true",
213,
"eq_done_238",
313,
33
],
[
"is_int",
214,
211,
313,
33
],
[
"jump_false",
214,
"eq_ni_239",
313,
33
],
"_nop_tc_96",
[
"jump",
"eq_ni_239",
313,
33
],
[
"eq_int",
213,
211,
212,
313,
33
],
[
"jump",
"eq_done_238",
313,
33
],
"eq_ni_239",
[
"is_num",
214,
211,
313,
33
],
[
"jump_false",
214,
"eq_nn_240",
313,
33
],
"_nop_tc_97",
[
"jump",
"eq_nn_240",
313,
33
],
[
"eq_float",
213,
211,
212,
313,
33
],
[
"jump",
"eq_done_238",
313,
33
],
"eq_nn_240",
[
"is_text",
214,
211,
313,
33
],
[
"jump_false",
214,
"eq_nt_241",
313,
33
],
"_nop_tc_98",
[
"jump",
"eq_nt_241",
313,
33
],
[
"eq_text",
213,
211,
212,
313,
33
],
[
"jump",
"eq_done_238",
313,
33
],
"eq_nt_241",
[
"is_null",
214,
211,
313,
33
],
[
"jump_false",
214,
"eq_nnl_242",
313,
33
],
"_nop_tc_99",
[
"jump",
"eq_nnl_242",
313,
33
],
[
"true",
213,
313,
33
],
[
"jump",
"eq_done_238",
313,
33
],
"eq_nnl_242",
[
"is_bool",
214,
211,
313,
33
],
[
"jump_false",
214,
"eq_nb_243",
313,
33
],
"_nop_tc_100",
"_nop_tc_101",
[
"eq_bool",
213,
211,
212,
313,
33
],
[
"jump",
"eq_done_238",
313,
33
],
"eq_nb_243",
[
"false",
213,
313,
33
],
"eq_done_238",
[
"move",
216,
213,
313,
33
],
[
"jump_false",
216,
"and_end_237",
313,
33
],
[
"length",
217,
12,
313,
48
],
[
"access",
218,
5,
313,
58
],
"_nop_tc_102",
"_nop_tc_103",
"_nop_tc_104",
[
"jump",
"rel_ni_244",
313,
58
],
[
"ge_int",
219,
217,
218,
313,
58
],
[
"jump",
"rel_done_246",
313,
58
],
"rel_ni_244",
"_nop_tc_105",
"_nop_tc_106",
"_nop_tc_107",
"_nop_tc_108",
[
"ge_float",
219,
217,
218,
313,
58
],
[
"jump",
"rel_done_246",
313,
58
],
"rel_nn_245",
"_nop_tc_109",
[
"jump",
"rel_err_247",
313,
58
],
"_nop_tc_110",
[
"jump",
"rel_err_247",
313,
58
],
[
"ge_text",
219,
217,
218,
313,
58
],
[
"jump",
"rel_done_246",
313,
58
],
"rel_err_247",
[
"disrupt",
313,
58
],
"rel_done_246",
[
"move",
216,
219,
313,
58
],
"and_end_237",
[
"jump_false",
216,
"if_else_235",
313,
58
],
[
"access",
222,
2,
314,
23
],
[
"load_index",
223,
12,
222,
314,
23
],
[
"access",
225,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
314,
12
],
[
"frame",
226,
225,
1,
314,
12
],
[
"null",
227,
314,
12
],
[
"setarg",
226,
0,
227,
314,
12
],
[
"setarg",
226,
1,
223,
314,
12
],
[
"invoke",
226,
224,
314,
12
],
[
"move",
2,
224,
314,
12
],
[
"load_dynamic",
228,
14,
2,
315,
23
],
[
"move",
8,
228,
315,
23
],
[
"null",
229,
316,
17
],
[
"is_identical",
230,
8,
229,
316,
17
],
[
"jump_true",
230,
"ne_nid_253",
316,
17
],
[
"jump",
"ne_ni_254",
316,
17
],
"ne_nid_253",
[
"false",
230,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_ni_254",
[
"is_int",
231,
8,
316,
17
],
[
"jump_false",
231,
"ne_nn_255",
316,
17
],
"_nop_tc_111",
[
"jump",
"ne_nn_255",
316,
17
],
[
"ne_int",
230,
8,
229,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_nn_255",
[
"is_num",
231,
8,
316,
17
],
[
"jump_false",
231,
"ne_nt_256",
316,
17
],
"_nop_tc_112",
[
"jump",
"ne_nt_256",
316,
17
],
[
"ne_float",
230,
8,
229,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_nt_256",
[
"is_text",
231,
8,
316,
17
],
[
"jump_false",
231,
"ne_nnl_257",
316,
17
],
"_nop_tc_113",
[
"jump",
"ne_nnl_257",
316,
17
],
[
"ne_text",
230,
8,
229,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_nnl_257",
[
"is_null",
231,
8,
316,
17
],
[
"jump_false",
231,
"ne_nb_258",
316,
17
],
"_nop_tc_114",
"_nop_tc_115",
[
"false",
230,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_nb_258",
[
"is_bool",
231,
8,
316,
17
],
[
"jump_false",
231,
"ne_mis_259",
316,
17
],
"_nop_tc_116",
[
"jump",
"ne_mis_259",
316,
17
],
[
"ne_bool",
230,
8,
229,
316,
17
],
[
"jump",
"ne_done_252",
316,
17
],
"ne_mis_259",
[
"true",
230,
316,
17
],
"ne_done_252",
[
"move",
233,
230,
316,
17
],
[
"jump_false",
233,
"and_end_251",
316,
17
],
[
"is_identical",
234,
8,
9,
316,
31
],
[
"jump_true",
234,
"ne_nid_261",
316,
31
],
[
"jump",
"ne_ni_262",
316,
31
],
"ne_nid_261",
[
"false",
234,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_ni_262",
[
"is_int",
235,
8,
316,
31
],
[
"jump_false",
235,
"ne_nn_263",
316,
31
],
"_nop_tc_117",
[
"jump",
"ne_nn_263",
316,
31
],
[
"ne_int",
234,
8,
9,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_nn_263",
[
"is_num",
235,
8,
316,
31
],
[
"jump_false",
235,
"ne_nt_264",
316,
31
],
"_nop_tc_118",
[
"jump",
"ne_nt_264",
316,
31
],
[
"ne_float",
234,
8,
9,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_nt_264",
[
"is_text",
235,
8,
316,
31
],
[
"jump_false",
235,
"ne_nnl_265",
316,
31
],
"_nop_tc_119",
"_nop_tc_120",
[
"ne_text",
234,
8,
9,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_nnl_265",
[
"is_null",
235,
8,
316,
31
],
[
"jump_false",
235,
"ne_nb_266",
316,
31
],
"_nop_tc_121",
[
"jump",
"ne_nb_266",
316,
31
],
[
"false",
234,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_nb_266",
[
"is_bool",
235,
8,
316,
31
],
[
"jump_false",
235,
"ne_mis_267",
316,
31
],
"_nop_tc_122",
[
"jump",
"ne_mis_267",
316,
31
],
[
"ne_bool",
234,
8,
9,
316,
31
],
[
"jump",
"ne_done_260",
316,
31
],
"ne_mis_267",
[
"true",
234,
316,
31
],
"ne_done_260",
[
"move",
233,
234,
316,
31
],
"and_end_251",
[
"move",
237,
233,
316,
31
],
[
"jump_false",
237,
"and_end_250",
316,
31
],
[
"access",
238,
"unknown",
316,
48
],
[
"is_identical",
239,
8,
238,
316,
48
],
[
"jump_true",
239,
"ne_nid_269",
316,
48
],
[
"jump",
"ne_ni_270",
316,
48
],
"ne_nid_269",
[
"false",
239,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_ni_270",
[
"is_int",
240,
8,
316,
48
],
[
"jump_false",
240,
"ne_nn_271",
316,
48
],
"_nop_tc_123",
[
"jump",
"ne_nn_271",
316,
48
],
[
"ne_int",
239,
8,
238,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_nn_271",
[
"is_num",
240,
8,
316,
48
],
[
"jump_false",
240,
"ne_nt_272",
316,
48
],
"_nop_tc_124",
[
"jump",
"ne_nt_272",
316,
48
],
[
"ne_float",
239,
8,
238,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_nt_272",
[
"is_text",
240,
8,
316,
48
],
[
"jump_false",
240,
"ne_nnl_273",
316,
48
],
"_nop_tc_125",
"_nop_tc_126",
[
"ne_text",
239,
8,
238,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_nnl_273",
[
"is_null",
240,
8,
316,
48
],
[
"jump_false",
240,
"ne_nb_274",
316,
48
],
"_nop_tc_127",
[
"jump",
"ne_nb_274",
316,
48
],
[
"false",
239,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_nb_274",
[
"is_bool",
240,
8,
316,
48
],
[
"jump_false",
240,
"ne_mis_275",
316,
48
],
"_nop_tc_128",
[
"jump",
"ne_mis_275",
316,
48
],
[
"ne_bool",
239,
8,
238,
316,
48
],
[
"jump",
"ne_done_268",
316,
48
],
"ne_mis_275",
[
"true",
239,
316,
48
],
"ne_done_268",
[
"move",
237,
239,
316,
48
],
"and_end_250",
[
"jump_false",
237,
"if_else_248",
316,
48
],
[
"access",
243,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
244,
243,
1,
1,
1
],
[
"null",
245,
1,
1
],
[
"setarg",
244,
0,
245,
1,
1
],
[
"setarg",
244,
1,
19,
1,
1
],
[
"invoke",
244,
242,
1,
1
],
[
"array",
246,
0,
1,
1
],
[
"push",
246,
242,
1,
1
],
[
"push",
246,
15,
1,
1
],
[
"push",
246,
2,
1,
1
],
[
"push",
246,
8,
1,
1
],
[
"access",
247,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
248,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected float",
1,
1
],
[
"frame",
250,
247,
2,
1,
1
],
[
"null",
251,
1,
1
],
[
"setarg",
250,
0,
251,
1,
1
],
[
"setarg",
250,
1,
248,
1,
1
],
[
"setarg",
250,
2,
246,
1,
1
],
[
"invoke",
250,
249,
1,
1
],
[
"is_array",
252,
18,
1,
1
],
[
"jump_false",
252,
"push_err_276",
1,
1
],
[
"push",
18,
249,
1,
1
],
[
"jump",
"push_done_277",
1,
1
],
"push_err_276",
[
"disrupt",
1,
1
],
"push_done_277",
[
"jump",
"if_end_249",
1,
1
],
"if_else_248",
"if_end_249",
[
"length",
253,
12,
319,
18
],
[
"access",
254,
6,
319,
28
],
"_nop_tc_129",
"_nop_tc_130",
"_nop_tc_131",
[
"jump",
"rel_ni_280",
319,
28
],
[
"ge_int",
255,
253,
254,
319,
28
],
[
"jump",
"rel_done_282",
319,
28
],
"rel_ni_280",
"_nop_tc_132",
"_nop_tc_133",
"_nop_tc_134",
"_nop_tc_135",
[
"ge_float",
255,
253,
254,
319,
28
],
[
"jump",
"rel_done_282",
319,
28
],
"rel_nn_281",
"_nop_tc_136",
[
"jump",
"rel_err_283",
319,
28
],
"_nop_tc_137",
[
"jump",
"rel_err_283",
319,
28
],
[
"ge_text",
255,
253,
254,
319,
28
],
[
"jump",
"rel_done_282",
319,
28
],
"rel_err_283",
[
"disrupt",
319,
28
],
"rel_done_282",
[
"jump_false",
255,
"if_else_278",
319,
28
],
[
"access",
258,
3,
320,
25
],
[
"load_index",
259,
12,
258,
320,
25
],
[
"access",
261,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
320,
14
],
[
"frame",
262,
261,
1,
320,
14
],
[
"null",
263,
320,
14
],
[
"setarg",
262,
0,
263,
320,
14
],
[
"setarg",
262,
1,
259,
320,
14
],
[
"invoke",
262,
260,
320,
14
],
[
"move",
13,
260,
320,
14
],
[
"load_dynamic",
264,
14,
13,
321,
25
],
[
"move",
16,
264,
321,
25
],
[
"null",
265,
322,
19
],
[
"is_identical",
266,
16,
265,
322,
19
],
[
"jump_true",
266,
"ne_nid_289",
322,
19
],
[
"jump",
"ne_ni_290",
322,
19
],
"ne_nid_289",
[
"false",
266,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_ni_290",
[
"is_int",
267,
16,
322,
19
],
[
"jump_false",
267,
"ne_nn_291",
322,
19
],
"_nop_tc_138",
[
"jump",
"ne_nn_291",
322,
19
],
[
"ne_int",
266,
16,
265,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_nn_291",
[
"is_num",
267,
16,
322,
19
],
[
"jump_false",
267,
"ne_nt_292",
322,
19
],
"_nop_tc_139",
[
"jump",
"ne_nt_292",
322,
19
],
[
"ne_float",
266,
16,
265,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_nt_292",
[
"is_text",
267,
16,
322,
19
],
[
"jump_false",
267,
"ne_nnl_293",
322,
19
],
"_nop_tc_140",
[
"jump",
"ne_nnl_293",
322,
19
],
[
"ne_text",
266,
16,
265,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_nnl_293",
[
"is_null",
267,
16,
322,
19
],
[
"jump_false",
267,
"ne_nb_294",
322,
19
],
"_nop_tc_141",
"_nop_tc_142",
[
"false",
266,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_nb_294",
[
"is_bool",
267,
16,
322,
19
],
[
"jump_false",
267,
"ne_mis_295",
322,
19
],
"_nop_tc_143",
[
"jump",
"ne_mis_295",
322,
19
],
[
"ne_bool",
266,
16,
265,
322,
19
],
[
"jump",
"ne_done_288",
322,
19
],
"ne_mis_295",
[
"true",
266,
322,
19
],
"ne_done_288",
[
"move",
269,
266,
322,
19
],
[
"jump_false",
269,
"and_end_287",
322,
19
],
[
"is_identical",
270,
16,
9,
322,
33
],
[
"jump_true",
270,
"ne_nid_297",
322,
33
],
[
"jump",
"ne_ni_298",
322,
33
],
"ne_nid_297",
[
"false",
270,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_ni_298",
[
"is_int",
271,
16,
322,
33
],
[
"jump_false",
271,
"ne_nn_299",
322,
33
],
"_nop_tc_144",
[
"jump",
"ne_nn_299",
322,
33
],
[
"ne_int",
270,
16,
9,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_nn_299",
[
"is_num",
271,
16,
322,
33
],
[
"jump_false",
271,
"ne_nt_300",
322,
33
],
"_nop_tc_145",
[
"jump",
"ne_nt_300",
322,
33
],
[
"ne_float",
270,
16,
9,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_nt_300",
[
"is_text",
271,
16,
322,
33
],
[
"jump_false",
271,
"ne_nnl_301",
322,
33
],
"_nop_tc_146",
"_nop_tc_147",
[
"ne_text",
270,
16,
9,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_nnl_301",
[
"is_null",
271,
16,
322,
33
],
[
"jump_false",
271,
"ne_nb_302",
322,
33
],
"_nop_tc_148",
[
"jump",
"ne_nb_302",
322,
33
],
[
"false",
270,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_nb_302",
[
"is_bool",
271,
16,
322,
33
],
[
"jump_false",
271,
"ne_mis_303",
322,
33
],
"_nop_tc_149",
[
"jump",
"ne_mis_303",
322,
33
],
[
"ne_bool",
270,
16,
9,
322,
33
],
[
"jump",
"ne_done_296",
322,
33
],
"ne_mis_303",
[
"true",
270,
322,
33
],
"ne_done_296",
[
"move",
269,
270,
322,
33
],
"and_end_287",
[
"move",
273,
269,
322,
33
],
[
"jump_false",
273,
"and_end_286",
322,
33
],
[
"access",
274,
"unknown",
322,
50
],
[
"is_identical",
275,
16,
274,
322,
50
],
[
"jump_true",
275,
"ne_nid_305",
322,
50
],
[
"jump",
"ne_ni_306",
322,
50
],
"ne_nid_305",
[
"false",
275,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_ni_306",
[
"is_int",
276,
16,
322,
50
],
[
"jump_false",
276,
"ne_nn_307",
322,
50
],
"_nop_tc_150",
[
"jump",
"ne_nn_307",
322,
50
],
[
"ne_int",
275,
16,
274,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_nn_307",
[
"is_num",
276,
16,
322,
50
],
[
"jump_false",
276,
"ne_nt_308",
322,
50
],
"_nop_tc_151",
[
"jump",
"ne_nt_308",
322,
50
],
[
"ne_float",
275,
16,
274,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_nt_308",
[
"is_text",
276,
16,
322,
50
],
[
"jump_false",
276,
"ne_nnl_309",
322,
50
],
"_nop_tc_152",
"_nop_tc_153",
[
"ne_text",
275,
16,
274,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_nnl_309",
[
"is_null",
276,
16,
322,
50
],
[
"jump_false",
276,
"ne_nb_310",
322,
50
],
"_nop_tc_154",
[
"jump",
"ne_nb_310",
322,
50
],
[
"false",
275,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_nb_310",
[
"is_bool",
276,
16,
322,
50
],
[
"jump_false",
276,
"ne_mis_311",
322,
50
],
"_nop_tc_155",
[
"jump",
"ne_mis_311",
322,
50
],
[
"ne_bool",
275,
16,
274,
322,
50
],
[
"jump",
"ne_done_304",
322,
50
],
"ne_mis_311",
[
"true",
275,
322,
50
],
"ne_done_304",
[
"move",
273,
275,
322,
50
],
"and_end_286",
[
"jump_false",
273,
"if_else_284",
322,
50
],
[
"access",
279,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
280,
279,
1,
1,
1
],
[
"null",
281,
1,
1
],
[
"setarg",
280,
0,
281,
1,
1
],
[
"setarg",
280,
1,
19,
1,
1
],
[
"invoke",
280,
278,
1,
1
],
[
"array",
282,
0,
1,
1
],
[
"push",
282,
278,
1,
1
],
[
"push",
282,
15,
1,
1
],
[
"push",
282,
13,
1,
1
],
[
"push",
282,
16,
1,
1
],
[
"access",
283,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
284,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected float",
1,
1
],
[
"frame",
286,
283,
2,
1,
1
],
[
"null",
287,
1,
1
],
[
"setarg",
286,
0,
287,
1,
1
],
[
"setarg",
286,
1,
284,
1,
1
],
[
"setarg",
286,
2,
282,
1,
1
],
[
"invoke",
286,
285,
1,
1
],
[
"is_array",
288,
18,
1,
1
],
[
"jump_false",
288,
"push_err_312",
1,
1
],
[
"push",
18,
285,
1,
1
],
[
"jump",
"push_done_313",
1,
1
],
"push_err_312",
[
"disrupt",
1,
1
],
"push_done_313",
[
"jump",
"if_end_285",
1,
1
],
"if_else_284",
"if_end_285",
[
"jump",
"if_end_279",
1,
1
],
"if_else_278",
"if_end_279",
[
"jump",
"if_end_236",
1,
1
],
"if_else_235",
[
"load_dynamic",
289,
7,
15,
326,
25
],
[
"true",
290,
326,
32
],
[
"is_identical",
291,
289,
290,
326,
32
],
[
"jump_true",
291,
"eq_done_317",
326,
32
],
[
"is_int",
292,
289,
326,
32
],
[
"jump_false",
292,
"eq_ni_318",
326,
32
],
"_nop_tc_156",
[
"jump",
"eq_ni_318",
326,
32
],
[
"eq_int",
291,
289,
290,
326,
32
],
[
"jump",
"eq_done_317",
326,
32
],
"eq_ni_318",
[
"is_num",
292,
289,
326,
32
],
[
"jump_false",
292,
"eq_nn_319",
326,
32
],
"_nop_tc_157",
[
"jump",
"eq_nn_319",
326,
32
],
[
"eq_float",
291,
289,
290,
326,
32
],
[
"jump",
"eq_done_317",
326,
32
],
"eq_nn_319",
[
"is_text",
292,
289,
326,
32
],
[
"jump_false",
292,
"eq_nt_320",
326,
32
],
"_nop_tc_158",
[
"jump",
"eq_nt_320",
326,
32
],
[
"eq_text",
291,
289,
290,
326,
32
],
[
"jump",
"eq_done_317",
326,
32
],
"eq_nt_320",
[
"is_null",
292,
289,
326,
32
],
[
"jump_false",
292,
"eq_nnl_321",
326,
32
],
"_nop_tc_159",
[
"jump",
"eq_nnl_321",
326,
32
],
[
"true",
291,
326,
32
],
[
"jump",
"eq_done_317",
326,
32
],
"eq_nnl_321",
[
"is_bool",
292,
289,
326,
32
],
[
"jump_false",
292,
"eq_nb_322",
326,
32
],
"_nop_tc_160",
"_nop_tc_161",
[
"eq_bool",
291,
289,
290,
326,
32
],
[
"jump",
"eq_done_317",
326,
32
],
"eq_nb_322",
[
"false",
291,
326,
32
],
"eq_done_317",
[
"move",
294,
291,
326,
32
],
[
"jump_false",
294,
"and_end_316",
326,
32
],
[
"length",
295,
12,
326,
47
],
[
"access",
296,
5,
326,
57
],
"_nop_tc_162",
"_nop_tc_163",
"_nop_tc_164",
[
"jump",
"rel_ni_323",
326,
57
],
[
"ge_int",
297,
295,
296,
326,
57
],
[
"jump",
"rel_done_325",
326,
57
],
"rel_ni_323",
"_nop_tc_165",
"_nop_tc_166",
"_nop_tc_167",
"_nop_tc_168",
[
"ge_float",
297,
295,
296,
326,
57
],
[
"jump",
"rel_done_325",
326,
57
],
"rel_nn_324",
"_nop_tc_169",
[
"jump",
"rel_err_326",
326,
57
],
"_nop_tc_170",
[
"jump",
"rel_err_326",
326,
57
],
[
"ge_text",
297,
295,
296,
326,
57
],
[
"jump",
"rel_done_325",
326,
57
],
"rel_err_326",
[
"disrupt",
326,
57
],
"rel_done_325",
[
"move",
294,
297,
326,
57
],
"and_end_316",
[
"jump_false",
294,
"if_else_314",
326,
57
],
[
"access",
300,
2,
327,
23
],
[
"load_index",
301,
12,
300,
327,
23
],
[
"access",
303,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
327,
12
],
[
"frame",
304,
303,
1,
327,
12
],
[
"null",
305,
327,
12
],
[
"setarg",
304,
0,
305,
327,
12
],
[
"setarg",
304,
1,
301,
327,
12
],
[
"invoke",
304,
302,
327,
12
],
[
"move",
2,
302,
327,
12
],
[
"load_dynamic",
306,
14,
2,
328,
23
],
[
"move",
8,
306,
328,
23
],
[
"null",
307,
329,
17
],
[
"is_identical",
308,
8,
307,
329,
17
],
[
"jump_true",
308,
"ne_nid_332",
329,
17
],
[
"jump",
"ne_ni_333",
329,
17
],
"ne_nid_332",
[
"false",
308,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_ni_333",
[
"is_int",
309,
8,
329,
17
],
[
"jump_false",
309,
"ne_nn_334",
329,
17
],
"_nop_tc_171",
[
"jump",
"ne_nn_334",
329,
17
],
[
"ne_int",
308,
8,
307,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_nn_334",
[
"is_num",
309,
8,
329,
17
],
[
"jump_false",
309,
"ne_nt_335",
329,
17
],
"_nop_tc_172",
[
"jump",
"ne_nt_335",
329,
17
],
[
"ne_float",
308,
8,
307,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_nt_335",
[
"is_text",
309,
8,
329,
17
],
[
"jump_false",
309,
"ne_nnl_336",
329,
17
],
"_nop_tc_173",
[
"jump",
"ne_nnl_336",
329,
17
],
[
"ne_text",
308,
8,
307,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_nnl_336",
[
"is_null",
309,
8,
329,
17
],
[
"jump_false",
309,
"ne_nb_337",
329,
17
],
"_nop_tc_174",
"_nop_tc_175",
[
"false",
308,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_nb_337",
[
"is_bool",
309,
8,
329,
17
],
[
"jump_false",
309,
"ne_mis_338",
329,
17
],
"_nop_tc_176",
[
"jump",
"ne_mis_338",
329,
17
],
[
"ne_bool",
308,
8,
307,
329,
17
],
[
"jump",
"ne_done_331",
329,
17
],
"ne_mis_338",
[
"true",
308,
329,
17
],
"ne_done_331",
[
"move",
311,
308,
329,
17
],
[
"jump_false",
311,
"and_end_330",
329,
17
],
[
"is_identical",
312,
8,
5,
329,
31
],
[
"jump_true",
312,
"ne_nid_340",
329,
31
],
[
"jump",
"ne_ni_341",
329,
31
],
"ne_nid_340",
[
"false",
312,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_ni_341",
[
"is_int",
313,
8,
329,
31
],
[
"jump_false",
313,
"ne_nn_342",
329,
31
],
"_nop_tc_177",
[
"jump",
"ne_nn_342",
329,
31
],
[
"ne_int",
312,
8,
5,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_nn_342",
[
"is_num",
313,
8,
329,
31
],
[
"jump_false",
313,
"ne_nt_343",
329,
31
],
"_nop_tc_178",
[
"jump",
"ne_nt_343",
329,
31
],
[
"ne_float",
312,
8,
5,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_nt_343",
[
"is_text",
313,
8,
329,
31
],
[
"jump_false",
313,
"ne_nnl_344",
329,
31
],
"_nop_tc_179",
"_nop_tc_180",
[
"ne_text",
312,
8,
5,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_nnl_344",
[
"is_null",
313,
8,
329,
31
],
[
"jump_false",
313,
"ne_nb_345",
329,
31
],
"_nop_tc_181",
[
"jump",
"ne_nb_345",
329,
31
],
[
"false",
312,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_nb_345",
[
"is_bool",
313,
8,
329,
31
],
[
"jump_false",
313,
"ne_mis_346",
329,
31
],
"_nop_tc_182",
[
"jump",
"ne_mis_346",
329,
31
],
[
"ne_bool",
312,
8,
5,
329,
31
],
[
"jump",
"ne_done_339",
329,
31
],
"ne_mis_346",
[
"true",
312,
329,
31
],
"ne_done_339",
[
"move",
311,
312,
329,
31
],
"and_end_330",
[
"move",
315,
311,
329,
31
],
[
"jump_false",
315,
"and_end_329",
329,
31
],
[
"access",
316,
"unknown",
329,
47
],
[
"is_identical",
317,
8,
316,
329,
47
],
[
"jump_true",
317,
"ne_nid_348",
329,
47
],
[
"jump",
"ne_ni_349",
329,
47
],
"ne_nid_348",
[
"false",
317,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_ni_349",
[
"is_int",
318,
8,
329,
47
],
[
"jump_false",
318,
"ne_nn_350",
329,
47
],
"_nop_tc_183",
[
"jump",
"ne_nn_350",
329,
47
],
[
"ne_int",
317,
8,
316,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_nn_350",
[
"is_num",
318,
8,
329,
47
],
[
"jump_false",
318,
"ne_nt_351",
329,
47
],
"_nop_tc_184",
[
"jump",
"ne_nt_351",
329,
47
],
[
"ne_float",
317,
8,
316,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_nt_351",
[
"is_text",
318,
8,
329,
47
],
[
"jump_false",
318,
"ne_nnl_352",
329,
47
],
"_nop_tc_185",
"_nop_tc_186",
[
"ne_text",
317,
8,
316,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_nnl_352",
[
"is_null",
318,
8,
329,
47
],
[
"jump_false",
318,
"ne_nb_353",
329,
47
],
"_nop_tc_187",
[
"jump",
"ne_nb_353",
329,
47
],
[
"false",
317,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_nb_353",
[
"is_bool",
318,
8,
329,
47
],
[
"jump_false",
318,
"ne_mis_354",
329,
47
],
"_nop_tc_188",
[
"jump",
"ne_mis_354",
329,
47
],
[
"ne_bool",
317,
8,
316,
329,
47
],
[
"jump",
"ne_done_347",
329,
47
],
"ne_mis_354",
[
"true",
317,
329,
47
],
"ne_done_347",
[
"move",
315,
317,
329,
47
],
"and_end_329",
[
"jump_false",
315,
"if_else_327",
329,
47
],
[
"access",
321,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
322,
321,
1,
1,
1
],
[
"null",
323,
1,
1
],
[
"setarg",
322,
0,
323,
1,
1
],
[
"setarg",
322,
1,
19,
1,
1
],
[
"invoke",
322,
320,
1,
1
],
[
"array",
324,
0,
1,
1
],
[
"push",
324,
320,
1,
1
],
[
"push",
324,
15,
1,
1
],
[
"push",
324,
2,
1,
1
],
[
"push",
324,
8,
1,
1
],
[
"access",
325,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
326,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected text",
1,
1
],
[
"frame",
328,
325,
2,
1,
1
],
[
"null",
329,
1,
1
],
[
"setarg",
328,
0,
329,
1,
1
],
[
"setarg",
328,
1,
326,
1,
1
],
[
"setarg",
328,
2,
324,
1,
1
],
[
"invoke",
328,
327,
1,
1
],
[
"is_array",
330,
18,
1,
1
],
[
"jump_false",
330,
"push_err_355",
1,
1
],
[
"push",
18,
327,
1,
1
],
[
"jump",
"push_done_356",
1,
1
],
"push_err_355",
[
"disrupt",
1,
1
],
"push_done_356",
[
"jump",
"if_end_328",
1,
1
],
"if_else_327",
"if_end_328",
[
"length",
331,
12,
332,
18
],
[
"access",
332,
6,
332,
28
],
"_nop_tc_189",
"_nop_tc_190",
"_nop_tc_191",
[
"jump",
"rel_ni_359",
332,
28
],
[
"ge_int",
333,
331,
332,
332,
28
],
[
"jump",
"rel_done_361",
332,
28
],
"rel_ni_359",
"_nop_tc_192",
"_nop_tc_193",
"_nop_tc_194",
"_nop_tc_195",
[
"ge_float",
333,
331,
332,
332,
28
],
[
"jump",
"rel_done_361",
332,
28
],
"rel_nn_360",
"_nop_tc_196",
[
"jump",
"rel_err_362",
332,
28
],
"_nop_tc_197",
[
"jump",
"rel_err_362",
332,
28
],
[
"ge_text",
333,
331,
332,
332,
28
],
[
"jump",
"rel_done_361",
332,
28
],
"rel_err_362",
[
"disrupt",
332,
28
],
"rel_done_361",
[
"jump_false",
333,
"if_else_357",
332,
28
],
[
"access",
336,
3,
333,
25
],
[
"load_index",
337,
12,
336,
333,
25
],
[
"access",
339,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
333,
14
],
[
"frame",
340,
339,
1,
333,
14
],
[
"null",
341,
333,
14
],
[
"setarg",
340,
0,
341,
333,
14
],
[
"setarg",
340,
1,
337,
333,
14
],
[
"invoke",
340,
338,
333,
14
],
[
"move",
13,
338,
333,
14
],
[
"load_dynamic",
342,
14,
13,
334,
25
],
[
"move",
16,
342,
334,
25
],
[
"null",
343,
335,
19
],
[
"is_identical",
344,
16,
343,
335,
19
],
[
"jump_true",
344,
"ne_nid_368",
335,
19
],
[
"jump",
"ne_ni_369",
335,
19
],
"ne_nid_368",
[
"false",
344,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_ni_369",
[
"is_int",
345,
16,
335,
19
],
[
"jump_false",
345,
"ne_nn_370",
335,
19
],
"_nop_tc_198",
[
"jump",
"ne_nn_370",
335,
19
],
[
"ne_int",
344,
16,
343,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_nn_370",
[
"is_num",
345,
16,
335,
19
],
[
"jump_false",
345,
"ne_nt_371",
335,
19
],
"_nop_tc_199",
[
"jump",
"ne_nt_371",
335,
19
],
[
"ne_float",
344,
16,
343,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_nt_371",
[
"is_text",
345,
16,
335,
19
],
[
"jump_false",
345,
"ne_nnl_372",
335,
19
],
"_nop_tc_200",
[
"jump",
"ne_nnl_372",
335,
19
],
[
"ne_text",
344,
16,
343,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_nnl_372",
[
"is_null",
345,
16,
335,
19
],
[
"jump_false",
345,
"ne_nb_373",
335,
19
],
"_nop_tc_201",
"_nop_tc_202",
[
"false",
344,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_nb_373",
[
"is_bool",
345,
16,
335,
19
],
[
"jump_false",
345,
"ne_mis_374",
335,
19
],
"_nop_tc_203",
[
"jump",
"ne_mis_374",
335,
19
],
[
"ne_bool",
344,
16,
343,
335,
19
],
[
"jump",
"ne_done_367",
335,
19
],
"ne_mis_374",
[
"true",
344,
335,
19
],
"ne_done_367",
[
"move",
347,
344,
335,
19
],
[
"jump_false",
347,
"and_end_366",
335,
19
],
[
"is_identical",
348,
16,
5,
335,
33
],
[
"jump_true",
348,
"ne_nid_376",
335,
33
],
[
"jump",
"ne_ni_377",
335,
33
],
"ne_nid_376",
[
"false",
348,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_ni_377",
[
"is_int",
349,
16,
335,
33
],
[
"jump_false",
349,
"ne_nn_378",
335,
33
],
"_nop_tc_204",
[
"jump",
"ne_nn_378",
335,
33
],
[
"ne_int",
348,
16,
5,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_nn_378",
[
"is_num",
349,
16,
335,
33
],
[
"jump_false",
349,
"ne_nt_379",
335,
33
],
"_nop_tc_205",
[
"jump",
"ne_nt_379",
335,
33
],
[
"ne_float",
348,
16,
5,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_nt_379",
[
"is_text",
349,
16,
335,
33
],
[
"jump_false",
349,
"ne_nnl_380",
335,
33
],
"_nop_tc_206",
"_nop_tc_207",
[
"ne_text",
348,
16,
5,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_nnl_380",
[
"is_null",
349,
16,
335,
33
],
[
"jump_false",
349,
"ne_nb_381",
335,
33
],
"_nop_tc_208",
[
"jump",
"ne_nb_381",
335,
33
],
[
"false",
348,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_nb_381",
[
"is_bool",
349,
16,
335,
33
],
[
"jump_false",
349,
"ne_mis_382",
335,
33
],
"_nop_tc_209",
[
"jump",
"ne_mis_382",
335,
33
],
[
"ne_bool",
348,
16,
5,
335,
33
],
[
"jump",
"ne_done_375",
335,
33
],
"ne_mis_382",
[
"true",
348,
335,
33
],
"ne_done_375",
[
"move",
347,
348,
335,
33
],
"and_end_366",
[
"move",
351,
347,
335,
33
],
[
"jump_false",
351,
"and_end_365",
335,
33
],
[
"access",
352,
"unknown",
335,
49
],
[
"is_identical",
353,
16,
352,
335,
49
],
[
"jump_true",
353,
"ne_nid_384",
335,
49
],
[
"jump",
"ne_ni_385",
335,
49
],
"ne_nid_384",
[
"false",
353,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_ni_385",
[
"is_int",
354,
16,
335,
49
],
[
"jump_false",
354,
"ne_nn_386",
335,
49
],
"_nop_tc_210",
[
"jump",
"ne_nn_386",
335,
49
],
[
"ne_int",
353,
16,
352,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_nn_386",
[
"is_num",
354,
16,
335,
49
],
[
"jump_false",
354,
"ne_nt_387",
335,
49
],
"_nop_tc_211",
[
"jump",
"ne_nt_387",
335,
49
],
[
"ne_float",
353,
16,
352,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_nt_387",
[
"is_text",
354,
16,
335,
49
],
[
"jump_false",
354,
"ne_nnl_388",
335,
49
],
"_nop_tc_212",
"_nop_tc_213",
[
"ne_text",
353,
16,
352,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_nnl_388",
[
"is_null",
354,
16,
335,
49
],
[
"jump_false",
354,
"ne_nb_389",
335,
49
],
"_nop_tc_214",
[
"jump",
"ne_nb_389",
335,
49
],
[
"false",
353,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_nb_389",
[
"is_bool",
354,
16,
335,
49
],
[
"jump_false",
354,
"ne_mis_390",
335,
49
],
"_nop_tc_215",
[
"jump",
"ne_mis_390",
335,
49
],
[
"ne_bool",
353,
16,
352,
335,
49
],
[
"jump",
"ne_done_383",
335,
49
],
"ne_mis_390",
[
"true",
353,
335,
49
],
"ne_done_383",
[
"move",
351,
353,
335,
49
],
"and_end_365",
[
"jump_false",
351,
"if_else_363",
335,
49
],
[
"access",
357,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
358,
357,
1,
1,
1
],
[
"null",
359,
1,
1
],
[
"setarg",
358,
0,
359,
1,
1
],
[
"setarg",
358,
1,
19,
1,
1
],
[
"invoke",
358,
356,
1,
1
],
[
"array",
360,
0,
1,
1
],
[
"push",
360,
356,
1,
1
],
[
"push",
360,
15,
1,
1
],
[
"push",
360,
13,
1,
1
],
[
"push",
360,
16,
1,
1
],
[
"access",
361,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
362,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected text",
1,
1
],
[
"frame",
364,
361,
2,
1,
1
],
[
"null",
365,
1,
1
],
[
"setarg",
364,
0,
365,
1,
1
],
[
"setarg",
364,
1,
362,
1,
1
],
[
"setarg",
364,
2,
360,
1,
1
],
[
"invoke",
364,
363,
1,
1
],
[
"is_array",
366,
18,
1,
1
],
[
"jump_false",
366,
"push_err_391",
1,
1
],
[
"push",
18,
363,
1,
1
],
[
"jump",
"push_done_392",
1,
1
],
"push_err_391",
[
"disrupt",
1,
1
],
"push_done_392",
[
"jump",
"if_end_364",
1,
1
],
"if_else_363",
"if_end_364",
[
"jump",
"if_end_358",
1,
1
],
"if_else_357",
"if_end_358",
[
"jump",
"if_end_315",
1,
1
],
"if_else_314",
[
"load_dynamic",
367,
17,
15,
339,
25
],
[
"true",
368,
339,
32
],
[
"is_identical",
369,
367,
368,
339,
32
],
[
"jump_true",
369,
"eq_done_396",
339,
32
],
[
"is_int",
370,
367,
339,
32
],
[
"jump_false",
370,
"eq_ni_397",
339,
32
],
"_nop_tc_216",
[
"jump",
"eq_ni_397",
339,
32
],
[
"eq_int",
369,
367,
368,
339,
32
],
[
"jump",
"eq_done_396",
339,
32
],
"eq_ni_397",
[
"is_num",
370,
367,
339,
32
],
[
"jump_false",
370,
"eq_nn_398",
339,
32
],
"_nop_tc_217",
[
"jump",
"eq_nn_398",
339,
32
],
[
"eq_float",
369,
367,
368,
339,
32
],
[
"jump",
"eq_done_396",
339,
32
],
"eq_nn_398",
[
"is_text",
370,
367,
339,
32
],
[
"jump_false",
370,
"eq_nt_399",
339,
32
],
"_nop_tc_218",
[
"jump",
"eq_nt_399",
339,
32
],
[
"eq_text",
369,
367,
368,
339,
32
],
[
"jump",
"eq_done_396",
339,
32
],
"eq_nt_399",
[
"is_null",
370,
367,
339,
32
],
[
"jump_false",
370,
"eq_nnl_400",
339,
32
],
"_nop_tc_219",
[
"jump",
"eq_nnl_400",
339,
32
],
[
"true",
369,
339,
32
],
[
"jump",
"eq_done_396",
339,
32
],
"eq_nnl_400",
[
"is_bool",
370,
367,
339,
32
],
[
"jump_false",
370,
"eq_nb_401",
339,
32
],
"_nop_tc_220",
"_nop_tc_221",
[
"eq_bool",
369,
367,
368,
339,
32
],
[
"jump",
"eq_done_396",
339,
32
],
"eq_nb_401",
[
"false",
369,
339,
32
],
"eq_done_396",
[
"move",
372,
369,
339,
32
],
[
"jump_false",
372,
"and_end_395",
339,
32
],
[
"length",
373,
12,
339,
47
],
[
"access",
374,
5,
339,
57
],
"_nop_tc_222",
"_nop_tc_223",
"_nop_tc_224",
[
"jump",
"rel_ni_402",
339,
57
],
[
"ge_int",
375,
373,
374,
339,
57
],
[
"jump",
"rel_done_404",
339,
57
],
"rel_ni_402",
"_nop_tc_225",
"_nop_tc_226",
"_nop_tc_227",
"_nop_tc_228",
[
"ge_float",
375,
373,
374,
339,
57
],
[
"jump",
"rel_done_404",
339,
57
],
"rel_nn_403",
"_nop_tc_229",
[
"jump",
"rel_err_405",
339,
57
],
"_nop_tc_230",
[
"jump",
"rel_err_405",
339,
57
],
[
"ge_text",
375,
373,
374,
339,
57
],
[
"jump",
"rel_done_404",
339,
57
],
"rel_err_405",
[
"disrupt",
339,
57
],
"rel_done_404",
[
"move",
372,
375,
339,
57
],
"and_end_395",
[
"jump_false",
372,
"if_else_393",
339,
57
],
[
"access",
378,
2,
340,
23
],
[
"load_index",
379,
12,
378,
340,
23
],
[
"access",
381,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
340,
12
],
[
"frame",
382,
381,
1,
340,
12
],
[
"null",
383,
340,
12
],
[
"setarg",
382,
0,
383,
340,
12
],
[
"setarg",
382,
1,
379,
340,
12
],
[
"invoke",
382,
380,
340,
12
],
[
"move",
2,
380,
340,
12
],
[
"load_dynamic",
384,
14,
2,
341,
23
],
[
"move",
8,
384,
341,
23
],
[
"null",
385,
342,
17
],
[
"is_identical",
386,
8,
385,
342,
17
],
[
"jump_true",
386,
"ne_nid_411",
342,
17
],
[
"jump",
"ne_ni_412",
342,
17
],
"ne_nid_411",
[
"false",
386,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_ni_412",
[
"is_int",
387,
8,
342,
17
],
[
"jump_false",
387,
"ne_nn_413",
342,
17
],
"_nop_tc_231",
[
"jump",
"ne_nn_413",
342,
17
],
[
"ne_int",
386,
8,
385,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_nn_413",
[
"is_num",
387,
8,
342,
17
],
[
"jump_false",
387,
"ne_nt_414",
342,
17
],
"_nop_tc_232",
[
"jump",
"ne_nt_414",
342,
17
],
[
"ne_float",
386,
8,
385,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_nt_414",
[
"is_text",
387,
8,
342,
17
],
[
"jump_false",
387,
"ne_nnl_415",
342,
17
],
"_nop_tc_233",
[
"jump",
"ne_nnl_415",
342,
17
],
[
"ne_text",
386,
8,
385,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_nnl_415",
[
"is_null",
387,
8,
342,
17
],
[
"jump_false",
387,
"ne_nb_416",
342,
17
],
"_nop_tc_234",
"_nop_tc_235",
[
"false",
386,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_nb_416",
[
"is_bool",
387,
8,
342,
17
],
[
"jump_false",
387,
"ne_mis_417",
342,
17
],
"_nop_tc_236",
[
"jump",
"ne_mis_417",
342,
17
],
[
"ne_bool",
386,
8,
385,
342,
17
],
[
"jump",
"ne_done_410",
342,
17
],
"ne_mis_417",
[
"true",
386,
342,
17
],
"ne_done_410",
[
"move",
389,
386,
342,
17
],
[
"jump_false",
389,
"and_end_409",
342,
17
],
[
"is_identical",
390,
8,
6,
342,
31
],
[
"jump_true",
390,
"ne_nid_419",
342,
31
],
[
"jump",
"ne_ni_420",
342,
31
],
"ne_nid_419",
[
"false",
390,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_ni_420",
[
"is_int",
391,
8,
342,
31
],
[
"jump_false",
391,
"ne_nn_421",
342,
31
],
"_nop_tc_237",
[
"jump",
"ne_nn_421",
342,
31
],
[
"ne_int",
390,
8,
6,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_nn_421",
[
"is_num",
391,
8,
342,
31
],
[
"jump_false",
391,
"ne_nt_422",
342,
31
],
"_nop_tc_238",
[
"jump",
"ne_nt_422",
342,
31
],
[
"ne_float",
390,
8,
6,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_nt_422",
[
"is_text",
391,
8,
342,
31
],
[
"jump_false",
391,
"ne_nnl_423",
342,
31
],
"_nop_tc_239",
"_nop_tc_240",
[
"ne_text",
390,
8,
6,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_nnl_423",
[
"is_null",
391,
8,
342,
31
],
[
"jump_false",
391,
"ne_nb_424",
342,
31
],
"_nop_tc_241",
[
"jump",
"ne_nb_424",
342,
31
],
[
"false",
390,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_nb_424",
[
"is_bool",
391,
8,
342,
31
],
[
"jump_false",
391,
"ne_mis_425",
342,
31
],
"_nop_tc_242",
[
"jump",
"ne_mis_425",
342,
31
],
[
"ne_bool",
390,
8,
6,
342,
31
],
[
"jump",
"ne_done_418",
342,
31
],
"ne_mis_425",
[
"true",
390,
342,
31
],
"ne_done_418",
[
"move",
389,
390,
342,
31
],
"and_end_409",
[
"move",
393,
389,
342,
31
],
[
"jump_false",
393,
"and_end_408",
342,
31
],
[
"access",
394,
"unknown",
342,
47
],
[
"is_identical",
395,
8,
394,
342,
47
],
[
"jump_true",
395,
"ne_nid_427",
342,
47
],
[
"jump",
"ne_ni_428",
342,
47
],
"ne_nid_427",
[
"false",
395,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_ni_428",
[
"is_int",
396,
8,
342,
47
],
[
"jump_false",
396,
"ne_nn_429",
342,
47
],
"_nop_tc_243",
[
"jump",
"ne_nn_429",
342,
47
],
[
"ne_int",
395,
8,
394,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_nn_429",
[
"is_num",
396,
8,
342,
47
],
[
"jump_false",
396,
"ne_nt_430",
342,
47
],
"_nop_tc_244",
[
"jump",
"ne_nt_430",
342,
47
],
[
"ne_float",
395,
8,
394,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_nt_430",
[
"is_text",
396,
8,
342,
47
],
[
"jump_false",
396,
"ne_nnl_431",
342,
47
],
"_nop_tc_245",
"_nop_tc_246",
[
"ne_text",
395,
8,
394,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_nnl_431",
[
"is_null",
396,
8,
342,
47
],
[
"jump_false",
396,
"ne_nb_432",
342,
47
],
"_nop_tc_247",
[
"jump",
"ne_nb_432",
342,
47
],
[
"false",
395,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_nb_432",
[
"is_bool",
396,
8,
342,
47
],
[
"jump_false",
396,
"ne_mis_433",
342,
47
],
"_nop_tc_248",
[
"jump",
"ne_mis_433",
342,
47
],
[
"ne_bool",
395,
8,
394,
342,
47
],
[
"jump",
"ne_done_426",
342,
47
],
"ne_mis_433",
[
"true",
395,
342,
47
],
"ne_done_426",
[
"move",
393,
395,
342,
47
],
"and_end_408",
[
"jump_false",
393,
"if_else_406",
342,
47
],
[
"access",
399,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
400,
399,
1,
1,
1
],
[
"null",
401,
1,
1
],
[
"setarg",
400,
0,
401,
1,
1
],
[
"setarg",
400,
1,
19,
1,
1
],
[
"invoke",
400,
398,
1,
1
],
[
"array",
402,
0,
1,
1
],
[
"push",
402,
398,
1,
1
],
[
"push",
402,
15,
1,
1
],
[
"push",
402,
2,
1,
1
],
[
"push",
402,
8,
1,
1
],
[
"access",
403,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
404,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected bool",
1,
1
],
[
"frame",
406,
403,
2,
1,
1
],
[
"null",
407,
1,
1
],
[
"setarg",
406,
0,
407,
1,
1
],
[
"setarg",
406,
1,
404,
1,
1
],
[
"setarg",
406,
2,
402,
1,
1
],
[
"invoke",
406,
405,
1,
1
],
[
"is_array",
408,
18,
1,
1
],
[
"jump_false",
408,
"push_err_434",
1,
1
],
[
"push",
18,
405,
1,
1
],
[
"jump",
"push_done_435",
1,
1
],
"push_err_434",
[
"disrupt",
1,
1
],
"push_done_435",
[
"jump",
"if_end_407",
1,
1
],
"if_else_406",
"if_end_407",
[
"jump",
"if_end_394",
1,
1
],
"if_else_393",
"if_end_394",
"if_end_315",
"if_end_236",
"if_end_157",
[
"get",
409,
1,
1,
348,
9
],
[
"load_dynamic",
410,
409,
15,
348,
21
],
[
"true",
411,
348,
28
],
[
"is_identical",
412,
410,
411,
348,
28
],
[
"jump_true",
412,
"eq_done_438",
348,
28
],
[
"is_int",
413,
410,
348,
28
],
[
"jump_false",
413,
"eq_ni_439",
348,
28
],
"_nop_tc_249",
[
"jump",
"eq_ni_439",
348,
28
],
[
"eq_int",
412,
410,
411,
348,
28
],
[
"jump",
"eq_done_438",
348,
28
],
"eq_ni_439",
[
"is_num",
413,
410,
348,
28
],
[
"jump_false",
413,
"eq_nn_440",
348,
28
],
"_nop_tc_250",
[
"jump",
"eq_nn_440",
348,
28
],
[
"eq_float",
412,
410,
411,
348,
28
],
[
"jump",
"eq_done_438",
348,
28
],
"eq_nn_440",
[
"is_text",
413,
410,
348,
28
],
[
"jump_false",
413,
"eq_nt_441",
348,
28
],
"_nop_tc_251",
[
"jump",
"eq_nt_441",
348,
28
],
[
"eq_text",
412,
410,
411,
348,
28
],
[
"jump",
"eq_done_438",
348,
28
],
"eq_nt_441",
[
"is_null",
413,
410,
348,
28
],
[
"jump_false",
413,
"eq_nnl_442",
348,
28
],
"_nop_tc_252",
[
"jump",
"eq_nnl_442",
348,
28
],
[
"true",
412,
348,
28
],
[
"jump",
"eq_done_438",
348,
28
],
"eq_nnl_442",
[
"is_bool",
413,
410,
348,
28
],
[
"jump_false",
413,
"eq_nb_443",
348,
28
],
"_nop_tc_253",
"_nop_tc_254",
[
"eq_bool",
412,
410,
411,
348,
28
],
[
"jump",
"eq_done_438",
348,
28
],
"eq_nb_443",
[
"false",
412,
348,
28
],
"eq_done_438",
[
"jump_false",
412,
"if_else_436",
348,
28
],
[
"null",
415,
349,
36
],
[
"access",
416,
1,
349,
29
],
[
"load_index",
417,
12,
416,
349,
29
],
[
"access",
419,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
349,
18
],
[
"frame",
420,
419,
1,
349,
18
],
[
"null",
421,
349,
18
],
[
"setarg",
420,
0,
421,
349,
18
],
[
"setarg",
420,
1,
417,
349,
18
],
[
"invoke",
420,
418,
349,
18
],
[
"store_dynamic",
14,
415,
418,
349,
18
],
[
"access",
422,
"int",
351,
17
],
[
"is_identical",
423,
15,
422,
351,
17
],
[
"jump_true",
423,
"eq_done_447",
351,
17
],
[
"is_int",
424,
15,
351,
17
],
[
"jump_false",
424,
"eq_ni_448",
351,
17
],
"_nop_tc_255",
[
"jump",
"eq_ni_448",
351,
17
],
[
"eq_int",
423,
15,
422,
351,
17
],
[
"jump",
"eq_done_447",
351,
17
],
"eq_ni_448",
[
"is_num",
424,
15,
351,
17
],
[
"jump_false",
424,
"eq_nn_449",
351,
17
],
"_nop_tc_256",
[
"jump",
"eq_nn_449",
351,
17
],
[
"eq_float",
423,
15,
422,
351,
17
],
[
"jump",
"eq_done_447",
351,
17
],
"eq_nn_449",
[
"is_text",
424,
15,
351,
17
],
[
"jump_false",
424,
"eq_nt_450",
351,
17
],
"_nop_tc_257",
"_nop_tc_258",
[
"eq_text",
423,
15,
422,
351,
17
],
[
"jump",
"eq_done_447",
351,
17
],
"eq_nt_450",
[
"is_null",
424,
15,
351,
17
],
[
"jump_false",
424,
"eq_nnl_451",
351,
17
],
"_nop_tc_259",
[
"jump",
"eq_nnl_451",
351,
17
],
[
"true",
423,
351,
17
],
[
"jump",
"eq_done_447",
351,
17
],
"eq_nnl_451",
[
"is_bool",
424,
15,
351,
17
],
[
"jump_false",
424,
"eq_nb_452",
351,
17
],
"_nop_tc_260",
[
"jump",
"eq_nb_452",
351,
17
],
[
"eq_bool",
423,
15,
422,
351,
17
],
[
"jump",
"eq_done_447",
351,
17
],
"eq_nb_452",
[
"false",
423,
351,
17
],
"eq_done_447",
[
"move",
426,
423,
351,
17
],
[
"jump_true",
426,
"or_end_446",
351,
17
],
[
"access",
427,
"access",
351,
33
],
[
"is_identical",
428,
15,
427,
351,
33
],
[
"jump_true",
428,
"eq_done_454",
351,
33
],
[
"is_int",
429,
15,
351,
33
],
[
"jump_false",
429,
"eq_ni_455",
351,
33
],
"_nop_tc_261",
[
"jump",
"eq_ni_455",
351,
33
],
[
"eq_int",
428,
15,
427,
351,
33
],
[
"jump",
"eq_done_454",
351,
33
],
"eq_ni_455",
[
"is_num",
429,
15,
351,
33
],
[
"jump_false",
429,
"eq_nn_456",
351,
33
],
"_nop_tc_262",
[
"jump",
"eq_nn_456",
351,
33
],
[
"eq_float",
428,
15,
427,
351,
33
],
[
"jump",
"eq_done_454",
351,
33
],
"eq_nn_456",
[
"is_text",
429,
15,
351,
33
],
[
"jump_false",
429,
"eq_nt_457",
351,
33
],
"_nop_tc_263",
"_nop_tc_264",
[
"eq_text",
428,
15,
427,
351,
33
],
[
"jump",
"eq_done_454",
351,
33
],
"eq_nt_457",
[
"is_null",
429,
15,
351,
33
],
[
"jump_false",
429,
"eq_nnl_458",
351,
33
],
"_nop_tc_265",
[
"jump",
"eq_nnl_458",
351,
33
],
[
"true",
428,
351,
33
],
[
"jump",
"eq_done_454",
351,
33
],
"eq_nnl_458",
[
"is_bool",
429,
15,
351,
33
],
[
"jump_false",
429,
"eq_nb_459",
351,
33
],
"_nop_tc_266",
[
"jump",
"eq_nb_459",
351,
33
],
[
"eq_bool",
428,
15,
427,
351,
33
],
[
"jump",
"eq_done_454",
351,
33
],
"eq_nb_459",
[
"false",
428,
351,
33
],
"eq_done_454",
[
"move",
431,
428,
351,
33
],
[
"jump_false",
431,
"and_end_453",
351,
33
],
[
"access",
432,
2,
351,
61
],
[
"load_index",
433,
12,
432,
351,
61
],
[
"is_num",
434,
433,
351,
61
],
[
"move",
431,
434,
351,
61
],
"and_end_453",
[
"move",
426,
431,
351,
61
],
"or_end_446",
[
"jump_false",
426,
"if_else_444",
351,
61
],
[
"jump",
"if_end_445",
351,
67
],
"if_else_444",
"if_end_445",
[
"jump",
"if_end_437",
351,
67
],
"if_else_436",
"if_end_437",
[
"access",
435,
"invoke",
355,
15
],
[
"is_identical",
436,
15,
435,
355,
15
],
[
"jump_true",
436,
"eq_done_462",
355,
15
],
[
"is_int",
437,
15,
355,
15
],
[
"jump_false",
437,
"eq_ni_463",
355,
15
],
"_nop_tc_267",
[
"jump",
"eq_ni_463",
355,
15
],
[
"eq_int",
436,
15,
435,
355,
15
],
[
"jump",
"eq_done_462",
355,
15
],
"eq_ni_463",
[
"is_num",
437,
15,
355,
15
],
[
"jump_false",
437,
"eq_nn_464",
355,
15
],
"_nop_tc_268",
[
"jump",
"eq_nn_464",
355,
15
],
[
"eq_float",
436,
15,
435,
355,
15
],
[
"jump",
"eq_done_462",
355,
15
],
"eq_nn_464",
[
"is_text",
437,
15,
355,
15
],
[
"jump_false",
437,
"eq_nt_465",
355,
15
],
"_nop_tc_269",
"_nop_tc_270",
[
"eq_text",
436,
15,
435,
355,
15
],
[
"jump",
"eq_done_462",
355,
15
],
"eq_nt_465",
[
"is_null",
437,
15,
355,
15
],
[
"jump_false",
437,
"eq_nnl_466",
355,
15
],
"_nop_tc_271",
[
"jump",
"eq_nnl_466",
355,
15
],
[
"true",
436,
355,
15
],
[
"jump",
"eq_done_462",
355,
15
],
"eq_nnl_466",
[
"is_bool",
437,
15,
355,
15
],
[
"jump_false",
437,
"eq_nb_467",
355,
15
],
"_nop_tc_272",
[
"jump",
"eq_nb_467",
355,
15
],
[
"eq_bool",
436,
15,
435,
355,
15
],
[
"jump",
"eq_done_462",
355,
15
],
"eq_nb_467",
[
"false",
436,
355,
15
],
"eq_done_462",
[
"jump_false",
436,
"if_else_460",
355,
15
],
[
"null",
439,
356,
36
],
[
"access",
440,
2,
356,
29
],
[
"load_index",
441,
12,
440,
356,
29
],
[
"access",
443,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
356,
18
],
[
"frame",
444,
443,
1,
356,
18
],
[
"null",
445,
356,
18
],
[
"setarg",
444,
0,
445,
356,
18
],
[
"setarg",
444,
1,
441,
356,
18
],
[
"invoke",
444,
442,
356,
18
],
[
"store_dynamic",
14,
439,
442,
356,
18
],
[
"jump",
"if_end_461",
356,
18
],
"if_else_460",
"if_end_461",
[
"access",
446,
1,
359,
13
],
[
"add",
447,
19,
446,
359,
13
],
[
"move",
19,
447,
359,
13
],
[
"jump",
"while_start_108",
359,
13
],
"while_end_109",
[
"return",
18,
361,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 71,
"nr_close_slots": 0,
"instructions": [
[
"load_field",
10,
1,
"instructions",
367,
22
],
[
"move",
5,
10,
367,
22
],
[
"array",
11,
0,
368,
16
],
[
"move",
7,
11,
368,
16
],
[
"record",
12,
0
],
[
"move",
9,
12,
369,
14
],
[
"access",
8,
0,
370,
11
],
[
"null",
3,
371,
15
],
[
"null",
6,
372,
12
],
[
"null",
4,
373,
19
],
[
"null",
2,
374,
16
],
[
"null",
13,
376,
23
],
[
"is_identical",
14,
5,
13,
376,
23
],
[
"jump_true",
14,
"eq_done_470",
376,
23
],
[
"is_int",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_ni_471",
376,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_471",
376,
23
],
[
"eq_int",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_470",
376,
23
],
"eq_ni_471",
[
"is_num",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nn_472",
376,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_472",
376,
23
],
[
"eq_float",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_470",
376,
23
],
"eq_nn_472",
[
"is_text",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nt_473",
376,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_473",
376,
23
],
[
"eq_text",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_470",
376,
23
],
"eq_nt_473",
[
"is_null",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nnl_474",
376,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
14,
376,
23
],
[
"jump",
"eq_done_470",
376,
23
],
"eq_nnl_474",
[
"is_bool",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nb_475",
376,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_475",
376,
23
],
[
"eq_bool",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_470",
376,
23
],
"eq_nb_475",
[
"false",
14,
376,
23
],
"eq_done_470",
[
"jump_false",
14,
"if_else_468",
376,
23
],
[
"return",
7,
376,
36
],
"_nop_ur_1",
"if_else_468",
"if_end_469",
"while_start_476",
[
"length",
17,
5,
379,
21
],
[
"is_int",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_ni_478",
379,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_480",
379,
21
],
"rel_ni_478",
[
"is_num",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_nn_479",
379,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_480",
379,
21
],
"rel_nn_479",
[
"is_text",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_err_481",
379,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_481",
379,
21
],
[
"lt_text",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_480",
379,
21
],
"rel_err_481",
[
"disrupt",
379,
21
],
"rel_done_480",
[
"jump_false",
18,
"while_end_477",
379,
21
],
[
"load_dynamic",
21,
5,
8,
380,
26
],
[
"move",
3,
21,
380,
26
],
[
"is_text",
22,
3,
381,
17
],
[
"move",
23,
22,
381,
17
],
[
"jump_false",
23,
"and_end_484",
381,
17
],
[
"access",
24,
"_nop_",
381,
46
],
[
"access",
26,
{
"name": "starts_with",
"kind": "name",
"make": "intrinsic"
},
381,
27
],
[
"frame",
27,
26,
2,
381,
27
],
[
"null",
28,
381,
27
],
[
"setarg",
27,
0,
28,
381,
27
],
[
"setarg",
27,
1,
3,
381,
27
],
[
"setarg",
27,
2,
24,
381,
27
],
[
"invoke",
27,
25,
381,
27
],
[
"move",
23,
25,
381,
27
],
"and_end_484",
[
"jump_false",
23,
"if_else_482",
381,
27
],
[
"true",
29,
382,
21
],
[
"store_dynamic",
9,
29,
3,
382,
12
],
[
"jump",
"if_end_483",
382,
12
],
"if_else_482",
"if_end_483",
[
"access",
30,
1,
384,
13
],
[
"add",
31,
8,
30,
384,
13
],
[
"move",
8,
31,
384,
13
],
[
"jump",
"while_start_476",
384,
13
],
"while_end_477",
[
"access",
32,
0,
388,
7
],
[
"move",
8,
32,
388,
7
],
"while_start_485",
[
"length",
33,
5,
389,
21
],
[
"is_int",
35,
8,
389,
21
],
[
"jump_false",
35,
"rel_ni_487",
389,
21
],
"_nop_tc_12",
"_nop_tc_13",
[
"lt_int",
34,
8,
33,
389,
21
],
[
"jump",
"rel_done_489",
389,
21
],
"rel_ni_487",
[
"is_num",
35,
8,
389,
21
],
[
"jump_false",
35,
"rel_nn_488",
389,
21
],
"_nop_tc_14",
"_nop_tc_15",
[
"lt_float",
34,
8,
33,
389,
21
],
[
"jump",
"rel_done_489",
389,
21
],
"rel_nn_488",
[
"is_text",
35,
8,
389,
21
],
[
"jump_false",
35,
"rel_err_490",
389,
21
],
"_nop_tc_16",
[
"jump",
"rel_err_490",
389,
21
],
[
"lt_text",
34,
8,
33,
389,
21
],
[
"jump",
"rel_done_489",
389,
21
],
"rel_err_490",
[
"disrupt",
389,
21
],
"rel_done_489",
[
"jump_false",
34,
"while_end_486",
389,
21
],
[
"load_dynamic",
37,
5,
8,
390,
26
],
[
"move",
3,
37,
390,
26
],
[
"is_array",
38,
3,
391,
18
],
[
"jump_false",
38,
"if_else_491",
391,
18
],
[
"access",
39,
0,
392,
18
],
[
"load_index",
40,
3,
39,
392,
18
],
[
"move",
6,
40,
392,
18
],
[
"get",
41,
6,
1,
393,
19
],
[
"load_dynamic",
42,
41,
6,
393,
34
],
[
"move",
4,
42,
393,
34
],
[
"null",
43,
394,
24
],
[
"is_identical",
44,
4,
43,
394,
24
],
[
"jump_true",
44,
"ne_nid_496",
394,
24
],
[
"jump",
"ne_ni_497",
394,
24
],
"ne_nid_496",
[
"false",
44,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_ni_497",
[
"is_int",
45,
4,
394,
24
],
[
"jump_false",
45,
"ne_nn_498",
394,
24
],
"_nop_tc_17",
[
"jump",
"ne_nn_498",
394,
24
],
[
"ne_int",
44,
4,
43,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_nn_498",
[
"is_num",
45,
4,
394,
24
],
[
"jump_false",
45,
"ne_nt_499",
394,
24
],
"_nop_tc_18",
[
"jump",
"ne_nt_499",
394,
24
],
[
"ne_float",
44,
4,
43,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_nt_499",
[
"is_text",
45,
4,
394,
24
],
[
"jump_false",
45,
"ne_nnl_500",
394,
24
],
"_nop_tc_19",
[
"jump",
"ne_nnl_500",
394,
24
],
[
"ne_text",
44,
4,
43,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_nnl_500",
[
"is_null",
45,
4,
394,
24
],
[
"jump_false",
45,
"ne_nb_501",
394,
24
],
"_nop_tc_20",
"_nop_tc_21",
[
"false",
44,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_nb_501",
[
"is_bool",
45,
4,
394,
24
],
[
"jump_false",
45,
"ne_mis_502",
394,
24
],
"_nop_tc_22",
[
"jump",
"ne_mis_502",
394,
24
],
[
"ne_bool",
44,
4,
43,
394,
24
],
[
"jump",
"ne_done_495",
394,
24
],
"ne_mis_502",
[
"true",
44,
394,
24
],
"ne_done_495",
[
"jump_false",
44,
"if_else_493",
394,
24
],
[
"access",
47,
1,
395,
36
],
[
"add",
48,
4,
47,
395,
36
],
[
"load_dynamic",
49,
3,
48,
395,
36
],
[
"move",
2,
49,
395,
36
],
[
"is_text",
50,
2,
396,
21
],
[
"move",
51,
50,
396,
21
],
[
"jump_false",
51,
"and_end_505",
396,
21
],
[
"load_dynamic",
52,
9,
2,
396,
37
],
[
"true",
53,
396,
48
],
[
"is_identical",
54,
52,
53,
396,
48
],
[
"jump_true",
54,
"eq_done_506",
396,
48
],
[
"is_int",
55,
52,
396,
48
],
[
"jump_false",
55,
"eq_ni_507",
396,
48
],
"_nop_tc_23",
[
"jump",
"eq_ni_507",
396,
48
],
[
"eq_int",
54,
52,
53,
396,
48
],
[
"jump",
"eq_done_506",
396,
48
],
"eq_ni_507",
[
"is_num",
55,
52,
396,
48
],
[
"jump_false",
55,
"eq_nn_508",
396,
48
],
"_nop_tc_24",
[
"jump",
"eq_nn_508",
396,
48
],
[
"eq_float",
54,
52,
53,
396,
48
],
[
"jump",
"eq_done_506",
396,
48
],
"eq_nn_508",
[
"is_text",
55,
52,
396,
48
],
[
"jump_false",
55,
"eq_nt_509",
396,
48
],
"_nop_tc_25",
[
"jump",
"eq_nt_509",
396,
48
],
[
"eq_text",
54,
52,
53,
396,
48
],
[
"jump",
"eq_done_506",
396,
48
],
"eq_nt_509",
[
"is_null",
55,
52,
396,
48
],
[
"jump_false",
55,
"eq_nnl_510",
396,
48
],
"_nop_tc_26",
[
"jump",
"eq_nnl_510",
396,
48
],
[
"true",
54,
396,
48
],
[
"jump",
"eq_done_506",
396,
48
],
"eq_nnl_510",
[
"is_bool",
55,
52,
396,
48
],
[
"jump_false",
55,
"eq_nb_511",
396,
48
],
"_nop_tc_27",
"_nop_tc_28",
[
"eq_bool",
54,
52,
53,
396,
48
],
[
"jump",
"eq_done_506",
396,
48
],
"eq_nb_511",
[
"false",
54,
396,
48
],
"eq_done_506",
[
"move",
51,
54,
396,
48
],
"and_end_505",
[
"jump_false",
51,
"if_else_503",
396,
48
],
[
"access",
58,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
59,
58,
1,
1,
1
],
[
"null",
60,
1,
1
],
[
"setarg",
59,
0,
60,
1,
1
],
[
"setarg",
59,
1,
8,
1,
1
],
[
"invoke",
59,
57,
1,
1
],
[
"array",
61,
0,
1,
1
],
[
"push",
61,
57,
1,
1
],
[
"push",
61,
6,
1,
1
],
[
"push",
61,
2,
1,
1
],
[
"access",
62,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
63,
"nop_consistency: instr {0} op={1} jumps to nop marker \"{2}\"",
1,
1
],
[
"frame",
65,
62,
2,
1,
1
],
[
"null",
66,
1,
1
],
[
"setarg",
65,
0,
66,
1,
1
],
[
"setarg",
65,
1,
63,
1,
1
],
[
"setarg",
65,
2,
61,
1,
1
],
[
"invoke",
65,
64,
1,
1
],
[
"is_array",
67,
7,
1,
1
],
[
"jump_false",
67,
"push_err_512",
1,
1
],
[
"push",
7,
64,
1,
1
],
[
"jump",
"push_done_513",
1,
1
],
"push_err_512",
[
"disrupt",
1,
1
],
"push_done_513",
[
"jump",
"if_end_504",
1,
1
],
"if_else_503",
"if_end_504",
[
"jump",
"if_end_494",
1,
1
],
"if_else_493",
"if_end_494",
[
"jump",
"if_end_492",
1,
1
],
"if_else_491",
"if_end_492",
[
"access",
68,
1,
401,
13
],
[
"add",
69,
8,
68,
401,
13
],
[
"move",
8,
69,
401,
13
],
[
"jump",
"while_start_485",
401,
13
],
"while_end_486",
[
"return",
7,
403,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 102,
"nr_close_slots": 0,
"instructions": [
[
"array",
8,
0,
409,
20
],
[
"move",
3,
8,
409,
20
],
[
"null",
4,
410,
22
],
[
"access",
7,
0,
411,
11
],
[
"null",
9,
412,
29
],
[
"is_identical",
10,
2,
9,
412,
29
],
[
"jump_true",
10,
"ne_nid_517",
412,
29
],
[
"jump",
"ne_ni_518",
412,
29
],
"ne_nid_517",
[
"false",
10,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_ni_518",
[
"is_int",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nn_519",
412,
29
],
"_nop_tc_1",
[
"jump",
"ne_nn_519",
412,
29
],
[
"ne_int",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_nn_519",
[
"is_num",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nt_520",
412,
29
],
"_nop_tc_2",
[
"jump",
"ne_nt_520",
412,
29
],
[
"ne_float",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_nt_520",
[
"is_text",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nnl_521",
412,
29
],
"_nop_tc_3",
[
"jump",
"ne_nnl_521",
412,
29
],
[
"ne_text",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_nnl_521",
[
"is_null",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nb_522",
412,
29
],
"_nop_tc_4",
"_nop_tc_5",
[
"false",
10,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_nb_522",
[
"is_bool",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_mis_523",
412,
29
],
"_nop_tc_6",
[
"jump",
"ne_mis_523",
412,
29
],
[
"ne_bool",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_516",
412,
29
],
"ne_mis_523",
[
"true",
10,
412,
29
],
"ne_done_516",
[
"jump_false",
10,
"tern_else_514",
412,
29
],
[
"access",
14,
": ",
412,
48
],
[
"add",
15,
2,
14,
412,
48
],
[
"move",
13,
15,
412,
48
],
[
"jump",
"tern_end_515",
412,
48
],
"tern_else_514",
[
"access",
16,
"",
412,
55
],
[
"move",
13,
16,
412,
55
],
"tern_end_515",
[
"move",
5,
13,
412,
55
],
[
"load_field",
17,
1,
"name",
413,
17
],
[
"null",
18,
413,
30
],
[
"is_identical",
19,
17,
18,
413,
30
],
[
"jump_true",
19,
"ne_nid_527",
413,
30
],
[
"jump",
"ne_ni_528",
413,
30
],
"ne_nid_527",
[
"false",
19,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_ni_528",
[
"is_int",
20,
17,
413,
30
],
[
"jump_false",
20,
"ne_nn_529",
413,
30
],
"_nop_tc_7",
[
"jump",
"ne_nn_529",
413,
30
],
[
"ne_int",
19,
17,
18,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_nn_529",
[
"is_num",
20,
17,
413,
30
],
[
"jump_false",
20,
"ne_nt_530",
413,
30
],
"_nop_tc_8",
[
"jump",
"ne_nt_530",
413,
30
],
[
"ne_float",
19,
17,
18,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_nt_530",
[
"is_text",
20,
17,
413,
30
],
[
"jump_false",
20,
"ne_nnl_531",
413,
30
],
"_nop_tc_9",
[
"jump",
"ne_nnl_531",
413,
30
],
[
"ne_text",
19,
17,
18,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_nnl_531",
[
"is_null",
20,
17,
413,
30
],
[
"jump_false",
20,
"ne_nb_532",
413,
30
],
"_nop_tc_10",
"_nop_tc_11",
[
"false",
19,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_nb_532",
[
"is_bool",
20,
17,
413,
30
],
[
"jump_false",
20,
"ne_mis_533",
413,
30
],
"_nop_tc_12",
[
"jump",
"ne_mis_533",
413,
30
],
[
"ne_bool",
19,
17,
18,
413,
30
],
[
"jump",
"ne_done_526",
413,
30
],
"ne_mis_533",
[
"true",
19,
413,
30
],
"ne_done_526",
[
"jump_false",
19,
"tern_else_524",
413,
30
],
[
"load_field",
23,
1,
"name",
413,
37
],
[
"move",
22,
23,
413,
37
],
[
"jump",
"tern_end_525",
413,
37
],
"tern_else_524",
[
"access",
24,
"<unknown>",
413,
49
],
[
"move",
22,
24,
413,
49
],
"tern_end_525",
[
"move",
6,
22,
413,
49
],
[
"get",
26,
4,
1,
415,
18
],
[
"frame",
27,
26,
1,
415,
18
],
[
"null",
28,
415,
18
],
[
"setarg",
27,
0,
28,
415,
18
],
[
"setarg",
27,
1,
1,
415,
18
],
[
"invoke",
27,
25,
415,
18
],
[
"move",
4,
25,
415,
18
],
[
"access",
29,
0,
416,
7
],
[
"move",
7,
29,
416,
7
],
"while_start_534",
[
"length",
30,
4,
417,
21
],
[
"is_int",
32,
7,
417,
21
],
[
"jump_false",
32,
"rel_ni_536",
417,
21
],
"_nop_tc_13",
"_nop_tc_14",
[
"lt_int",
31,
7,
30,
417,
21
],
[
"jump",
"rel_done_538",
417,
21
],
"rel_ni_536",
[
"is_num",
32,
7,
417,
21
],
[
"jump_false",
32,
"rel_nn_537",
417,
21
],
"_nop_tc_15",
"_nop_tc_16",
[
"lt_float",
31,
7,
30,
417,
21
],
[
"jump",
"rel_done_538",
417,
21
],
"rel_nn_537",
[
"is_text",
32,
7,
417,
21
],
[
"jump_false",
32,
"rel_err_539",
417,
21
],
"_nop_tc_17",
[
"jump",
"rel_err_539",
417,
21
],
[
"lt_text",
31,
7,
30,
417,
21
],
[
"jump",
"rel_done_538",
417,
21
],
"rel_err_539",
[
"disrupt",
417,
21
],
"rel_done_538",
[
"jump_false",
31,
"while_end_535",
417,
21
],
[
"load_dynamic",
34,
4,
7,
1,
14
],
[
"array",
35,
0,
1,
14
],
[
"push",
35,
5,
1,
14
],
[
"push",
35,
6,
1,
14
],
[
"push",
35,
34,
1,
14
],
[
"access",
36,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
37,
"{0}{1}: {2}",
1,
14
],
[
"frame",
39,
36,
2,
1,
14
],
[
"null",
40,
1,
14
],
[
"setarg",
39,
0,
40,
1,
14
],
[
"setarg",
39,
1,
37,
1,
14
],
[
"setarg",
39,
2,
35,
1,
14
],
[
"invoke",
39,
38,
1,
14
],
[
"is_array",
41,
3,
1,
14
],
[
"jump_false",
41,
"push_err_540",
1,
14
],
[
"push",
3,
38,
1,
14
],
[
"jump",
"push_done_541",
1,
14
],
"push_err_540",
[
"disrupt",
1,
14
],
"push_done_541",
[
"access",
42,
1,
419,
13
],
[
"add",
43,
7,
42,
419,
13
],
[
"move",
7,
43,
419,
13
],
[
"jump",
"while_start_534",
419,
13
],
"while_end_535",
[
"get",
45,
5,
1,
422,
18
],
[
"frame",
46,
45,
1,
422,
18
],
[
"null",
47,
422,
18
],
[
"setarg",
46,
0,
47,
422,
18
],
[
"setarg",
46,
1,
1,
422,
18
],
[
"invoke",
46,
44,
422,
18
],
[
"move",
4,
44,
422,
18
],
[
"access",
48,
0,
423,
7
],
[
"move",
7,
48,
423,
7
],
"while_start_542",
[
"length",
49,
4,
424,
21
],
[
"is_int",
51,
7,
424,
21
],
[
"jump_false",
51,
"rel_ni_544",
424,
21
],
"_nop_tc_18",
"_nop_tc_19",
[
"lt_int",
50,
7,
49,
424,
21
],
[
"jump",
"rel_done_546",
424,
21
],
"rel_ni_544",
[
"is_num",
51,
7,
424,
21
],
[
"jump_false",
51,
"rel_nn_545",
424,
21
],
"_nop_tc_20",
"_nop_tc_21",
[
"lt_float",
50,
7,
49,
424,
21
],
[
"jump",
"rel_done_546",
424,
21
],
"rel_nn_545",
[
"is_text",
51,
7,
424,
21
],
[
"jump_false",
51,
"rel_err_547",
424,
21
],
"_nop_tc_22",
[
"jump",
"rel_err_547",
424,
21
],
[
"lt_text",
50,
7,
49,
424,
21
],
[
"jump",
"rel_done_546",
424,
21
],
"rel_err_547",
[
"disrupt",
424,
21
],
"rel_done_546",
[
"jump_false",
50,
"while_end_543",
424,
21
],
[
"load_dynamic",
53,
4,
7,
1,
14
],
[
"array",
54,
0,
1,
14
],
[
"push",
54,
5,
1,
14
],
[
"push",
54,
6,
1,
14
],
[
"push",
54,
53,
1,
14
],
[
"access",
55,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
56,
"{0}{1}: {2}",
1,
14
],
[
"frame",
58,
55,
2,
1,
14
],
[
"null",
59,
1,
14
],
[
"setarg",
58,
0,
59,
1,
14
],
[
"setarg",
58,
1,
56,
1,
14
],
[
"setarg",
58,
2,
54,
1,
14
],
[
"invoke",
58,
57,
1,
14
],
[
"is_array",
60,
3,
1,
14
],
[
"jump_false",
60,
"push_err_548",
1,
14
],
[
"push",
3,
57,
1,
14
],
[
"jump",
"push_done_549",
1,
14
],
"push_err_548",
[
"disrupt",
1,
14
],
"push_done_549",
[
"access",
61,
1,
426,
13
],
[
"add",
62,
7,
61,
426,
13
],
[
"move",
7,
62,
426,
13
],
[
"jump",
"while_start_542",
426,
13
],
"while_end_543",
[
"get",
64,
7,
1,
429,
18
],
[
"frame",
65,
64,
1,
429,
18
],
[
"null",
66,
429,
18
],
[
"setarg",
65,
0,
66,
429,
18
],
[
"setarg",
65,
1,
1,
429,
18
],
[
"invoke",
65,
63,
429,
18
],
[
"move",
4,
63,
429,
18
],
[
"access",
67,
0,
430,
7
],
[
"move",
7,
67,
430,
7
],
"while_start_550",
[
"length",
68,
4,
431,
21
],
[
"is_int",
70,
7,
431,
21
],
[
"jump_false",
70,
"rel_ni_552",
431,
21
],
"_nop_tc_23",
"_nop_tc_24",
[
"lt_int",
69,
7,
68,
431,
21
],
[
"jump",
"rel_done_554",
431,
21
],
"rel_ni_552",
[
"is_num",
70,
7,
431,
21
],
[
"jump_false",
70,
"rel_nn_553",
431,
21
],
"_nop_tc_25",
"_nop_tc_26",
[
"lt_float",
69,
7,
68,
431,
21
],
[
"jump",
"rel_done_554",
431,
21
],
"rel_nn_553",
[
"is_text",
70,
7,
431,
21
],
[
"jump_false",
70,
"rel_err_555",
431,
21
],
"_nop_tc_27",
[
"jump",
"rel_err_555",
431,
21
],
[
"lt_text",
69,
7,
68,
431,
21
],
[
"jump",
"rel_done_554",
431,
21
],
"rel_err_555",
[
"disrupt",
431,
21
],
"rel_done_554",
[
"jump_false",
69,
"while_end_551",
431,
21
],
[
"load_dynamic",
72,
4,
7,
1,
14
],
[
"array",
73,
0,
1,
14
],
[
"push",
73,
5,
1,
14
],
[
"push",
73,
6,
1,
14
],
[
"push",
73,
72,
1,
14
],
[
"access",
74,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
75,
"{0}{1}: {2}",
1,
14
],
[
"frame",
77,
74,
2,
1,
14
],
[
"null",
78,
1,
14
],
[
"setarg",
77,
0,
78,
1,
14
],
[
"setarg",
77,
1,
75,
1,
14
],
[
"setarg",
77,
2,
73,
1,
14
],
[
"invoke",
77,
76,
1,
14
],
[
"is_array",
79,
3,
1,
14
],
[
"jump_false",
79,
"push_err_556",
1,
14
],
[
"push",
3,
76,
1,
14
],
[
"jump",
"push_done_557",
1,
14
],
"push_err_556",
[
"disrupt",
1,
14
],
"push_done_557",
[
"access",
80,
1,
433,
13
],
[
"add",
81,
7,
80,
433,
13
],
[
"move",
7,
81,
433,
13
],
[
"jump",
"while_start_550",
433,
13
],
"while_end_551",
[
"get",
83,
2,
1,
436,
18
],
[
"frame",
84,
83,
1,
436,
18
],
[
"null",
85,
436,
18
],
[
"setarg",
84,
0,
85,
436,
18
],
[
"setarg",
84,
1,
1,
436,
18
],
[
"invoke",
84,
82,
436,
18
],
[
"move",
4,
82,
436,
18
],
[
"access",
86,
0,
437,
7
],
[
"move",
7,
86,
437,
7
],
"while_start_558",
[
"length",
87,
4,
438,
21
],
[
"is_int",
89,
7,
438,
21
],
[
"jump_false",
89,
"rel_ni_560",
438,
21
],
"_nop_tc_28",
"_nop_tc_29",
[
"lt_int",
88,
7,
87,
438,
21
],
[
"jump",
"rel_done_562",
438,
21
],
"rel_ni_560",
[
"is_num",
89,
7,
438,
21
],
[
"jump_false",
89,
"rel_nn_561",
438,
21
],
"_nop_tc_30",
"_nop_tc_31",
[
"lt_float",
88,
7,
87,
438,
21
],
[
"jump",
"rel_done_562",
438,
21
],
"rel_nn_561",
[
"is_text",
89,
7,
438,
21
],
[
"jump_false",
89,
"rel_err_563",
438,
21
],
"_nop_tc_32",
[
"jump",
"rel_err_563",
438,
21
],
[
"lt_text",
88,
7,
87,
438,
21
],
[
"jump",
"rel_done_562",
438,
21
],
"rel_err_563",
[
"disrupt",
438,
21
],
"rel_done_562",
[
"jump_false",
88,
"while_end_559",
438,
21
],
[
"load_dynamic",
91,
4,
7,
1,
14
],
[
"array",
92,
0,
1,
14
],
[
"push",
92,
5,
1,
14
],
[
"push",
92,
6,
1,
14
],
[
"push",
92,
91,
1,
14
],
[
"access",
93,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
94,
"{0}{1}: {2}",
1,
14
],
[
"frame",
96,
93,
2,
1,
14
],
[
"null",
97,
1,
14
],
[
"setarg",
96,
0,
97,
1,
14
],
[
"setarg",
96,
1,
94,
1,
14
],
[
"setarg",
96,
2,
92,
1,
14
],
[
"invoke",
96,
95,
1,
14
],
[
"is_array",
98,
3,
1,
14
],
[
"jump_false",
98,
"push_err_564",
1,
14
],
[
"push",
3,
95,
1,
14
],
[
"jump",
"push_done_565",
1,
14
],
"push_err_564",
[
"disrupt",
1,
14
],
"push_done_565",
[
"access",
99,
1,
440,
13
],
[
"add",
100,
7,
99,
440,
13
],
[
"move",
7,
100,
440,
13
],
[
"jump",
"while_start_558",
440,
13
],
"while_end_559",
[
"return",
3,
443,
10
],
"_nop_ur_1",
"_nop_ur_2"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 2
}
],
"main": {
"nr_args": 0,
"nr_close_slots": 0,
"nr_slots": 394,
"instructions": [
[
"record",
9,
0
],
[
"access",
10,
0,
9,
12
],
[
"array",
11,
0,
9,
12
],
[
"push",
11,
10,
9,
12
],
[
"store_field",
9,
11,
"access",
9,
12
],
[
"access",
12,
0,
10,
9
],
[
"array",
13,
0,
10,
9
],
[
"push",
13,
12,
10,
9
],
[
"store_field",
9,
13,
"int",
10,
9
],
[
"access",
14,
0,
11,
10
],
[
"array",
15,
0,
11,
10
],
[
"push",
15,
14,
11,
10
],
[
"store_field",
9,
15,
"true",
11,
10
],
[
"access",
16,
0,
12,
11
],
[
"array",
17,
0,
12,
11
],
[
"push",
17,
16,
12,
11
],
[
"store_field",
9,
17,
"false",
12,
11
],
[
"access",
18,
0,
13,
10
],
[
"array",
19,
0,
13,
10
],
[
"push",
19,
18,
13,
10
],
[
"store_field",
9,
19,
"null",
13,
10
],
[
"access",
20,
0,
14,
14
],
[
"array",
21,
0,
14,
14
],
[
"push",
21,
20,
14,
14
],
[
"store_field",
9,
21,
"function",
14,
14
],
[
"access",
22,
0,
15,
11
],
[
"array",
23,
0,
15,
11
],
[
"push",
23,
22,
15,
11
],
[
"store_field",
9,
23,
"array",
15,
11
],
[
"access",
24,
0,
16,
12
],
[
"array",
25,
0,
16,
12
],
[
"push",
25,
24,
16,
12
],
[
"store_field",
9,
25,
"record",
16,
12
],
[
"access",
26,
0,
19,
10
],
[
"access",
27,
1,
19,
13
],
[
"array",
28,
0,
19,
13
],
[
"push",
28,
26,
19,
13
],
[
"push",
28,
27,
19,
13
],
[
"store_field",
9,
28,
"move",
19,
13
],
[
"access",
29,
0,
20,
9
],
[
"access",
30,
1,
20,
12
],
[
"array",
31,
0,
20,
12
],
[
"push",
31,
29,
20,
12
],
[
"push",
31,
30,
20,
12
],
[
"store_field",
9,
31,
"not",
20,
12
],
[
"access",
32,
0,
21,
12
],
[
"access",
33,
1,
21,
15
],
[
"array",
34,
0,
21,
15
],
[
"push",
34,
32,
21,
15
],
[
"push",
34,
33,
21,
15
],
[
"store_field",
9,
34,
"negate",
21,
15
],
[
"access",
35,
0,
22,
12
],
[
"access",
36,
1,
22,
15
],
[
"array",
37,
0,
22,
15
],
[
"push",
37,
35,
22,
15
],
[
"push",
37,
36,
22,
15
],
[
"store_field",
9,
37,
"bitnot",
22,
15
],
[
"access",
38,
0,
23,
12
],
[
"access",
39,
1,
23,
15
],
[
"array",
40,
0,
23,
15
],
[
"push",
40,
38,
23,
15
],
[
"push",
40,
39,
23,
15
],
[
"store_field",
9,
40,
"length",
23,
15
],
[
"access",
41,
0,
24,
12
],
[
"access",
42,
1,
24,
15
],
[
"array",
43,
0,
24,
15
],
[
"push",
43,
41,
24,
15
],
[
"push",
43,
42,
24,
15
],
[
"store_field",
9,
43,
"typeof",
24,
15
],
[
"access",
44,
0,
25,
12
],
[
"access",
45,
1,
25,
15
],
[
"array",
46,
0,
25,
15
],
[
"push",
46,
44,
25,
15
],
[
"push",
46,
45,
25,
15
],
[
"store_field",
9,
46,
"is_int",
25,
15
],
[
"access",
47,
0,
26,
13
],
[
"access",
48,
1,
26,
16
],
[
"array",
49,
0,
26,
16
],
[
"push",
49,
47,
26,
16
],
[
"push",
49,
48,
26,
16
],
[
"store_field",
9,
49,
"is_text",
26,
16
],
[
"access",
50,
0,
27,
12
],
[
"access",
51,
1,
27,
15
],
[
"array",
52,
0,
27,
15
],
[
"push",
52,
50,
27,
15
],
[
"push",
52,
51,
27,
15
],
[
"store_field",
9,
52,
"is_num",
27,
15
],
[
"access",
53,
0,
28,
13
],
[
"access",
54,
1,
28,
16
],
[
"array",
55,
0,
28,
16
],
[
"push",
55,
53,
28,
16
],
[
"push",
55,
54,
28,
16
],
[
"store_field",
9,
55,
"is_bool",
28,
16
],
[
"access",
56,
0,
29,
13
],
[
"access",
57,
1,
29,
16
],
[
"array",
58,
0,
29,
16
],
[
"push",
58,
56,
29,
16
],
[
"push",
58,
57,
29,
16
],
[
"store_field",
9,
58,
"is_null",
29,
16
],
[
"access",
59,
0,
30,
14
],
[
"access",
60,
1,
30,
17
],
[
"array",
61,
0,
30,
17
],
[
"push",
61,
59,
30,
17
],
[
"push",
61,
60,
30,
17
],
[
"store_field",
9,
61,
"is_array",
30,
17
],
[
"access",
62,
0,
31,
13
],
[
"access",
63,
1,
31,
16
],
[
"array",
64,
0,
31,
16
],
[
"push",
64,
62,
31,
16
],
[
"push",
64,
63,
31,
16
],
[
"store_field",
9,
64,
"is_func",
31,
16
],
[
"access",
65,
0,
32,
15
],
[
"access",
66,
1,
32,
18
],
[
"array",
67,
0,
32,
18
],
[
"push",
67,
65,
32,
18
],
[
"push",
67,
66,
32,
18
],
[
"store_field",
9,
67,
"is_record",
32,
18
],
[
"access",
68,
0,
33,
14
],
[
"access",
69,
1,
33,
17
],
[
"array",
70,
0,
33,
17
],
[
"push",
70,
68,
33,
17
],
[
"push",
70,
69,
33,
17
],
[
"store_field",
9,
70,
"is_stone",
33,
17
],
[
"access",
71,
0,
34,
18
],
[
"access",
72,
1,
34,
21
],
[
"access",
73,
2,
34,
24
],
[
"array",
74,
0,
34,
24
],
[
"push",
74,
71,
34,
24
],
[
"push",
74,
72,
34,
24
],
[
"push",
74,
73,
34,
24
],
[
"store_field",
9,
74,
"is_identical",
34,
24
],
[
"access",
75,
0,
37,
9
],
[
"access",
76,
1,
37,
12
],
[
"access",
77,
2,
37,
15
],
[
"array",
78,
0,
37,
15
],
[
"push",
78,
75,
37,
15
],
[
"push",
78,
76,
37,
15
],
[
"push",
78,
77,
37,
15
],
[
"store_field",
9,
78,
"add",
37,
15
],
[
"access",
79,
0,
38,
14
],
[
"access",
80,
1,
38,
17
],
[
"access",
81,
2,
38,
20
],
[
"array",
82,
0,
38,
20
],
[
"push",
82,
79,
38,
20
],
[
"push",
82,
80,
38,
20
],
[
"push",
82,
81,
38,
20
],
[
"store_field",
9,
82,
"subtract",
38,
20
],
[
"access",
83,
0,
39,
14
],
[
"access",
84,
1,
39,
17
],
[
"access",
85,
2,
39,
20
],
[
"array",
86,
0,
39,
20
],
[
"push",
86,
83,
39,
20
],
[
"push",
86,
84,
39,
20
],
[
"push",
86,
85,
39,
20
],
[
"store_field",
9,
86,
"multiply",
39,
20
],
[
"access",
87,
0,
40,
12
],
[
"access",
88,
1,
40,
15
],
[
"access",
89,
2,
40,
18
],
[
"array",
90,
0,
40,
18
],
[
"push",
90,
87,
40,
18
],
[
"push",
90,
88,
40,
18
],
[
"push",
90,
89,
40,
18
],
[
"store_field",
9,
90,
"divide",
40,
18
],
[
"access",
91,
0,
41,
12
],
[
"access",
92,
1,
41,
15
],
[
"access",
93,
2,
41,
18
],
[
"array",
94,
0,
41,
18
],
[
"push",
94,
91,
41,
18
],
[
"push",
94,
92,
41,
18
],
[
"push",
94,
93,
41,
18
],
[
"store_field",
9,
94,
"modulo",
41,
18
],
[
"access",
95,
0,
42,
9
],
[
"access",
96,
1,
42,
12
],
[
"access",
97,
2,
42,
15
],
[
"array",
98,
0,
42,
15
],
[
"push",
98,
95,
42,
15
],
[
"push",
98,
96,
42,
15
],
[
"push",
98,
97,
42,
15
],
[
"store_field",
9,
98,
"pow",
42,
15
],
[
"access",
99,
0,
43,
8
],
[
"access",
100,
1,
43,
11
],
[
"access",
101,
2,
43,
14
],
[
"array",
102,
0,
43,
14
],
[
"push",
102,
99,
43,
14
],
[
"push",
102,
100,
43,
14
],
[
"push",
102,
101,
43,
14
],
[
"store_field",
9,
102,
"eq",
43,
14
],
[
"access",
103,
0,
44,
8
],
[
"access",
104,
1,
44,
11
],
[
"access",
105,
2,
44,
14
],
[
"array",
106,
0,
44,
14
],
[
"push",
106,
103,
44,
14
],
[
"push",
106,
104,
44,
14
],
[
"push",
106,
105,
44,
14
],
[
"store_field",
9,
106,
"ne",
44,
14
],
[
"access",
107,
0,
45,
8
],
[
"access",
108,
1,
45,
11
],
[
"access",
109,
2,
45,
14
],
[
"array",
110,
0,
45,
14
],
[
"push",
110,
107,
45,
14
],
[
"push",
110,
108,
45,
14
],
[
"push",
110,
109,
45,
14
],
[
"store_field",
9,
110,
"lt",
45,
14
],
[
"access",
111,
0,
46,
8
],
[
"access",
112,
1,
46,
11
],
[
"access",
113,
2,
46,
14
],
[
"array",
114,
0,
46,
14
],
[
"push",
114,
111,
46,
14
],
[
"push",
114,
112,
46,
14
],
[
"push",
114,
113,
46,
14
],
[
"store_field",
9,
114,
"le",
46,
14
],
[
"access",
115,
0,
47,
8
],
[
"access",
116,
1,
47,
11
],
[
"access",
117,
2,
47,
14
],
[
"array",
118,
0,
47,
14
],
[
"push",
118,
115,
47,
14
],
[
"push",
118,
116,
47,
14
],
[
"push",
118,
117,
47,
14
],
[
"store_field",
9,
118,
"gt",
47,
14
],
[
"access",
119,
0,
48,
8
],
[
"access",
120,
1,
48,
11
],
[
"access",
121,
2,
48,
14
],
[
"array",
122,
0,
48,
14
],
[
"push",
122,
119,
48,
14
],
[
"push",
122,
120,
48,
14
],
[
"push",
122,
121,
48,
14
],
[
"store_field",
9,
122,
"ge",
48,
14
],
[
"access",
123,
0,
49,
12
],
[
"access",
124,
1,
49,
15
],
[
"access",
125,
2,
49,
18
],
[
"array",
126,
0,
49,
18
],
[
"push",
126,
123,
49,
18
],
[
"push",
126,
124,
49,
18
],
[
"push",
126,
125,
49,
18
],
[
"store_field",
9,
126,
"eq_int",
49,
18
],
[
"access",
127,
0,
50,
12
],
[
"access",
128,
1,
50,
15
],
[
"access",
129,
2,
50,
18
],
[
"array",
130,
0,
50,
18
],
[
"push",
130,
127,
50,
18
],
[
"push",
130,
128,
50,
18
],
[
"push",
130,
129,
50,
18
],
[
"store_field",
9,
130,
"ne_int",
50,
18
],
[
"access",
131,
0,
51,
12
],
[
"access",
132,
1,
51,
15
],
[
"access",
133,
2,
51,
18
],
[
"array",
134,
0,
51,
18
],
[
"push",
134,
131,
51,
18
],
[
"push",
134,
132,
51,
18
],
[
"push",
134,
133,
51,
18
],
[
"store_field",
9,
134,
"lt_int",
51,
18
],
[
"access",
135,
0,
52,
12
],
[
"access",
136,
1,
52,
15
],
[
"access",
137,
2,
52,
18
],
[
"array",
138,
0,
52,
18
],
[
"push",
138,
135,
52,
18
],
[
"push",
138,
136,
52,
18
],
[
"push",
138,
137,
52,
18
],
[
"store_field",
9,
138,
"gt_int",
52,
18
],
[
"access",
139,
0,
53,
12
],
[
"access",
140,
1,
53,
15
],
[
"access",
141,
2,
53,
18
],
[
"array",
142,
0,
53,
18
],
[
"push",
142,
139,
53,
18
],
[
"push",
142,
140,
53,
18
],
[
"push",
142,
141,
53,
18
],
[
"store_field",
9,
142,
"le_int",
53,
18
],
[
"access",
143,
0,
54,
12
],
[
"access",
144,
1,
54,
15
],
[
"access",
145,
2,
54,
18
],
[
"array",
146,
0,
54,
18
],
[
"push",
146,
143,
54,
18
],
[
"push",
146,
144,
54,
18
],
[
"push",
146,
145,
54,
18
],
[
"store_field",
9,
146,
"ge_int",
54,
18
],
[
"access",
147,
0,
55,
14
],
[
"access",
148,
1,
55,
17
],
[
"access",
149,
2,
55,
20
],
[
"array",
150,
0,
55,
20
],
[
"push",
150,
147,
55,
20
],
[
"push",
150,
148,
55,
20
],
[
"push",
150,
149,
55,
20
],
[
"store_field",
9,
150,
"eq_float",
55,
20
],
[
"access",
151,
0,
56,
14
],
[
"access",
152,
1,
56,
17
],
[
"access",
153,
2,
56,
20
],
[
"array",
154,
0,
56,
20
],
[
"push",
154,
151,
56,
20
],
[
"push",
154,
152,
56,
20
],
[
"push",
154,
153,
56,
20
],
[
"store_field",
9,
154,
"ne_float",
56,
20
],
[
"access",
155,
0,
57,
14
],
[
"access",
156,
1,
57,
17
],
[
"access",
157,
2,
57,
20
],
[
"array",
158,
0,
57,
20
],
[
"push",
158,
155,
57,
20
],
[
"push",
158,
156,
57,
20
],
[
"push",
158,
157,
57,
20
],
[
"store_field",
9,
158,
"lt_float",
57,
20
],
[
"access",
159,
0,
58,
14
],
[
"access",
160,
1,
58,
17
],
[
"access",
161,
2,
58,
20
],
[
"array",
162,
0,
58,
20
],
[
"push",
162,
159,
58,
20
],
[
"push",
162,
160,
58,
20
],
[
"push",
162,
161,
58,
20
],
[
"store_field",
9,
162,
"gt_float",
58,
20
],
[
"access",
163,
0,
59,
14
],
[
"access",
164,
1,
59,
17
],
[
"access",
165,
2,
59,
20
],
[
"array",
166,
0,
59,
20
],
[
"push",
166,
163,
59,
20
],
[
"push",
166,
164,
59,
20
],
[
"push",
166,
165,
59,
20
],
[
"store_field",
9,
166,
"le_float",
59,
20
],
[
"access",
167,
0,
60,
14
],
[
"access",
168,
1,
60,
17
],
[
"access",
169,
2,
60,
20
],
[
"array",
170,
0,
60,
20
],
[
"push",
170,
167,
60,
20
],
[
"push",
170,
168,
60,
20
],
[
"push",
170,
169,
60,
20
],
[
"store_field",
9,
170,
"ge_float",
60,
20
],
[
"access",
171,
0,
61,
13
],
[
"access",
172,
1,
61,
16
],
[
"access",
173,
2,
61,
19
],
[
"array",
174,
0,
61,
19
],
[
"push",
174,
171,
61,
19
],
[
"push",
174,
172,
61,
19
],
[
"push",
174,
173,
61,
19
],
[
"store_field",
9,
174,
"eq_text",
61,
19
],
[
"access",
175,
0,
62,
13
],
[
"access",
176,
1,
62,
16
],
[
"access",
177,
2,
62,
19
],
[
"array",
178,
0,
62,
19
],
[
"push",
178,
175,
62,
19
],
[
"push",
178,
176,
62,
19
],
[
"push",
178,
177,
62,
19
],
[
"store_field",
9,
178,
"ne_text",
62,
19
],
[
"access",
179,
0,
63,
13
],
[
"access",
180,
1,
63,
16
],
[
"access",
181,
2,
63,
19
],
[
"array",
182,
0,
63,
19
],
[
"push",
182,
179,
63,
19
],
[
"push",
182,
180,
63,
19
],
[
"push",
182,
181,
63,
19
],
[
"store_field",
9,
182,
"lt_text",
63,
19
],
[
"access",
183,
0,
64,
13
],
[
"access",
184,
1,
64,
16
],
[
"access",
185,
2,
64,
19
],
[
"array",
186,
0,
64,
19
],
[
"push",
186,
183,
64,
19
],
[
"push",
186,
184,
64,
19
],
[
"push",
186,
185,
64,
19
],
[
"store_field",
9,
186,
"gt_text",
64,
19
],
[
"access",
187,
0,
65,
13
],
[
"access",
188,
1,
65,
16
],
[
"access",
189,
2,
65,
19
],
[
"array",
190,
0,
65,
19
],
[
"push",
190,
187,
65,
19
],
[
"push",
190,
188,
65,
19
],
[
"push",
190,
189,
65,
19
],
[
"store_field",
9,
190,
"le_text",
65,
19
],
[
"access",
191,
0,
66,
13
],
[
"access",
192,
1,
66,
16
],
[
"access",
193,
2,
66,
19
],
[
"array",
194,
0,
66,
19
],
[
"push",
194,
191,
66,
19
],
[
"push",
194,
192,
66,
19
],
[
"push",
194,
193,
66,
19
],
[
"store_field",
9,
194,
"ge_text",
66,
19
],
[
"access",
195,
0,
67,
13
],
[
"access",
196,
1,
67,
16
],
[
"access",
197,
2,
67,
19
],
[
"array",
198,
0,
67,
19
],
[
"push",
198,
195,
67,
19
],
[
"push",
198,
196,
67,
19
],
[
"push",
198,
197,
67,
19
],
[
"store_field",
9,
198,
"eq_bool",
67,
19
],
[
"access",
199,
0,
68,
13
],
[
"access",
200,
1,
68,
16
],
[
"access",
201,
2,
68,
19
],
[
"array",
202,
0,
68,
19
],
[
"push",
202,
199,
68,
19
],
[
"push",
202,
200,
68,
19
],
[
"push",
202,
201,
68,
19
],
[
"store_field",
9,
202,
"ne_bool",
68,
19
],
[
"access",
203,
0,
69,
12
],
[
"access",
204,
1,
69,
15
],
[
"access",
205,
2,
69,
18
],
[
"array",
206,
0,
69,
18
],
[
"push",
206,
203,
69,
18
],
[
"push",
206,
204,
69,
18
],
[
"push",
206,
205,
69,
18
],
[
"store_field",
9,
206,
"eq_tol",
69,
18
],
[
"access",
207,
0,
70,
12
],
[
"access",
208,
1,
70,
15
],
[
"access",
209,
2,
70,
18
],
[
"array",
210,
0,
70,
18
],
[
"push",
210,
207,
70,
18
],
[
"push",
210,
208,
70,
18
],
[
"push",
210,
209,
70,
18
],
[
"store_field",
9,
210,
"ne_tol",
70,
18
],
[
"access",
211,
0,
71,
12
],
[
"access",
212,
1,
71,
15
],
[
"access",
213,
2,
71,
18
],
[
"array",
214,
0,
71,
18
],
[
"push",
214,
211,
71,
18
],
[
"push",
214,
212,
71,
18
],
[
"push",
214,
213,
71,
18
],
[
"store_field",
9,
214,
"concat",
71,
18
],
[
"access",
215,
0,
72,
9
],
[
"access",
216,
1,
72,
12
],
[
"access",
217,
2,
72,
15
],
[
"array",
218,
0,
72,
15
],
[
"push",
218,
215,
72,
15
],
[
"push",
218,
216,
72,
15
],
[
"push",
218,
217,
72,
15
],
[
"store_field",
9,
218,
"and",
72,
15
],
[
"access",
219,
0,
73,
8
],
[
"access",
220,
1,
73,
11
],
[
"access",
221,
2,
73,
14
],
[
"array",
222,
0,
73,
14
],
[
"push",
222,
219,
73,
14
],
[
"push",
222,
220,
73,
14
],
[
"push",
222,
221,
73,
14
],
[
"store_field",
9,
222,
"or",
73,
14
],
[
"access",
223,
0,
74,
12
],
[
"access",
224,
1,
74,
15
],
[
"access",
225,
2,
74,
18
],
[
"array",
226,
0,
74,
18
],
[
"push",
226,
223,
74,
18
],
[
"push",
226,
224,
74,
18
],
[
"push",
226,
225,
74,
18
],
[
"store_field",
9,
226,
"bitand",
74,
18
],
[
"access",
227,
0,
75,
11
],
[
"access",
228,
1,
75,
14
],
[
"access",
229,
2,
75,
17
],
[
"array",
230,
0,
75,
17
],
[
"push",
230,
227,
75,
17
],
[
"push",
230,
228,
75,
17
],
[
"push",
230,
229,
75,
17
],
[
"store_field",
9,
230,
"bitor",
75,
17
],
[
"access",
231,
0,
76,
12
],
[
"access",
232,
1,
76,
15
],
[
"access",
233,
2,
76,
18
],
[
"array",
234,
0,
76,
18
],
[
"push",
234,
231,
76,
18
],
[
"push",
234,
232,
76,
18
],
[
"push",
234,
233,
76,
18
],
[
"store_field",
9,
234,
"bitxor",
76,
18
],
[
"access",
235,
0,
77,
9
],
[
"access",
236,
1,
77,
12
],
[
"access",
237,
2,
77,
15
],
[
"array",
238,
0,
77,
15
],
[
"push",
238,
235,
77,
15
],
[
"push",
238,
236,
77,
15
],
[
"push",
238,
237,
77,
15
],
[
"store_field",
9,
238,
"shl",
77,
15
],
[
"access",
239,
0,
78,
9
],
[
"access",
240,
1,
78,
12
],
[
"access",
241,
2,
78,
15
],
[
"array",
242,
0,
78,
15
],
[
"push",
242,
239,
78,
15
],
[
"push",
242,
240,
78,
15
],
[
"push",
242,
241,
78,
15
],
[
"store_field",
9,
242,
"shr",
78,
15
],
[
"access",
243,
0,
79,
10
],
[
"access",
244,
1,
79,
13
],
[
"access",
245,
2,
79,
16
],
[
"array",
246,
0,
79,
16
],
[
"push",
246,
243,
79,
16
],
[
"push",
246,
244,
79,
16
],
[
"push",
246,
245,
79,
16
],
[
"store_field",
9,
246,
"ushr",
79,
16
],
[
"access",
247,
0,
80,
8
],
[
"access",
248,
1,
80,
11
],
[
"access",
249,
2,
80,
14
],
[
"array",
250,
0,
80,
14
],
[
"push",
250,
247,
80,
14
],
[
"push",
250,
248,
80,
14
],
[
"push",
250,
249,
80,
14
],
[
"store_field",
9,
250,
"in",
80,
14
],
[
"access",
251,
0,
83,
16
],
[
"access",
252,
1,
83,
19
],
[
"access",
253,
2,
83,
22
],
[
"array",
254,
0,
83,
22
],
[
"push",
254,
251,
83,
22
],
[
"push",
254,
252,
83,
22
],
[
"push",
254,
253,
83,
22
],
[
"store_field",
9,
254,
"load_index",
83,
22
],
[
"access",
255,
0,
84,
18
],
[
"access",
256,
1,
84,
21
],
[
"access",
257,
2,
84,
24
],
[
"array",
258,
0,
84,
24
],
[
"push",
258,
255,
84,
24
],
[
"push",
258,
256,
84,
24
],
[
"push",
258,
257,
84,
24
],
[
"store_field",
9,
258,
"load_dynamic",
84,
24
],
[
"access",
259,
0,
85,
16
],
[
"access",
260,
1,
85,
19
],
[
"array",
261,
0,
85,
19
],
[
"push",
261,
259,
85,
19
],
[
"push",
261,
260,
85,
19
],
[
"store_field",
9,
261,
"load_field",
85,
19
],
[
"access",
262,
0,
86,
17
],
[
"access",
263,
1,
86,
20
],
[
"access",
264,
2,
86,
23
],
[
"array",
265,
0,
86,
23
],
[
"push",
265,
262,
86,
23
],
[
"push",
265,
263,
86,
23
],
[
"push",
265,
264,
86,
23
],
[
"store_field",
9,
265,
"store_index",
86,
23
],
[
"access",
266,
0,
87,
19
],
[
"access",
267,
1,
87,
22
],
[
"access",
268,
2,
87,
25
],
[
"array",
269,
0,
87,
25
],
[
"push",
269,
266,
87,
25
],
[
"push",
269,
267,
87,
25
],
[
"push",
269,
268,
87,
25
],
[
"store_field",
9,
269,
"store_dynamic",
87,
25
],
[
"access",
270,
0,
88,
17
],
[
"access",
271,
1,
88,
20
],
[
"array",
272,
0,
88,
20
],
[
"push",
272,
270,
88,
20
],
[
"push",
272,
271,
88,
20
],
[
"store_field",
9,
272,
"store_field",
88,
20
],
[
"access",
273,
0,
91,
10
],
[
"access",
274,
1,
91,
13
],
[
"array",
275,
0,
91,
13
],
[
"push",
275,
273,
91,
13
],
[
"push",
275,
274,
91,
13
],
[
"store_field",
9,
275,
"push",
91,
13
],
[
"access",
276,
0,
92,
9
],
[
"access",
277,
1,
92,
12
],
[
"array",
278,
0,
92,
12
],
[
"push",
278,
276,
92,
12
],
[
"push",
278,
277,
92,
12
],
[
"store_field",
9,
278,
"pop",
92,
12
],
[
"access",
279,
0,
93,
9
],
[
"access",
280,
1,
93,
12
],
[
"array",
281,
0,
93,
12
],
[
"push",
281,
279,
93,
12
],
[
"push",
281,
280,
93,
12
],
[
"store_field",
9,
281,
"get",
93,
12
],
[
"access",
282,
0,
96,
12
],
[
"array",
283,
0,
96,
12
],
[
"push",
283,
282,
96,
12
],
[
"store_field",
9,
283,
"return",
96,
12
],
[
"array",
284,
0,
97,
9
],
[
"store_field",
9,
284,
"jump",
97,
9
],
[
"access",
285,
0,
98,
15
],
[
"array",
286,
0,
98,
15
],
[
"push",
286,
285,
98,
15
],
[
"store_field",
9,
286,
"jump_true",
98,
15
],
[
"access",
287,
0,
99,
16
],
[
"array",
288,
0,
99,
16
],
[
"push",
288,
287,
99,
16
],
[
"store_field",
9,
288,
"jump_false",
99,
16
],
[
"access",
289,
0,
100,
19
],
[
"array",
290,
0,
100,
19
],
[
"push",
290,
289,
100,
19
],
[
"store_field",
9,
290,
"jump_not_null",
100,
19
],
[
"array",
291,
0,
101,
12
],
[
"store_field",
9,
291,
"disrupt",
101,
12
],
[
"access",
292,
0,
104,
12
],
[
"access",
293,
1,
104,
15
],
[
"array",
294,
0,
104,
15
],
[
"push",
294,
292,
104,
15
],
[
"push",
294,
293,
104,
15
],
[
"store_field",
9,
294,
"invoke",
104,
15
],
[
"access",
295,
0,
105,
17
],
[
"access",
296,
1,
105,
20
],
[
"array",
297,
0,
105,
20
],
[
"push",
297,
295,
105,
20
],
[
"push",
297,
296,
105,
20
],
[
"store_field",
9,
297,
"tail_invoke",
105,
20
],
[
"access",
298,
0,
106,
14
],
[
"array",
299,
0,
106,
14
],
[
"push",
299,
298,
106,
14
],
[
"store_field",
9,
299,
"goinvoke",
106,
14
],
[
"access",
300,
0,
107,
11
],
[
"access",
301,
1,
107,
14
],
[
"array",
302,
0,
107,
14
],
[
"push",
302,
300,
107,
14
],
[
"push",
302,
301,
107,
14
],
[
"store_field",
9,
302,
"frame",
107,
14
],
[
"access",
303,
0,
108,
12
],
[
"access",
304,
2,
108,
15
],
[
"array",
305,
0,
108,
15
],
[
"push",
305,
303,
108,
15
],
[
"push",
305,
304,
108,
15
],
[
"store_field",
9,
305,
"setarg",
108,
15
],
[
"move",
3,
9,
108,
15
],
[
"record",
306,
0
],
[
"true",
307,
113,
11
],
[
"store_field",
306,
307,
"access",
113,
11
],
[
"true",
308,
113,
22
],
[
"store_field",
306,
308,
"int",
113,
22
],
[
"true",
309,
113,
34
],
[
"store_field",
306,
309,
"true",
113,
34
],
[
"true",
310,
113,
47
],
[
"store_field",
306,
310,
"false",
113,
47
],
[
"true",
311,
113,
59
],
[
"store_field",
306,
311,
"null",
113,
59
],
[
"true",
312,
114,
13
],
[
"store_field",
306,
312,
"function",
114,
13
],
[
"true",
313,
114,
26
],
[
"store_field",
306,
313,
"array",
114,
26
],
[
"true",
314,
114,
40
],
[
"store_field",
306,
314,
"record",
114,
40
],
[
"true",
315,
115,
9
],
[
"store_field",
306,
315,
"move",
115,
9
],
[
"true",
316,
115,
20
],
[
"store_field",
306,
316,
"not",
115,
20
],
[
"true",
317,
115,
34
],
[
"store_field",
306,
317,
"negate",
115,
34
],
[
"true",
318,
115,
48
],
[
"store_field",
306,
318,
"bitnot",
115,
48
],
[
"true",
319,
116,
11
],
[
"store_field",
306,
319,
"length",
116,
11
],
[
"true",
320,
116,
25
],
[
"store_field",
306,
320,
"typeof",
116,
25
],
[
"true",
321,
117,
11
],
[
"store_field",
306,
321,
"is_int",
117,
11
],
[
"true",
322,
117,
26
],
[
"store_field",
306,
322,
"is_text",
117,
26
],
[
"true",
323,
117,
40
],
[
"store_field",
306,
323,
"is_num",
117,
40
],
[
"true",
324,
118,
12
],
[
"store_field",
306,
324,
"is_bool",
118,
12
],
[
"true",
325,
118,
27
],
[
"store_field",
306,
325,
"is_null",
118,
27
],
[
"true",
326,
118,
43
],
[
"store_field",
306,
326,
"is_array",
118,
43
],
[
"true",
327,
119,
12
],
[
"store_field",
306,
327,
"is_func",
119,
12
],
[
"true",
328,
119,
29
],
[
"store_field",
306,
328,
"is_record",
119,
29
],
[
"true",
329,
119,
45
],
[
"store_field",
306,
329,
"is_stone",
119,
45
],
[
"true",
330,
119,
65
],
[
"store_field",
306,
330,
"is_identical",
119,
65
],
[
"true",
331,
120,
8
],
[
"store_field",
306,
331,
"add",
120,
8
],
[
"true",
332,
120,
24
],
[
"store_field",
306,
332,
"subtract",
120,
24
],
[
"true",
333,
120,
40
],
[
"store_field",
306,
333,
"multiply",
120,
40
],
[
"true",
334,
120,
54
],
[
"store_field",
306,
334,
"divide",
120,
54
],
[
"true",
335,
121,
11
],
[
"store_field",
306,
335,
"modulo",
121,
11
],
[
"true",
336,
121,
22
],
[
"store_field",
306,
336,
"pow",
121,
22
],
[
"true",
337,
122,
7
],
[
"store_field",
306,
337,
"eq",
122,
7
],
[
"true",
338,
122,
17
],
[
"store_field",
306,
338,
"ne",
122,
17
],
[
"true",
339,
122,
27
],
[
"store_field",
306,
339,
"lt",
122,
27
],
[
"true",
340,
122,
37
],
[
"store_field",
306,
340,
"le",
122,
37
],
[
"true",
341,
122,
47
],
[
"store_field",
306,
341,
"gt",
122,
47
],
[
"true",
342,
122,
57
],
[
"store_field",
306,
342,
"ge",
122,
57
],
[
"true",
343,
123,
11
],
[
"store_field",
306,
343,
"eq_int",
123,
11
],
[
"true",
344,
123,
25
],
[
"store_field",
306,
344,
"ne_int",
123,
25
],
[
"true",
345,
123,
39
],
[
"store_field",
306,
345,
"lt_int",
123,
39
],
[
"true",
346,
123,
53
],
[
"store_field",
306,
346,
"gt_int",
123,
53
],
[
"true",
347,
123,
67
],
[
"store_field",
306,
347,
"le_int",
123,
67
],
[
"true",
348,
123,
81
],
[
"store_field",
306,
348,
"ge_int",
123,
81
],
[
"true",
349,
124,
13
],
[
"store_field",
306,
349,
"eq_float",
124,
13
],
[
"true",
350,
124,
29
],
[
"store_field",
306,
350,
"ne_float",
124,
29
],
[
"true",
351,
124,
45
],
[
"store_field",
306,
351,
"lt_float",
124,
45
],
[
"true",
352,
124,
61
],
[
"store_field",
306,
352,
"gt_float",
124,
61
],
[
"true",
353,
124,
77
],
[
"store_field",
306,
353,
"le_float",
124,
77
],
[
"true",
354,
124,
93
],
[
"store_field",
306,
354,
"ge_float",
124,
93
],
[
"true",
355,
125,
12
],
[
"store_field",
306,
355,
"eq_text",
125,
12
],
[
"true",
356,
125,
27
],
[
"store_field",
306,
356,
"ne_text",
125,
27
],
[
"true",
357,
125,
42
],
[
"store_field",
306,
357,
"lt_text",
125,
42
],
[
"true",
358,
125,
57
],
[
"store_field",
306,
358,
"gt_text",
125,
57
],
[
"true",
359,
125,
72
],
[
"store_field",
306,
359,
"le_text",
125,
72
],
[
"true",
360,
125,
87
],
[
"store_field",
306,
360,
"ge_text",
125,
87
],
[
"true",
361,
126,
12
],
[
"store_field",
306,
361,
"eq_bool",
126,
12
],
[
"true",
362,
126,
27
],
[
"store_field",
306,
362,
"ne_bool",
126,
27
],
[
"true",
363,
126,
41
],
[
"store_field",
306,
363,
"eq_tol",
126,
41
],
[
"true",
364,
126,
55
],
[
"store_field",
306,
364,
"ne_tol",
126,
55
],
[
"true",
365,
127,
11
],
[
"store_field",
306,
365,
"concat",
127,
11
],
[
"true",
366,
127,
22
],
[
"store_field",
306,
366,
"and",
127,
22
],
[
"true",
367,
127,
32
],
[
"store_field",
306,
367,
"or",
127,
32
],
[
"true",
368,
128,
11
],
[
"store_field",
306,
368,
"bitand",
128,
11
],
[
"true",
369,
128,
24
],
[
"store_field",
306,
369,
"bitor",
128,
24
],
[
"true",
370,
128,
38
],
[
"store_field",
306,
370,
"bitxor",
128,
38
],
[
"true",
371,
128,
49
],
[
"store_field",
306,
371,
"shl",
128,
49
],
[
"true",
372,
128,
60
],
[
"store_field",
306,
372,
"shr",
128,
60
],
[
"true",
373,
128,
72
],
[
"store_field",
306,
373,
"ushr",
128,
72
],
[
"true",
374,
129,
7
],
[
"store_field",
306,
374,
"in",
129,
7
],
[
"true",
375,
130,
15
],
[
"store_field",
306,
375,
"load_index",
130,
15
],
[
"true",
376,
130,
35
],
[
"store_field",
306,
376,
"load_dynamic",
130,
35
],
[
"true",
377,
130,
53
],
[
"store_field",
306,
377,
"load_field",
130,
53
],
[
"true",
378,
131,
8
],
[
"store_field",
306,
378,
"pop",
131,
8
],
[
"true",
379,
131,
19
],
[
"store_field",
306,
379,
"get",
131,
19
],
[
"true",
380,
132,
11
],
[
"store_field",
306,
380,
"invoke",
132,
11
],
[
"true",
381,
133,
16
],
[
"store_field",
306,
381,
"tail_invoke",
133,
16
],
[
"move",
1,
306,
133,
16
],
[
"record",
382,
0
],
[
"access",
383,
0,
141,
9
],
[
"store_field",
382,
383,
"jump",
141,
9
],
[
"access",
384,
1,
142,
14
],
[
"store_field",
382,
384,
"jump_true",
142,
14
],
[
"access",
385,
1,
143,
15
],
[
"store_field",
382,
385,
"jump_false",
143,
15
],
[
"access",
386,
1,
144,
18
],
[
"store_field",
382,
386,
"jump_not_null",
144,
18
],
[
"move",
6,
382,
144,
18
],
[
"function",
387,
0,
149,
25
],
[
"move",
4,
387,
149,
25
],
[
"function",
388,
1,
189,
26
],
[
"move",
5,
388,
189,
26
],
[
"function",
389,
2,
231,
30
],
[
"move",
7,
389,
231,
30
],
[
"function",
390,
3,
366,
29
],
[
"move",
2,
390,
366,
29
],
[
"function",
391,
4,
408,
18
],
[
"move",
8,
391,
408,
18
],
[
"record",
392,
0
],
[
"store_field",
392,
8,
"verify_all",
447,
15
],
[
"store_field",
392,
4,
"check_slot_bounds",
448,
22
],
[
"store_field",
392,
5,
"check_jump_targets",
449,
23
],
[
"store_field",
392,
7,
"check_type_consistency",
450,
27
],
[
"store_field",
392,
2,
"check_nop_consistency",
451,
26
],
[
"return",
392,
451,
26
],
"_nop_ur_1",
"_nop_ur_2"
]
},
"filename": "verify_ir.cm",
"data": {}
}
Reference in New Issue View Git Blame Copy Permalink