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

25635 lines
249 KiB
Plaintext
Raw Blame History

{
"name": "verify_ir.cm",
"functions": [
{
"disruption_pc": 0,
"nr_slots": 99,
"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",
9,
14,
152,
16
],
[
"access",
10,
0,
153,
11
],
[
"null",
5,
154,
15
],
[
"null",
7,
155,
12
],
[
"null",
11,
156,
19
],
[
"access",
8,
0,
157,
11
],
[
"null",
4,
158,
13
],
[
"null",
6,
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",
9,
161,
36
],
"_nop_ur_1",
"if_else_0",
"if_end_1",
"while_start_8",
[
"length",
19,
3,
163,
21
],
[
"is_int",
21,
10,
163,
21
],
[
"jump_false",
21,
"rel_ni_10",
163,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
20,
10,
19,
163,
21
],
[
"jump",
"rel_done_12",
163,
21
],
"rel_ni_10",
[
"is_num",
21,
10,
163,
21
],
[
"jump_false",
21,
"rel_nn_11",
163,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
20,
10,
19,
163,
21
],
[
"jump",
"rel_done_12",
163,
21
],
"rel_nn_11",
[
"is_text",
21,
10,
163,
21
],
[
"jump_false",
21,
"rel_err_13",
163,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_13",
163,
21
],
[
"lt_text",
20,
10,
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,
10,
164,
26
],
[
"move",
5,
23,
164,
26
],
[
"is_array",
24,
5,
165,
18
],
[
"jump_false",
24,
"if_else_14",
165,
18
],
[
"access",
25,
0,
166,
18
],
[
"load_index",
26,
5,
25,
166,
18
],
[
"move",
7,
26,
166,
18
],
[
"get",
27,
1,
1,
167,
19
],
[
"load_dynamic",
28,
27,
7,
167,
34
],
[
"move",
11,
28,
167,
34
],
[
"null",
29,
168,
24
],
[
"is_identical",
30,
11,
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,
11,
168,
24
],
[
"jump_false",
31,
"ne_nn_21",
168,
24
],
"_nop_tc_12",
[
"jump",
"ne_nn_21",
168,
24
],
[
"ne_int",
30,
11,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nn_21",
[
"is_num",
31,
11,
168,
24
],
[
"jump_false",
31,
"ne_nt_22",
168,
24
],
"_nop_tc_13",
[
"jump",
"ne_nt_22",
168,
24
],
[
"ne_float",
30,
11,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nt_22",
[
"is_text",
31,
11,
168,
24
],
[
"jump_false",
31,
"ne_nnl_23",
168,
24
],
"_nop_tc_14",
[
"jump",
"ne_nnl_23",
168,
24
],
[
"ne_text",
30,
11,
29,
168,
24
],
[
"jump",
"ne_done_18",
168,
24
],
"ne_nnl_23",
[
"is_null",
31,
11,
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,
11,
168,
24
],
[
"jump_false",
31,
"ne_mis_25",
168,
24
],
"_nop_tc_17",
[
"jump",
"ne_mis_25",
168,
24
],
[
"ne_bool",
30,
11,
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",
8,
33,
169,
13
],
"while_start_26",
[
"length",
34,
11,
170,
27
],
[
"is_int",
36,
8,
170,
27
],
[
"jump_false",
36,
"rel_ni_28",
170,
27
],
"_nop_tc_18",
"_nop_tc_19",
[
"lt_int",
35,
8,
34,
170,
27
],
[
"jump",
"rel_done_30",
170,
27
],
"rel_ni_28",
[
"is_num",
36,
8,
170,
27
],
[
"jump_false",
36,
"rel_nn_29",
170,
27
],
"_nop_tc_20",
"_nop_tc_21",
[
"lt_float",
35,
8,
34,
170,
27
],
[
"jump",
"rel_done_30",
170,
27
],
"rel_nn_29",
[
"is_text",
36,
8,
170,
27
],
[
"jump_false",
36,
"rel_err_31",
170,
27
],
"_nop_tc_22",
[
"jump",
"rel_err_31",
170,
27
],
[
"lt_text",
35,
8,
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,
11,
8,
171,
27
],
[
"access",
39,
1,
171,
32
],
[
"is_text",
41,
38,
171,
32
],
[
"jump_false",
41,
"add_cn_33",
171,
32
],
"_nop_tc_23",
[
"jump",
"add_cn_33",
171,
32
],
[
"concat",
40,
38,
39,
171,
32
],
[
"jump",
"add_done_32",
171,
32
],
"add_cn_33",
[
"is_num",
41,
38,
171,
32
],
[
"jump_false",
41,
"add_err_34",
171,
32
],
"_nop_tc_24",
"_nop_tc_25",
[
"add",
40,
38,
39,
171,
32
],
[
"jump",
"add_done_32",
171,
32
],
"add_err_34",
[
"disrupt",
171,
32
],
"add_done_32",
[
"move",
4,
40,
171,
32
],
[
"length",
43,
5,
172,
28
],
[
"access",
44,
2,
172,
37
],
"_nop_tc_26",
"_nop_tc_27",
"_nop_tc_28",
"_nop_tc_29",
[
"subtract",
45,
43,
44,
172,
37
],
[
"jump",
"num_done_38",
172,
37
],
"num_err_37",
[
"disrupt",
172,
37
],
"num_done_38",
[
"is_int",
49,
4,
172,
37
],
[
"jump_false",
49,
"rel_ni_39",
172,
37
],
[
"is_int",
50,
45,
172,
37
],
[
"jump_false",
50,
"rel_ni_39",
172,
37
],
[
"lt_int",
48,
4,
45,
172,
37
],
[
"jump",
"rel_done_41",
172,
37
],
"rel_ni_39",
[
"is_num",
49,
4,
172,
37
],
[
"jump_false",
49,
"rel_nn_40",
172,
37
],
[
"is_num",
50,
45,
172,
37
],
[
"jump_false",
50,
"rel_nn_40",
172,
37
],
[
"lt_float",
48,
4,
45,
172,
37
],
[
"jump",
"rel_done_41",
172,
37
],
"rel_nn_40",
[
"is_text",
49,
4,
172,
37
],
[
"jump_false",
49,
"rel_err_42",
172,
37
],
[
"is_text",
50,
45,
172,
37
],
[
"jump_false",
50,
"rel_err_42",
172,
37
],
[
"lt_text",
48,
4,
45,
172,
37
],
[
"jump",
"rel_done_41",
172,
37
],
"rel_err_42",
[
"disrupt",
172,
37
],
"rel_done_41",
[
"jump_false",
48,
"if_else_35",
172,
37
],
[
"load_dynamic",
51,
5,
4,
173,
25
],
[
"move",
6,
51,
173,
25
],
[
"is_num",
52,
6,
174,
27
],
[
"move",
53,
52,
174,
27
],
[
"jump_false",
53,
"and_end_45",
174,
27
],
[
"access",
54,
0,
174,
42
],
[
"is_int",
56,
6,
174,
42
],
[
"jump_false",
56,
"rel_ni_47",
174,
42
],
"_nop_tc_30",
"_nop_tc_31",
[
"lt_int",
55,
6,
54,
174,
42
],
[
"jump",
"rel_done_49",
174,
42
],
"rel_ni_47",
[
"is_num",
56,
6,
174,
42
],
[
"jump_false",
56,
"rel_nn_48",
174,
42
],
"_nop_tc_32",
"_nop_tc_33",
[
"lt_float",
55,
6,
54,
174,
42
],
[
"jump",
"rel_done_49",
174,
42
],
"rel_nn_48",
[
"is_text",
56,
6,
174,
42
],
[
"jump_false",
56,
"rel_err_50",
174,
42
],
"_nop_tc_34",
[
"jump",
"rel_err_50",
174,
42
],
[
"lt_text",
55,
6,
54,
174,
42
],
[
"jump",
"rel_done_49",
174,
42
],
"rel_err_50",
[
"disrupt",
174,
42
],
"rel_done_49",
[
"move",
58,
55,
174,
42
],
[
"jump_true",
58,
"or_end_46",
174,
42
],
[
"is_int",
60,
6,
174,
54
],
[
"jump_false",
60,
"rel_ni_51",
174,
54
],
[
"is_int",
61,
2,
174,
54
],
[
"jump_false",
61,
"rel_ni_51",
174,
54
],
[
"ge_int",
59,
6,
2,
174,
54
],
[
"jump",
"rel_done_53",
174,
54
],
"rel_ni_51",
[
"is_num",
60,
6,
174,
54
],
[
"jump_false",
60,
"rel_nn_52",
174,
54
],
[
"is_num",
61,
2,
174,
54
],
[
"jump_false",
61,
"rel_nn_52",
174,
54
],
[
"ge_float",
59,
6,
2,
174,
54
],
[
"jump",
"rel_done_53",
174,
54
],
"rel_nn_52",
[
"is_text",
60,
6,
174,
54
],
[
"jump_false",
60,
"rel_err_54",
174,
54
],
[
"is_text",
61,
2,
174,
54
],
[
"jump_false",
61,
"rel_err_54",
174,
54
],
[
"ge_text",
59,
6,
2,
174,
54
],
[
"jump",
"rel_done_53",
174,
54
],
"rel_err_54",
[
"disrupt",
174,
54
],
"rel_done_53",
[
"move",
58,
59,
174,
54
],
"or_end_46",
[
"move",
53,
58,
174,
54
],
"and_end_45",
[
"jump_false",
53,
"if_else_43",
174,
54
],
[
"access",
63,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
64,
63,
1,
1,
1
],
[
"null",
65,
1,
1
],
[
"setarg",
64,
0,
65,
1,
1
],
[
"setarg",
64,
1,
10,
1,
1
],
[
"invoke",
64,
62,
1,
1
],
[
"load_dynamic",
66,
11,
8,
1,
16
],
[
"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,
66,
1,
1
],
[
"invoke",
69,
67,
1,
1
],
[
"access",
72,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
73,
72,
1,
1,
1
],
[
"null",
74,
1,
1
],
[
"setarg",
73,
0,
74,
1,
1
],
[
"setarg",
73,
1,
6,
1,
1
],
[
"invoke",
73,
71,
1,
1
],
[
"access",
75,
1,
1,
17
],
[
"is_num",
77,
2,
1,
17
],
[
"jump_false",
77,
"num_err_55",
1,
17
],
"_nop_tc_35",
"_nop_tc_36",
[
"subtract",
76,
2,
75,
1,
17
],
[
"jump",
"num_done_56",
1,
17
],
"num_err_55",
[
"disrupt",
1,
17
],
"num_done_56",
[
"access",
80,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
81,
80,
1,
1,
1
],
[
"null",
82,
1,
1
],
[
"setarg",
81,
0,
82,
1,
1
],
[
"setarg",
81,
1,
76,
1,
1
],
[
"invoke",
81,
79,
1,
1
],
[
"array",
83,
0,
1,
1
],
[
"push",
83,
62,
1,
1
],
[
"push",
83,
7,
1,
1
],
[
"push",
83,
67,
1,
1
],
[
"push",
83,
71,
1,
1
],
[
"push",
83,
79,
1,
1
],
[
"access",
84,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
85,
"slot_bounds: instr {0} op={1} slot[{2}]={3} out of range 0..{4}",
1,
1
],
[
"frame",
87,
84,
2,
1,
1
],
[
"null",
88,
1,
1
],
[
"setarg",
87,
0,
88,
1,
1
],
[
"setarg",
87,
1,
85,
1,
1
],
[
"setarg",
87,
2,
83,
1,
1
],
[
"invoke",
87,
86,
1,
1
],
[
"is_array",
89,
9,
1,
1
],
[
"jump_false",
89,
"push_err_57",
1,
1
],
[
"push",
9,
86,
1,
1
],
[
"jump",
"push_done_58",
1,
1
],
"push_err_57",
[
"disrupt",
1,
1
],
"push_done_58",
[
"jump",
"if_end_44",
1,
1
],
"if_else_43",
"if_end_44",
[
"jump",
"if_end_36",
1,
1
],
"if_else_35",
"if_end_36",
[
"access",
90,
1,
178,
19
],
[
"is_text",
92,
8,
178,
19
],
[
"jump_false",
92,
"add_cn_60",
178,
19
],
"_nop_tc_37",
[
"jump",
"add_cn_60",
178,
19
],
[
"concat",
91,
8,
90,
178,
19
],
[
"jump",
"add_done_59",
178,
19
],
"add_cn_60",
[
"is_num",
92,
8,
178,
19
],
[
"jump_false",
92,
"add_err_61",
178,
19
],
"_nop_tc_38",
"_nop_tc_39",
[
"add",
91,
8,
90,
178,
19
],
[
"jump",
"add_done_59",
178,
19
],
"add_err_61",
[
"disrupt",
178,
19
],
"add_done_59",
[
"move",
8,
91,
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",
94,
1,
182,
13
],
[
"is_text",
96,
10,
182,
13
],
[
"jump_false",
96,
"add_cn_63",
182,
13
],
"_nop_tc_40",
[
"jump",
"add_cn_63",
182,
13
],
[
"concat",
95,
10,
94,
182,
13
],
[
"jump",
"add_done_62",
182,
13
],
"add_cn_63",
[
"is_num",
96,
10,
182,
13
],
[
"jump_false",
96,
"add_err_64",
182,
13
],
"_nop_tc_41",
"_nop_tc_42",
[
"add",
95,
10,
94,
182,
13
],
[
"jump",
"add_done_62",
182,
13
],
"add_err_64",
[
"disrupt",
182,
13
],
"add_done_62",
[
"move",
10,
95,
182,
13
],
[
"jump",
"while_start_8",
182,
13
],
"while_end_9",
[
"return",
9,
184,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 78,
"nr_close_slots": 0,
"instructions": [
[
"load_field",
10,
1,
"instructions",
190,
22
],
[
"move",
6,
10,
190,
22
],
[
"array",
11,
0,
191,
16
],
[
"move",
8,
11,
191,
16
],
[
"record",
12,
0
],
[
"move",
2,
12,
192,
16
],
[
"access",
9,
0,
193,
11
],
[
"null",
4,
194,
15
],
[
"null",
7,
195,
12
],
[
"null",
3,
196,
19
],
[
"null",
5,
197,
16
],
[
"null",
13,
199,
23
],
[
"is_identical",
14,
6,
13,
199,
23
],
[
"jump_true",
14,
"eq_done_67",
199,
23
],
[
"is_int",
15,
6,
199,
23
],
[
"jump_false",
15,
"eq_ni_68",
199,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_68",
199,
23
],
[
"eq_int",
14,
6,
13,
199,
23
],
[
"jump",
"eq_done_67",
199,
23
],
"eq_ni_68",
[
"is_num",
15,
6,
199,
23
],
[
"jump_false",
15,
"eq_nn_69",
199,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_69",
199,
23
],
[
"eq_float",
14,
6,
13,
199,
23
],
[
"jump",
"eq_done_67",
199,
23
],
"eq_nn_69",
[
"is_text",
15,
6,
199,
23
],
[
"jump_false",
15,
"eq_nt_70",
199,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_70",
199,
23
],
[
"eq_text",
14,
6,
13,
199,
23
],
[
"jump",
"eq_done_67",
199,
23
],
"eq_nt_70",
[
"is_null",
15,
6,
199,
23
],
[
"jump_false",
15,
"eq_nnl_71",
199,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
14,
199,
23
],
[
"jump",
"eq_done_67",
199,
23
],
"eq_nnl_71",
[
"is_bool",
15,
6,
199,
23
],
[
"jump_false",
15,
"eq_nb_72",
199,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_72",
199,
23
],
[
"eq_bool",
14,
6,
13,
199,
23
],
[
"jump",
"eq_done_67",
199,
23
],
"eq_nb_72",
[
"false",
14,
199,
23
],
"eq_done_67",
[
"jump_false",
14,
"if_else_65",
199,
23
],
[
"return",
8,
199,
36
],
"_nop_ur_1",
"if_else_65",
"if_end_66",
"while_start_73",
[
"length",
17,
6,
202,
21
],
[
"is_int",
19,
9,
202,
21
],
[
"jump_false",
19,
"rel_ni_75",
202,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
18,
9,
17,
202,
21
],
[
"jump",
"rel_done_77",
202,
21
],
"rel_ni_75",
[
"is_num",
19,
9,
202,
21
],
[
"jump_false",
19,
"rel_nn_76",
202,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
18,
9,
17,
202,
21
],
[
"jump",
"rel_done_77",
202,
21
],
"rel_nn_76",
[
"is_text",
19,
9,
202,
21
],
[
"jump_false",
19,
"rel_err_78",
202,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_78",
202,
21
],
[
"lt_text",
18,
9,
17,
202,
21
],
[
"jump",
"rel_done_77",
202,
21
],
"rel_err_78",
[
"disrupt",
202,
21
],
"rel_done_77",
[
"jump_false",
18,
"while_end_74",
202,
21
],
[
"load_dynamic",
21,
6,
9,
203,
26
],
[
"move",
4,
21,
203,
26
],
[
"is_text",
22,
4,
204,
17
],
[
"move",
23,
22,
204,
17
],
[
"jump_false",
23,
"and_end_81",
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_81",
[
"jump_false",
23,
"if_else_79",
204,
28
],
[
"true",
30,
205,
23
],
[
"store_dynamic",
2,
30,
4,
205,
14
],
[
"jump",
"if_end_80",
205,
14
],
"if_else_79",
"if_end_80",
[
"access",
31,
1,
207,
13
],
[
"is_text",
33,
9,
207,
13
],
[
"jump_false",
33,
"add_cn_83",
207,
13
],
"_nop_tc_12",
[
"jump",
"add_cn_83",
207,
13
],
[
"concat",
32,
9,
31,
207,
13
],
[
"jump",
"add_done_82",
207,
13
],
"add_cn_83",
[
"is_num",
33,
9,
207,
13
],
[
"jump_false",
33,
"add_err_84",
207,
13
],
"_nop_tc_13",
"_nop_tc_14",
[
"add",
32,
9,
31,
207,
13
],
[
"jump",
"add_done_82",
207,
13
],
"add_err_84",
[
"disrupt",
207,
13
],
"add_done_82",
[
"move",
9,
32,
207,
13
],
[
"jump",
"while_start_73",
207,
13
],
"while_end_74",
[
"access",
35,
0,
211,
7
],
[
"move",
9,
35,
211,
7
],
"while_start_85",
[
"length",
36,
6,
212,
21
],
[
"is_int",
38,
9,
212,
21
],
[
"jump_false",
38,
"rel_ni_87",
212,
21
],
"_nop_tc_15",
"_nop_tc_16",
[
"lt_int",
37,
9,
36,
212,
21
],
[
"jump",
"rel_done_89",
212,
21
],
"rel_ni_87",
[
"is_num",
38,
9,
212,
21
],
[
"jump_false",
38,
"rel_nn_88",
212,
21
],
"_nop_tc_17",
"_nop_tc_18",
[
"lt_float",
37,
9,
36,
212,
21
],
[
"jump",
"rel_done_89",
212,
21
],
"rel_nn_88",
[
"is_text",
38,
9,
212,
21
],
[
"jump_false",
38,
"rel_err_90",
212,
21
],
"_nop_tc_19",
[
"jump",
"rel_err_90",
212,
21
],
[
"lt_text",
37,
9,
36,
212,
21
],
[
"jump",
"rel_done_89",
212,
21
],
"rel_err_90",
[
"disrupt",
212,
21
],
"rel_done_89",
[
"jump_false",
37,
"while_end_86",
212,
21
],
[
"load_dynamic",
40,
6,
9,
213,
26
],
[
"move",
4,
40,
213,
26
],
[
"is_array",
41,
4,
214,
18
],
[
"jump_false",
41,
"if_else_91",
214,
18
],
[
"access",
42,
0,
215,
18
],
[
"load_index",
43,
4,
42,
215,
18
],
[
"move",
7,
43,
215,
18
],
[
"get",
44,
4,
1,
216,
19
],
[
"load_dynamic",
45,
44,
7,
216,
34
],
[
"move",
3,
45,
216,
34
],
[
"null",
46,
217,
24
],
[
"is_identical",
47,
3,
46,
217,
24
],
[
"jump_true",
47,
"ne_nid_96",
217,
24
],
[
"jump",
"ne_ni_97",
217,
24
],
"ne_nid_96",
[
"false",
47,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_ni_97",
[
"is_int",
48,
3,
217,
24
],
[
"jump_false",
48,
"ne_nn_98",
217,
24
],
"_nop_tc_20",
[
"jump",
"ne_nn_98",
217,
24
],
[
"ne_int",
47,
3,
46,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_nn_98",
[
"is_num",
48,
3,
217,
24
],
[
"jump_false",
48,
"ne_nt_99",
217,
24
],
"_nop_tc_21",
[
"jump",
"ne_nt_99",
217,
24
],
[
"ne_float",
47,
3,
46,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_nt_99",
[
"is_text",
48,
3,
217,
24
],
[
"jump_false",
48,
"ne_nnl_100",
217,
24
],
"_nop_tc_22",
[
"jump",
"ne_nnl_100",
217,
24
],
[
"ne_text",
47,
3,
46,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_nnl_100",
[
"is_null",
48,
3,
217,
24
],
[
"jump_false",
48,
"ne_nb_101",
217,
24
],
"_nop_tc_23",
"_nop_tc_24",
[
"false",
47,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_nb_101",
[
"is_bool",
48,
3,
217,
24
],
[
"jump_false",
48,
"ne_mis_102",
217,
24
],
"_nop_tc_25",
[
"jump",
"ne_mis_102",
217,
24
],
[
"ne_bool",
47,
3,
46,
217,
24
],
[
"jump",
"ne_done_95",
217,
24
],
"ne_mis_102",
[
"true",
47,
217,
24
],
"ne_done_95",
[
"jump_false",
47,
"if_else_93",
217,
24
],
[
"access",
50,
1,
218,
36
],
[
"is_text",
52,
3,
218,
36
],
[
"jump_false",
52,
"add_cn_104",
218,
36
],
"_nop_tc_26",
[
"jump",
"add_cn_104",
218,
36
],
[
"concat",
51,
3,
50,
218,
36
],
[
"jump",
"add_done_103",
218,
36
],
"add_cn_104",
[
"is_num",
52,
3,
218,
36
],
[
"jump_false",
52,
"add_err_105",
218,
36
],
"_nop_tc_27",
"_nop_tc_28",
[
"add",
51,
3,
50,
218,
36
],
[
"jump",
"add_done_103",
218,
36
],
"add_err_105",
[
"disrupt",
218,
36
],
"add_done_103",
[
"load_dynamic",
54,
4,
51,
218,
36
],
[
"move",
5,
54,
218,
36
],
[
"is_text",
55,
5,
219,
21
],
[
"move",
56,
55,
219,
21
],
[
"jump_false",
56,
"and_end_108",
219,
21
],
[
"load_dynamic",
57,
2,
5,
219,
39
],
[
"true",
58,
219,
50
],
[
"is_identical",
59,
57,
58,
219,
50
],
[
"jump_true",
59,
"ne_nid_110",
219,
50
],
[
"jump",
"ne_ni_111",
219,
50
],
"ne_nid_110",
[
"false",
59,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_ni_111",
[
"is_int",
60,
57,
219,
50
],
[
"jump_false",
60,
"ne_nn_112",
219,
50
],
"_nop_tc_29",
[
"jump",
"ne_nn_112",
219,
50
],
[
"ne_int",
59,
57,
58,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_nn_112",
[
"is_num",
60,
57,
219,
50
],
[
"jump_false",
60,
"ne_nt_113",
219,
50
],
"_nop_tc_30",
[
"jump",
"ne_nt_113",
219,
50
],
[
"ne_float",
59,
57,
58,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_nt_113",
[
"is_text",
60,
57,
219,
50
],
[
"jump_false",
60,
"ne_nnl_114",
219,
50
],
"_nop_tc_31",
[
"jump",
"ne_nnl_114",
219,
50
],
[
"ne_text",
59,
57,
58,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_nnl_114",
[
"is_null",
60,
57,
219,
50
],
[
"jump_false",
60,
"ne_nb_115",
219,
50
],
"_nop_tc_32",
[
"jump",
"ne_nb_115",
219,
50
],
[
"false",
59,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_nb_115",
[
"is_bool",
60,
57,
219,
50
],
[
"jump_false",
60,
"ne_mis_116",
219,
50
],
"_nop_tc_33",
"_nop_tc_34",
[
"ne_bool",
59,
57,
58,
219,
50
],
[
"jump",
"ne_done_109",
219,
50
],
"ne_mis_116",
[
"true",
59,
219,
50
],
"ne_done_109",
[
"move",
56,
59,
219,
50
],
"and_end_108",
[
"jump_false",
56,
"if_else_106",
219,
50
],
[
"access",
63,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
64,
63,
1,
1,
1
],
[
"null",
65,
1,
1
],
[
"setarg",
64,
0,
65,
1,
1
],
[
"setarg",
64,
1,
9,
1,
1
],
[
"invoke",
64,
62,
1,
1
],
[
"array",
66,
0,
1,
1
],
[
"push",
66,
62,
1,
1
],
[
"push",
66,
7,
1,
1
],
[
"push",
66,
5,
1,
1
],
[
"access",
67,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
68,
"jump_targets: instr {0} op={1} target label \"{2}\" not found",
1,
1
],
[
"frame",
70,
67,
2,
1,
1
],
[
"null",
71,
1,
1
],
[
"setarg",
70,
0,
71,
1,
1
],
[
"setarg",
70,
1,
68,
1,
1
],
[
"setarg",
70,
2,
66,
1,
1
],
[
"invoke",
70,
69,
1,
1
],
[
"is_array",
72,
8,
1,
1
],
[
"jump_false",
72,
"push_err_117",
1,
1
],
[
"push",
8,
69,
1,
1
],
[
"jump",
"push_done_118",
1,
1
],
"push_err_117",
[
"disrupt",
1,
1
],
"push_done_118",
[
"jump",
"if_end_107",
1,
1
],
"if_else_106",
"if_end_107",
[
"jump",
"if_end_94",
1,
1
],
"if_else_93",
"if_end_94",
[
"jump",
"if_end_92",
1,
1
],
"if_else_91",
"if_end_92",
[
"access",
73,
1,
224,
13
],
[
"is_text",
75,
9,
224,
13
],
[
"jump_false",
75,
"add_cn_120",
224,
13
],
"_nop_tc_35",
[
"jump",
"add_cn_120",
224,
13
],
[
"concat",
74,
9,
73,
224,
13
],
[
"jump",
"add_done_119",
224,
13
],
"add_cn_120",
[
"is_num",
75,
9,
224,
13
],
[
"jump_false",
75,
"add_err_121",
224,
13
],
"_nop_tc_36",
"_nop_tc_37",
[
"add",
74,
9,
73,
224,
13
],
[
"jump",
"add_done_119",
224,
13
],
"add_err_121",
[
"disrupt",
224,
13
],
"add_done_119",
[
"move",
9,
74,
224,
13
],
[
"jump",
"while_start_85",
224,
13
],
"while_end_86",
[
"return",
8,
226,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 455,
"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",
9,
240,
12
],
[
"null",
16,
241,
12
],
[
"null",
23,
243,
23
],
[
"is_identical",
24,
4,
23,
243,
23
],
[
"jump_true",
24,
"eq_done_124",
243,
23
],
[
"is_int",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_ni_125",
243,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_125",
243,
23
],
[
"eq_int",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_124",
243,
23
],
"eq_ni_125",
[
"is_num",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nn_126",
243,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_126",
243,
23
],
[
"eq_float",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_124",
243,
23
],
"eq_nn_126",
[
"is_text",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nt_127",
243,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_127",
243,
23
],
[
"eq_text",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_124",
243,
23
],
"eq_nt_127",
[
"is_null",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nnl_128",
243,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
24,
243,
23
],
[
"jump",
"eq_done_124",
243,
23
],
"eq_nnl_128",
[
"is_bool",
25,
4,
243,
23
],
[
"jump_false",
25,
"eq_nb_129",
243,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_129",
243,
23
],
[
"eq_bool",
24,
4,
23,
243,
23
],
[
"jump",
"eq_done_124",
243,
23
],
"eq_nb_129",
[
"false",
24,
243,
23
],
"eq_done_124",
[
"jump_false",
24,
"if_else_122",
243,
23
],
[
"return",
18,
243,
36
],
"_nop_ur_1",
"if_else_122",
"if_end_123",
[
"access",
11,
"int",
246,
15
],
[
"access",
10,
"float",
247,
17
],
[
"access",
6,
"text",
248,
16
],
[
"access",
7,
"bool",
249,
16
],
[
"record",
27,
6
],
[
"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,
6
],
[
"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",
5,
34,
255,
95
],
[
"record",
41,
7
],
[
"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",
8,
41,
259,
13
],
[
"record",
49,
5
],
[
"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_130",
[
"length",
55,
4,
265,
21
],
[
"is_int",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_ni_132",
265,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_134",
265,
21
],
"rel_ni_132",
[
"is_num",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_nn_133",
265,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_134",
265,
21
],
"rel_nn_133",
[
"is_text",
57,
19,
265,
21
],
[
"jump_false",
57,
"rel_err_135",
265,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_135",
265,
21
],
[
"lt_text",
56,
19,
55,
265,
21
],
[
"jump",
"rel_done_134",
265,
21
],
"rel_err_135",
[
"disrupt",
265,
21
],
"rel_done_134",
[
"jump_false",
56,
"while_end_131",
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_138",
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_138",
[
"jump_false",
61,
"if_else_136",
269,
28
],
[
"record",
68,
0
],
[
"move",
14,
68,
270,
20
],
[
"access",
69,
1,
271,
15
],
[
"is_text",
71,
19,
271,
15
],
[
"jump_false",
71,
"add_cn_140",
271,
15
],
"_nop_tc_12",
[
"jump",
"add_cn_140",
271,
15
],
[
"concat",
70,
19,
69,
271,
15
],
[
"jump",
"add_done_139",
271,
15
],
"add_cn_140",
[
"is_num",
71,
19,
271,
15
],
[
"jump_false",
71,
"add_err_141",
271,
15
],
"_nop_tc_13",
"_nop_tc_14",
[
"add",
70,
19,
69,
271,
15
],
[
"jump",
"add_done_139",
271,
15
],
"add_err_141",
[
"disrupt",
271,
15
],
"add_done_139",
[
"move",
19,
70,
271,
15
],
[
"jump",
"while_start_130",
272,
7
],
[
"jump",
"if_end_137",
272,
7
],
"if_else_136",
"if_end_137",
[
"is_array",
73,
12,
275,
19
],
"_nop_bl_1",
[
"jump_true",
73,
"if_else_142",
275,
19
],
[
"access",
75,
1,
276,
15
],
[
"is_text",
77,
19,
276,
15
],
[
"jump_false",
77,
"add_cn_145",
276,
15
],
"_nop_tc_15",
[
"jump",
"add_cn_145",
276,
15
],
[
"concat",
76,
19,
75,
276,
15
],
[
"jump",
"add_done_144",
276,
15
],
"add_cn_145",
[
"is_num",
77,
19,
276,
15
],
[
"jump_false",
77,
"add_err_146",
276,
15
],
"_nop_tc_16",
"_nop_tc_17",
[
"add",
76,
19,
75,
276,
15
],
[
"jump",
"add_done_144",
276,
15
],
"add_err_146",
[
"disrupt",
276,
15
],
"add_done_144",
[
"move",
19,
76,
276,
15
],
[
"jump",
"while_start_130",
277,
7
],
[
"jump",
"if_end_143",
277,
7
],
"if_else_142",
"if_end_143",
[
"access",
79,
0,
280,
16
],
[
"load_index",
80,
12,
79,
280,
16
],
[
"move",
15,
80,
280,
16
],
[
"access",
81,
"int",
283,
15
],
[
"is_identical",
82,
15,
81,
283,
15
],
[
"jump_true",
82,
"eq_done_149",
283,
15
],
[
"is_int",
83,
15,
283,
15
],
[
"jump_false",
83,
"eq_ni_150",
283,
15
],
"_nop_tc_18",
[
"jump",
"eq_ni_150",
283,
15
],
[
"eq_int",
82,
15,
81,
283,
15
],
[
"jump",
"eq_done_149",
283,
15
],
"eq_ni_150",
[
"is_num",
83,
15,
283,
15
],
[
"jump_false",
83,
"eq_nn_151",
283,
15
],
"_nop_tc_19",
[
"jump",
"eq_nn_151",
283,
15
],
[
"eq_float",
82,
15,
81,
283,
15
],
[
"jump",
"eq_done_149",
283,
15
],
"eq_nn_151",
[
"is_text",
83,
15,
283,
15
],
[
"jump_false",
83,
"eq_nt_152",
283,
15
],
"_nop_tc_20",
"_nop_tc_21",
[
"eq_text",
82,
15,
81,
283,
15
],
[
"jump",
"eq_done_149",
283,
15
],
"eq_nt_152",
[
"is_null",
83,
15,
283,
15
],
[
"jump_false",
83,
"eq_nnl_153",
283,
15
],
"_nop_tc_22",
[
"jump",
"eq_nnl_153",
283,
15
],
[
"true",
82,
283,
15
],
[
"jump",
"eq_done_149",
283,
15
],
"eq_nnl_153",
[
"is_bool",
83,
15,
283,
15
],
[
"jump_false",
83,
"eq_nb_154",
283,
15
],
"_nop_tc_23",
[
"jump",
"eq_nb_154",
283,
15
],
[
"eq_bool",
82,
15,
81,
283,
15
],
[
"jump",
"eq_done_149",
283,
15
],
"eq_nb_154",
[
"false",
82,
283,
15
],
"eq_done_149",
[
"jump_false",
82,
"if_else_147",
283,
15
],
[
"access",
85,
1,
284,
29
],
[
"load_index",
86,
12,
85,
284,
29
],
[
"access",
88,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
284,
18
],
[
"frame",
89,
88,
1,
284,
18
],
[
"null",
90,
284,
18
],
[
"setarg",
89,
0,
90,
284,
18
],
[
"setarg",
89,
1,
86,
284,
18
],
[
"invoke",
89,
87,
284,
18
],
[
"store_dynamic",
14,
11,
87,
284,
18
],
[
"jump",
"if_end_148",
284,
18
],
"if_else_147",
[
"access",
91,
"access",
285,
22
],
[
"is_identical",
92,
15,
91,
285,
22
],
[
"jump_true",
92,
"eq_done_157",
285,
22
],
[
"is_int",
93,
15,
285,
22
],
[
"jump_false",
93,
"eq_ni_158",
285,
22
],
"_nop_tc_24",
[
"jump",
"eq_ni_158",
285,
22
],
[
"eq_int",
92,
15,
91,
285,
22
],
[
"jump",
"eq_done_157",
285,
22
],
"eq_ni_158",
[
"is_num",
93,
15,
285,
22
],
[
"jump_false",
93,
"eq_nn_159",
285,
22
],
"_nop_tc_25",
[
"jump",
"eq_nn_159",
285,
22
],
[
"eq_float",
92,
15,
91,
285,
22
],
[
"jump",
"eq_done_157",
285,
22
],
"eq_nn_159",
[
"is_text",
93,
15,
285,
22
],
[
"jump_false",
93,
"eq_nt_160",
285,
22
],
"_nop_tc_26",
"_nop_tc_27",
[
"eq_text",
92,
15,
91,
285,
22
],
[
"jump",
"eq_done_157",
285,
22
],
"eq_nt_160",
[
"is_null",
93,
15,
285,
22
],
[
"jump_false",
93,
"eq_nnl_161",
285,
22
],
"_nop_tc_28",
[
"jump",
"eq_nnl_161",
285,
22
],
[
"true",
92,
285,
22
],
[
"jump",
"eq_done_157",
285,
22
],
"eq_nnl_161",
[
"is_bool",
93,
15,
285,
22
],
[
"jump_false",
93,
"eq_nb_162",
285,
22
],
"_nop_tc_29",
[
"jump",
"eq_nb_162",
285,
22
],
[
"eq_bool",
92,
15,
91,
285,
22
],
[
"jump",
"eq_done_157",
285,
22
],
"eq_nb_162",
[
"false",
92,
285,
22
],
"eq_done_157",
[
"jump_false",
92,
"if_else_155",
285,
22
],
[
"access",
95,
2,
286,
27
],
[
"load_index",
96,
12,
95,
286,
27
],
[
"is_num",
97,
96,
286,
27
],
[
"jump_false",
97,
"if_else_163",
286,
27
],
[
"access",
98,
2,
287,
30
],
[
"load_index",
99,
12,
98,
287,
30
],
[
"is_int",
100,
99,
287,
30
],
[
"jump_false",
100,
"if_else_165",
287,
30
],
[
"access",
101,
1,
288,
33
],
[
"load_index",
102,
12,
101,
288,
33
],
[
"access",
104,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
288,
22
],
[
"frame",
105,
104,
1,
288,
22
],
[
"null",
106,
288,
22
],
[
"setarg",
105,
0,
106,
288,
22
],
[
"setarg",
105,
1,
102,
288,
22
],
[
"invoke",
105,
103,
288,
22
],
[
"store_dynamic",
14,
11,
103,
288,
22
],
[
"jump",
"if_end_166",
288,
22
],
"if_else_165",
[
"access",
107,
1,
290,
33
],
[
"load_index",
108,
12,
107,
290,
33
],
[
"access",
110,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
290,
22
],
[
"frame",
111,
110,
1,
290,
22
],
[
"null",
112,
290,
22
],
[
"setarg",
111,
0,
112,
290,
22
],
[
"setarg",
111,
1,
108,
290,
22
],
[
"invoke",
111,
109,
290,
22
],
[
"store_dynamic",
14,
10,
109,
290,
22
],
"if_end_166",
[
"jump",
"if_end_164",
290,
22
],
"if_else_163",
[
"access",
113,
2,
292,
32
],
[
"load_index",
114,
12,
113,
292,
32
],
[
"is_text",
115,
114,
292,
32
],
[
"jump_false",
115,
"if_else_167",
292,
32
],
[
"access",
116,
1,
293,
31
],
[
"load_index",
117,
12,
116,
293,
31
],
[
"access",
119,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
293,
20
],
[
"frame",
120,
119,
1,
293,
20
],
[
"null",
121,
293,
20
],
[
"setarg",
120,
0,
121,
293,
20
],
[
"setarg",
120,
1,
117,
293,
20
],
[
"invoke",
120,
118,
293,
20
],
[
"store_dynamic",
14,
6,
118,
293,
20
],
[
"jump",
"if_end_168",
293,
20
],
"if_else_167",
"if_end_168",
"if_end_164",
[
"jump",
"if_end_156",
293,
20
],
"if_else_155",
[
"access",
122,
"true",
295,
22
],
[
"is_identical",
123,
15,
122,
295,
22
],
[
"jump_true",
123,
"eq_done_172",
295,
22
],
[
"is_int",
124,
15,
295,
22
],
[
"jump_false",
124,
"eq_ni_173",
295,
22
],
"_nop_tc_30",
[
"jump",
"eq_ni_173",
295,
22
],
[
"eq_int",
123,
15,
122,
295,
22
],
[
"jump",
"eq_done_172",
295,
22
],
"eq_ni_173",
[
"is_num",
124,
15,
295,
22
],
[
"jump_false",
124,
"eq_nn_174",
295,
22
],
"_nop_tc_31",
[
"jump",
"eq_nn_174",
295,
22
],
[
"eq_float",
123,
15,
122,
295,
22
],
[
"jump",
"eq_done_172",
295,
22
],
"eq_nn_174",
[
"is_text",
124,
15,
295,
22
],
[
"jump_false",
124,
"eq_nt_175",
295,
22
],
"_nop_tc_32",
"_nop_tc_33",
[
"eq_text",
123,
15,
122,
295,
22
],
[
"jump",
"eq_done_172",
295,
22
],
"eq_nt_175",
[
"is_null",
124,
15,
295,
22
],
[
"jump_false",
124,
"eq_nnl_176",
295,
22
],
"_nop_tc_34",
[
"jump",
"eq_nnl_176",
295,
22
],
[
"true",
123,
295,
22
],
[
"jump",
"eq_done_172",
295,
22
],
"eq_nnl_176",
[
"is_bool",
124,
15,
295,
22
],
[
"jump_false",
124,
"eq_nb_177",
295,
22
],
"_nop_tc_35",
[
"jump",
"eq_nb_177",
295,
22
],
[
"eq_bool",
123,
15,
122,
295,
22
],
[
"jump",
"eq_done_172",
295,
22
],
"eq_nb_177",
[
"false",
123,
295,
22
],
"eq_done_172",
[
"move",
126,
123,
295,
22
],
[
"jump_true",
126,
"or_end_171",
295,
22
],
[
"access",
127,
"false",
295,
38
],
[
"is_identical",
128,
15,
127,
295,
38
],
[
"jump_true",
128,
"eq_done_178",
295,
38
],
[
"is_int",
129,
15,
295,
38
],
[
"jump_false",
129,
"eq_ni_179",
295,
38
],
"_nop_tc_36",
[
"jump",
"eq_ni_179",
295,
38
],
[
"eq_int",
128,
15,
127,
295,
38
],
[
"jump",
"eq_done_178",
295,
38
],
"eq_ni_179",
[
"is_num",
129,
15,
295,
38
],
[
"jump_false",
129,
"eq_nn_180",
295,
38
],
"_nop_tc_37",
[
"jump",
"eq_nn_180",
295,
38
],
[
"eq_float",
128,
15,
127,
295,
38
],
[
"jump",
"eq_done_178",
295,
38
],
"eq_nn_180",
[
"is_text",
129,
15,
295,
38
],
[
"jump_false",
129,
"eq_nt_181",
295,
38
],
"_nop_tc_38",
"_nop_tc_39",
[
"eq_text",
128,
15,
127,
295,
38
],
[
"jump",
"eq_done_178",
295,
38
],
"eq_nt_181",
[
"is_null",
129,
15,
295,
38
],
[
"jump_false",
129,
"eq_nnl_182",
295,
38
],
"_nop_tc_40",
[
"jump",
"eq_nnl_182",
295,
38
],
[
"true",
128,
295,
38
],
[
"jump",
"eq_done_178",
295,
38
],
"eq_nnl_182",
[
"is_bool",
129,
15,
295,
38
],
[
"jump_false",
129,
"eq_nb_183",
295,
38
],
"_nop_tc_41",
[
"jump",
"eq_nb_183",
295,
38
],
[
"eq_bool",
128,
15,
127,
295,
38
],
[
"jump",
"eq_done_178",
295,
38
],
"eq_nb_183",
[
"false",
128,
295,
38
],
"eq_done_178",
[
"move",
126,
128,
295,
38
],
"or_end_171",
[
"jump_false",
126,
"if_else_169",
295,
38
],
[
"access",
131,
1,
296,
29
],
[
"load_index",
132,
12,
131,
296,
29
],
[
"access",
134,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
296,
18
],
[
"frame",
135,
134,
1,
296,
18
],
[
"null",
136,
296,
18
],
[
"setarg",
135,
0,
136,
296,
18
],
[
"setarg",
135,
1,
132,
296,
18
],
[
"invoke",
135,
133,
296,
18
],
[
"store_dynamic",
14,
7,
133,
296,
18
],
[
"jump",
"if_end_170",
296,
18
],
"if_else_169",
"if_end_170",
"if_end_156",
"if_end_148",
[
"load_dynamic",
137,
3,
15,
300,
17
],
[
"true",
138,
300,
24
],
[
"is_identical",
139,
137,
138,
300,
24
],
[
"jump_true",
139,
"eq_done_187",
300,
24
],
[
"is_int",
140,
137,
300,
24
],
[
"jump_false",
140,
"eq_ni_188",
300,
24
],
"_nop_tc_42",
[
"jump",
"eq_ni_188",
300,
24
],
[
"eq_int",
139,
137,
138,
300,
24
],
[
"jump",
"eq_done_187",
300,
24
],
"eq_ni_188",
[
"is_num",
140,
137,
300,
24
],
[
"jump_false",
140,
"eq_nn_189",
300,
24
],
"_nop_tc_43",
[
"jump",
"eq_nn_189",
300,
24
],
[
"eq_float",
139,
137,
138,
300,
24
],
[
"jump",
"eq_done_187",
300,
24
],
"eq_nn_189",
[
"is_text",
140,
137,
300,
24
],
[
"jump_false",
140,
"eq_nt_190",
300,
24
],
"_nop_tc_44",
[
"jump",
"eq_nt_190",
300,
24
],
[
"eq_text",
139,
137,
138,
300,
24
],
[
"jump",
"eq_done_187",
300,
24
],
"eq_nt_190",
[
"is_null",
140,
137,
300,
24
],
[
"jump_false",
140,
"eq_nnl_191",
300,
24
],
"_nop_tc_45",
[
"jump",
"eq_nnl_191",
300,
24
],
[
"true",
139,
300,
24
],
[
"jump",
"eq_done_187",
300,
24
],
"eq_nnl_191",
[
"is_bool",
140,
137,
300,
24
],
[
"jump_false",
140,
"eq_nb_192",
300,
24
],
"_nop_tc_46",
"_nop_tc_47",
[
"eq_bool",
139,
137,
138,
300,
24
],
[
"jump",
"eq_done_187",
300,
24
],
"eq_nb_192",
[
"false",
139,
300,
24
],
"eq_done_187",
[
"move",
142,
139,
300,
24
],
[
"jump_false",
142,
"and_end_186",
300,
24
],
[
"length",
143,
12,
300,
39
],
[
"access",
144,
5,
300,
49
],
"_nop_tc_48",
"_nop_tc_49",
"_nop_tc_50",
"_nop_tc_51",
[
"ge_int",
145,
143,
144,
300,
49
],
[
"jump",
"rel_done_195",
300,
49
],
"rel_ni_193",
"_nop_tc_52",
"_nop_tc_53",
"_nop_tc_54",
"_nop_tc_55",
[
"ge_float",
145,
143,
144,
300,
49
],
[
"jump",
"rel_done_195",
300,
49
],
"rel_nn_194",
"_nop_tc_56",
[
"jump",
"rel_err_196",
300,
49
],
"_nop_tc_57",
[
"jump",
"rel_err_196",
300,
49
],
[
"ge_text",
145,
143,
144,
300,
49
],
[
"jump",
"rel_done_195",
300,
49
],
"rel_err_196",
[
"disrupt",
300,
49
],
"rel_done_195",
[
"move",
142,
145,
300,
49
],
"and_end_186",
[
"jump_false",
142,
"if_else_184",
300,
49
],
[
"access",
148,
2,
301,
23
],
[
"load_index",
149,
12,
148,
301,
23
],
[
"access",
151,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
301,
12
],
[
"frame",
152,
151,
1,
301,
12
],
[
"null",
153,
301,
12
],
[
"setarg",
152,
0,
153,
301,
12
],
[
"setarg",
152,
1,
149,
301,
12
],
[
"invoke",
152,
150,
301,
12
],
[
"move",
2,
150,
301,
12
],
[
"load_dynamic",
154,
14,
2,
302,
23
],
[
"move",
9,
154,
302,
23
],
[
"null",
155,
303,
17
],
[
"is_identical",
156,
9,
155,
303,
17
],
[
"jump_true",
156,
"ne_nid_202",
303,
17
],
[
"jump",
"ne_ni_203",
303,
17
],
"ne_nid_202",
[
"false",
156,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_ni_203",
[
"is_int",
157,
9,
303,
17
],
[
"jump_false",
157,
"ne_nn_204",
303,
17
],
"_nop_tc_58",
[
"jump",
"ne_nn_204",
303,
17
],
[
"ne_int",
156,
9,
155,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_nn_204",
[
"is_num",
157,
9,
303,
17
],
[
"jump_false",
157,
"ne_nt_205",
303,
17
],
"_nop_tc_59",
[
"jump",
"ne_nt_205",
303,
17
],
[
"ne_float",
156,
9,
155,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_nt_205",
[
"is_text",
157,
9,
303,
17
],
[
"jump_false",
157,
"ne_nnl_206",
303,
17
],
"_nop_tc_60",
[
"jump",
"ne_nnl_206",
303,
17
],
[
"ne_text",
156,
9,
155,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_nnl_206",
[
"is_null",
157,
9,
303,
17
],
[
"jump_false",
157,
"ne_nb_207",
303,
17
],
"_nop_tc_61",
"_nop_tc_62",
[
"false",
156,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_nb_207",
[
"is_bool",
157,
9,
303,
17
],
[
"jump_false",
157,
"ne_mis_208",
303,
17
],
"_nop_tc_63",
[
"jump",
"ne_mis_208",
303,
17
],
[
"ne_bool",
156,
9,
155,
303,
17
],
[
"jump",
"ne_done_201",
303,
17
],
"ne_mis_208",
[
"true",
156,
303,
17
],
"ne_done_201",
[
"move",
159,
156,
303,
17
],
[
"jump_false",
159,
"and_end_200",
303,
17
],
[
"is_identical",
160,
9,
11,
303,
31
],
[
"jump_true",
160,
"ne_nid_210",
303,
31
],
[
"jump",
"ne_ni_211",
303,
31
],
"ne_nid_210",
[
"false",
160,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_ni_211",
[
"is_int",
161,
9,
303,
31
],
[
"jump_false",
161,
"ne_nn_212",
303,
31
],
"_nop_tc_64",
[
"jump",
"ne_nn_212",
303,
31
],
[
"ne_int",
160,
9,
11,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_nn_212",
[
"is_num",
161,
9,
303,
31
],
[
"jump_false",
161,
"ne_nt_213",
303,
31
],
"_nop_tc_65",
[
"jump",
"ne_nt_213",
303,
31
],
[
"ne_float",
160,
9,
11,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_nt_213",
[
"is_text",
161,
9,
303,
31
],
[
"jump_false",
161,
"ne_nnl_214",
303,
31
],
"_nop_tc_66",
"_nop_tc_67",
[
"ne_text",
160,
9,
11,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_nnl_214",
[
"is_null",
161,
9,
303,
31
],
[
"jump_false",
161,
"ne_nb_215",
303,
31
],
"_nop_tc_68",
[
"jump",
"ne_nb_215",
303,
31
],
[
"false",
160,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_nb_215",
[
"is_bool",
161,
9,
303,
31
],
[
"jump_false",
161,
"ne_mis_216",
303,
31
],
"_nop_tc_69",
[
"jump",
"ne_mis_216",
303,
31
],
[
"ne_bool",
160,
9,
11,
303,
31
],
[
"jump",
"ne_done_209",
303,
31
],
"ne_mis_216",
[
"true",
160,
303,
31
],
"ne_done_209",
[
"move",
159,
160,
303,
31
],
"and_end_200",
[
"move",
163,
159,
303,
31
],
[
"jump_false",
163,
"and_end_199",
303,
31
],
[
"access",
164,
"unknown",
303,
46
],
[
"is_identical",
165,
9,
164,
303,
46
],
[
"jump_true",
165,
"ne_nid_218",
303,
46
],
[
"jump",
"ne_ni_219",
303,
46
],
"ne_nid_218",
[
"false",
165,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_ni_219",
[
"is_int",
166,
9,
303,
46
],
[
"jump_false",
166,
"ne_nn_220",
303,
46
],
"_nop_tc_70",
[
"jump",
"ne_nn_220",
303,
46
],
[
"ne_int",
165,
9,
164,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_nn_220",
[
"is_num",
166,
9,
303,
46
],
[
"jump_false",
166,
"ne_nt_221",
303,
46
],
"_nop_tc_71",
[
"jump",
"ne_nt_221",
303,
46
],
[
"ne_float",
165,
9,
164,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_nt_221",
[
"is_text",
166,
9,
303,
46
],
[
"jump_false",
166,
"ne_nnl_222",
303,
46
],
"_nop_tc_72",
"_nop_tc_73",
[
"ne_text",
165,
9,
164,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_nnl_222",
[
"is_null",
166,
9,
303,
46
],
[
"jump_false",
166,
"ne_nb_223",
303,
46
],
"_nop_tc_74",
[
"jump",
"ne_nb_223",
303,
46
],
[
"false",
165,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_nb_223",
[
"is_bool",
166,
9,
303,
46
],
[
"jump_false",
166,
"ne_mis_224",
303,
46
],
"_nop_tc_75",
[
"jump",
"ne_mis_224",
303,
46
],
[
"ne_bool",
165,
9,
164,
303,
46
],
[
"jump",
"ne_done_217",
303,
46
],
"ne_mis_224",
[
"true",
165,
303,
46
],
"ne_done_217",
[
"move",
163,
165,
303,
46
],
"and_end_199",
[
"jump_false",
163,
"if_else_197",
303,
46
],
[
"access",
169,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
170,
169,
1,
1,
1
],
[
"null",
171,
1,
1
],
[
"setarg",
170,
0,
171,
1,
1
],
[
"setarg",
170,
1,
19,
1,
1
],
[
"invoke",
170,
168,
1,
1
],
[
"array",
172,
0,
1,
1
],
[
"push",
172,
168,
1,
1
],
[
"push",
172,
15,
1,
1
],
[
"push",
172,
2,
1,
1
],
[
"push",
172,
9,
1,
1
],
[
"access",
173,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
174,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected int",
1,
1
],
[
"frame",
176,
173,
2,
1,
1
],
[
"null",
177,
1,
1
],
[
"setarg",
176,
0,
177,
1,
1
],
[
"setarg",
176,
1,
174,
1,
1
],
[
"setarg",
176,
2,
172,
1,
1
],
[
"invoke",
176,
175,
1,
1
],
[
"is_array",
178,
18,
1,
1
],
[
"jump_false",
178,
"push_err_225",
1,
1
],
[
"push",
18,
175,
1,
1
],
[
"jump",
"push_done_226",
1,
1
],
"push_err_225",
[
"disrupt",
1,
1
],
"push_done_226",
[
"jump",
"if_end_198",
1,
1
],
"if_else_197",
"if_end_198",
[
"length",
179,
12,
306,
18
],
[
"access",
180,
6,
306,
28
],
"_nop_tc_76",
"_nop_tc_77",
"_nop_tc_78",
"_nop_tc_79",
[
"ge_int",
181,
179,
180,
306,
28
],
[
"jump",
"rel_done_231",
306,
28
],
"rel_ni_229",
"_nop_tc_80",
"_nop_tc_81",
"_nop_tc_82",
"_nop_tc_83",
[
"ge_float",
181,
179,
180,
306,
28
],
[
"jump",
"rel_done_231",
306,
28
],
"rel_nn_230",
"_nop_tc_84",
[
"jump",
"rel_err_232",
306,
28
],
"_nop_tc_85",
[
"jump",
"rel_err_232",
306,
28
],
[
"ge_text",
181,
179,
180,
306,
28
],
[
"jump",
"rel_done_231",
306,
28
],
"rel_err_232",
[
"disrupt",
306,
28
],
"rel_done_231",
[
"jump_false",
181,
"if_else_227",
306,
28
],
[
"access",
184,
3,
307,
25
],
[
"load_index",
185,
12,
184,
307,
25
],
[
"access",
187,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
307,
14
],
[
"frame",
188,
187,
1,
307,
14
],
[
"null",
189,
307,
14
],
[
"setarg",
188,
0,
189,
307,
14
],
[
"setarg",
188,
1,
185,
307,
14
],
[
"invoke",
188,
186,
307,
14
],
[
"move",
13,
186,
307,
14
],
[
"load_dynamic",
190,
14,
13,
308,
25
],
[
"move",
16,
190,
308,
25
],
[
"null",
191,
309,
19
],
[
"is_identical",
192,
16,
191,
309,
19
],
[
"jump_true",
192,
"ne_nid_238",
309,
19
],
[
"jump",
"ne_ni_239",
309,
19
],
"ne_nid_238",
[
"false",
192,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_ni_239",
[
"is_int",
193,
16,
309,
19
],
[
"jump_false",
193,
"ne_nn_240",
309,
19
],
"_nop_tc_86",
[
"jump",
"ne_nn_240",
309,
19
],
[
"ne_int",
192,
16,
191,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_nn_240",
[
"is_num",
193,
16,
309,
19
],
[
"jump_false",
193,
"ne_nt_241",
309,
19
],
"_nop_tc_87",
[
"jump",
"ne_nt_241",
309,
19
],
[
"ne_float",
192,
16,
191,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_nt_241",
[
"is_text",
193,
16,
309,
19
],
[
"jump_false",
193,
"ne_nnl_242",
309,
19
],
"_nop_tc_88",
[
"jump",
"ne_nnl_242",
309,
19
],
[
"ne_text",
192,
16,
191,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_nnl_242",
[
"is_null",
193,
16,
309,
19
],
[
"jump_false",
193,
"ne_nb_243",
309,
19
],
"_nop_tc_89",
"_nop_tc_90",
[
"false",
192,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_nb_243",
[
"is_bool",
193,
16,
309,
19
],
[
"jump_false",
193,
"ne_mis_244",
309,
19
],
"_nop_tc_91",
[
"jump",
"ne_mis_244",
309,
19
],
[
"ne_bool",
192,
16,
191,
309,
19
],
[
"jump",
"ne_done_237",
309,
19
],
"ne_mis_244",
[
"true",
192,
309,
19
],
"ne_done_237",
[
"move",
195,
192,
309,
19
],
[
"jump_false",
195,
"and_end_236",
309,
19
],
[
"is_identical",
196,
16,
11,
309,
33
],
[
"jump_true",
196,
"ne_nid_246",
309,
33
],
[
"jump",
"ne_ni_247",
309,
33
],
"ne_nid_246",
[
"false",
196,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_ni_247",
[
"is_int",
197,
16,
309,
33
],
[
"jump_false",
197,
"ne_nn_248",
309,
33
],
"_nop_tc_92",
[
"jump",
"ne_nn_248",
309,
33
],
[
"ne_int",
196,
16,
11,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_nn_248",
[
"is_num",
197,
16,
309,
33
],
[
"jump_false",
197,
"ne_nt_249",
309,
33
],
"_nop_tc_93",
[
"jump",
"ne_nt_249",
309,
33
],
[
"ne_float",
196,
16,
11,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_nt_249",
[
"is_text",
197,
16,
309,
33
],
[
"jump_false",
197,
"ne_nnl_250",
309,
33
],
"_nop_tc_94",
"_nop_tc_95",
[
"ne_text",
196,
16,
11,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_nnl_250",
[
"is_null",
197,
16,
309,
33
],
[
"jump_false",
197,
"ne_nb_251",
309,
33
],
"_nop_tc_96",
[
"jump",
"ne_nb_251",
309,
33
],
[
"false",
196,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_nb_251",
[
"is_bool",
197,
16,
309,
33
],
[
"jump_false",
197,
"ne_mis_252",
309,
33
],
"_nop_tc_97",
[
"jump",
"ne_mis_252",
309,
33
],
[
"ne_bool",
196,
16,
11,
309,
33
],
[
"jump",
"ne_done_245",
309,
33
],
"ne_mis_252",
[
"true",
196,
309,
33
],
"ne_done_245",
[
"move",
195,
196,
309,
33
],
"and_end_236",
[
"move",
199,
195,
309,
33
],
[
"jump_false",
199,
"and_end_235",
309,
33
],
[
"access",
200,
"unknown",
309,
48
],
[
"is_identical",
201,
16,
200,
309,
48
],
[
"jump_true",
201,
"ne_nid_254",
309,
48
],
[
"jump",
"ne_ni_255",
309,
48
],
"ne_nid_254",
[
"false",
201,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_ni_255",
[
"is_int",
202,
16,
309,
48
],
[
"jump_false",
202,
"ne_nn_256",
309,
48
],
"_nop_tc_98",
[
"jump",
"ne_nn_256",
309,
48
],
[
"ne_int",
201,
16,
200,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_nn_256",
[
"is_num",
202,
16,
309,
48
],
[
"jump_false",
202,
"ne_nt_257",
309,
48
],
"_nop_tc_99",
[
"jump",
"ne_nt_257",
309,
48
],
[
"ne_float",
201,
16,
200,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_nt_257",
[
"is_text",
202,
16,
309,
48
],
[
"jump_false",
202,
"ne_nnl_258",
309,
48
],
"_nop_tc_100",
"_nop_tc_101",
[
"ne_text",
201,
16,
200,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_nnl_258",
[
"is_null",
202,
16,
309,
48
],
[
"jump_false",
202,
"ne_nb_259",
309,
48
],
"_nop_tc_102",
[
"jump",
"ne_nb_259",
309,
48
],
[
"false",
201,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_nb_259",
[
"is_bool",
202,
16,
309,
48
],
[
"jump_false",
202,
"ne_mis_260",
309,
48
],
"_nop_tc_103",
[
"jump",
"ne_mis_260",
309,
48
],
[
"ne_bool",
201,
16,
200,
309,
48
],
[
"jump",
"ne_done_253",
309,
48
],
"ne_mis_260",
[
"true",
201,
309,
48
],
"ne_done_253",
[
"move",
199,
201,
309,
48
],
"and_end_235",
[
"jump_false",
199,
"if_else_233",
309,
48
],
[
"access",
205,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
206,
205,
1,
1,
1
],
[
"null",
207,
1,
1
],
[
"setarg",
206,
0,
207,
1,
1
],
[
"setarg",
206,
1,
19,
1,
1
],
[
"invoke",
206,
204,
1,
1
],
[
"array",
208,
0,
1,
1
],
[
"push",
208,
204,
1,
1
],
[
"push",
208,
15,
1,
1
],
[
"push",
208,
13,
1,
1
],
[
"push",
208,
16,
1,
1
],
[
"access",
209,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
210,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected int",
1,
1
],
[
"frame",
212,
209,
2,
1,
1
],
[
"null",
213,
1,
1
],
[
"setarg",
212,
0,
213,
1,
1
],
[
"setarg",
212,
1,
210,
1,
1
],
[
"setarg",
212,
2,
208,
1,
1
],
[
"invoke",
212,
211,
1,
1
],
[
"is_array",
214,
18,
1,
1
],
[
"jump_false",
214,
"push_err_261",
1,
1
],
[
"push",
18,
211,
1,
1
],
[
"jump",
"push_done_262",
1,
1
],
"push_err_261",
[
"disrupt",
1,
1
],
"push_done_262",
[
"jump",
"if_end_234",
1,
1
],
"if_else_233",
"if_end_234",
[
"jump",
"if_end_228",
1,
1
],
"if_else_227",
"if_end_228",
[
"jump",
"if_end_185",
1,
1
],
"if_else_184",
[
"load_dynamic",
215,
5,
15,
313,
26
],
[
"true",
216,
313,
33
],
[
"is_identical",
217,
215,
216,
313,
33
],
[
"jump_true",
217,
"eq_done_266",
313,
33
],
[
"is_int",
218,
215,
313,
33
],
[
"jump_false",
218,
"eq_ni_267",
313,
33
],
"_nop_tc_104",
[
"jump",
"eq_ni_267",
313,
33
],
[
"eq_int",
217,
215,
216,
313,
33
],
[
"jump",
"eq_done_266",
313,
33
],
"eq_ni_267",
[
"is_num",
218,
215,
313,
33
],
[
"jump_false",
218,
"eq_nn_268",
313,
33
],
"_nop_tc_105",
[
"jump",
"eq_nn_268",
313,
33
],
[
"eq_float",
217,
215,
216,
313,
33
],
[
"jump",
"eq_done_266",
313,
33
],
"eq_nn_268",
[
"is_text",
218,
215,
313,
33
],
[
"jump_false",
218,
"eq_nt_269",
313,
33
],
"_nop_tc_106",
[
"jump",
"eq_nt_269",
313,
33
],
[
"eq_text",
217,
215,
216,
313,
33
],
[
"jump",
"eq_done_266",
313,
33
],
"eq_nt_269",
[
"is_null",
218,
215,
313,
33
],
[
"jump_false",
218,
"eq_nnl_270",
313,
33
],
"_nop_tc_107",
[
"jump",
"eq_nnl_270",
313,
33
],
[
"true",
217,
313,
33
],
[
"jump",
"eq_done_266",
313,
33
],
"eq_nnl_270",
[
"is_bool",
218,
215,
313,
33
],
[
"jump_false",
218,
"eq_nb_271",
313,
33
],
"_nop_tc_108",
"_nop_tc_109",
[
"eq_bool",
217,
215,
216,
313,
33
],
[
"jump",
"eq_done_266",
313,
33
],
"eq_nb_271",
[
"false",
217,
313,
33
],
"eq_done_266",
[
"move",
220,
217,
313,
33
],
[
"jump_false",
220,
"and_end_265",
313,
33
],
[
"length",
221,
12,
313,
48
],
[
"access",
222,
5,
313,
58
],
"_nop_tc_110",
"_nop_tc_111",
"_nop_tc_112",
"_nop_tc_113",
[
"ge_int",
223,
221,
222,
313,
58
],
[
"jump",
"rel_done_274",
313,
58
],
"rel_ni_272",
"_nop_tc_114",
"_nop_tc_115",
"_nop_tc_116",
"_nop_tc_117",
[
"ge_float",
223,
221,
222,
313,
58
],
[
"jump",
"rel_done_274",
313,
58
],
"rel_nn_273",
"_nop_tc_118",
[
"jump",
"rel_err_275",
313,
58
],
"_nop_tc_119",
[
"jump",
"rel_err_275",
313,
58
],
[
"ge_text",
223,
221,
222,
313,
58
],
[
"jump",
"rel_done_274",
313,
58
],
"rel_err_275",
[
"disrupt",
313,
58
],
"rel_done_274",
[
"move",
220,
223,
313,
58
],
"and_end_265",
[
"jump_false",
220,
"if_else_263",
313,
58
],
[
"access",
226,
2,
314,
23
],
[
"load_index",
227,
12,
226,
314,
23
],
[
"access",
229,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
314,
12
],
[
"frame",
230,
229,
1,
314,
12
],
[
"null",
231,
314,
12
],
[
"setarg",
230,
0,
231,
314,
12
],
[
"setarg",
230,
1,
227,
314,
12
],
[
"invoke",
230,
228,
314,
12
],
[
"move",
2,
228,
314,
12
],
[
"load_dynamic",
232,
14,
2,
315,
23
],
[
"move",
9,
232,
315,
23
],
[
"null",
233,
316,
17
],
[
"is_identical",
234,
9,
233,
316,
17
],
[
"jump_true",
234,
"ne_nid_281",
316,
17
],
[
"jump",
"ne_ni_282",
316,
17
],
"ne_nid_281",
[
"false",
234,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_ni_282",
[
"is_int",
235,
9,
316,
17
],
[
"jump_false",
235,
"ne_nn_283",
316,
17
],
"_nop_tc_120",
[
"jump",
"ne_nn_283",
316,
17
],
[
"ne_int",
234,
9,
233,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_nn_283",
[
"is_num",
235,
9,
316,
17
],
[
"jump_false",
235,
"ne_nt_284",
316,
17
],
"_nop_tc_121",
[
"jump",
"ne_nt_284",
316,
17
],
[
"ne_float",
234,
9,
233,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_nt_284",
[
"is_text",
235,
9,
316,
17
],
[
"jump_false",
235,
"ne_nnl_285",
316,
17
],
"_nop_tc_122",
[
"jump",
"ne_nnl_285",
316,
17
],
[
"ne_text",
234,
9,
233,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_nnl_285",
[
"is_null",
235,
9,
316,
17
],
[
"jump_false",
235,
"ne_nb_286",
316,
17
],
"_nop_tc_123",
"_nop_tc_124",
[
"false",
234,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_nb_286",
[
"is_bool",
235,
9,
316,
17
],
[
"jump_false",
235,
"ne_mis_287",
316,
17
],
"_nop_tc_125",
[
"jump",
"ne_mis_287",
316,
17
],
[
"ne_bool",
234,
9,
233,
316,
17
],
[
"jump",
"ne_done_280",
316,
17
],
"ne_mis_287",
[
"true",
234,
316,
17
],
"ne_done_280",
[
"move",
237,
234,
316,
17
],
[
"jump_false",
237,
"and_end_279",
316,
17
],
[
"is_identical",
238,
9,
10,
316,
31
],
[
"jump_true",
238,
"ne_nid_289",
316,
31
],
[
"jump",
"ne_ni_290",
316,
31
],
"ne_nid_289",
[
"false",
238,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_ni_290",
[
"is_int",
239,
9,
316,
31
],
[
"jump_false",
239,
"ne_nn_291",
316,
31
],
"_nop_tc_126",
[
"jump",
"ne_nn_291",
316,
31
],
[
"ne_int",
238,
9,
10,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_nn_291",
[
"is_num",
239,
9,
316,
31
],
[
"jump_false",
239,
"ne_nt_292",
316,
31
],
"_nop_tc_127",
[
"jump",
"ne_nt_292",
316,
31
],
[
"ne_float",
238,
9,
10,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_nt_292",
[
"is_text",
239,
9,
316,
31
],
[
"jump_false",
239,
"ne_nnl_293",
316,
31
],
"_nop_tc_128",
"_nop_tc_129",
[
"ne_text",
238,
9,
10,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_nnl_293",
[
"is_null",
239,
9,
316,
31
],
[
"jump_false",
239,
"ne_nb_294",
316,
31
],
"_nop_tc_130",
[
"jump",
"ne_nb_294",
316,
31
],
[
"false",
238,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_nb_294",
[
"is_bool",
239,
9,
316,
31
],
[
"jump_false",
239,
"ne_mis_295",
316,
31
],
"_nop_tc_131",
[
"jump",
"ne_mis_295",
316,
31
],
[
"ne_bool",
238,
9,
10,
316,
31
],
[
"jump",
"ne_done_288",
316,
31
],
"ne_mis_295",
[
"true",
238,
316,
31
],
"ne_done_288",
[
"move",
237,
238,
316,
31
],
"and_end_279",
[
"move",
241,
237,
316,
31
],
[
"jump_false",
241,
"and_end_278",
316,
31
],
[
"access",
242,
"unknown",
316,
48
],
[
"is_identical",
243,
9,
242,
316,
48
],
[
"jump_true",
243,
"ne_nid_297",
316,
48
],
[
"jump",
"ne_ni_298",
316,
48
],
"ne_nid_297",
[
"false",
243,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_ni_298",
[
"is_int",
244,
9,
316,
48
],
[
"jump_false",
244,
"ne_nn_299",
316,
48
],
"_nop_tc_132",
[
"jump",
"ne_nn_299",
316,
48
],
[
"ne_int",
243,
9,
242,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_nn_299",
[
"is_num",
244,
9,
316,
48
],
[
"jump_false",
244,
"ne_nt_300",
316,
48
],
"_nop_tc_133",
[
"jump",
"ne_nt_300",
316,
48
],
[
"ne_float",
243,
9,
242,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_nt_300",
[
"is_text",
244,
9,
316,
48
],
[
"jump_false",
244,
"ne_nnl_301",
316,
48
],
"_nop_tc_134",
"_nop_tc_135",
[
"ne_text",
243,
9,
242,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_nnl_301",
[
"is_null",
244,
9,
316,
48
],
[
"jump_false",
244,
"ne_nb_302",
316,
48
],
"_nop_tc_136",
[
"jump",
"ne_nb_302",
316,
48
],
[
"false",
243,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_nb_302",
[
"is_bool",
244,
9,
316,
48
],
[
"jump_false",
244,
"ne_mis_303",
316,
48
],
"_nop_tc_137",
[
"jump",
"ne_mis_303",
316,
48
],
[
"ne_bool",
243,
9,
242,
316,
48
],
[
"jump",
"ne_done_296",
316,
48
],
"ne_mis_303",
[
"true",
243,
316,
48
],
"ne_done_296",
[
"move",
241,
243,
316,
48
],
"and_end_278",
[
"jump_false",
241,
"if_else_276",
316,
48
],
[
"access",
247,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
248,
247,
1,
1,
1
],
[
"null",
249,
1,
1
],
[
"setarg",
248,
0,
249,
1,
1
],
[
"setarg",
248,
1,
19,
1,
1
],
[
"invoke",
248,
246,
1,
1
],
[
"array",
250,
0,
1,
1
],
[
"push",
250,
246,
1,
1
],
[
"push",
250,
15,
1,
1
],
[
"push",
250,
2,
1,
1
],
[
"push",
250,
9,
1,
1
],
[
"access",
251,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
252,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected float",
1,
1
],
[
"frame",
254,
251,
2,
1,
1
],
[
"null",
255,
1,
1
],
[
"setarg",
254,
0,
255,
1,
1
],
[
"setarg",
254,
1,
252,
1,
1
],
[
"setarg",
254,
2,
250,
1,
1
],
[
"invoke",
254,
253,
1,
1
],
[
"is_array",
256,
18,
1,
1
],
[
"jump_false",
256,
"push_err_304",
1,
1
],
[
"push",
18,
253,
1,
1
],
[
"jump",
"push_done_305",
1,
1
],
"push_err_304",
[
"disrupt",
1,
1
],
"push_done_305",
[
"jump",
"if_end_277",
1,
1
],
"if_else_276",
"if_end_277",
[
"length",
257,
12,
319,
18
],
[
"access",
258,
6,
319,
28
],
"_nop_tc_138",
"_nop_tc_139",
"_nop_tc_140",
"_nop_tc_141",
[
"ge_int",
259,
257,
258,
319,
28
],
[
"jump",
"rel_done_310",
319,
28
],
"rel_ni_308",
"_nop_tc_142",
"_nop_tc_143",
"_nop_tc_144",
"_nop_tc_145",
[
"ge_float",
259,
257,
258,
319,
28
],
[
"jump",
"rel_done_310",
319,
28
],
"rel_nn_309",
"_nop_tc_146",
[
"jump",
"rel_err_311",
319,
28
],
"_nop_tc_147",
[
"jump",
"rel_err_311",
319,
28
],
[
"ge_text",
259,
257,
258,
319,
28
],
[
"jump",
"rel_done_310",
319,
28
],
"rel_err_311",
[
"disrupt",
319,
28
],
"rel_done_310",
[
"jump_false",
259,
"if_else_306",
319,
28
],
[
"access",
262,
3,
320,
25
],
[
"load_index",
263,
12,
262,
320,
25
],
[
"access",
265,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
320,
14
],
[
"frame",
266,
265,
1,
320,
14
],
[
"null",
267,
320,
14
],
[
"setarg",
266,
0,
267,
320,
14
],
[
"setarg",
266,
1,
263,
320,
14
],
[
"invoke",
266,
264,
320,
14
],
[
"move",
13,
264,
320,
14
],
[
"load_dynamic",
268,
14,
13,
321,
25
],
[
"move",
16,
268,
321,
25
],
[
"null",
269,
322,
19
],
[
"is_identical",
270,
16,
269,
322,
19
],
[
"jump_true",
270,
"ne_nid_317",
322,
19
],
[
"jump",
"ne_ni_318",
322,
19
],
"ne_nid_317",
[
"false",
270,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_ni_318",
[
"is_int",
271,
16,
322,
19
],
[
"jump_false",
271,
"ne_nn_319",
322,
19
],
"_nop_tc_148",
[
"jump",
"ne_nn_319",
322,
19
],
[
"ne_int",
270,
16,
269,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_nn_319",
[
"is_num",
271,
16,
322,
19
],
[
"jump_false",
271,
"ne_nt_320",
322,
19
],
"_nop_tc_149",
[
"jump",
"ne_nt_320",
322,
19
],
[
"ne_float",
270,
16,
269,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_nt_320",
[
"is_text",
271,
16,
322,
19
],
[
"jump_false",
271,
"ne_nnl_321",
322,
19
],
"_nop_tc_150",
[
"jump",
"ne_nnl_321",
322,
19
],
[
"ne_text",
270,
16,
269,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_nnl_321",
[
"is_null",
271,
16,
322,
19
],
[
"jump_false",
271,
"ne_nb_322",
322,
19
],
"_nop_tc_151",
"_nop_tc_152",
[
"false",
270,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_nb_322",
[
"is_bool",
271,
16,
322,
19
],
[
"jump_false",
271,
"ne_mis_323",
322,
19
],
"_nop_tc_153",
[
"jump",
"ne_mis_323",
322,
19
],
[
"ne_bool",
270,
16,
269,
322,
19
],
[
"jump",
"ne_done_316",
322,
19
],
"ne_mis_323",
[
"true",
270,
322,
19
],
"ne_done_316",
[
"move",
273,
270,
322,
19
],
[
"jump_false",
273,
"and_end_315",
322,
19
],
[
"is_identical",
274,
16,
10,
322,
33
],
[
"jump_true",
274,
"ne_nid_325",
322,
33
],
[
"jump",
"ne_ni_326",
322,
33
],
"ne_nid_325",
[
"false",
274,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_ni_326",
[
"is_int",
275,
16,
322,
33
],
[
"jump_false",
275,
"ne_nn_327",
322,
33
],
"_nop_tc_154",
[
"jump",
"ne_nn_327",
322,
33
],
[
"ne_int",
274,
16,
10,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_nn_327",
[
"is_num",
275,
16,
322,
33
],
[
"jump_false",
275,
"ne_nt_328",
322,
33
],
"_nop_tc_155",
[
"jump",
"ne_nt_328",
322,
33
],
[
"ne_float",
274,
16,
10,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_nt_328",
[
"is_text",
275,
16,
322,
33
],
[
"jump_false",
275,
"ne_nnl_329",
322,
33
],
"_nop_tc_156",
"_nop_tc_157",
[
"ne_text",
274,
16,
10,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_nnl_329",
[
"is_null",
275,
16,
322,
33
],
[
"jump_false",
275,
"ne_nb_330",
322,
33
],
"_nop_tc_158",
[
"jump",
"ne_nb_330",
322,
33
],
[
"false",
274,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_nb_330",
[
"is_bool",
275,
16,
322,
33
],
[
"jump_false",
275,
"ne_mis_331",
322,
33
],
"_nop_tc_159",
[
"jump",
"ne_mis_331",
322,
33
],
[
"ne_bool",
274,
16,
10,
322,
33
],
[
"jump",
"ne_done_324",
322,
33
],
"ne_mis_331",
[
"true",
274,
322,
33
],
"ne_done_324",
[
"move",
273,
274,
322,
33
],
"and_end_315",
[
"move",
277,
273,
322,
33
],
[
"jump_false",
277,
"and_end_314",
322,
33
],
[
"access",
278,
"unknown",
322,
50
],
[
"is_identical",
279,
16,
278,
322,
50
],
[
"jump_true",
279,
"ne_nid_333",
322,
50
],
[
"jump",
"ne_ni_334",
322,
50
],
"ne_nid_333",
[
"false",
279,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_ni_334",
[
"is_int",
280,
16,
322,
50
],
[
"jump_false",
280,
"ne_nn_335",
322,
50
],
"_nop_tc_160",
[
"jump",
"ne_nn_335",
322,
50
],
[
"ne_int",
279,
16,
278,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_nn_335",
[
"is_num",
280,
16,
322,
50
],
[
"jump_false",
280,
"ne_nt_336",
322,
50
],
"_nop_tc_161",
[
"jump",
"ne_nt_336",
322,
50
],
[
"ne_float",
279,
16,
278,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_nt_336",
[
"is_text",
280,
16,
322,
50
],
[
"jump_false",
280,
"ne_nnl_337",
322,
50
],
"_nop_tc_162",
"_nop_tc_163",
[
"ne_text",
279,
16,
278,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_nnl_337",
[
"is_null",
280,
16,
322,
50
],
[
"jump_false",
280,
"ne_nb_338",
322,
50
],
"_nop_tc_164",
[
"jump",
"ne_nb_338",
322,
50
],
[
"false",
279,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_nb_338",
[
"is_bool",
280,
16,
322,
50
],
[
"jump_false",
280,
"ne_mis_339",
322,
50
],
"_nop_tc_165",
[
"jump",
"ne_mis_339",
322,
50
],
[
"ne_bool",
279,
16,
278,
322,
50
],
[
"jump",
"ne_done_332",
322,
50
],
"ne_mis_339",
[
"true",
279,
322,
50
],
"ne_done_332",
[
"move",
277,
279,
322,
50
],
"and_end_314",
[
"jump_false",
277,
"if_else_312",
322,
50
],
[
"access",
283,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
284,
283,
1,
1,
1
],
[
"null",
285,
1,
1
],
[
"setarg",
284,
0,
285,
1,
1
],
[
"setarg",
284,
1,
19,
1,
1
],
[
"invoke",
284,
282,
1,
1
],
[
"array",
286,
0,
1,
1
],
[
"push",
286,
282,
1,
1
],
[
"push",
286,
15,
1,
1
],
[
"push",
286,
13,
1,
1
],
[
"push",
286,
16,
1,
1
],
[
"access",
287,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
288,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected float",
1,
1
],
[
"frame",
290,
287,
2,
1,
1
],
[
"null",
291,
1,
1
],
[
"setarg",
290,
0,
291,
1,
1
],
[
"setarg",
290,
1,
288,
1,
1
],
[
"setarg",
290,
2,
286,
1,
1
],
[
"invoke",
290,
289,
1,
1
],
[
"is_array",
292,
18,
1,
1
],
[
"jump_false",
292,
"push_err_340",
1,
1
],
[
"push",
18,
289,
1,
1
],
[
"jump",
"push_done_341",
1,
1
],
"push_err_340",
[
"disrupt",
1,
1
],
"push_done_341",
[
"jump",
"if_end_313",
1,
1
],
"if_else_312",
"if_end_313",
[
"jump",
"if_end_307",
1,
1
],
"if_else_306",
"if_end_307",
[
"jump",
"if_end_264",
1,
1
],
"if_else_263",
[
"load_dynamic",
293,
8,
15,
326,
25
],
[
"true",
294,
326,
32
],
[
"is_identical",
295,
293,
294,
326,
32
],
[
"jump_true",
295,
"eq_done_345",
326,
32
],
[
"is_int",
296,
293,
326,
32
],
[
"jump_false",
296,
"eq_ni_346",
326,
32
],
"_nop_tc_166",
[
"jump",
"eq_ni_346",
326,
32
],
[
"eq_int",
295,
293,
294,
326,
32
],
[
"jump",
"eq_done_345",
326,
32
],
"eq_ni_346",
[
"is_num",
296,
293,
326,
32
],
[
"jump_false",
296,
"eq_nn_347",
326,
32
],
"_nop_tc_167",
[
"jump",
"eq_nn_347",
326,
32
],
[
"eq_float",
295,
293,
294,
326,
32
],
[
"jump",
"eq_done_345",
326,
32
],
"eq_nn_347",
[
"is_text",
296,
293,
326,
32
],
[
"jump_false",
296,
"eq_nt_348",
326,
32
],
"_nop_tc_168",
[
"jump",
"eq_nt_348",
326,
32
],
[
"eq_text",
295,
293,
294,
326,
32
],
[
"jump",
"eq_done_345",
326,
32
],
"eq_nt_348",
[
"is_null",
296,
293,
326,
32
],
[
"jump_false",
296,
"eq_nnl_349",
326,
32
],
"_nop_tc_169",
[
"jump",
"eq_nnl_349",
326,
32
],
[
"true",
295,
326,
32
],
[
"jump",
"eq_done_345",
326,
32
],
"eq_nnl_349",
[
"is_bool",
296,
293,
326,
32
],
[
"jump_false",
296,
"eq_nb_350",
326,
32
],
"_nop_tc_170",
"_nop_tc_171",
[
"eq_bool",
295,
293,
294,
326,
32
],
[
"jump",
"eq_done_345",
326,
32
],
"eq_nb_350",
[
"false",
295,
326,
32
],
"eq_done_345",
[
"move",
298,
295,
326,
32
],
[
"jump_false",
298,
"and_end_344",
326,
32
],
[
"length",
299,
12,
326,
47
],
[
"access",
300,
5,
326,
57
],
"_nop_tc_172",
"_nop_tc_173",
"_nop_tc_174",
"_nop_tc_175",
[
"ge_int",
301,
299,
300,
326,
57
],
[
"jump",
"rel_done_353",
326,
57
],
"rel_ni_351",
"_nop_tc_176",
"_nop_tc_177",
"_nop_tc_178",
"_nop_tc_179",
[
"ge_float",
301,
299,
300,
326,
57
],
[
"jump",
"rel_done_353",
326,
57
],
"rel_nn_352",
"_nop_tc_180",
[
"jump",
"rel_err_354",
326,
57
],
"_nop_tc_181",
[
"jump",
"rel_err_354",
326,
57
],
[
"ge_text",
301,
299,
300,
326,
57
],
[
"jump",
"rel_done_353",
326,
57
],
"rel_err_354",
[
"disrupt",
326,
57
],
"rel_done_353",
[
"move",
298,
301,
326,
57
],
"and_end_344",
[
"jump_false",
298,
"if_else_342",
326,
57
],
[
"access",
304,
2,
327,
23
],
[
"load_index",
305,
12,
304,
327,
23
],
[
"access",
307,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
327,
12
],
[
"frame",
308,
307,
1,
327,
12
],
[
"null",
309,
327,
12
],
[
"setarg",
308,
0,
309,
327,
12
],
[
"setarg",
308,
1,
305,
327,
12
],
[
"invoke",
308,
306,
327,
12
],
[
"move",
2,
306,
327,
12
],
[
"load_dynamic",
310,
14,
2,
328,
23
],
[
"move",
9,
310,
328,
23
],
[
"null",
311,
329,
17
],
[
"is_identical",
312,
9,
311,
329,
17
],
[
"jump_true",
312,
"ne_nid_360",
329,
17
],
[
"jump",
"ne_ni_361",
329,
17
],
"ne_nid_360",
[
"false",
312,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_ni_361",
[
"is_int",
313,
9,
329,
17
],
[
"jump_false",
313,
"ne_nn_362",
329,
17
],
"_nop_tc_182",
[
"jump",
"ne_nn_362",
329,
17
],
[
"ne_int",
312,
9,
311,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_nn_362",
[
"is_num",
313,
9,
329,
17
],
[
"jump_false",
313,
"ne_nt_363",
329,
17
],
"_nop_tc_183",
[
"jump",
"ne_nt_363",
329,
17
],
[
"ne_float",
312,
9,
311,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_nt_363",
[
"is_text",
313,
9,
329,
17
],
[
"jump_false",
313,
"ne_nnl_364",
329,
17
],
"_nop_tc_184",
[
"jump",
"ne_nnl_364",
329,
17
],
[
"ne_text",
312,
9,
311,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_nnl_364",
[
"is_null",
313,
9,
329,
17
],
[
"jump_false",
313,
"ne_nb_365",
329,
17
],
"_nop_tc_185",
"_nop_tc_186",
[
"false",
312,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_nb_365",
[
"is_bool",
313,
9,
329,
17
],
[
"jump_false",
313,
"ne_mis_366",
329,
17
],
"_nop_tc_187",
[
"jump",
"ne_mis_366",
329,
17
],
[
"ne_bool",
312,
9,
311,
329,
17
],
[
"jump",
"ne_done_359",
329,
17
],
"ne_mis_366",
[
"true",
312,
329,
17
],
"ne_done_359",
[
"move",
315,
312,
329,
17
],
[
"jump_false",
315,
"and_end_358",
329,
17
],
[
"is_identical",
316,
9,
6,
329,
31
],
[
"jump_true",
316,
"ne_nid_368",
329,
31
],
[
"jump",
"ne_ni_369",
329,
31
],
"ne_nid_368",
[
"false",
316,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_ni_369",
[
"is_int",
317,
9,
329,
31
],
[
"jump_false",
317,
"ne_nn_370",
329,
31
],
"_nop_tc_188",
[
"jump",
"ne_nn_370",
329,
31
],
[
"ne_int",
316,
9,
6,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_nn_370",
[
"is_num",
317,
9,
329,
31
],
[
"jump_false",
317,
"ne_nt_371",
329,
31
],
"_nop_tc_189",
[
"jump",
"ne_nt_371",
329,
31
],
[
"ne_float",
316,
9,
6,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_nt_371",
[
"is_text",
317,
9,
329,
31
],
[
"jump_false",
317,
"ne_nnl_372",
329,
31
],
"_nop_tc_190",
"_nop_tc_191",
[
"ne_text",
316,
9,
6,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_nnl_372",
[
"is_null",
317,
9,
329,
31
],
[
"jump_false",
317,
"ne_nb_373",
329,
31
],
"_nop_tc_192",
[
"jump",
"ne_nb_373",
329,
31
],
[
"false",
316,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_nb_373",
[
"is_bool",
317,
9,
329,
31
],
[
"jump_false",
317,
"ne_mis_374",
329,
31
],
"_nop_tc_193",
[
"jump",
"ne_mis_374",
329,
31
],
[
"ne_bool",
316,
9,
6,
329,
31
],
[
"jump",
"ne_done_367",
329,
31
],
"ne_mis_374",
[
"true",
316,
329,
31
],
"ne_done_367",
[
"move",
315,
316,
329,
31
],
"and_end_358",
[
"move",
319,
315,
329,
31
],
[
"jump_false",
319,
"and_end_357",
329,
31
],
[
"access",
320,
"unknown",
329,
47
],
[
"is_identical",
321,
9,
320,
329,
47
],
[
"jump_true",
321,
"ne_nid_376",
329,
47
],
[
"jump",
"ne_ni_377",
329,
47
],
"ne_nid_376",
[
"false",
321,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_ni_377",
[
"is_int",
322,
9,
329,
47
],
[
"jump_false",
322,
"ne_nn_378",
329,
47
],
"_nop_tc_194",
[
"jump",
"ne_nn_378",
329,
47
],
[
"ne_int",
321,
9,
320,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_nn_378",
[
"is_num",
322,
9,
329,
47
],
[
"jump_false",
322,
"ne_nt_379",
329,
47
],
"_nop_tc_195",
[
"jump",
"ne_nt_379",
329,
47
],
[
"ne_float",
321,
9,
320,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_nt_379",
[
"is_text",
322,
9,
329,
47
],
[
"jump_false",
322,
"ne_nnl_380",
329,
47
],
"_nop_tc_196",
"_nop_tc_197",
[
"ne_text",
321,
9,
320,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_nnl_380",
[
"is_null",
322,
9,
329,
47
],
[
"jump_false",
322,
"ne_nb_381",
329,
47
],
"_nop_tc_198",
[
"jump",
"ne_nb_381",
329,
47
],
[
"false",
321,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_nb_381",
[
"is_bool",
322,
9,
329,
47
],
[
"jump_false",
322,
"ne_mis_382",
329,
47
],
"_nop_tc_199",
[
"jump",
"ne_mis_382",
329,
47
],
[
"ne_bool",
321,
9,
320,
329,
47
],
[
"jump",
"ne_done_375",
329,
47
],
"ne_mis_382",
[
"true",
321,
329,
47
],
"ne_done_375",
[
"move",
319,
321,
329,
47
],
"and_end_357",
[
"jump_false",
319,
"if_else_355",
329,
47
],
[
"access",
325,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
326,
325,
1,
1,
1
],
[
"null",
327,
1,
1
],
[
"setarg",
326,
0,
327,
1,
1
],
[
"setarg",
326,
1,
19,
1,
1
],
[
"invoke",
326,
324,
1,
1
],
[
"array",
328,
0,
1,
1
],
[
"push",
328,
324,
1,
1
],
[
"push",
328,
15,
1,
1
],
[
"push",
328,
2,
1,
1
],
[
"push",
328,
9,
1,
1
],
[
"access",
329,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
330,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected text",
1,
1
],
[
"frame",
332,
329,
2,
1,
1
],
[
"null",
333,
1,
1
],
[
"setarg",
332,
0,
333,
1,
1
],
[
"setarg",
332,
1,
330,
1,
1
],
[
"setarg",
332,
2,
328,
1,
1
],
[
"invoke",
332,
331,
1,
1
],
[
"is_array",
334,
18,
1,
1
],
[
"jump_false",
334,
"push_err_383",
1,
1
],
[
"push",
18,
331,
1,
1
],
[
"jump",
"push_done_384",
1,
1
],
"push_err_383",
[
"disrupt",
1,
1
],
"push_done_384",
[
"jump",
"if_end_356",
1,
1
],
"if_else_355",
"if_end_356",
[
"length",
335,
12,
332,
18
],
[
"access",
336,
6,
332,
28
],
"_nop_tc_200",
"_nop_tc_201",
"_nop_tc_202",
"_nop_tc_203",
[
"ge_int",
337,
335,
336,
332,
28
],
[
"jump",
"rel_done_389",
332,
28
],
"rel_ni_387",
"_nop_tc_204",
"_nop_tc_205",
"_nop_tc_206",
"_nop_tc_207",
[
"ge_float",
337,
335,
336,
332,
28
],
[
"jump",
"rel_done_389",
332,
28
],
"rel_nn_388",
"_nop_tc_208",
[
"jump",
"rel_err_390",
332,
28
],
"_nop_tc_209",
[
"jump",
"rel_err_390",
332,
28
],
[
"ge_text",
337,
335,
336,
332,
28
],
[
"jump",
"rel_done_389",
332,
28
],
"rel_err_390",
[
"disrupt",
332,
28
],
"rel_done_389",
[
"jump_false",
337,
"if_else_385",
332,
28
],
[
"access",
340,
3,
333,
25
],
[
"load_index",
341,
12,
340,
333,
25
],
[
"access",
343,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
333,
14
],
[
"frame",
344,
343,
1,
333,
14
],
[
"null",
345,
333,
14
],
[
"setarg",
344,
0,
345,
333,
14
],
[
"setarg",
344,
1,
341,
333,
14
],
[
"invoke",
344,
342,
333,
14
],
[
"move",
13,
342,
333,
14
],
[
"load_dynamic",
346,
14,
13,
334,
25
],
[
"move",
16,
346,
334,
25
],
[
"null",
347,
335,
19
],
[
"is_identical",
348,
16,
347,
335,
19
],
[
"jump_true",
348,
"ne_nid_396",
335,
19
],
[
"jump",
"ne_ni_397",
335,
19
],
"ne_nid_396",
[
"false",
348,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_ni_397",
[
"is_int",
349,
16,
335,
19
],
[
"jump_false",
349,
"ne_nn_398",
335,
19
],
"_nop_tc_210",
[
"jump",
"ne_nn_398",
335,
19
],
[
"ne_int",
348,
16,
347,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_nn_398",
[
"is_num",
349,
16,
335,
19
],
[
"jump_false",
349,
"ne_nt_399",
335,
19
],
"_nop_tc_211",
[
"jump",
"ne_nt_399",
335,
19
],
[
"ne_float",
348,
16,
347,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_nt_399",
[
"is_text",
349,
16,
335,
19
],
[
"jump_false",
349,
"ne_nnl_400",
335,
19
],
"_nop_tc_212",
[
"jump",
"ne_nnl_400",
335,
19
],
[
"ne_text",
348,
16,
347,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_nnl_400",
[
"is_null",
349,
16,
335,
19
],
[
"jump_false",
349,
"ne_nb_401",
335,
19
],
"_nop_tc_213",
"_nop_tc_214",
[
"false",
348,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_nb_401",
[
"is_bool",
349,
16,
335,
19
],
[
"jump_false",
349,
"ne_mis_402",
335,
19
],
"_nop_tc_215",
[
"jump",
"ne_mis_402",
335,
19
],
[
"ne_bool",
348,
16,
347,
335,
19
],
[
"jump",
"ne_done_395",
335,
19
],
"ne_mis_402",
[
"true",
348,
335,
19
],
"ne_done_395",
[
"move",
351,
348,
335,
19
],
[
"jump_false",
351,
"and_end_394",
335,
19
],
[
"is_identical",
352,
16,
6,
335,
33
],
[
"jump_true",
352,
"ne_nid_404",
335,
33
],
[
"jump",
"ne_ni_405",
335,
33
],
"ne_nid_404",
[
"false",
352,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_ni_405",
[
"is_int",
353,
16,
335,
33
],
[
"jump_false",
353,
"ne_nn_406",
335,
33
],
"_nop_tc_216",
[
"jump",
"ne_nn_406",
335,
33
],
[
"ne_int",
352,
16,
6,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_nn_406",
[
"is_num",
353,
16,
335,
33
],
[
"jump_false",
353,
"ne_nt_407",
335,
33
],
"_nop_tc_217",
[
"jump",
"ne_nt_407",
335,
33
],
[
"ne_float",
352,
16,
6,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_nt_407",
[
"is_text",
353,
16,
335,
33
],
[
"jump_false",
353,
"ne_nnl_408",
335,
33
],
"_nop_tc_218",
"_nop_tc_219",
[
"ne_text",
352,
16,
6,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_nnl_408",
[
"is_null",
353,
16,
335,
33
],
[
"jump_false",
353,
"ne_nb_409",
335,
33
],
"_nop_tc_220",
[
"jump",
"ne_nb_409",
335,
33
],
[
"false",
352,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_nb_409",
[
"is_bool",
353,
16,
335,
33
],
[
"jump_false",
353,
"ne_mis_410",
335,
33
],
"_nop_tc_221",
[
"jump",
"ne_mis_410",
335,
33
],
[
"ne_bool",
352,
16,
6,
335,
33
],
[
"jump",
"ne_done_403",
335,
33
],
"ne_mis_410",
[
"true",
352,
335,
33
],
"ne_done_403",
[
"move",
351,
352,
335,
33
],
"and_end_394",
[
"move",
355,
351,
335,
33
],
[
"jump_false",
355,
"and_end_393",
335,
33
],
[
"access",
356,
"unknown",
335,
49
],
[
"is_identical",
357,
16,
356,
335,
49
],
[
"jump_true",
357,
"ne_nid_412",
335,
49
],
[
"jump",
"ne_ni_413",
335,
49
],
"ne_nid_412",
[
"false",
357,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_ni_413",
[
"is_int",
358,
16,
335,
49
],
[
"jump_false",
358,
"ne_nn_414",
335,
49
],
"_nop_tc_222",
[
"jump",
"ne_nn_414",
335,
49
],
[
"ne_int",
357,
16,
356,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_nn_414",
[
"is_num",
358,
16,
335,
49
],
[
"jump_false",
358,
"ne_nt_415",
335,
49
],
"_nop_tc_223",
[
"jump",
"ne_nt_415",
335,
49
],
[
"ne_float",
357,
16,
356,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_nt_415",
[
"is_text",
358,
16,
335,
49
],
[
"jump_false",
358,
"ne_nnl_416",
335,
49
],
"_nop_tc_224",
"_nop_tc_225",
[
"ne_text",
357,
16,
356,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_nnl_416",
[
"is_null",
358,
16,
335,
49
],
[
"jump_false",
358,
"ne_nb_417",
335,
49
],
"_nop_tc_226",
[
"jump",
"ne_nb_417",
335,
49
],
[
"false",
357,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_nb_417",
[
"is_bool",
358,
16,
335,
49
],
[
"jump_false",
358,
"ne_mis_418",
335,
49
],
"_nop_tc_227",
[
"jump",
"ne_mis_418",
335,
49
],
[
"ne_bool",
357,
16,
356,
335,
49
],
[
"jump",
"ne_done_411",
335,
49
],
"ne_mis_418",
[
"true",
357,
335,
49
],
"ne_done_411",
[
"move",
355,
357,
335,
49
],
"and_end_393",
[
"jump_false",
355,
"if_else_391",
335,
49
],
[
"access",
361,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
362,
361,
1,
1,
1
],
[
"null",
363,
1,
1
],
[
"setarg",
362,
0,
363,
1,
1
],
[
"setarg",
362,
1,
19,
1,
1
],
[
"invoke",
362,
360,
1,
1
],
[
"array",
364,
0,
1,
1
],
[
"push",
364,
360,
1,
1
],
[
"push",
364,
15,
1,
1
],
[
"push",
364,
13,
1,
1
],
[
"push",
364,
16,
1,
1
],
[
"access",
365,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
366,
"type_consistency: instr {0} op={1} src2 slot {2} has type {3}, expected text",
1,
1
],
[
"frame",
368,
365,
2,
1,
1
],
[
"null",
369,
1,
1
],
[
"setarg",
368,
0,
369,
1,
1
],
[
"setarg",
368,
1,
366,
1,
1
],
[
"setarg",
368,
2,
364,
1,
1
],
[
"invoke",
368,
367,
1,
1
],
[
"is_array",
370,
18,
1,
1
],
[
"jump_false",
370,
"push_err_419",
1,
1
],
[
"push",
18,
367,
1,
1
],
[
"jump",
"push_done_420",
1,
1
],
"push_err_419",
[
"disrupt",
1,
1
],
"push_done_420",
[
"jump",
"if_end_392",
1,
1
],
"if_else_391",
"if_end_392",
[
"jump",
"if_end_386",
1,
1
],
"if_else_385",
"if_end_386",
[
"jump",
"if_end_343",
1,
1
],
"if_else_342",
[
"load_dynamic",
371,
17,
15,
339,
25
],
[
"true",
372,
339,
32
],
[
"is_identical",
373,
371,
372,
339,
32
],
[
"jump_true",
373,
"eq_done_424",
339,
32
],
[
"is_int",
374,
371,
339,
32
],
[
"jump_false",
374,
"eq_ni_425",
339,
32
],
"_nop_tc_228",
[
"jump",
"eq_ni_425",
339,
32
],
[
"eq_int",
373,
371,
372,
339,
32
],
[
"jump",
"eq_done_424",
339,
32
],
"eq_ni_425",
[
"is_num",
374,
371,
339,
32
],
[
"jump_false",
374,
"eq_nn_426",
339,
32
],
"_nop_tc_229",
[
"jump",
"eq_nn_426",
339,
32
],
[
"eq_float",
373,
371,
372,
339,
32
],
[
"jump",
"eq_done_424",
339,
32
],
"eq_nn_426",
[
"is_text",
374,
371,
339,
32
],
[
"jump_false",
374,
"eq_nt_427",
339,
32
],
"_nop_tc_230",
[
"jump",
"eq_nt_427",
339,
32
],
[
"eq_text",
373,
371,
372,
339,
32
],
[
"jump",
"eq_done_424",
339,
32
],
"eq_nt_427",
[
"is_null",
374,
371,
339,
32
],
[
"jump_false",
374,
"eq_nnl_428",
339,
32
],
"_nop_tc_231",
[
"jump",
"eq_nnl_428",
339,
32
],
[
"true",
373,
339,
32
],
[
"jump",
"eq_done_424",
339,
32
],
"eq_nnl_428",
[
"is_bool",
374,
371,
339,
32
],
[
"jump_false",
374,
"eq_nb_429",
339,
32
],
"_nop_tc_232",
"_nop_tc_233",
[
"eq_bool",
373,
371,
372,
339,
32
],
[
"jump",
"eq_done_424",
339,
32
],
"eq_nb_429",
[
"false",
373,
339,
32
],
"eq_done_424",
[
"move",
376,
373,
339,
32
],
[
"jump_false",
376,
"and_end_423",
339,
32
],
[
"length",
377,
12,
339,
47
],
[
"access",
378,
5,
339,
57
],
"_nop_tc_234",
"_nop_tc_235",
"_nop_tc_236",
"_nop_tc_237",
[
"ge_int",
379,
377,
378,
339,
57
],
[
"jump",
"rel_done_432",
339,
57
],
"rel_ni_430",
"_nop_tc_238",
"_nop_tc_239",
"_nop_tc_240",
"_nop_tc_241",
[
"ge_float",
379,
377,
378,
339,
57
],
[
"jump",
"rel_done_432",
339,
57
],
"rel_nn_431",
"_nop_tc_242",
[
"jump",
"rel_err_433",
339,
57
],
"_nop_tc_243",
[
"jump",
"rel_err_433",
339,
57
],
[
"ge_text",
379,
377,
378,
339,
57
],
[
"jump",
"rel_done_432",
339,
57
],
"rel_err_433",
[
"disrupt",
339,
57
],
"rel_done_432",
[
"move",
376,
379,
339,
57
],
"and_end_423",
[
"jump_false",
376,
"if_else_421",
339,
57
],
[
"access",
382,
2,
340,
23
],
[
"load_index",
383,
12,
382,
340,
23
],
[
"access",
385,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
340,
12
],
[
"frame",
386,
385,
1,
340,
12
],
[
"null",
387,
340,
12
],
[
"setarg",
386,
0,
387,
340,
12
],
[
"setarg",
386,
1,
383,
340,
12
],
[
"invoke",
386,
384,
340,
12
],
[
"move",
2,
384,
340,
12
],
[
"load_dynamic",
388,
14,
2,
341,
23
],
[
"move",
9,
388,
341,
23
],
[
"null",
389,
342,
17
],
[
"is_identical",
390,
9,
389,
342,
17
],
[
"jump_true",
390,
"ne_nid_439",
342,
17
],
[
"jump",
"ne_ni_440",
342,
17
],
"ne_nid_439",
[
"false",
390,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_ni_440",
[
"is_int",
391,
9,
342,
17
],
[
"jump_false",
391,
"ne_nn_441",
342,
17
],
"_nop_tc_244",
[
"jump",
"ne_nn_441",
342,
17
],
[
"ne_int",
390,
9,
389,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_nn_441",
[
"is_num",
391,
9,
342,
17
],
[
"jump_false",
391,
"ne_nt_442",
342,
17
],
"_nop_tc_245",
[
"jump",
"ne_nt_442",
342,
17
],
[
"ne_float",
390,
9,
389,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_nt_442",
[
"is_text",
391,
9,
342,
17
],
[
"jump_false",
391,
"ne_nnl_443",
342,
17
],
"_nop_tc_246",
[
"jump",
"ne_nnl_443",
342,
17
],
[
"ne_text",
390,
9,
389,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_nnl_443",
[
"is_null",
391,
9,
342,
17
],
[
"jump_false",
391,
"ne_nb_444",
342,
17
],
"_nop_tc_247",
"_nop_tc_248",
[
"false",
390,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_nb_444",
[
"is_bool",
391,
9,
342,
17
],
[
"jump_false",
391,
"ne_mis_445",
342,
17
],
"_nop_tc_249",
[
"jump",
"ne_mis_445",
342,
17
],
[
"ne_bool",
390,
9,
389,
342,
17
],
[
"jump",
"ne_done_438",
342,
17
],
"ne_mis_445",
[
"true",
390,
342,
17
],
"ne_done_438",
[
"move",
393,
390,
342,
17
],
[
"jump_false",
393,
"and_end_437",
342,
17
],
[
"is_identical",
394,
9,
7,
342,
31
],
[
"jump_true",
394,
"ne_nid_447",
342,
31
],
[
"jump",
"ne_ni_448",
342,
31
],
"ne_nid_447",
[
"false",
394,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_ni_448",
[
"is_int",
395,
9,
342,
31
],
[
"jump_false",
395,
"ne_nn_449",
342,
31
],
"_nop_tc_250",
[
"jump",
"ne_nn_449",
342,
31
],
[
"ne_int",
394,
9,
7,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_nn_449",
[
"is_num",
395,
9,
342,
31
],
[
"jump_false",
395,
"ne_nt_450",
342,
31
],
"_nop_tc_251",
[
"jump",
"ne_nt_450",
342,
31
],
[
"ne_float",
394,
9,
7,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_nt_450",
[
"is_text",
395,
9,
342,
31
],
[
"jump_false",
395,
"ne_nnl_451",
342,
31
],
"_nop_tc_252",
"_nop_tc_253",
[
"ne_text",
394,
9,
7,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_nnl_451",
[
"is_null",
395,
9,
342,
31
],
[
"jump_false",
395,
"ne_nb_452",
342,
31
],
"_nop_tc_254",
[
"jump",
"ne_nb_452",
342,
31
],
[
"false",
394,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_nb_452",
[
"is_bool",
395,
9,
342,
31
],
[
"jump_false",
395,
"ne_mis_453",
342,
31
],
"_nop_tc_255",
[
"jump",
"ne_mis_453",
342,
31
],
[
"ne_bool",
394,
9,
7,
342,
31
],
[
"jump",
"ne_done_446",
342,
31
],
"ne_mis_453",
[
"true",
394,
342,
31
],
"ne_done_446",
[
"move",
393,
394,
342,
31
],
"and_end_437",
[
"move",
397,
393,
342,
31
],
[
"jump_false",
397,
"and_end_436",
342,
31
],
[
"access",
398,
"unknown",
342,
47
],
[
"is_identical",
399,
9,
398,
342,
47
],
[
"jump_true",
399,
"ne_nid_455",
342,
47
],
[
"jump",
"ne_ni_456",
342,
47
],
"ne_nid_455",
[
"false",
399,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_ni_456",
[
"is_int",
400,
9,
342,
47
],
[
"jump_false",
400,
"ne_nn_457",
342,
47
],
"_nop_tc_256",
[
"jump",
"ne_nn_457",
342,
47
],
[
"ne_int",
399,
9,
398,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_nn_457",
[
"is_num",
400,
9,
342,
47
],
[
"jump_false",
400,
"ne_nt_458",
342,
47
],
"_nop_tc_257",
[
"jump",
"ne_nt_458",
342,
47
],
[
"ne_float",
399,
9,
398,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_nt_458",
[
"is_text",
400,
9,
342,
47
],
[
"jump_false",
400,
"ne_nnl_459",
342,
47
],
"_nop_tc_258",
"_nop_tc_259",
[
"ne_text",
399,
9,
398,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_nnl_459",
[
"is_null",
400,
9,
342,
47
],
[
"jump_false",
400,
"ne_nb_460",
342,
47
],
"_nop_tc_260",
[
"jump",
"ne_nb_460",
342,
47
],
[
"false",
399,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_nb_460",
[
"is_bool",
400,
9,
342,
47
],
[
"jump_false",
400,
"ne_mis_461",
342,
47
],
"_nop_tc_261",
[
"jump",
"ne_mis_461",
342,
47
],
[
"ne_bool",
399,
9,
398,
342,
47
],
[
"jump",
"ne_done_454",
342,
47
],
"ne_mis_461",
[
"true",
399,
342,
47
],
"ne_done_454",
[
"move",
397,
399,
342,
47
],
"and_end_436",
[
"jump_false",
397,
"if_else_434",
342,
47
],
[
"access",
403,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
404,
403,
1,
1,
1
],
[
"null",
405,
1,
1
],
[
"setarg",
404,
0,
405,
1,
1
],
[
"setarg",
404,
1,
19,
1,
1
],
[
"invoke",
404,
402,
1,
1
],
[
"array",
406,
0,
1,
1
],
[
"push",
406,
402,
1,
1
],
[
"push",
406,
15,
1,
1
],
[
"push",
406,
2,
1,
1
],
[
"push",
406,
9,
1,
1
],
[
"access",
407,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
408,
"type_consistency: instr {0} op={1} src1 slot {2} has type {3}, expected bool",
1,
1
],
[
"frame",
410,
407,
2,
1,
1
],
[
"null",
411,
1,
1
],
[
"setarg",
410,
0,
411,
1,
1
],
[
"setarg",
410,
1,
408,
1,
1
],
[
"setarg",
410,
2,
406,
1,
1
],
[
"invoke",
410,
409,
1,
1
],
[
"is_array",
412,
18,
1,
1
],
[
"jump_false",
412,
"push_err_462",
1,
1
],
[
"push",
18,
409,
1,
1
],
[
"jump",
"push_done_463",
1,
1
],
"push_err_462",
[
"disrupt",
1,
1
],
"push_done_463",
[
"jump",
"if_end_435",
1,
1
],
"if_else_434",
"if_end_435",
[
"jump",
"if_end_422",
1,
1
],
"if_else_421",
"if_end_422",
"if_end_343",
"if_end_264",
"if_end_185",
[
"get",
413,
2,
1,
348,
9
],
[
"load_dynamic",
414,
413,
15,
348,
21
],
[
"true",
415,
348,
28
],
[
"is_identical",
416,
414,
415,
348,
28
],
[
"jump_true",
416,
"eq_done_466",
348,
28
],
[
"is_int",
417,
414,
348,
28
],
[
"jump_false",
417,
"eq_ni_467",
348,
28
],
"_nop_tc_262",
[
"jump",
"eq_ni_467",
348,
28
],
[
"eq_int",
416,
414,
415,
348,
28
],
[
"jump",
"eq_done_466",
348,
28
],
"eq_ni_467",
[
"is_num",
417,
414,
348,
28
],
[
"jump_false",
417,
"eq_nn_468",
348,
28
],
"_nop_tc_263",
[
"jump",
"eq_nn_468",
348,
28
],
[
"eq_float",
416,
414,
415,
348,
28
],
[
"jump",
"eq_done_466",
348,
28
],
"eq_nn_468",
[
"is_text",
417,
414,
348,
28
],
[
"jump_false",
417,
"eq_nt_469",
348,
28
],
"_nop_tc_264",
[
"jump",
"eq_nt_469",
348,
28
],
[
"eq_text",
416,
414,
415,
348,
28
],
[
"jump",
"eq_done_466",
348,
28
],
"eq_nt_469",
[
"is_null",
417,
414,
348,
28
],
[
"jump_false",
417,
"eq_nnl_470",
348,
28
],
"_nop_tc_265",
[
"jump",
"eq_nnl_470",
348,
28
],
[
"true",
416,
348,
28
],
[
"jump",
"eq_done_466",
348,
28
],
"eq_nnl_470",
[
"is_bool",
417,
414,
348,
28
],
[
"jump_false",
417,
"eq_nb_471",
348,
28
],
"_nop_tc_266",
"_nop_tc_267",
[
"eq_bool",
416,
414,
415,
348,
28
],
[
"jump",
"eq_done_466",
348,
28
],
"eq_nb_471",
[
"false",
416,
348,
28
],
"eq_done_466",
[
"jump_false",
416,
"if_else_464",
348,
28
],
[
"null",
419,
349,
36
],
[
"access",
420,
1,
349,
29
],
[
"load_index",
421,
12,
420,
349,
29
],
[
"access",
423,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
349,
18
],
[
"frame",
424,
423,
1,
349,
18
],
[
"null",
425,
349,
18
],
[
"setarg",
424,
0,
425,
349,
18
],
[
"setarg",
424,
1,
421,
349,
18
],
[
"invoke",
424,
422,
349,
18
],
[
"store_dynamic",
14,
419,
422,
349,
18
],
[
"access",
426,
"int",
351,
17
],
[
"is_identical",
427,
15,
426,
351,
17
],
[
"jump_true",
427,
"eq_done_475",
351,
17
],
[
"is_int",
428,
15,
351,
17
],
[
"jump_false",
428,
"eq_ni_476",
351,
17
],
"_nop_tc_268",
[
"jump",
"eq_ni_476",
351,
17
],
[
"eq_int",
427,
15,
426,
351,
17
],
[
"jump",
"eq_done_475",
351,
17
],
"eq_ni_476",
[
"is_num",
428,
15,
351,
17
],
[
"jump_false",
428,
"eq_nn_477",
351,
17
],
"_nop_tc_269",
[
"jump",
"eq_nn_477",
351,
17
],
[
"eq_float",
427,
15,
426,
351,
17
],
[
"jump",
"eq_done_475",
351,
17
],
"eq_nn_477",
[
"is_text",
428,
15,
351,
17
],
[
"jump_false",
428,
"eq_nt_478",
351,
17
],
"_nop_tc_270",
"_nop_tc_271",
[
"eq_text",
427,
15,
426,
351,
17
],
[
"jump",
"eq_done_475",
351,
17
],
"eq_nt_478",
[
"is_null",
428,
15,
351,
17
],
[
"jump_false",
428,
"eq_nnl_479",
351,
17
],
"_nop_tc_272",
[
"jump",
"eq_nnl_479",
351,
17
],
[
"true",
427,
351,
17
],
[
"jump",
"eq_done_475",
351,
17
],
"eq_nnl_479",
[
"is_bool",
428,
15,
351,
17
],
[
"jump_false",
428,
"eq_nb_480",
351,
17
],
"_nop_tc_273",
[
"jump",
"eq_nb_480",
351,
17
],
[
"eq_bool",
427,
15,
426,
351,
17
],
[
"jump",
"eq_done_475",
351,
17
],
"eq_nb_480",
[
"false",
427,
351,
17
],
"eq_done_475",
[
"move",
430,
427,
351,
17
],
[
"jump_true",
430,
"or_end_474",
351,
17
],
[
"access",
431,
"access",
351,
33
],
[
"is_identical",
432,
15,
431,
351,
33
],
[
"jump_true",
432,
"eq_done_482",
351,
33
],
[
"is_int",
433,
15,
351,
33
],
[
"jump_false",
433,
"eq_ni_483",
351,
33
],
"_nop_tc_274",
[
"jump",
"eq_ni_483",
351,
33
],
[
"eq_int",
432,
15,
431,
351,
33
],
[
"jump",
"eq_done_482",
351,
33
],
"eq_ni_483",
[
"is_num",
433,
15,
351,
33
],
[
"jump_false",
433,
"eq_nn_484",
351,
33
],
"_nop_tc_275",
[
"jump",
"eq_nn_484",
351,
33
],
[
"eq_float",
432,
15,
431,
351,
33
],
[
"jump",
"eq_done_482",
351,
33
],
"eq_nn_484",
[
"is_text",
433,
15,
351,
33
],
[
"jump_false",
433,
"eq_nt_485",
351,
33
],
"_nop_tc_276",
"_nop_tc_277",
[
"eq_text",
432,
15,
431,
351,
33
],
[
"jump",
"eq_done_482",
351,
33
],
"eq_nt_485",
[
"is_null",
433,
15,
351,
33
],
[
"jump_false",
433,
"eq_nnl_486",
351,
33
],
"_nop_tc_278",
[
"jump",
"eq_nnl_486",
351,
33
],
[
"true",
432,
351,
33
],
[
"jump",
"eq_done_482",
351,
33
],
"eq_nnl_486",
[
"is_bool",
433,
15,
351,
33
],
[
"jump_false",
433,
"eq_nb_487",
351,
33
],
"_nop_tc_279",
[
"jump",
"eq_nb_487",
351,
33
],
[
"eq_bool",
432,
15,
431,
351,
33
],
[
"jump",
"eq_done_482",
351,
33
],
"eq_nb_487",
[
"false",
432,
351,
33
],
"eq_done_482",
[
"move",
435,
432,
351,
33
],
[
"jump_false",
435,
"and_end_481",
351,
33
],
[
"access",
436,
2,
351,
61
],
[
"load_index",
437,
12,
436,
351,
61
],
[
"is_num",
438,
437,
351,
61
],
[
"move",
435,
438,
351,
61
],
"and_end_481",
[
"move",
430,
435,
351,
61
],
"or_end_474",
[
"jump_false",
430,
"if_else_472",
351,
61
],
[
"jump",
"if_end_473",
351,
67
],
"if_else_472",
"if_end_473",
[
"jump",
"if_end_465",
351,
67
],
"if_else_464",
"if_end_465",
[
"access",
439,
"invoke",
355,
15
],
[
"is_identical",
440,
15,
439,
355,
15
],
[
"jump_true",
440,
"eq_done_490",
355,
15
],
[
"is_int",
441,
15,
355,
15
],
[
"jump_false",
441,
"eq_ni_491",
355,
15
],
"_nop_tc_280",
[
"jump",
"eq_ni_491",
355,
15
],
[
"eq_int",
440,
15,
439,
355,
15
],
[
"jump",
"eq_done_490",
355,
15
],
"eq_ni_491",
[
"is_num",
441,
15,
355,
15
],
[
"jump_false",
441,
"eq_nn_492",
355,
15
],
"_nop_tc_281",
[
"jump",
"eq_nn_492",
355,
15
],
[
"eq_float",
440,
15,
439,
355,
15
],
[
"jump",
"eq_done_490",
355,
15
],
"eq_nn_492",
[
"is_text",
441,
15,
355,
15
],
[
"jump_false",
441,
"eq_nt_493",
355,
15
],
"_nop_tc_282",
"_nop_tc_283",
[
"eq_text",
440,
15,
439,
355,
15
],
[
"jump",
"eq_done_490",
355,
15
],
"eq_nt_493",
[
"is_null",
441,
15,
355,
15
],
[
"jump_false",
441,
"eq_nnl_494",
355,
15
],
"_nop_tc_284",
[
"jump",
"eq_nnl_494",
355,
15
],
[
"true",
440,
355,
15
],
[
"jump",
"eq_done_490",
355,
15
],
"eq_nnl_494",
[
"is_bool",
441,
15,
355,
15
],
[
"jump_false",
441,
"eq_nb_495",
355,
15
],
"_nop_tc_285",
[
"jump",
"eq_nb_495",
355,
15
],
[
"eq_bool",
440,
15,
439,
355,
15
],
[
"jump",
"eq_done_490",
355,
15
],
"eq_nb_495",
[
"false",
440,
355,
15
],
"eq_done_490",
[
"jump_false",
440,
"if_else_488",
355,
15
],
[
"null",
443,
356,
36
],
[
"access",
444,
2,
356,
29
],
[
"load_index",
445,
12,
444,
356,
29
],
[
"access",
447,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
356,
18
],
[
"frame",
448,
447,
1,
356,
18
],
[
"null",
449,
356,
18
],
[
"setarg",
448,
0,
449,
356,
18
],
[
"setarg",
448,
1,
445,
356,
18
],
[
"invoke",
448,
446,
356,
18
],
[
"store_dynamic",
14,
443,
446,
356,
18
],
[
"jump",
"if_end_489",
356,
18
],
"if_else_488",
"if_end_489",
[
"access",
450,
1,
359,
13
],
[
"is_text",
452,
19,
359,
13
],
[
"jump_false",
452,
"add_cn_497",
359,
13
],
"_nop_tc_286",
[
"jump",
"add_cn_497",
359,
13
],
[
"concat",
451,
19,
450,
359,
13
],
[
"jump",
"add_done_496",
359,
13
],
"add_cn_497",
[
"is_num",
452,
19,
359,
13
],
[
"jump_false",
452,
"add_err_498",
359,
13
],
"_nop_tc_287",
"_nop_tc_288",
[
"add",
451,
19,
450,
359,
13
],
[
"jump",
"add_done_496",
359,
13
],
"add_err_498",
[
"disrupt",
359,
13
],
"add_done_496",
[
"move",
19,
451,
359,
13
],
[
"jump",
"while_start_130",
359,
13
],
"while_end_131",
[
"return",
18,
361,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 77,
"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",
4,
371,
15
],
[
"null",
6,
372,
12
],
[
"null",
2,
373,
19
],
[
"null",
3,
374,
16
],
[
"null",
13,
376,
23
],
[
"is_identical",
14,
5,
13,
376,
23
],
[
"jump_true",
14,
"eq_done_501",
376,
23
],
[
"is_int",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_ni_502",
376,
23
],
"_nop_tc_1",
[
"jump",
"eq_ni_502",
376,
23
],
[
"eq_int",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_501",
376,
23
],
"eq_ni_502",
[
"is_num",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nn_503",
376,
23
],
"_nop_tc_2",
[
"jump",
"eq_nn_503",
376,
23
],
[
"eq_float",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_501",
376,
23
],
"eq_nn_503",
[
"is_text",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nt_504",
376,
23
],
"_nop_tc_3",
[
"jump",
"eq_nt_504",
376,
23
],
[
"eq_text",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_501",
376,
23
],
"eq_nt_504",
[
"is_null",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nnl_505",
376,
23
],
"_nop_tc_4",
"_nop_tc_5",
[
"true",
14,
376,
23
],
[
"jump",
"eq_done_501",
376,
23
],
"eq_nnl_505",
[
"is_bool",
15,
5,
376,
23
],
[
"jump_false",
15,
"eq_nb_506",
376,
23
],
"_nop_tc_6",
[
"jump",
"eq_nb_506",
376,
23
],
[
"eq_bool",
14,
5,
13,
376,
23
],
[
"jump",
"eq_done_501",
376,
23
],
"eq_nb_506",
[
"false",
14,
376,
23
],
"eq_done_501",
[
"jump_false",
14,
"if_else_499",
376,
23
],
[
"return",
7,
376,
36
],
"_nop_ur_1",
"if_else_499",
"if_end_500",
"while_start_507",
[
"length",
17,
5,
379,
21
],
[
"is_int",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_ni_509",
379,
21
],
"_nop_tc_7",
"_nop_tc_8",
[
"lt_int",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_511",
379,
21
],
"rel_ni_509",
[
"is_num",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_nn_510",
379,
21
],
"_nop_tc_9",
"_nop_tc_10",
[
"lt_float",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_511",
379,
21
],
"rel_nn_510",
[
"is_text",
19,
8,
379,
21
],
[
"jump_false",
19,
"rel_err_512",
379,
21
],
"_nop_tc_11",
[
"jump",
"rel_err_512",
379,
21
],
[
"lt_text",
18,
8,
17,
379,
21
],
[
"jump",
"rel_done_511",
379,
21
],
"rel_err_512",
[
"disrupt",
379,
21
],
"rel_done_511",
[
"jump_false",
18,
"while_end_508",
379,
21
],
[
"load_dynamic",
21,
5,
8,
380,
26
],
[
"move",
4,
21,
380,
26
],
[
"is_text",
22,
4,
381,
17
],
[
"move",
23,
22,
381,
17
],
[
"jump_false",
23,
"and_end_515",
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,
4,
381,
27
],
[
"setarg",
27,
2,
24,
381,
27
],
[
"invoke",
27,
25,
381,
27
],
[
"move",
23,
25,
381,
27
],
"and_end_515",
[
"jump_false",
23,
"if_else_513",
381,
27
],
[
"true",
29,
382,
21
],
[
"store_dynamic",
9,
29,
4,
382,
12
],
[
"jump",
"if_end_514",
382,
12
],
"if_else_513",
"if_end_514",
[
"access",
30,
1,
384,
13
],
[
"is_text",
32,
8,
384,
13
],
[
"jump_false",
32,
"add_cn_517",
384,
13
],
"_nop_tc_12",
[
"jump",
"add_cn_517",
384,
13
],
[
"concat",
31,
8,
30,
384,
13
],
[
"jump",
"add_done_516",
384,
13
],
"add_cn_517",
[
"is_num",
32,
8,
384,
13
],
[
"jump_false",
32,
"add_err_518",
384,
13
],
"_nop_tc_13",
"_nop_tc_14",
[
"add",
31,
8,
30,
384,
13
],
[
"jump",
"add_done_516",
384,
13
],
"add_err_518",
[
"disrupt",
384,
13
],
"add_done_516",
[
"move",
8,
31,
384,
13
],
[
"jump",
"while_start_507",
384,
13
],
"while_end_508",
[
"access",
34,
0,
388,
7
],
[
"move",
8,
34,
388,
7
],
"while_start_519",
[
"length",
35,
5,
389,
21
],
[
"is_int",
37,
8,
389,
21
],
[
"jump_false",
37,
"rel_ni_521",
389,
21
],
"_nop_tc_15",
"_nop_tc_16",
[
"lt_int",
36,
8,
35,
389,
21
],
[
"jump",
"rel_done_523",
389,
21
],
"rel_ni_521",
[
"is_num",
37,
8,
389,
21
],
[
"jump_false",
37,
"rel_nn_522",
389,
21
],
"_nop_tc_17",
"_nop_tc_18",
[
"lt_float",
36,
8,
35,
389,
21
],
[
"jump",
"rel_done_523",
389,
21
],
"rel_nn_522",
[
"is_text",
37,
8,
389,
21
],
[
"jump_false",
37,
"rel_err_524",
389,
21
],
"_nop_tc_19",
[
"jump",
"rel_err_524",
389,
21
],
[
"lt_text",
36,
8,
35,
389,
21
],
[
"jump",
"rel_done_523",
389,
21
],
"rel_err_524",
[
"disrupt",
389,
21
],
"rel_done_523",
[
"jump_false",
36,
"while_end_520",
389,
21
],
[
"load_dynamic",
39,
5,
8,
390,
26
],
[
"move",
4,
39,
390,
26
],
[
"is_array",
40,
4,
391,
18
],
[
"jump_false",
40,
"if_else_525",
391,
18
],
[
"access",
41,
0,
392,
18
],
[
"load_index",
42,
4,
41,
392,
18
],
[
"move",
6,
42,
392,
18
],
[
"get",
43,
4,
1,
393,
19
],
[
"load_dynamic",
44,
43,
6,
393,
34
],
[
"move",
2,
44,
393,
34
],
[
"null",
45,
394,
24
],
[
"is_identical",
46,
2,
45,
394,
24
],
[
"jump_true",
46,
"ne_nid_530",
394,
24
],
[
"jump",
"ne_ni_531",
394,
24
],
"ne_nid_530",
[
"false",
46,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_ni_531",
[
"is_int",
47,
2,
394,
24
],
[
"jump_false",
47,
"ne_nn_532",
394,
24
],
"_nop_tc_20",
[
"jump",
"ne_nn_532",
394,
24
],
[
"ne_int",
46,
2,
45,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_nn_532",
[
"is_num",
47,
2,
394,
24
],
[
"jump_false",
47,
"ne_nt_533",
394,
24
],
"_nop_tc_21",
[
"jump",
"ne_nt_533",
394,
24
],
[
"ne_float",
46,
2,
45,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_nt_533",
[
"is_text",
47,
2,
394,
24
],
[
"jump_false",
47,
"ne_nnl_534",
394,
24
],
"_nop_tc_22",
[
"jump",
"ne_nnl_534",
394,
24
],
[
"ne_text",
46,
2,
45,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_nnl_534",
[
"is_null",
47,
2,
394,
24
],
[
"jump_false",
47,
"ne_nb_535",
394,
24
],
"_nop_tc_23",
"_nop_tc_24",
[
"false",
46,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_nb_535",
[
"is_bool",
47,
2,
394,
24
],
[
"jump_false",
47,
"ne_mis_536",
394,
24
],
"_nop_tc_25",
[
"jump",
"ne_mis_536",
394,
24
],
[
"ne_bool",
46,
2,
45,
394,
24
],
[
"jump",
"ne_done_529",
394,
24
],
"ne_mis_536",
[
"true",
46,
394,
24
],
"ne_done_529",
[
"jump_false",
46,
"if_else_527",
394,
24
],
[
"access",
49,
1,
395,
36
],
[
"is_text",
51,
2,
395,
36
],
[
"jump_false",
51,
"add_cn_538",
395,
36
],
"_nop_tc_26",
[
"jump",
"add_cn_538",
395,
36
],
[
"concat",
50,
2,
49,
395,
36
],
[
"jump",
"add_done_537",
395,
36
],
"add_cn_538",
[
"is_num",
51,
2,
395,
36
],
[
"jump_false",
51,
"add_err_539",
395,
36
],
"_nop_tc_27",
"_nop_tc_28",
[
"add",
50,
2,
49,
395,
36
],
[
"jump",
"add_done_537",
395,
36
],
"add_err_539",
[
"disrupt",
395,
36
],
"add_done_537",
[
"load_dynamic",
53,
4,
50,
395,
36
],
[
"move",
3,
53,
395,
36
],
[
"is_text",
54,
3,
396,
21
],
[
"move",
55,
54,
396,
21
],
[
"jump_false",
55,
"and_end_542",
396,
21
],
[
"load_dynamic",
56,
9,
3,
396,
37
],
[
"true",
57,
396,
48
],
[
"is_identical",
58,
56,
57,
396,
48
],
[
"jump_true",
58,
"eq_done_543",
396,
48
],
[
"is_int",
59,
56,
396,
48
],
[
"jump_false",
59,
"eq_ni_544",
396,
48
],
"_nop_tc_29",
[
"jump",
"eq_ni_544",
396,
48
],
[
"eq_int",
58,
56,
57,
396,
48
],
[
"jump",
"eq_done_543",
396,
48
],
"eq_ni_544",
[
"is_num",
59,
56,
396,
48
],
[
"jump_false",
59,
"eq_nn_545",
396,
48
],
"_nop_tc_30",
[
"jump",
"eq_nn_545",
396,
48
],
[
"eq_float",
58,
56,
57,
396,
48
],
[
"jump",
"eq_done_543",
396,
48
],
"eq_nn_545",
[
"is_text",
59,
56,
396,
48
],
[
"jump_false",
59,
"eq_nt_546",
396,
48
],
"_nop_tc_31",
[
"jump",
"eq_nt_546",
396,
48
],
[
"eq_text",
58,
56,
57,
396,
48
],
[
"jump",
"eq_done_543",
396,
48
],
"eq_nt_546",
[
"is_null",
59,
56,
396,
48
],
[
"jump_false",
59,
"eq_nnl_547",
396,
48
],
"_nop_tc_32",
[
"jump",
"eq_nnl_547",
396,
48
],
[
"true",
58,
396,
48
],
[
"jump",
"eq_done_543",
396,
48
],
"eq_nnl_547",
[
"is_bool",
59,
56,
396,
48
],
[
"jump_false",
59,
"eq_nb_548",
396,
48
],
"_nop_tc_33",
"_nop_tc_34",
[
"eq_bool",
58,
56,
57,
396,
48
],
[
"jump",
"eq_done_543",
396,
48
],
"eq_nb_548",
[
"false",
58,
396,
48
],
"eq_done_543",
[
"move",
55,
58,
396,
48
],
"and_end_542",
[
"jump_false",
55,
"if_else_540",
396,
48
],
[
"access",
62,
{
"name": "text",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"frame",
63,
62,
1,
1,
1
],
[
"null",
64,
1,
1
],
[
"setarg",
63,
0,
64,
1,
1
],
[
"setarg",
63,
1,
8,
1,
1
],
[
"invoke",
63,
61,
1,
1
],
[
"array",
65,
0,
1,
1
],
[
"push",
65,
61,
1,
1
],
[
"push",
65,
6,
1,
1
],
[
"push",
65,
3,
1,
1
],
[
"access",
66,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
1
],
[
"access",
67,
"nop_consistency: instr {0} op={1} jumps to nop marker \"{2}\"",
1,
1
],
[
"frame",
69,
66,
2,
1,
1
],
[
"null",
70,
1,
1
],
[
"setarg",
69,
0,
70,
1,
1
],
[
"setarg",
69,
1,
67,
1,
1
],
[
"setarg",
69,
2,
65,
1,
1
],
[
"invoke",
69,
68,
1,
1
],
[
"is_array",
71,
7,
1,
1
],
[
"jump_false",
71,
"push_err_549",
1,
1
],
[
"push",
7,
68,
1,
1
],
[
"jump",
"push_done_550",
1,
1
],
"push_err_549",
[
"disrupt",
1,
1
],
"push_done_550",
[
"jump",
"if_end_541",
1,
1
],
"if_else_540",
"if_end_541",
[
"jump",
"if_end_528",
1,
1
],
"if_else_527",
"if_end_528",
[
"jump",
"if_end_526",
1,
1
],
"if_else_525",
"if_end_526",
[
"access",
72,
1,
401,
13
],
[
"is_text",
74,
8,
401,
13
],
[
"jump_false",
74,
"add_cn_552",
401,
13
],
"_nop_tc_35",
[
"jump",
"add_cn_552",
401,
13
],
[
"concat",
73,
8,
72,
401,
13
],
[
"jump",
"add_done_551",
401,
13
],
"add_cn_552",
[
"is_num",
74,
8,
401,
13
],
[
"jump_false",
74,
"add_err_553",
401,
13
],
"_nop_tc_36",
"_nop_tc_37",
[
"add",
73,
8,
72,
401,
13
],
[
"jump",
"add_done_551",
401,
13
],
"add_err_553",
[
"disrupt",
401,
13
],
"add_done_551",
[
"move",
8,
73,
401,
13
],
[
"jump",
"while_start_519",
401,
13
],
"while_end_520",
[
"return",
7,
403,
10
],
"_nop_ur_2",
"_nop_ur_3"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 1
},
{
"disruption_pc": 0,
"nr_slots": 112,
"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_557",
412,
29
],
[
"jump",
"ne_ni_558",
412,
29
],
"ne_nid_557",
[
"false",
10,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_ni_558",
[
"is_int",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nn_559",
412,
29
],
"_nop_tc_1",
[
"jump",
"ne_nn_559",
412,
29
],
[
"ne_int",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_nn_559",
[
"is_num",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nt_560",
412,
29
],
"_nop_tc_2",
[
"jump",
"ne_nt_560",
412,
29
],
[
"ne_float",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_nt_560",
[
"is_text",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nnl_561",
412,
29
],
"_nop_tc_3",
[
"jump",
"ne_nnl_561",
412,
29
],
[
"ne_text",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_nnl_561",
[
"is_null",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_nb_562",
412,
29
],
"_nop_tc_4",
"_nop_tc_5",
[
"false",
10,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_nb_562",
[
"is_bool",
11,
2,
412,
29
],
[
"jump_false",
11,
"ne_mis_563",
412,
29
],
"_nop_tc_6",
[
"jump",
"ne_mis_563",
412,
29
],
[
"ne_bool",
10,
2,
9,
412,
29
],
[
"jump",
"ne_done_556",
412,
29
],
"ne_mis_563",
[
"true",
10,
412,
29
],
"ne_done_556",
[
"jump_false",
10,
"tern_else_554",
412,
29
],
[
"access",
14,
": ",
412,
48
],
[
"is_text",
16,
2,
412,
48
],
[
"jump_false",
16,
"add_cn_565",
412,
48
],
"_nop_tc_7",
"_nop_tc_8",
[
"concat",
15,
2,
14,
412,
48
],
[
"jump",
"add_done_564",
412,
48
],
"add_cn_565",
[
"is_num",
16,
2,
412,
48
],
[
"jump_false",
16,
"add_err_566",
412,
48
],
"_nop_tc_9",
[
"jump",
"add_err_566",
412,
48
],
[
"add",
15,
2,
14,
412,
48
],
[
"jump",
"add_done_564",
412,
48
],
"add_err_566",
[
"disrupt",
412,
48
],
"add_done_564",
[
"move",
13,
15,
412,
48
],
[
"jump",
"tern_end_555",
412,
48
],
"tern_else_554",
[
"access",
18,
"",
412,
55
],
[
"move",
13,
18,
412,
55
],
"tern_end_555",
[
"move",
5,
13,
412,
55
],
[
"load_field",
19,
1,
"name",
413,
17
],
[
"null",
20,
413,
30
],
[
"is_identical",
21,
19,
20,
413,
30
],
[
"jump_true",
21,
"ne_nid_570",
413,
30
],
[
"jump",
"ne_ni_571",
413,
30
],
"ne_nid_570",
[
"false",
21,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_ni_571",
[
"is_int",
22,
19,
413,
30
],
[
"jump_false",
22,
"ne_nn_572",
413,
30
],
"_nop_tc_10",
[
"jump",
"ne_nn_572",
413,
30
],
[
"ne_int",
21,
19,
20,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_nn_572",
[
"is_num",
22,
19,
413,
30
],
[
"jump_false",
22,
"ne_nt_573",
413,
30
],
"_nop_tc_11",
[
"jump",
"ne_nt_573",
413,
30
],
[
"ne_float",
21,
19,
20,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_nt_573",
[
"is_text",
22,
19,
413,
30
],
[
"jump_false",
22,
"ne_nnl_574",
413,
30
],
"_nop_tc_12",
[
"jump",
"ne_nnl_574",
413,
30
],
[
"ne_text",
21,
19,
20,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_nnl_574",
[
"is_null",
22,
19,
413,
30
],
[
"jump_false",
22,
"ne_nb_575",
413,
30
],
"_nop_tc_13",
"_nop_tc_14",
[
"false",
21,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_nb_575",
[
"is_bool",
22,
19,
413,
30
],
[
"jump_false",
22,
"ne_mis_576",
413,
30
],
"_nop_tc_15",
[
"jump",
"ne_mis_576",
413,
30
],
[
"ne_bool",
21,
19,
20,
413,
30
],
[
"jump",
"ne_done_569",
413,
30
],
"ne_mis_576",
[
"true",
21,
413,
30
],
"ne_done_569",
[
"jump_false",
21,
"tern_else_567",
413,
30
],
[
"load_field",
25,
1,
"name",
413,
37
],
[
"move",
24,
25,
413,
37
],
[
"jump",
"tern_end_568",
413,
37
],
"tern_else_567",
[
"access",
26,
"<unknown>",
413,
49
],
[
"move",
24,
26,
413,
49
],
"tern_end_568",
[
"move",
6,
24,
413,
49
],
[
"get",
28,
3,
1,
415,
18
],
[
"frame",
29,
28,
1,
415,
18
],
[
"null",
30,
415,
18
],
[
"setarg",
29,
0,
30,
415,
18
],
[
"setarg",
29,
1,
1,
415,
18
],
[
"invoke",
29,
27,
415,
18
],
[
"move",
4,
27,
415,
18
],
[
"access",
31,
0,
416,
7
],
[
"move",
7,
31,
416,
7
],
"while_start_577",
[
"length",
32,
4,
417,
21
],
[
"is_int",
34,
7,
417,
21
],
[
"jump_false",
34,
"rel_ni_579",
417,
21
],
"_nop_tc_16",
"_nop_tc_17",
[
"lt_int",
33,
7,
32,
417,
21
],
[
"jump",
"rel_done_581",
417,
21
],
"rel_ni_579",
[
"is_num",
34,
7,
417,
21
],
[
"jump_false",
34,
"rel_nn_580",
417,
21
],
"_nop_tc_18",
"_nop_tc_19",
[
"lt_float",
33,
7,
32,
417,
21
],
[
"jump",
"rel_done_581",
417,
21
],
"rel_nn_580",
[
"is_text",
34,
7,
417,
21
],
[
"jump_false",
34,
"rel_err_582",
417,
21
],
"_nop_tc_20",
[
"jump",
"rel_err_582",
417,
21
],
[
"lt_text",
33,
7,
32,
417,
21
],
[
"jump",
"rel_done_581",
417,
21
],
"rel_err_582",
[
"disrupt",
417,
21
],
"rel_done_581",
[
"jump_false",
33,
"while_end_578",
417,
21
],
[
"load_dynamic",
36,
4,
7,
1,
14
],
[
"array",
37,
0,
1,
14
],
[
"push",
37,
5,
1,
14
],
[
"push",
37,
6,
1,
14
],
[
"push",
37,
36,
1,
14
],
[
"access",
38,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
39,
"{0}{1}: {2}",
1,
14
],
[
"frame",
41,
38,
2,
1,
14
],
[
"null",
42,
1,
14
],
[
"setarg",
41,
0,
42,
1,
14
],
[
"setarg",
41,
1,
39,
1,
14
],
[
"setarg",
41,
2,
37,
1,
14
],
[
"invoke",
41,
40,
1,
14
],
[
"is_array",
43,
3,
1,
14
],
[
"jump_false",
43,
"push_err_583",
1,
14
],
[
"push",
3,
40,
1,
14
],
[
"jump",
"push_done_584",
1,
14
],
"push_err_583",
[
"disrupt",
1,
14
],
"push_done_584",
[
"access",
44,
1,
419,
13
],
[
"is_text",
46,
7,
419,
13
],
[
"jump_false",
46,
"add_cn_586",
419,
13
],
"_nop_tc_21",
[
"jump",
"add_cn_586",
419,
13
],
[
"concat",
45,
7,
44,
419,
13
],
[
"jump",
"add_done_585",
419,
13
],
"add_cn_586",
[
"is_num",
46,
7,
419,
13
],
[
"jump_false",
46,
"add_err_587",
419,
13
],
"_nop_tc_22",
"_nop_tc_23",
[
"add",
45,
7,
44,
419,
13
],
[
"jump",
"add_done_585",
419,
13
],
"add_err_587",
[
"disrupt",
419,
13
],
"add_done_585",
[
"move",
7,
45,
419,
13
],
[
"jump",
"while_start_577",
419,
13
],
"while_end_578",
[
"get",
49,
5,
1,
422,
18
],
[
"frame",
50,
49,
1,
422,
18
],
[
"null",
51,
422,
18
],
[
"setarg",
50,
0,
51,
422,
18
],
[
"setarg",
50,
1,
1,
422,
18
],
[
"invoke",
50,
48,
422,
18
],
[
"move",
4,
48,
422,
18
],
[
"access",
52,
0,
423,
7
],
[
"move",
7,
52,
423,
7
],
"while_start_588",
[
"length",
53,
4,
424,
21
],
[
"is_int",
55,
7,
424,
21
],
[
"jump_false",
55,
"rel_ni_590",
424,
21
],
"_nop_tc_24",
"_nop_tc_25",
[
"lt_int",
54,
7,
53,
424,
21
],
[
"jump",
"rel_done_592",
424,
21
],
"rel_ni_590",
[
"is_num",
55,
7,
424,
21
],
[
"jump_false",
55,
"rel_nn_591",
424,
21
],
"_nop_tc_26",
"_nop_tc_27",
[
"lt_float",
54,
7,
53,
424,
21
],
[
"jump",
"rel_done_592",
424,
21
],
"rel_nn_591",
[
"is_text",
55,
7,
424,
21
],
[
"jump_false",
55,
"rel_err_593",
424,
21
],
"_nop_tc_28",
[
"jump",
"rel_err_593",
424,
21
],
[
"lt_text",
54,
7,
53,
424,
21
],
[
"jump",
"rel_done_592",
424,
21
],
"rel_err_593",
[
"disrupt",
424,
21
],
"rel_done_592",
[
"jump_false",
54,
"while_end_589",
424,
21
],
[
"load_dynamic",
57,
4,
7,
1,
14
],
[
"array",
58,
0,
1,
14
],
[
"push",
58,
5,
1,
14
],
[
"push",
58,
6,
1,
14
],
[
"push",
58,
57,
1,
14
],
[
"access",
59,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
60,
"{0}{1}: {2}",
1,
14
],
[
"frame",
62,
59,
2,
1,
14
],
[
"null",
63,
1,
14
],
[
"setarg",
62,
0,
63,
1,
14
],
[
"setarg",
62,
1,
60,
1,
14
],
[
"setarg",
62,
2,
58,
1,
14
],
[
"invoke",
62,
61,
1,
14
],
[
"is_array",
64,
3,
1,
14
],
[
"jump_false",
64,
"push_err_594",
1,
14
],
[
"push",
3,
61,
1,
14
],
[
"jump",
"push_done_595",
1,
14
],
"push_err_594",
[
"disrupt",
1,
14
],
"push_done_595",
[
"access",
65,
1,
426,
13
],
[
"is_text",
67,
7,
426,
13
],
[
"jump_false",
67,
"add_cn_597",
426,
13
],
"_nop_tc_29",
[
"jump",
"add_cn_597",
426,
13
],
[
"concat",
66,
7,
65,
426,
13
],
[
"jump",
"add_done_596",
426,
13
],
"add_cn_597",
[
"is_num",
67,
7,
426,
13
],
[
"jump_false",
67,
"add_err_598",
426,
13
],
"_nop_tc_30",
"_nop_tc_31",
[
"add",
66,
7,
65,
426,
13
],
[
"jump",
"add_done_596",
426,
13
],
"add_err_598",
[
"disrupt",
426,
13
],
"add_done_596",
[
"move",
7,
66,
426,
13
],
[
"jump",
"while_start_588",
426,
13
],
"while_end_589",
[
"get",
70,
6,
1,
429,
18
],
[
"frame",
71,
70,
1,
429,
18
],
[
"null",
72,
429,
18
],
[
"setarg",
71,
0,
72,
429,
18
],
[
"setarg",
71,
1,
1,
429,
18
],
[
"invoke",
71,
69,
429,
18
],
[
"move",
4,
69,
429,
18
],
[
"access",
73,
0,
430,
7
],
[
"move",
7,
73,
430,
7
],
"while_start_599",
[
"length",
74,
4,
431,
21
],
[
"is_int",
76,
7,
431,
21
],
[
"jump_false",
76,
"rel_ni_601",
431,
21
],
"_nop_tc_32",
"_nop_tc_33",
[
"lt_int",
75,
7,
74,
431,
21
],
[
"jump",
"rel_done_603",
431,
21
],
"rel_ni_601",
[
"is_num",
76,
7,
431,
21
],
[
"jump_false",
76,
"rel_nn_602",
431,
21
],
"_nop_tc_34",
"_nop_tc_35",
[
"lt_float",
75,
7,
74,
431,
21
],
[
"jump",
"rel_done_603",
431,
21
],
"rel_nn_602",
[
"is_text",
76,
7,
431,
21
],
[
"jump_false",
76,
"rel_err_604",
431,
21
],
"_nop_tc_36",
[
"jump",
"rel_err_604",
431,
21
],
[
"lt_text",
75,
7,
74,
431,
21
],
[
"jump",
"rel_done_603",
431,
21
],
"rel_err_604",
[
"disrupt",
431,
21
],
"rel_done_603",
[
"jump_false",
75,
"while_end_600",
431,
21
],
[
"load_dynamic",
78,
4,
7,
1,
14
],
[
"array",
79,
0,
1,
14
],
[
"push",
79,
5,
1,
14
],
[
"push",
79,
6,
1,
14
],
[
"push",
79,
78,
1,
14
],
[
"access",
80,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
81,
"{0}{1}: {2}",
1,
14
],
[
"frame",
83,
80,
2,
1,
14
],
[
"null",
84,
1,
14
],
[
"setarg",
83,
0,
84,
1,
14
],
[
"setarg",
83,
1,
81,
1,
14
],
[
"setarg",
83,
2,
79,
1,
14
],
[
"invoke",
83,
82,
1,
14
],
[
"is_array",
85,
3,
1,
14
],
[
"jump_false",
85,
"push_err_605",
1,
14
],
[
"push",
3,
82,
1,
14
],
[
"jump",
"push_done_606",
1,
14
],
"push_err_605",
[
"disrupt",
1,
14
],
"push_done_606",
[
"access",
86,
1,
433,
13
],
[
"is_text",
88,
7,
433,
13
],
[
"jump_false",
88,
"add_cn_608",
433,
13
],
"_nop_tc_37",
[
"jump",
"add_cn_608",
433,
13
],
[
"concat",
87,
7,
86,
433,
13
],
[
"jump",
"add_done_607",
433,
13
],
"add_cn_608",
[
"is_num",
88,
7,
433,
13
],
[
"jump_false",
88,
"add_err_609",
433,
13
],
"_nop_tc_38",
"_nop_tc_39",
[
"add",
87,
7,
86,
433,
13
],
[
"jump",
"add_done_607",
433,
13
],
"add_err_609",
[
"disrupt",
433,
13
],
"add_done_607",
[
"move",
7,
87,
433,
13
],
[
"jump",
"while_start_599",
433,
13
],
"while_end_600",
[
"get",
91,
7,
1,
436,
18
],
[
"frame",
92,
91,
1,
436,
18
],
[
"null",
93,
436,
18
],
[
"setarg",
92,
0,
93,
436,
18
],
[
"setarg",
92,
1,
1,
436,
18
],
[
"invoke",
92,
90,
436,
18
],
[
"move",
4,
90,
436,
18
],
[
"access",
94,
0,
437,
7
],
[
"move",
7,
94,
437,
7
],
"while_start_610",
[
"length",
95,
4,
438,
21
],
[
"is_int",
97,
7,
438,
21
],
[
"jump_false",
97,
"rel_ni_612",
438,
21
],
"_nop_tc_40",
"_nop_tc_41",
[
"lt_int",
96,
7,
95,
438,
21
],
[
"jump",
"rel_done_614",
438,
21
],
"rel_ni_612",
[
"is_num",
97,
7,
438,
21
],
[
"jump_false",
97,
"rel_nn_613",
438,
21
],
"_nop_tc_42",
"_nop_tc_43",
[
"lt_float",
96,
7,
95,
438,
21
],
[
"jump",
"rel_done_614",
438,
21
],
"rel_nn_613",
[
"is_text",
97,
7,
438,
21
],
[
"jump_false",
97,
"rel_err_615",
438,
21
],
"_nop_tc_44",
[
"jump",
"rel_err_615",
438,
21
],
[
"lt_text",
96,
7,
95,
438,
21
],
[
"jump",
"rel_done_614",
438,
21
],
"rel_err_615",
[
"disrupt",
438,
21
],
"rel_done_614",
[
"jump_false",
96,
"while_end_611",
438,
21
],
[
"load_dynamic",
99,
4,
7,
1,
14
],
[
"array",
100,
0,
1,
14
],
[
"push",
100,
5,
1,
14
],
[
"push",
100,
6,
1,
14
],
[
"push",
100,
99,
1,
14
],
[
"access",
101,
{
"name": "format",
"kind": "name",
"make": "intrinsic"
},
1,
14
],
[
"access",
102,
"{0}{1}: {2}",
1,
14
],
[
"frame",
104,
101,
2,
1,
14
],
[
"null",
105,
1,
14
],
[
"setarg",
104,
0,
105,
1,
14
],
[
"setarg",
104,
1,
102,
1,
14
],
[
"setarg",
104,
2,
100,
1,
14
],
[
"invoke",
104,
103,
1,
14
],
[
"is_array",
106,
3,
1,
14
],
[
"jump_false",
106,
"push_err_616",
1,
14
],
[
"push",
3,
103,
1,
14
],
[
"jump",
"push_done_617",
1,
14
],
"push_err_616",
[
"disrupt",
1,
14
],
"push_done_617",
[
"access",
107,
1,
440,
13
],
[
"is_text",
109,
7,
440,
13
],
[
"jump_false",
109,
"add_cn_619",
440,
13
],
"_nop_tc_45",
[
"jump",
"add_cn_619",
440,
13
],
[
"concat",
108,
7,
107,
440,
13
],
[
"jump",
"add_done_618",
440,
13
],
"add_cn_619",
[
"is_num",
109,
7,
440,
13
],
[
"jump_false",
109,
"add_err_620",
440,
13
],
"_nop_tc_46",
"_nop_tc_47",
[
"add",
108,
7,
107,
440,
13
],
[
"jump",
"add_done_618",
440,
13
],
"add_err_620",
[
"disrupt",
440,
13
],
"add_done_618",
[
"move",
7,
108,
440,
13
],
[
"jump",
"while_start_610",
440,
13
],
"while_end_611",
[
"return",
3,
443,
10
],
"_nop_ur_1",
"_nop_ur_2"
],
"name": "<anonymous>",
"filename": "verify_ir.cm",
"nr_args": 2
}
],
"main": {
"nr_slots": 394,
"nr_close_slots": 0,
"instructions": [
[
"record",
9,
88
],
[
"access",
10,
0,
9,
12
],
[
"array",
11,
1,
9,
12
],
[
"push",
11,
10,
9,
12
],
[
"store_field",
9,
11,
"access",
9,
12
],
[
"access",
12,
0,
10,
9
],
[
"array",
13,
1,
10,
9
],
[
"push",
13,
12,
10,
9
],
[
"store_field",
9,
13,
"int",
10,
9
],
[
"access",
14,
0,
11,
10
],
[
"array",
15,
1,
11,
10
],
[
"push",
15,
14,
11,
10
],
[
"store_field",
9,
15,
"true",
11,
10
],
[
"access",
16,
0,
12,
11
],
[
"array",
17,
1,
12,
11
],
[
"push",
17,
16,
12,
11
],
[
"store_field",
9,
17,
"false",
12,
11
],
[
"access",
18,
0,
13,
10
],
[
"array",
19,
1,
13,
10
],
[
"push",
19,
18,
13,
10
],
[
"store_field",
9,
19,
"null",
13,
10
],
[
"access",
20,
0,
14,
14
],
[
"array",
21,
1,
14,
14
],
[
"push",
21,
20,
14,
14
],
[
"store_field",
9,
21,
"function",
14,
14
],
[
"access",
22,
0,
15,
11
],
[
"array",
23,
1,
15,
11
],
[
"push",
23,
22,
15,
11
],
[
"store_field",
9,
23,
"array",
15,
11
],
[
"access",
24,
0,
16,
12
],
[
"array",
25,
1,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
2,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
3,
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,
2,
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,
3,
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,
3,
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,
2,
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,
2,
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,
2,
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,
2,
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,
1,
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,
1,
98,
15
],
[
"push",
286,
285,
98,
15
],
[
"store_field",
9,
286,
"jump_true",
98,
15
],
[
"access",
287,
0,
99,
16
],
[
"array",
288,
1,
99,
16
],
[
"push",
288,
287,
99,
16
],
[
"store_field",
9,
288,
"jump_false",
99,
16
],
[
"access",
289,
0,
100,
19
],
[
"array",
290,
1,
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,
2,
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,
2,
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,
1,
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,
2,
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,
2,
108,
15
],
[
"push",
305,
303,
108,
15
],
[
"push",
305,
304,
108,
15
],
[
"store_field",
9,
305,
"setarg",
108,
15
],
[
"move",
1,
9,
108,
15
],
[
"record",
306,
75
],
[
"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",
2,
306,
133,
16
],
[
"record",
382,
4
],
[
"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",
4,
382,
144,
18
],
[
"function",
387,
0,
149,
25
],
[
"move",
3,
387,
149,
25
],
[
"function",
388,
1,
189,
26
],
[
"move",
5,
388,
189,
26
],
[
"function",
389,
2,
231,
30
],
[
"move",
6,
389,
231,
30
],
[
"function",
390,
3,
366,
29
],
[
"move",
7,
390,
366,
29
],
[
"function",
391,
4,
408,
18
],
[
"move",
8,
391,
408,
18
],
[
"record",
392,
5
],
[
"store_field",
392,
8,
"verify_all",
447,
15
],
[
"store_field",
392,
3,
"check_slot_bounds",
448,
22
],
[
"store_field",
392,
5,
"check_jump_targets",
449,
23
],
[
"store_field",
392,
6,
"check_type_consistency",
450,
27
],
[
"store_field",
392,
7,
"check_nop_consistency",
451,
26
],
[
"return",
392,
451,
26
],
"_nop_ur_1",
"_nop_ur_2"
],
"nr_args": 0
},
"filename": "verify_ir.cm",
"data": {}
}
Reference in New Issue View Git Blame Copy Permalink