arch-spc700.cpp - asar coverage

arch-spc700.cpp

Line	Branch	Exec	Source
1			#include "asar.h"
2			#include "warnings.h"
3			#include "errors.h"
4			#include "assembleblock.h"
5			#include "asar_math.h"
6
7			#include "arch-shared.h"
8
9			#define write1 write1_pick
10
11			static int writesizeto=-1;
12			static int inlinestartpos=0;
13
14		2172	static int64_t getnum_ck(const char* math)
15			{
16	2/2 ✓ Branch 2 → 3 taken 724 times. ✓ Branch 2 → 5 taken 1448 times.	2172	return pass == 2 ? getnum(math) : 0;
17			}
18
19		12	static void inline_finalizeorg()
20			{
21	6/6 ✓ Branch 2 → 3 taken 6 times. ✓ Branch 2 → 13 taken 3 times. ✓ Branch 2 → 14 taken 3 times. ✓ Branch 3 → 4 taken 2 times. ✓ Branch 3 → 13 taken 2 times. ✓ Branch 3 → 14 taken 2 times.	12	if (writesizeto>=0 && pass==2)
22			{
23		2	int pcpos=snestopc(writesizeto&0xFFFFFF);
24	2/11 ✗ Branch 5 → 6 not taken. ✓ Branch 5 → 11 taken 1 time. ✓ Branch 5 → 12 taken 1 time. ✗ Branch 6 → 7 not taken. ✗ Branch 6 → 16 not taken. ✗ Branch 7 → 8 not taken. ✗ Branch 7 → 17 not taken. ✗ Branch 8 → 9 not taken. ✗ Branch 8 → 14 not taken. ✗ Branch 9 → 10 not taken. ✗ Branch 9 → 15 not taken.	2	if (pcpos<0) asar_throw_error(2, error_type_block, error_id_snes_address_doesnt_map_to_rom, hex6((unsigned int)realsnespos).data());
25		2	int num=snespos-startpos;
26		2	writeromdata_byte(pcpos, (unsigned char)num);
27		2	writeromdata_byte(pcpos+1, (unsigned char)(num >> 8));
28			}
29		12	writesizeto=-1;
30		12	}
31
32		6	static void inline_org(unsigned int num)
33			{
34		6	inline_finalizeorg();
35	2/11 ✗ Branch 3 → 4 not taken. ✓ Branch 3 → 9 taken 3 times. ✓ Branch 3 → 10 taken 3 times. ✗ Branch 4 → 5 not taken. ✗ Branch 4 → 14 not taken. ✗ Branch 5 → 6 not taken. ✗ Branch 5 → 15 not taken. ✗ Branch 6 → 7 not taken. ✗ Branch 6 → 12 not taken. ✗ Branch 7 → 8 not taken. ✗ Branch 7 → 13 not taken.	6	if (num&~0xFFFF) asar_throw_error(0, error_type_block, error_id_snes_address_out_of_bounds, hex6((unsigned int)num).data());
36		6	writesizeto=realsnespos;
37		6	write2(0x0000);
38		6	write2(num);
39		6	snespos=(int)num;
40		6	startpos=(int)num;
41		6	}
42
43		6	static void inline_leavearch()
44			{
45		6	inline_finalizeorg();
46		6	write2(0x0000);
47		6	write2((unsigned int)inlinestartpos);
48		6	}
49
50		✗	void asinit_spc700()
51			{
52		✗	}
53
54		30	void asend_spc700()
55			{
56	2/2 ✓ Branch 2 → 3 taken 6 times. ✓ Branch 2 → 4 taken 24 times.	30	if (arch==arch_spc700_inline) inline_leavearch();
57		30	}
58
59		7422	static bool matchandwrite(const char * str, const char * left, const char * right, string& remainder)
60			{
61	2/2 ✓ Branch 7 → 3 taken 2964 times. ✓ Branch 7 → 8 taken 4728 times.	7692	for (int i=0;left[i];i++)
62			{
63	2/2 ✓ Branch 4 → 5 taken 2694 times. ✓ Branch 4 → 6 taken 270 times.	2964	if (to_lower(*str)!=left[i]) return false;
64		270	str++;
65			}
66		4728	int mainlen=(int)(strlen(str)-strlen(right));
67	2/2 ✓ Branch 8 → 9 taken 834 times. ✓ Branch 8 → 10 taken 3894 times.	4728	if(mainlen < 0) return false;
68	2/2 ✓ Branch 15 → 11 taken 2850 times. ✓ Branch 15 → 16 taken 2244 times.	5094	for (int i=0;right[i];i++)
69			{
70	2/2 ✓ Branch 12 → 13 taken 1650 times. ✓ Branch 12 → 14 taken 1200 times.	2850	if (to_lower(str[mainlen+i])!=right[i]) return false;
71			}
72	3/7 ✓ Branch 16 → 17 taken 1122 times. ✗ Branch 16 → 23 not taken. ✓ Branch 17 → 18 taken 2244 times. ✗ Branch 17 → 21 not taken. ✗ Branch 17 → 25 not taken. ✓ Branch 18 → 19 taken 1122 times. ✗ Branch 18 → 23 not taken.	2244	remainder=substr(str, mainlen);
73		2244	return true;
74			}
75
76		2082	static bool bitmatch(const char * opnamein, string& opnameout, const char * str, string& math, int& bit)
77			{
78		2082	const char * opnameend=strchr(opnamein, '\0');
79		2082	const char * dot=strqrchr(str, '.');
80	7/9 ✓ Branch 3 → 4 taken 42 times. ✓ Branch 3 → 8 taken 2040 times. ✓ Branch 5 → 6 taken 42 times. ✗ Branch 5 → 8 not taken. ✓ Branch 6 → 7 taken 42 times. ✗ Branch 6 → 8 not taken. ✓ Branch 9 → 10 taken 42 times. ✓ Branch 9 → 23 taken 1020 times. ✓ Branch 9 → 25 taken 1020 times.	2082	if (dot && is_digit(dot[1]) && !dot[2])
81			{
82		42	bit=atoi(dot+1);
83	2/4 ✗ Branch 10 → 11 not taken. ✓ Branch 10 → 12 taken 21 times. ✗ Branch 11 → 12 not taken. ✓ Branch 11 → 13 taken 21 times.	42	if (bit>=8) return false;
84	2/6 ✓ Branch 13 → 14 taken 42 times. ✗ Branch 13 → 34 not taken. ✗ Branch 13 → 38 not taken. ✓ Branch 14 → 15 taken 42 times. ✗ Branch 14 → 32 not taken. ✗ Branch 14 → 36 not taken.	42	math=substr(str, (int)(dot-str));
85	7/11 ✓ Branch 16 → 17 taken 18 times. ✓ Branch 16 → 21 taken 3 times. ✓ Branch 17 → 18 taken 36 times. ✓ Branch 17 → 23 taken 3 times. ✗ Branch 17 → 37 not taken. ✓ Branch 18 → 19 taken 18 times. ✗ Branch 18 → 35 not taken. ✓ Branch 19 → 20 taken 18 times. ✗ Branch 19 → 42 not taken. ✓ Branch 20 → 21 taken 18 times. ✗ Branch 20 → 40 not taken.	42	if (opnameend[-1]=='1') opnameout=substr(opnamein, (int)(opnameend-opnamein-1));
86		6	else opnameout=opnamein;
87		42	return true;
88			}
89	6/8 ✓ Branch 23 → 24 taken 1020 times. ✗ Branch 23 → 30 not taken. ✓ Branch 24 → 25 taken 129 times. ✓ Branch 24 → 30 taken 891 times. ✓ Branch 25 → 26 taken 1020 times. ✗ Branch 25 → 34 not taken. ✓ Branch 26 → 27 taken 129 times. ✓ Branch 26 → 34 taken 891 times.	2040	if (opnameend[-1]>='0' && opnameend[-1]<='7')
90			{
91		258	math=str;
92		258	bit=opnameend[-1]-'0';
93	4/8 ✓ Branch 26 → 27 taken 129 times. ✗ Branch 26 → 40 not taken. ✓ Branch 27 → 28 taken 129 times. ✗ Branch 27 → 38 not taken. ✓ Branch 29 → 30 taken 129 times. ✗ Branch 29 → 46 not taken. ✓ Branch 30 → 31 taken 129 times. ✗ Branch 30 → 44 not taken.	258	opnameout=substr(opnamein, (int)(opnameend-opnamein-1));
94		258	return true;
95			}
96		1782	return false;
97			}
98
99			#define isop(test) (!stricmp(op, test))
100		174	static bool assinglebitwithc(const char * op, const char * math, int bits)
101			{
102			unsigned int num;
103	3/3 ✓ Branch 2 → 3 taken 12 times. ✓ Branch 2 → 10 taken 81 times. ✓ Branch 2 → 12 taken 81 times.	174	if (math[0]=='!')
104			{
105			if(0);
106	4/4 ✓ Branch 3 → 4 taken 3 times. ✓ Branch 3 → 5 taken 3 times. ✓ Branch 4 → 5 taken 3 times. ✓ Branch 4 → 6 taken 3 times.	12	else if (isop("or")) write1(0x2A);
107	2/4 ✓ Branch 5 → 6 taken 3 times. ✗ Branch 5 → 7 not taken. ✓ Branch 7 → 8 taken 3 times. ✗ Branch 7 → 9 not taken.	6	else if (isop("and")) write1(0x6A);
108		✗	else return false;
109		12	num=getnum_ck(math+1);
110			}
111			else
112			{
113			if(0);
114	4/4 ✓ Branch 10 → 11 taken 3 times. ✓ Branch 10 → 12 taken 78 times. ✓ Branch 13 → 14 taken 3 times. ✓ Branch 13 → 15 taken 78 times.	162	else if (isop("or")) write1(0x0A);
115	4/4 ✓ Branch 12 → 13 taken 3 times. ✓ Branch 12 → 14 taken 75 times. ✓ Branch 16 → 17 taken 3 times. ✓ Branch 16 → 18 taken 75 times.	156	else if (isop("and")) write1(0x4A);
116	4/4 ✓ Branch 14 → 15 taken 3 times. ✓ Branch 14 → 16 taken 72 times. ✓ Branch 19 → 20 taken 3 times. ✓ Branch 19 → 21 taken 72 times.	150	else if (isop("eor")) write1(0x8A);
117	4/4 ✓ Branch 16 → 17 taken 3 times. ✓ Branch 16 → 18 taken 69 times. ✓ Branch 22 → 23 taken 3 times. ✓ Branch 22 → 24 taken 69 times.	144	else if (isop("mov")) write1(0xAA);
118	4/4 ✓ Branch 18 → 19 taken 21 times. ✓ Branch 18 → 20 taken 48 times. ✓ Branch 25 → 26 taken 21 times. ✓ Branch 25 → 27 taken 48 times.	138	else if (isop("not")) write1(0xEA);
119		96	else return false;
120		66	num=getnum_ck(math);
121			}
122	2/12 ✗ Branch 23 → 24 not taken. ✓ Branch 23 → 30 taken 39 times. ✗ Branch 25 → 26 not taken. ✗ Branch 25 → 35 not taken. ✗ Branch 27 → 28 not taken. ✗ Branch 27 → 33 not taken. ✗ Branch 30 → 31 not taken. ✓ Branch 30 → 36 taken 39 times. ✗ Branch 31 → 32 not taken. ✗ Branch 31 → 41 not taken. ✗ Branch 33 → 34 not taken. ✗ Branch 33 → 39 not taken.	78	if (num>=0x2000) asar_throw_error(2, error_type_block, error_id_spc700_addr_out_of_range, hex4(num).data());
123		78	write2(((unsigned int)bits<<13)\|num);
124		78	return true;
125			}
126			#undef isop
127
128		2376	bool asblock_spc700(char** word, int numwords)
129			{
130			#define is(test) (!stricmp(word[0], test))
131			#define is1(test) (!stricmp(word[0], test) && numwords==2)
132			#define par word[1]
133			if(0);
134	10/12 ✓ Branch 2 → 3 taken 12 times. ✓ Branch 2 → 7 taken 1182 times. ✓ Branch 2 → 9 taken 1182 times. ✓ Branch 3 → 4 taken 3 times. ✓ Branch 3 → 9 taken 3 times. ✓ Branch 4 → 5 taken 6 times. ✓ Branch 4 → 7 taken 3 times. ✗ Branch 4 → 9 not taken. ✓ Branch 5 → 6 taken 3 times. ✗ Branch 5 → 7 not taken. ✓ Branch 8 → 9 taken 3 times. ✓ Branch 8 → 13 taken 1185 times.	2376	else if (arch==arch_spc700_inline && is1("org"))
135			{
136		6	unsigned int num=getnum(par);
137	2/4 ✗ Branch 6 → 7 not taken. ✓ Branch 6 → 8 taken 3 times. ✗ Branch 10 → 11 not taken. ✓ Branch 10 → 12 taken 3 times.	6	if (foundlabel) asar_throw_error(0, error_type_block, error_id_org_label_invalid);
138		6	inline_org(num);
139		3	}
140	7/14 ✓ Branch 9 → 10 taken 3 times. ✓ Branch 9 → 14 taken 1182 times. ✗ Branch 10 → 11 not taken. ✓ Branch 10 → 14 taken 3 times. ✗ Branch 11 → 12 not taken. ✗ Branch 11 → 14 not taken. ✓ Branch 13 → 14 taken 3 times. ✓ Branch 13 → 18 taken 1182 times. ✗ Branch 15 → 16 not taken. ✓ Branch 15 → 18 taken 3 times. ✗ Branch 16 → 17 not taken. ✗ Branch 16 → 18 not taken. ✗ Branch 19 → 20 not taken. ✓ Branch 19 → 22 taken 1185 times.	2370	else if (arch==arch_spc700_inline && is1("arch"))
141			{
142		✗	inline_leavearch();
143		✗	return false;
144			}
145	7/14 ✓ Branch 14 → 15 taken 3 times. ✓ Branch 14 → 22 taken 1182 times. ✗ Branch 15 → 16 not taken. ✓ Branch 15 → 22 taken 3 times. ✗ Branch 16 → 17 not taken. ✗ Branch 16 → 22 not taken. ✓ Branch 22 → 23 taken 3 times. ✓ Branch 22 → 27 taken 1182 times. ✗ Branch 24 → 25 not taken. ✓ Branch 24 → 27 taken 3 times. ✗ Branch 25 → 26 not taken. ✗ Branch 25 → 27 not taken. ✗ Branch 28 → 29 not taken. ✓ Branch 28 → 33 taken 1185 times.	2370	else if (arch==arch_spc700_inline && is1("skip"))
146			{
147		✗	int num=snespos+(int)getnum(par);
148		✗	if (foundlabel) asar_throw_error(0, error_type_block, error_id_skip_label_invalid);
149		✗	inline_org(num);
150		✗	}
151	7/14 ✓ Branch 22 → 23 taken 3 times. ✓ Branch 22 → 26 taken 1182 times. ✗ Branch 23 → 24 not taken. ✓ Branch 23 → 26 taken 3 times. ✗ Branch 24 → 25 not taken. ✗ Branch 24 → 26 not taken. ✓ Branch 33 → 34 taken 3 times. ✓ Branch 33 → 38 taken 1182 times. ✗ Branch 35 → 36 not taken. ✓ Branch 35 → 38 taken 3 times. ✗ Branch 36 → 37 not taken. ✗ Branch 36 → 38 not taken. ✗ Branch 39 → 40 not taken. ✓ Branch 39 → 41 taken 1185 times.	2370	else if (arch==arch_spc700_inline && is1("base"))
152			{
153		✗	asar_throw_error(0, error_type_block, error_id_spc700_inline_no_base);
154			}
155	7/14 ✓ Branch 26 → 27 taken 3 times. ✓ Branch 26 → 31 taken 1182 times. ✗ Branch 27 → 28 not taken. ✓ Branch 27 → 31 taken 3 times. ✗ Branch 28 → 29 not taken. ✗ Branch 28 → 31 not taken. ✓ Branch 41 → 42 taken 3 times. ✓ Branch 41 → 46 taken 1182 times. ✗ Branch 43 → 44 not taken. ✓ Branch 43 → 46 taken 3 times. ✗ Branch 44 → 45 not taken. ✗ Branch 44 → 46 not taken. ✗ Branch 47 → 48 not taken. ✓ Branch 47 → 50 taken 1185 times.	2370	else if (arch==arch_spc700_inline && is1("startpos"))
156			{
157		✗	inlinestartpos=(int)getnum_ck(par);
158			}
159	4/4 ✓ Branch 31 → 32 taken 54 times. ✓ Branch 31 → 63 taken 1131 times. ✓ Branch 50 → 51 taken 54 times. ✓ Branch 50 → 97 taken 1131 times.	2370	else if (numwords==1)
160			{
161			#define op(name, val) else if (is(name)) do { write1(val); } while(0)
162			if(0);
163	4/4 ✓ Branch 32 → 33 taken 12 times. ✓ Branch 32 → 34 taken 42 times. ✓ Branch 52 → 53 taken 12 times. ✓ Branch 52 → 54 taken 42 times.	108	op("nop", 0x00);
164	4/4 ✓ Branch 34 → 35 taken 3 times. ✓ Branch 34 → 36 taken 39 times. ✓ Branch 55 → 56 taken 3 times. ✓ Branch 55 → 57 taken 39 times.	84	op("brk", 0x0F);
165	4/4 ✓ Branch 36 → 37 taken 3 times. ✓ Branch 36 → 38 taken 36 times. ✓ Branch 58 → 59 taken 3 times. ✓ Branch 58 → 60 taken 36 times.	78	op("clrp", 0x20);
166	4/4 ✓ Branch 38 → 39 taken 3 times. ✓ Branch 38 → 40 taken 33 times. ✓ Branch 61 → 62 taken 3 times. ✓ Branch 61 → 63 taken 33 times.	72	op("setp", 0x40);
167	4/4 ✓ Branch 40 → 41 taken 3 times. ✓ Branch 40 → 42 taken 30 times. ✓ Branch 64 → 65 taken 3 times. ✓ Branch 64 → 66 taken 30 times.	66	op("clrc", 0x60);
168	4/4 ✓ Branch 42 → 43 taken 3 times. ✓ Branch 42 → 44 taken 27 times. ✓ Branch 67 → 68 taken 3 times. ✓ Branch 67 → 69 taken 27 times.	60	op("ret", 0x6F);
169	4/4 ✓ Branch 44 → 45 taken 3 times. ✓ Branch 44 → 46 taken 24 times. ✓ Branch 70 → 71 taken 3 times. ✓ Branch 70 → 72 taken 24 times.	54	op("reti", 0x7F);
170	4/4 ✓ Branch 46 → 47 taken 3 times. ✓ Branch 46 → 48 taken 21 times. ✓ Branch 73 → 74 taken 3 times. ✓ Branch 73 → 75 taken 21 times.	48	op("setc", 0x80);
171	4/4 ✓ Branch 48 → 49 taken 3 times. ✓ Branch 48 → 50 taken 18 times. ✓ Branch 76 → 77 taken 3 times. ✓ Branch 76 → 78 taken 18 times.	42	op("ei", 0xA0);
172	4/4 ✓ Branch 50 → 51 taken 3 times. ✓ Branch 50 → 52 taken 15 times. ✓ Branch 79 → 80 taken 3 times. ✓ Branch 79 → 81 taken 15 times.	36	op("di", 0xC0);
173	4/4 ✓ Branch 52 → 53 taken 3 times. ✓ Branch 52 → 54 taken 12 times. ✓ Branch 82 → 83 taken 3 times. ✓ Branch 82 → 84 taken 12 times.	30	op("clrv", 0xE0);
174	4/4 ✓ Branch 54 → 55 taken 3 times. ✓ Branch 54 → 56 taken 9 times. ✓ Branch 85 → 86 taken 3 times. ✓ Branch 85 → 87 taken 9 times.	24	op("notc", 0xED);
175	4/4 ✓ Branch 56 → 57 taken 3 times. ✓ Branch 56 → 58 taken 6 times. ✓ Branch 88 → 89 taken 3 times. ✓ Branch 88 → 90 taken 6 times.	18	op("sleep", 0xEF);
176	4/4 ✓ Branch 58 → 59 taken 3 times. ✓ Branch 58 → 60 taken 3 times. ✓ Branch 91 → 92 taken 3 times. ✓ Branch 91 → 93 taken 3 times.	12	op("stop", 0xFF);
177	2/4 ✗ Branch 60 → 61 not taken. ✓ Branch 60 → 62 taken 3 times. ✗ Branch 94 → 95 not taken. ✓ Branch 94 → 96 taken 3 times.	6	op("xcn", 0x9F);
178		6	else return false;
179			#undef op
180			}
181	4/4 ✓ Branch 63 → 64 taken 1128 times. ✓ Branch 63 → 1755 taken 3 times. ✓ Branch 97 → 98 taken 1128 times. ✓ Branch 97 → 1909 taken 3 times.	2262	else if (numwords==2)
182			{
183		1128	int numwordsinner;
184			//Detect opcode length before continuing
185		2256	int opLen=0; //In case of .b or .w, this overwrites auto-detection of opcode length
186		2256	unsigned int periodLocCount=0;
187			do {
188	4/4 ✓ Branch 66 → 67 taken 336 times. ✓ Branch 66 → 69 taken 3621 times. ✓ Branch 99 → 100 taken 336 times. ✓ Branch 99 → 102 taken 3621 times.	7914	if (word[0][periodLocCount] == '.') {
189	2/4 ✓ Branch 67 → 68 taken 336 times. ✗ Branch 67 → 1853 not taken. ✓ Branch 100 → 101 taken 336 times. ✗ Branch 100 → 1981 not taken.	672	opLen=getlenfromchar(word[0][periodLocCount+1]);
190		672	word[0][periodLocCount]='\0';
191			}
192		7914	periodLocCount++;
193	8/8 ✓ Branch 69 → 70 taken 3621 times. ✓ Branch 69 → 71 taken 336 times. ✓ Branch 70 → 66 taken 2829 times. ✓ Branch 70 → 71 taken 792 times. ✓ Branch 102 → 103 taken 3621 times. ✓ Branch 102 → 104 taken 336 times. ✓ Branch 103 → 99 taken 2829 times. ✓ Branch 103 → 104 taken 792 times.	7914	} while ((opLen == 0) && (periodLocCount < strlen(word[0])));
194	2/8 ✗ Branch 71 → 72 not taken. ✓ Branch 71 → 73 taken 1128 times. ✗ Branch 72 → 73 not taken. ✗ Branch 72 → 1853 not taken. ✗ Branch 104 → 105 not taken. ✓ Branch 104 → 106 taken 1128 times. ✗ Branch 105 → 106 not taken. ✗ Branch 105 → 1981 not taken.	2256	if (opLen > 2) { asar_throw_error(0, error_type_block, error_id_opcode_length_too_long); }
195		2256	autoptr<char*> parcpy= duplicate_string(par);
196	2/4 ✓ Branch 78 → 79 taken 1128 times. ✗ Branch 78 → 1851 not taken. ✓ Branch 109 → 110 taken 1128 times. ✗ Branch 109 → 1979 not taken.	2256	autoptr<char**> arg=qpsplit(parcpy, ",", &numwordsinner);
197	4/4 ✓ Branch 80 → 81 taken 369 times. ✓ Branch 80 → 584 taken 759 times. ✓ Branch 111 → 112 taken 369 times. ✓ Branch 111 → 657 taken 759 times.	2256	if (numwordsinner ==1)
198			{
199		738	string op;
200		738	string math;
201		369	int bits;
202			#define isop(str) (!stricmp(word[0], str))
203			#define isam(str) (!stricmp(arg[0], str))
204			#define ismatch(left, right) (matchandwrite(arg[0], left, right, math))
205			#define eq(str) if (isam(str))
206			#define w0(hex) do { write1((unsigned int)hex); return true; } while(0)
207			#define w1(hex) do { write1((unsigned int)hex); write1(getnum_ck(math)); return true; } while(0)
208			#define w2(hex) do { write1((unsigned int)hex); write2(getnum_ck(math)); return true; } while(0)
209			#define wv(hex1, hex2) do { if ((opLen == 1) \|\| (opLen == 0 && getlen(math) == 1)) { write1((unsigned int)hex1); write1(getnum_ck(math)); } else { write1((unsigned int)hex2); write2(getnum_ck(math)); } return true; } while(0)
210			#define wr(hex) do { int len=getlen(math); int num=(int)getnum_ck(math); int pos=(len==1)?num:num-((snespos&0xFFFFFF)+2); write1((unsigned int)hex); write1((unsigned int)pos); \
211			if (pass==2 && foundlabel && (pos<-128 \|\| pos>127)) asar_throw_error(2, error_type_block, error_id_relative_branch_out_of_bounds, dec(pos).data()); \
212			return true; } while(0)
213			#define op0(str, hex) if (isop(str)) w0(hex)
214			#define op1(str, hex) if (isop(str)) w1(hex)
215			#define op2(str, hex) if (isop(str)) w2(hex)
216			#define opv(str, hex1, hex2) if (isop(str)) wv(hex1, hex2)
217			#define opr(str, hex) if (isop(str)) wr(hex)
218			#define match(left, right) if (ismatch(left, right))
219	5/6 ✓ Branch 87 → 88 taken 33 times. ✓ Branch 87 → 121 taken 336 times. ✓ Branch 115 → 116 taken 369 times. ✗ Branch 115 → 1942 not taken. ✓ Branch 116 → 117 taken 33 times. ✓ Branch 116 → 161 taken 336 times.	738	eq("a")
220			{
221	7/10 ✓ Branch 88 → 89 taken 3 times. ✓ Branch 88 → 91 taken 30 times. ✓ Branch 89 → 90 taken 3 times. ✗ Branch 89 → 1799 not taken. ✓ Branch 117 → 118 taken 33 times. ✗ Branch 117 → 1942 not taken. ✓ Branch 118 → 119 taken 3 times. ✓ Branch 118 → 121 taken 30 times. ✓ Branch 119 → 120 taken 3 times. ✗ Branch 119 → 1942 not taken.	66	op0("asl", 0x1C);
222	7/10 ✓ Branch 91 → 92 taken 3 times. ✓ Branch 91 → 94 taken 27 times. ✓ Branch 92 → 93 taken 3 times. ✗ Branch 92 → 1799 not taken. ✓ Branch 121 → 122 taken 30 times. ✗ Branch 121 → 1942 not taken. ✓ Branch 122 → 123 taken 3 times. ✓ Branch 122 → 125 taken 27 times. ✓ Branch 123 → 124 taken 3 times. ✗ Branch 123 → 1942 not taken.	60	op0("das", 0xBE);
223	7/10 ✓ Branch 94 → 95 taken 3 times. ✓ Branch 94 → 97 taken 24 times. ✓ Branch 95 → 96 taken 3 times. ✗ Branch 95 → 1799 not taken. ✓ Branch 125 → 126 taken 27 times. ✗ Branch 125 → 1942 not taken. ✓ Branch 126 → 127 taken 3 times. ✓ Branch 126 → 129 taken 24 times. ✓ Branch 127 → 128 taken 3 times. ✗ Branch 127 → 1942 not taken.	54	op0("daa", 0xDF);
224	7/10 ✓ Branch 97 → 98 taken 3 times. ✓ Branch 97 → 100 taken 21 times. ✓ Branch 98 → 99 taken 3 times. ✗ Branch 98 → 1799 not taken. ✓ Branch 129 → 130 taken 24 times. ✗ Branch 129 → 1942 not taken. ✓ Branch 130 → 131 taken 3 times. ✓ Branch 130 → 133 taken 21 times. ✓ Branch 131 → 132 taken 3 times. ✗ Branch 131 → 1942 not taken.	48	op0("dec", 0x9C);
225	7/10 ✓ Branch 100 → 101 taken 3 times. ✓ Branch 100 → 103 taken 18 times. ✓ Branch 101 → 102 taken 3 times. ✗ Branch 101 → 1799 not taken. ✓ Branch 133 → 134 taken 21 times. ✗ Branch 133 → 1942 not taken. ✓ Branch 134 → 135 taken 3 times. ✓ Branch 134 → 137 taken 18 times. ✓ Branch 135 → 136 taken 3 times. ✗ Branch 135 → 1942 not taken.	42	op0("inc", 0xBC);
226	7/10 ✓ Branch 103 → 104 taken 3 times. ✓ Branch 103 → 106 taken 15 times. ✓ Branch 104 → 105 taken 3 times. ✗ Branch 104 → 1799 not taken. ✓ Branch 137 → 138 taken 18 times. ✗ Branch 137 → 1942 not taken. ✓ Branch 138 → 139 taken 3 times. ✓ Branch 138 → 141 taken 15 times. ✓ Branch 139 → 140 taken 3 times. ✗ Branch 139 → 1942 not taken.	36	op0("lsr", 0x5C);
227	7/10 ✓ Branch 106 → 107 taken 3 times. ✓ Branch 106 → 109 taken 12 times. ✓ Branch 107 → 108 taken 3 times. ✗ Branch 107 → 1799 not taken. ✓ Branch 141 → 142 taken 15 times. ✗ Branch 141 → 1942 not taken. ✓ Branch 142 → 143 taken 3 times. ✓ Branch 142 → 145 taken 12 times. ✓ Branch 143 → 144 taken 3 times. ✗ Branch 143 → 1942 not taken.	30	op0("pop", 0xAE);
228	7/10 ✓ Branch 109 → 110 taken 3 times. ✓ Branch 109 → 112 taken 9 times. ✓ Branch 110 → 111 taken 3 times. ✗ Branch 110 → 1799 not taken. ✓ Branch 145 → 146 taken 12 times. ✗ Branch 145 → 1942 not taken. ✓ Branch 146 → 147 taken 3 times. ✓ Branch 146 → 149 taken 9 times. ✓ Branch 147 → 148 taken 3 times. ✗ Branch 147 → 1942 not taken.	24	op0("push", 0x2D);
229	7/10 ✓ Branch 112 → 113 taken 3 times. ✓ Branch 112 → 115 taken 6 times. ✓ Branch 113 → 114 taken 3 times. ✗ Branch 113 → 1799 not taken. ✓ Branch 149 → 150 taken 9 times. ✗ Branch 149 → 1942 not taken. ✓ Branch 150 → 151 taken 3 times. ✓ Branch 150 → 153 taken 6 times. ✓ Branch 151 → 152 taken 3 times. ✗ Branch 151 → 1942 not taken.	18	op0("rol", 0x3C);
230	7/10 ✓ Branch 115 → 116 taken 3 times. ✓ Branch 115 → 118 taken 3 times. ✓ Branch 116 → 117 taken 3 times. ✗ Branch 116 → 1799 not taken. ✓ Branch 153 → 154 taken 6 times. ✗ Branch 153 → 1942 not taken. ✓ Branch 154 → 155 taken 3 times. ✓ Branch 154 → 157 taken 3 times. ✓ Branch 155 → 156 taken 3 times. ✗ Branch 155 → 1942 not taken.	12	op0("ror", 0x7C);
231	5/10 ✓ Branch 118 → 119 taken 3 times. ✗ Branch 118 → 121 not taken. ✓ Branch 119 → 120 taken 3 times. ✗ Branch 119 → 1799 not taken. ✓ Branch 157 → 158 taken 3 times. ✗ Branch 157 → 1942 not taken. ✓ Branch 158 → 159 taken 3 times. ✗ Branch 158 → 161 not taken. ✓ Branch 159 → 160 taken 3 times. ✗ Branch 159 → 1942 not taken.	6	op0("xcn", 0x9F);
232			}
233	5/6 ✓ Branch 122 → 123 taken 12 times. ✓ Branch 122 → 135 taken 324 times. ✓ Branch 162 → 163 taken 336 times. ✗ Branch 162 → 1942 not taken. ✓ Branch 163 → 164 taken 12 times. ✓ Branch 163 → 180 taken 324 times.	672	eq("x")
234			{
235	7/10 ✓ Branch 123 → 124 taken 3 times. ✓ Branch 123 → 126 taken 9 times. ✓ Branch 124 → 125 taken 3 times. ✗ Branch 124 → 1799 not taken. ✓ Branch 164 → 165 taken 12 times. ✗ Branch 164 → 1942 not taken. ✓ Branch 165 → 166 taken 3 times. ✓ Branch 165 → 168 taken 9 times. ✓ Branch 166 → 167 taken 3 times. ✗ Branch 166 → 1942 not taken.	24	op0("dec", 0x1D);
236	7/10 ✓ Branch 126 → 127 taken 3 times. ✓ Branch 126 → 129 taken 6 times. ✓ Branch 127 → 128 taken 3 times. ✗ Branch 127 → 1799 not taken. ✓ Branch 168 → 169 taken 9 times. ✗ Branch 168 → 1942 not taken. ✓ Branch 169 → 170 taken 3 times. ✓ Branch 169 → 172 taken 6 times. ✓ Branch 170 → 171 taken 3 times. ✗ Branch 170 → 1942 not taken.	18	op0("inc", 0x3D);
237	7/10 ✓ Branch 129 → 130 taken 3 times. ✓ Branch 129 → 132 taken 3 times. ✓ Branch 130 → 131 taken 3 times. ✗ Branch 130 → 1799 not taken. ✓ Branch 172 → 173 taken 6 times. ✗ Branch 172 → 1942 not taken. ✓ Branch 173 → 174 taken 3 times. ✓ Branch 173 → 176 taken 3 times. ✓ Branch 174 → 175 taken 3 times. ✗ Branch 174 → 1942 not taken.	12	op0("pop", 0xCE);
238	5/10 ✓ Branch 132 → 133 taken 3 times. ✗ Branch 132 → 135 not taken. ✓ Branch 133 → 134 taken 3 times. ✗ Branch 133 → 1799 not taken. ✓ Branch 176 → 177 taken 3 times. ✗ Branch 176 → 1942 not taken. ✓ Branch 177 → 178 taken 3 times. ✗ Branch 177 → 180 not taken. ✓ Branch 178 → 179 taken 3 times. ✗ Branch 178 → 1942 not taken.	6	op0("push", 0x4D);
239			}
240	5/6 ✓ Branch 136 → 137 taken 12 times. ✓ Branch 136 → 149 taken 312 times. ✓ Branch 181 → 182 taken 324 times. ✗ Branch 181 → 1942 not taken. ✓ Branch 182 → 183 taken 12 times. ✓ Branch 182 → 199 taken 312 times.	648	eq("y")
241			{
242	7/10 ✓ Branch 137 → 138 taken 3 times. ✓ Branch 137 → 140 taken 9 times. ✓ Branch 138 → 139 taken 3 times. ✗ Branch 138 → 1799 not taken. ✓ Branch 183 → 184 taken 12 times. ✗ Branch 183 → 1942 not taken. ✓ Branch 184 → 185 taken 3 times. ✓ Branch 184 → 187 taken 9 times. ✓ Branch 185 → 186 taken 3 times. ✗ Branch 185 → 1942 not taken.	24	op0("dec", 0xDC);
243	7/10 ✓ Branch 140 → 141 taken 3 times. ✓ Branch 140 → 143 taken 6 times. ✓ Branch 141 → 142 taken 3 times. ✗ Branch 141 → 1799 not taken. ✓ Branch 187 → 188 taken 9 times. ✗ Branch 187 → 1942 not taken. ✓ Branch 188 → 189 taken 3 times. ✓ Branch 188 → 191 taken 6 times. ✓ Branch 189 → 190 taken 3 times. ✗ Branch 189 → 1942 not taken.	18	op0("inc", 0xFC);
244	7/10 ✓ Branch 143 → 144 taken 3 times. ✓ Branch 143 → 146 taken 3 times. ✓ Branch 144 → 145 taken 3 times. ✗ Branch 144 → 1799 not taken. ✓ Branch 191 → 192 taken 6 times. ✗ Branch 191 → 1942 not taken. ✓ Branch 192 → 193 taken 3 times. ✓ Branch 192 → 195 taken 3 times. ✓ Branch 193 → 194 taken 3 times. ✗ Branch 193 → 1942 not taken.	12	op0("pop", 0xEE);
245	5/10 ✓ Branch 146 → 147 taken 3 times. ✗ Branch 146 → 149 not taken. ✓ Branch 147 → 148 taken 3 times. ✗ Branch 147 → 1799 not taken. ✓ Branch 195 → 196 taken 3 times. ✗ Branch 195 → 1942 not taken. ✓ Branch 196 → 197 taken 3 times. ✗ Branch 196 → 199 not taken. ✓ Branch 197 → 198 taken 3 times. ✗ Branch 197 → 1942 not taken.	6	op0("push", 0x6D);
246			}
247	5/6 ✓ Branch 150 → 151 taken 6 times. ✓ Branch 150 → 157 taken 306 times. ✓ Branch 200 → 201 taken 312 times. ✗ Branch 200 → 1942 not taken. ✓ Branch 201 → 202 taken 6 times. ✓ Branch 201 → 210 taken 306 times.	624	eq("p")
248			{
249	7/10 ✓ Branch 151 → 152 taken 3 times. ✓ Branch 151 → 154 taken 3 times. ✓ Branch 152 → 153 taken 3 times. ✗ Branch 152 → 1799 not taken. ✓ Branch 202 → 203 taken 6 times. ✗ Branch 202 → 1942 not taken. ✓ Branch 203 → 204 taken 3 times. ✓ Branch 203 → 206 taken 3 times. ✓ Branch 204 → 205 taken 3 times. ✗ Branch 204 → 1942 not taken.	12	op0("pop", 0x8E);
250	5/10 ✓ Branch 154 → 155 taken 3 times. ✗ Branch 154 → 157 not taken. ✓ Branch 155 → 156 taken 3 times. ✗ Branch 155 → 1799 not taken. ✓ Branch 206 → 207 taken 3 times. ✗ Branch 206 → 1942 not taken. ✓ Branch 207 → 208 taken 3 times. ✗ Branch 207 → 210 not taken. ✓ Branch 208 → 209 taken 3 times. ✗ Branch 208 → 1942 not taken.	6	op0("push", 0x0D);
251			}
252	14/20 ✓ Branch 157 → 158 taken 3 times. ✓ Branch 157 → 161 taken 303 times. ✓ Branch 159 → 160 taken 3 times. ✗ Branch 159 → 161 not taken. ✓ Branch 162 → 163 taken 3 times. ✓ Branch 162 → 165 taken 303 times. ✓ Branch 163 → 164 taken 3 times. ✗ Branch 163 → 1799 not taken. ✓ Branch 210 → 211 taken 306 times. ✗ Branch 210 → 1942 not taken. ✓ Branch 211 → 212 taken 3 times. ✓ Branch 211 → 216 taken 303 times. ✓ Branch 213 → 214 taken 3 times. ✗ Branch 213 → 1942 not taken. ✓ Branch 214 → 215 taken 3 times. ✗ Branch 214 → 216 not taken. ✓ Branch 217 → 218 taken 3 times. ✓ Branch 217 → 220 taken 303 times. ✓ Branch 218 → 219 taken 3 times. ✗ Branch 218 → 1942 not taken.	612	if (isop("mul") && isam("ya")) w0(0xCF);
253	21/30 ✓ Branch 165 → 166 taken 12 times. ✓ Branch 165 → 170 taken 291 times. ✓ Branch 167 → 168 taken 12 times. ✗ Branch 167 → 1799 not taken. ✓ Branch 168 → 169 taken 3 times. ✓ Branch 168 → 170 taken 9 times. ✓ Branch 171 → 172 taken 3 times. ✓ Branch 171 → 177 taken 300 times. ✓ Branch 172 → 173 taken 3 times. ✗ Branch 172 → 1799 not taken. ✓ Branch 174 → 175 taken 3 times. ✗ Branch 174 → 1799 not taken. ✓ Branch 175 → 176 taken 3 times. ✗ Branch 175 → 1799 not taken. ✓ Branch 220 → 221 taken 303 times. ✗ Branch 220 → 1942 not taken. ✓ Branch 221 → 222 taken 12 times. ✓ Branch 221 → 226 taken 291 times. ✓ Branch 223 → 224 taken 12 times. ✗ Branch 223 → 1942 not taken. ✓ Branch 224 → 225 taken 3 times. ✓ Branch 224 → 226 taken 9 times. ✓ Branch 227 → 228 taken 3 times. ✓ Branch 227 → 233 taken 300 times. ✓ Branch 228 → 229 taken 3 times. ✗ Branch 228 → 1942 not taken. ✓ Branch 230 → 231 taken 3 times. ✗ Branch 230 → 1942 not taken. ✓ Branch 231 → 232 taken 3 times. ✗ Branch 231 → 1942 not taken.	606	if (isop("jmp") && ismatch("(", "+x)")) w2(0x1F);
254	6/8 ✓ Branch 178 → 179 taken 300 times. ✗ Branch 178 → 1799 not taken. ✓ Branch 179 → 180 taken 18 times. ✓ Branch 179 → 216 taken 282 times. ✓ Branch 234 → 235 taken 300 times. ✗ Branch 234 → 1942 not taken. ✓ Branch 235 → 236 taken 18 times. ✓ Branch 235 → 278 taken 282 times.	600	match("", "+x")
255			{
256	11/18 ✓ Branch 180 → 181 taken 3 times. ✓ Branch 180 → 186 taken 15 times. ✓ Branch 181 → 182 taken 3 times. ✗ Branch 181 → 1799 not taken. ✓ Branch 183 → 184 taken 3 times. ✗ Branch 183 → 1799 not taken. ✓ Branch 184 → 185 taken 3 times. ✗ Branch 184 → 1799 not taken. ✓ Branch 236 → 237 taken 18 times. ✗ Branch 236 → 1942 not taken. ✓ Branch 237 → 238 taken 3 times. ✓ Branch 237 → 243 taken 15 times. ✓ Branch 238 → 239 taken 3 times. ✗ Branch 238 → 1942 not taken. ✓ Branch 240 → 241 taken 3 times. ✗ Branch 240 → 1942 not taken. ✓ Branch 241 → 242 taken 3 times. ✗ Branch 241 → 1942 not taken.	36	op1("asl", 0x1B);
257	11/18 ✓ Branch 186 → 187 taken 3 times. ✓ Branch 186 → 192 taken 12 times. ✓ Branch 187 → 188 taken 3 times. ✗ Branch 187 → 1799 not taken. ✓ Branch 189 → 190 taken 3 times. ✗ Branch 189 → 1799 not taken. ✓ Branch 190 → 191 taken 3 times. ✗ Branch 190 → 1799 not taken. ✓ Branch 243 → 244 taken 15 times. ✗ Branch 243 → 1942 not taken. ✓ Branch 244 → 245 taken 3 times. ✓ Branch 244 → 250 taken 12 times. ✓ Branch 245 → 246 taken 3 times. ✗ Branch 245 → 1942 not taken. ✓ Branch 247 → 248 taken 3 times. ✗ Branch 247 → 1942 not taken. ✓ Branch 248 → 249 taken 3 times. ✗ Branch 248 → 1942 not taken.	30	op1("dec", 0x9B);
258	11/18 ✓ Branch 192 → 193 taken 3 times. ✓ Branch 192 → 198 taken 9 times. ✓ Branch 193 → 194 taken 3 times. ✗ Branch 193 → 1799 not taken. ✓ Branch 195 → 196 taken 3 times. ✗ Branch 195 → 1799 not taken. ✓ Branch 196 → 197 taken 3 times. ✗ Branch 196 → 1799 not taken. ✓ Branch 250 → 251 taken 12 times. ✗ Branch 250 → 1942 not taken. ✓ Branch 251 → 252 taken 3 times. ✓ Branch 251 → 257 taken 9 times. ✓ Branch 252 → 253 taken 3 times. ✗ Branch 252 → 1942 not taken. ✓ Branch 254 → 255 taken 3 times. ✗ Branch 254 → 1942 not taken. ✓ Branch 255 → 256 taken 3 times. ✗ Branch 255 → 1942 not taken.	24	op1("inc", 0xBB);
259	11/18 ✓ Branch 198 → 199 taken 3 times. ✓ Branch 198 → 204 taken 6 times. ✓ Branch 199 → 200 taken 3 times. ✗ Branch 199 → 1799 not taken. ✓ Branch 201 → 202 taken 3 times. ✗ Branch 201 → 1799 not taken. ✓ Branch 202 → 203 taken 3 times. ✗ Branch 202 → 1799 not taken. ✓ Branch 257 → 258 taken 9 times. ✗ Branch 257 → 1942 not taken. ✓ Branch 258 → 259 taken 3 times. ✓ Branch 258 → 264 taken 6 times. ✓ Branch 259 → 260 taken 3 times. ✗ Branch 259 → 1942 not taken. ✓ Branch 261 → 262 taken 3 times. ✗ Branch 261 → 1942 not taken. ✓ Branch 262 → 263 taken 3 times. ✗ Branch 262 → 1942 not taken.	18	op1("lsr", 0x5B);
260	11/18 ✓ Branch 204 → 205 taken 3 times. ✓ Branch 204 → 210 taken 3 times. ✓ Branch 205 → 206 taken 3 times. ✗ Branch 205 → 1799 not taken. ✓ Branch 207 → 208 taken 3 times. ✗ Branch 207 → 1799 not taken. ✓ Branch 208 → 209 taken 3 times. ✗ Branch 208 → 1799 not taken. ✓ Branch 264 → 265 taken 6 times. ✗ Branch 264 → 1942 not taken. ✓ Branch 265 → 266 taken 3 times. ✓ Branch 265 → 271 taken 3 times. ✓ Branch 266 → 267 taken 3 times. ✗ Branch 266 → 1942 not taken. ✓ Branch 268 → 269 taken 3 times. ✗ Branch 268 → 1942 not taken. ✓ Branch 269 → 270 taken 3 times. ✗ Branch 269 → 1942 not taken.	12	op1("rol", 0x3B);
261	9/18 ✓ Branch 210 → 211 taken 3 times. ✗ Branch 210 → 216 not taken. ✓ Branch 211 → 212 taken 3 times. ✗ Branch 211 → 1799 not taken. ✓ Branch 213 → 214 taken 3 times. ✗ Branch 213 → 1799 not taken. ✓ Branch 214 → 215 taken 3 times. ✗ Branch 214 → 1799 not taken. ✓ Branch 271 → 272 taken 3 times. ✗ Branch 271 → 1942 not taken. ✓ Branch 272 → 273 taken 3 times. ✗ Branch 272 → 278 not taken. ✓ Branch 273 → 274 taken 3 times. ✗ Branch 273 → 1942 not taken. ✓ Branch 275 → 276 taken 3 times. ✗ Branch 275 → 1942 not taken. ✓ Branch 276 → 277 taken 3 times. ✗ Branch 276 → 1942 not taken.	6	op1("ror", 0x7B);
262			}
263	6/8 ✓ Branch 217 → 218 taken 282 times. ✗ Branch 217 → 1799 not taken. ✓ Branch 218 → 219 taken 57 times. ✓ Branch 218 → 242 taken 225 times. ✓ Branch 279 → 280 taken 282 times. ✗ Branch 279 → 1942 not taken. ✓ Branch 280 → 281 taken 57 times. ✓ Branch 280 → 305 taken 225 times.	564	if (bitmatch(word[0], op, arg[0], math, bits))
264			{
265	6/8 ✓ Branch 221 → 222 taken 57 times. ✗ Branch 221 → 1799 not taken. ✓ Branch 222 → 223 taken 9 times. ✓ Branch 222 → 224 taken 48 times. ✓ Branch 283 → 284 taken 57 times. ✗ Branch 283 → 1942 not taken. ✓ Branch 284 → 285 taken 9 times. ✓ Branch 284 → 286 taken 48 times.	114	if (assinglebitwithc(op, math, bits)) return true;
266	7/10 ✓ Branch 225 → 226 taken 24 times. ✓ Branch 225 → 227 taken 24 times. ✓ Branch 226 → 231 taken 24 times. ✗ Branch 226 → 1799 not taken. ✓ Branch 287 → 288 taken 48 times. ✗ Branch 287 → 1942 not taken. ✓ Branch 288 → 289 taken 24 times. ✓ Branch 288 → 290 taken 24 times. ✓ Branch 289 → 295 taken 24 times. ✗ Branch 289 → 1942 not taken.	96	else if (!stricmp(op, "set")) write1((unsigned int)(0x02\|(bits<<5)));
267	5/10 ✓ Branch 228 → 229 taken 24 times. ✗ Branch 228 → 230 not taken. ✓ Branch 229 → 231 taken 24 times. ✗ Branch 229 → 1799 not taken. ✓ Branch 291 → 292 taken 24 times. ✗ Branch 291 → 1942 not taken. ✓ Branch 292 → 293 taken 24 times. ✗ Branch 292 → 294 not taken. ✓ Branch 293 → 295 taken 24 times. ✗ Branch 293 → 1942 not taken.	48	else if (!stricmp(op, "clr")) write1((unsigned int)(0x12\|(bits<<5)));
268		✗	else return false;
269	2/4 ✓ Branch 232 → 233 taken 48 times. ✗ Branch 232 → 1799 not taken. ✓ Branch 296 → 297 taken 48 times. ✗ Branch 296 → 1942 not taken.	96	unsigned int num=getnum_ck(math);
270	2/12 ✗ Branch 233 → 234 not taken. ✓ Branch 233 → 240 taken 48 times. ✗ Branch 235 → 236 not taken. ✗ Branch 235 → 1761 not taken. ✗ Branch 237 → 238 not taken. ✗ Branch 237 → 1759 not taken. ✗ Branch 297 → 298 not taken. ✓ Branch 297 → 303 taken 48 times. ✗ Branch 298 → 299 not taken. ✗ Branch 298 → 1914 not taken. ✗ Branch 300 → 301 not taken. ✗ Branch 300 → 1912 not taken.	96	if (num>=0x100) asar_throw_error(2, error_type_block, error_id_snes_address_out_of_bounds, hex6(num).data());
271	2/4 ✓ Branch 240 → 241 taken 48 times. ✗ Branch 240 → 1799 not taken. ✓ Branch 303 → 304 taken 48 times. ✗ Branch 303 → 1942 not taken.	96	write1(num);
272		96	return true;
273			}
274			if (true)
275			{
276	2/4 ✓ Branch 243 → 244 taken 225 times. ✗ Branch 243 → 1799 not taken. ✓ Branch 306 → 307 taken 225 times. ✗ Branch 306 → 1942 not taken.	450	math=arg[0];
277	5/6 ✓ Branch 244 → 245 taken 48 times. ✓ Branch 244 → 251 taken 177 times. ✓ Branch 307 → 308 taken 225 times. ✗ Branch 307 → 1942 not taken. ✓ Branch 308 → 309 taken 48 times. ✓ Branch 308 → 315 taken 177 times.	450	if (isop("tcall"))
278			{
279	2/4 ✓ Branch 246 → 247 taken 48 times. ✗ Branch 246 → 1799 not taken. ✓ Branch 310 → 311 taken 48 times. ✗ Branch 310 → 1942 not taken.	96	unsigned int num = getnum_ck(math);
280	2/8 ✗ Branch 247 → 248 not taken. ✓ Branch 247 → 249 taken 48 times. ✗ Branch 248 → 249 not taken. ✗ Branch 248 → 1799 not taken. ✗ Branch 311 → 312 not taken. ✓ Branch 311 → 313 taken 48 times. ✗ Branch 312 → 313 not taken. ✗ Branch 312 → 1942 not taken.	96	if (num >= 16) asar_throw_error(2, error_type_block, error_id_invalid_tcall);
281	2/4 ✓ Branch 249 → 250 taken 48 times. ✗ Branch 249 → 1799 not taken. ✓ Branch 313 → 314 taken 48 times. ✗ Branch 313 → 1942 not taken.	96	write1(((num<<4)\|1));
282		96	return true;
283			}
284	35/50 ✓ Branch 251 → 252 taken 18 times. ✓ Branch 251 → 269 taken 159 times. ✓ Branch 252 → 253 taken 12 times. ✓ Branch 252 → 257 taken 6 times. ✓ Branch 253 → 254 taken 6 times. ✓ Branch 253 → 258 taken 6 times. ✓ Branch 255 → 256 taken 6 times. ✗ Branch 255 → 1799 not taken. ✓ Branch 256 → 257 taken 3 times. ✓ Branch 256 → 258 taken 3 times. ✓ Branch 259 → 260 taken 9 times. ✓ Branch 259 → 264 taken 9 times. ✓ Branch 260 → 261 taken 9 times. ✗ Branch 260 → 1799 not taken. ✓ Branch 262 → 263 taken 9 times. ✗ Branch 262 → 1799 not taken. ✓ Branch 263 → 268 taken 9 times. ✗ Branch 263 → 1799 not taken. ✓ Branch 264 → 265 taken 9 times. ✗ Branch 264 → 1799 not taken. ✓ Branch 266 → 267 taken 9 times. ✗ Branch 266 → 1799 not taken. ✓ Branch 267 → 268 taken 9 times. ✗ Branch 267 → 1799 not taken. ✓ Branch 315 → 316 taken 177 times. ✗ Branch 315 → 1942 not taken. ✓ Branch 316 → 317 taken 18 times. ✓ Branch 316 → 334 taken 159 times. ✓ Branch 317 → 318 taken 12 times. ✓ Branch 317 → 322 taken 6 times. ✓ Branch 318 → 319 taken 6 times. ✓ Branch 318 → 323 taken 6 times. ✓ Branch 320 → 321 taken 6 times. ✗ Branch 320 → 1942 not taken. ✓ Branch 321 → 322 taken 3 times. ✓ Branch 321 → 323 taken 3 times. ✓ Branch 324 → 325 taken 9 times. ✓ Branch 324 → 329 taken 9 times. ✓ Branch 325 → 326 taken 9 times. ✗ Branch 325 → 1942 not taken. ✓ Branch 327 → 328 taken 9 times. ✗ Branch 327 → 1942 not taken. ✓ Branch 328 → 333 taken 9 times. ✗ Branch 328 → 1942 not taken. ✓ Branch 329 → 330 taken 9 times. ✗ Branch 329 → 1942 not taken. ✓ Branch 331 → 332 taken 9 times. ✗ Branch 331 → 1942 not taken. ✓ Branch 332 → 333 taken 9 times. ✗ Branch 332 → 1942 not taken.	354	opv("asl", 0x0B, 0x0C);
285	35/50 ✓ Branch 269 → 270 taken 18 times. ✓ Branch 269 → 287 taken 141 times. ✓ Branch 270 → 271 taken 12 times. ✓ Branch 270 → 275 taken 6 times. ✓ Branch 271 → 272 taken 6 times. ✓ Branch 271 → 276 taken 6 times. ✓ Branch 273 → 274 taken 6 times. ✗ Branch 273 → 1799 not taken. ✓ Branch 274 → 275 taken 3 times. ✓ Branch 274 → 276 taken 3 times. ✓ Branch 277 → 278 taken 9 times. ✓ Branch 277 → 282 taken 9 times. ✓ Branch 278 → 279 taken 9 times. ✗ Branch 278 → 1799 not taken. ✓ Branch 280 → 281 taken 9 times. ✗ Branch 280 → 1799 not taken. ✓ Branch 281 → 286 taken 9 times. ✗ Branch 281 → 1799 not taken. ✓ Branch 282 → 283 taken 9 times. ✗ Branch 282 → 1799 not taken. ✓ Branch 284 → 285 taken 9 times. ✗ Branch 284 → 1799 not taken. ✓ Branch 285 → 286 taken 9 times. ✗ Branch 285 → 1799 not taken. ✓ Branch 334 → 335 taken 159 times. ✗ Branch 334 → 1942 not taken. ✓ Branch 335 → 336 taken 18 times. ✓ Branch 335 → 353 taken 141 times. ✓ Branch 336 → 337 taken 12 times. ✓ Branch 336 → 341 taken 6 times. ✓ Branch 337 → 338 taken 6 times. ✓ Branch 337 → 342 taken 6 times. ✓ Branch 339 → 340 taken 6 times. ✗ Branch 339 → 1942 not taken. ✓ Branch 340 → 341 taken 3 times. ✓ Branch 340 → 342 taken 3 times. ✓ Branch 343 → 344 taken 9 times. ✓ Branch 343 → 348 taken 9 times. ✓ Branch 344 → 345 taken 9 times. ✗ Branch 344 → 1942 not taken. ✓ Branch 346 → 347 taken 9 times. ✗ Branch 346 → 1942 not taken. ✓ Branch 347 → 352 taken 9 times. ✗ Branch 347 → 1942 not taken. ✓ Branch 348 → 349 taken 9 times. ✗ Branch 348 → 1942 not taken. ✓ Branch 350 → 351 taken 9 times. ✗ Branch 350 → 1942 not taken. ✓ Branch 351 → 352 taken 9 times. ✗ Branch 351 → 1942 not taken.	318	opv("dec", 0x8B, 0x8C);
286	35/50 ✓ Branch 287 → 288 taken 18 times. ✓ Branch 287 → 305 taken 123 times. ✓ Branch 288 → 289 taken 12 times. ✓ Branch 288 → 293 taken 6 times. ✓ Branch 289 → 290 taken 6 times. ✓ Branch 289 → 294 taken 6 times. ✓ Branch 291 → 292 taken 6 times. ✗ Branch 291 → 1799 not taken. ✓ Branch 292 → 293 taken 3 times. ✓ Branch 292 → 294 taken 3 times. ✓ Branch 295 → 296 taken 9 times. ✓ Branch 295 → 300 taken 9 times. ✓ Branch 296 → 297 taken 9 times. ✗ Branch 296 → 1799 not taken. ✓ Branch 298 → 299 taken 9 times. ✗ Branch 298 → 1799 not taken. ✓ Branch 299 → 304 taken 9 times. ✗ Branch 299 → 1799 not taken. ✓ Branch 300 → 301 taken 9 times. ✗ Branch 300 → 1799 not taken. ✓ Branch 302 → 303 taken 9 times. ✗ Branch 302 → 1799 not taken. ✓ Branch 303 → 304 taken 9 times. ✗ Branch 303 → 1799 not taken. ✓ Branch 353 → 354 taken 141 times. ✗ Branch 353 → 1942 not taken. ✓ Branch 354 → 355 taken 18 times. ✓ Branch 354 → 372 taken 123 times. ✓ Branch 355 → 356 taken 12 times. ✓ Branch 355 → 360 taken 6 times. ✓ Branch 356 → 357 taken 6 times. ✓ Branch 356 → 361 taken 6 times. ✓ Branch 358 → 359 taken 6 times. ✗ Branch 358 → 1942 not taken. ✓ Branch 359 → 360 taken 3 times. ✓ Branch 359 → 361 taken 3 times. ✓ Branch 362 → 363 taken 9 times. ✓ Branch 362 → 367 taken 9 times. ✓ Branch 363 → 364 taken 9 times. ✗ Branch 363 → 1942 not taken. ✓ Branch 365 → 366 taken 9 times. ✗ Branch 365 → 1942 not taken. ✓ Branch 366 → 371 taken 9 times. ✗ Branch 366 → 1942 not taken. ✓ Branch 367 → 368 taken 9 times. ✗ Branch 367 → 1942 not taken. ✓ Branch 369 → 370 taken 9 times. ✗ Branch 369 → 1942 not taken. ✓ Branch 370 → 371 taken 9 times. ✗ Branch 370 → 1942 not taken.	282	opv("inc", 0xAB, 0xAC);
287	35/50 ✓ Branch 305 → 306 taken 18 times. ✓ Branch 305 → 323 taken 105 times. ✓ Branch 306 → 307 taken 12 times. ✓ Branch 306 → 311 taken 6 times. ✓ Branch 307 → 308 taken 6 times. ✓ Branch 307 → 312 taken 6 times. ✓ Branch 309 → 310 taken 6 times. ✗ Branch 309 → 1799 not taken. ✓ Branch 310 → 311 taken 3 times. ✓ Branch 310 → 312 taken 3 times. ✓ Branch 313 → 314 taken 9 times. ✓ Branch 313 → 318 taken 9 times. ✓ Branch 314 → 315 taken 9 times. ✗ Branch 314 → 1799 not taken. ✓ Branch 316 → 317 taken 9 times. ✗ Branch 316 → 1799 not taken. ✓ Branch 317 → 322 taken 9 times. ✗ Branch 317 → 1799 not taken. ✓ Branch 318 → 319 taken 9 times. ✗ Branch 318 → 1799 not taken. ✓ Branch 320 → 321 taken 9 times. ✗ Branch 320 → 1799 not taken. ✓ Branch 321 → 322 taken 9 times. ✗ Branch 321 → 1799 not taken. ✓ Branch 372 → 373 taken 123 times. ✗ Branch 372 → 1942 not taken. ✓ Branch 373 → 374 taken 18 times. ✓ Branch 373 → 391 taken 105 times. ✓ Branch 374 → 375 taken 12 times. ✓ Branch 374 → 379 taken 6 times. ✓ Branch 375 → 376 taken 6 times. ✓ Branch 375 → 380 taken 6 times. ✓ Branch 377 → 378 taken 6 times. ✗ Branch 377 → 1942 not taken. ✓ Branch 378 → 379 taken 3 times. ✓ Branch 378 → 380 taken 3 times. ✓ Branch 381 → 382 taken 9 times. ✓ Branch 381 → 386 taken 9 times. ✓ Branch 382 → 383 taken 9 times. ✗ Branch 382 → 1942 not taken. ✓ Branch 384 → 385 taken 9 times. ✗ Branch 384 → 1942 not taken. ✓ Branch 385 → 390 taken 9 times. ✗ Branch 385 → 1942 not taken. ✓ Branch 386 → 387 taken 9 times. ✗ Branch 386 → 1942 not taken. ✓ Branch 388 → 389 taken 9 times. ✗ Branch 388 → 1942 not taken. ✓ Branch 389 → 390 taken 9 times. ✗ Branch 389 → 1942 not taken.	246	opv("lsr", 0x4B, 0x4C);
288	35/50 ✓ Branch 323 → 324 taken 18 times. ✓ Branch 323 → 341 taken 87 times. ✓ Branch 324 → 325 taken 12 times. ✓ Branch 324 → 329 taken 6 times. ✓ Branch 325 → 326 taken 6 times. ✓ Branch 325 → 330 taken 6 times. ✓ Branch 327 → 328 taken 6 times. ✗ Branch 327 → 1799 not taken. ✓ Branch 328 → 329 taken 3 times. ✓ Branch 328 → 330 taken 3 times. ✓ Branch 331 → 332 taken 9 times. ✓ Branch 331 → 336 taken 9 times. ✓ Branch 332 → 333 taken 9 times. ✗ Branch 332 → 1799 not taken. ✓ Branch 334 → 335 taken 9 times. ✗ Branch 334 → 1799 not taken. ✓ Branch 335 → 340 taken 9 times. ✗ Branch 335 → 1799 not taken. ✓ Branch 336 → 337 taken 9 times. ✗ Branch 336 → 1799 not taken. ✓ Branch 338 → 339 taken 9 times. ✗ Branch 338 → 1799 not taken. ✓ Branch 339 → 340 taken 9 times. ✗ Branch 339 → 1799 not taken. ✓ Branch 391 → 392 taken 105 times. ✗ Branch 391 → 1942 not taken. ✓ Branch 392 → 393 taken 18 times. ✓ Branch 392 → 410 taken 87 times. ✓ Branch 393 → 394 taken 12 times. ✓ Branch 393 → 398 taken 6 times. ✓ Branch 394 → 395 taken 6 times. ✓ Branch 394 → 399 taken 6 times. ✓ Branch 396 → 397 taken 6 times. ✗ Branch 396 → 1942 not taken. ✓ Branch 397 → 398 taken 3 times. ✓ Branch 397 → 399 taken 3 times. ✓ Branch 400 → 401 taken 9 times. ✓ Branch 400 → 405 taken 9 times. ✓ Branch 401 → 402 taken 9 times. ✗ Branch 401 → 1942 not taken. ✓ Branch 403 → 404 taken 9 times. ✗ Branch 403 → 1942 not taken. ✓ Branch 404 → 409 taken 9 times. ✗ Branch 404 → 1942 not taken. ✓ Branch 405 → 406 taken 9 times. ✗ Branch 405 → 1942 not taken. ✓ Branch 407 → 408 taken 9 times. ✗ Branch 407 → 1942 not taken. ✓ Branch 408 → 409 taken 9 times. ✗ Branch 408 → 1942 not taken.	210	opv("rol", 0x2B, 0x2C);
289	35/50 ✓ Branch 341 → 342 taken 18 times. ✓ Branch 341 → 359 taken 69 times. ✓ Branch 342 → 343 taken 12 times. ✓ Branch 342 → 347 taken 6 times. ✓ Branch 343 → 344 taken 6 times. ✓ Branch 343 → 348 taken 6 times. ✓ Branch 345 → 346 taken 6 times. ✗ Branch 345 → 1799 not taken. ✓ Branch 346 → 347 taken 3 times. ✓ Branch 346 → 348 taken 3 times. ✓ Branch 349 → 350 taken 9 times. ✓ Branch 349 → 354 taken 9 times. ✓ Branch 350 → 351 taken 9 times. ✗ Branch 350 → 1799 not taken. ✓ Branch 352 → 353 taken 9 times. ✗ Branch 352 → 1799 not taken. ✓ Branch 353 → 358 taken 9 times. ✗ Branch 353 → 1799 not taken. ✓ Branch 354 → 355 taken 9 times. ✗ Branch 354 → 1799 not taken. ✓ Branch 356 → 357 taken 9 times. ✗ Branch 356 → 1799 not taken. ✓ Branch 357 → 358 taken 9 times. ✗ Branch 357 → 1799 not taken. ✓ Branch 410 → 411 taken 87 times. ✗ Branch 410 → 1942 not taken. ✓ Branch 411 → 412 taken 18 times. ✓ Branch 411 → 429 taken 69 times. ✓ Branch 412 → 413 taken 12 times. ✓ Branch 412 → 417 taken 6 times. ✓ Branch 413 → 414 taken 6 times. ✓ Branch 413 → 418 taken 6 times. ✓ Branch 415 → 416 taken 6 times. ✗ Branch 415 → 1942 not taken. ✓ Branch 416 → 417 taken 3 times. ✓ Branch 416 → 418 taken 3 times. ✓ Branch 419 → 420 taken 9 times. ✓ Branch 419 → 424 taken 9 times. ✓ Branch 420 → 421 taken 9 times. ✗ Branch 420 → 1942 not taken. ✓ Branch 422 → 423 taken 9 times. ✗ Branch 422 → 1942 not taken. ✓ Branch 423 → 428 taken 9 times. ✗ Branch 423 → 1942 not taken. ✓ Branch 424 → 425 taken 9 times. ✗ Branch 424 → 1942 not taken. ✓ Branch 426 → 427 taken 9 times. ✗ Branch 426 → 1942 not taken. ✓ Branch 427 → 428 taken 9 times. ✗ Branch 427 → 1942 not taken.	174	opv("ror", 0x6B, 0x6C);
290	11/18 ✓ Branch 359 → 360 taken 9 times. ✓ Branch 359 → 365 taken 60 times. ✓ Branch 360 → 361 taken 9 times. ✗ Branch 360 → 1799 not taken. ✓ Branch 362 → 363 taken 9 times. ✗ Branch 362 → 1799 not taken. ✓ Branch 363 → 364 taken 9 times. ✗ Branch 363 → 1799 not taken. ✓ Branch 429 → 430 taken 69 times. ✗ Branch 429 → 1942 not taken. ✓ Branch 430 → 431 taken 9 times. ✓ Branch 430 → 436 taken 60 times. ✓ Branch 431 → 432 taken 9 times. ✗ Branch 431 → 1942 not taken. ✓ Branch 433 → 434 taken 9 times. ✗ Branch 433 → 1942 not taken. ✓ Branch 434 → 435 taken 9 times. ✗ Branch 434 → 1942 not taken.	138	op2("jmp", 0x5F);
291	11/18 ✓ Branch 365 → 366 taken 3 times. ✓ Branch 365 → 371 taken 57 times. ✓ Branch 366 → 367 taken 3 times. ✗ Branch 366 → 1799 not taken. ✓ Branch 368 → 369 taken 3 times. ✗ Branch 368 → 1799 not taken. ✓ Branch 369 → 370 taken 3 times. ✗ Branch 369 → 1799 not taken. ✓ Branch 436 → 437 taken 60 times. ✗ Branch 436 → 1942 not taken. ✓ Branch 437 → 438 taken 3 times. ✓ Branch 437 → 443 taken 57 times. ✓ Branch 438 → 439 taken 3 times. ✗ Branch 438 → 1942 not taken. ✓ Branch 440 → 441 taken 3 times. ✗ Branch 440 → 1942 not taken. ✓ Branch 441 → 442 taken 3 times. ✗ Branch 441 → 1942 not taken.	120	op2("call", 0x3F);
292	11/18 ✓ Branch 371 → 372 taken 3 times. ✓ Branch 371 → 377 taken 54 times. ✓ Branch 372 → 373 taken 3 times. ✗ Branch 372 → 1799 not taken. ✓ Branch 374 → 375 taken 3 times. ✗ Branch 374 → 1799 not taken. ✓ Branch 375 → 376 taken 3 times. ✗ Branch 375 → 1799 not taken. ✓ Branch 443 → 444 taken 57 times. ✗ Branch 443 → 1942 not taken. ✓ Branch 444 → 445 taken 3 times. ✓ Branch 444 → 450 taken 54 times. ✓ Branch 445 → 446 taken 3 times. ✗ Branch 445 → 1942 not taken. ✓ Branch 447 → 448 taken 3 times. ✗ Branch 447 → 1942 not taken. ✓ Branch 448 → 449 taken 3 times. ✗ Branch 448 → 1942 not taken.	114	op1("decw", 0x1A);
293	11/18 ✓ Branch 377 → 378 taken 3 times. ✓ Branch 377 → 383 taken 51 times. ✓ Branch 378 → 379 taken 3 times. ✗ Branch 378 → 1799 not taken. ✓ Branch 380 → 381 taken 3 times. ✗ Branch 380 → 1799 not taken. ✓ Branch 381 → 382 taken 3 times. ✗ Branch 381 → 1799 not taken. ✓ Branch 450 → 451 taken 54 times. ✗ Branch 450 → 1942 not taken. ✓ Branch 451 → 452 taken 3 times. ✓ Branch 451 → 457 taken 51 times. ✓ Branch 452 → 453 taken 3 times. ✗ Branch 452 → 1942 not taken. ✓ Branch 454 → 455 taken 3 times. ✗ Branch 454 → 1942 not taken. ✓ Branch 455 → 456 taken 3 times. ✗ Branch 455 → 1942 not taken.	108	op1("incw", 0x3A);
294	11/18 ✓ Branch 383 → 384 taken 3 times. ✓ Branch 383 → 389 taken 48 times. ✓ Branch 384 → 385 taken 3 times. ✗ Branch 384 → 1799 not taken. ✓ Branch 386 → 387 taken 3 times. ✗ Branch 386 → 1799 not taken. ✓ Branch 387 → 388 taken 3 times. ✗ Branch 387 → 1799 not taken. ✓ Branch 457 → 458 taken 51 times. ✗ Branch 457 → 1942 not taken. ✓ Branch 458 → 459 taken 3 times. ✓ Branch 458 → 464 taken 48 times. ✓ Branch 459 → 460 taken 3 times. ✗ Branch 459 → 1942 not taken. ✓ Branch 461 → 462 taken 3 times. ✗ Branch 461 → 1942 not taken. ✓ Branch 462 → 463 taken 3 times. ✗ Branch 462 → 1942 not taken.	102	op1("pcall", 0x4F);
295	25/50 ✓ Branch 389 → 390 taken 3 times. ✓ Branch 389 → 410 taken 45 times. ✓ Branch 391 → 392 taken 3 times. ✗ Branch 391 → 1799 not taken. ✓ Branch 393 → 394 taken 3 times. ✗ Branch 393 → 1799 not taken. ✓ Branch 394 → 395 taken 3 times. ✗ Branch 394 → 396 not taken. ✓ Branch 397 → 398 taken 3 times. ✗ Branch 397 → 1799 not taken. ✓ Branch 398 → 399 taken 3 times. ✗ Branch 398 → 1799 not taken. ✓ Branch 399 → 400 taken 1 time. ✓ Branch 399 → 409 taken 2 times. ✓ Branch 400 → 401 taken 1 time. ✗ Branch 400 → 409 not taken. ✓ Branch 401 → 402 taken 1 time. ✗ Branch 401 → 403 not taken. ✗ Branch 402 → 403 not taken. ✓ Branch 402 → 409 taken 1 time. ✗ Branch 404 → 405 not taken. ✗ Branch 404 → 1765 not taken. ✗ Branch 406 → 407 not taken. ✗ Branch 406 → 1763 not taken. ✓ Branch 464 → 465 taken 48 times. ✗ Branch 464 → 1942 not taken. ✓ Branch 465 → 466 taken 3 times. ✓ Branch 465 → 485 taken 45 times. ✓ Branch 467 → 468 taken 3 times. ✗ Branch 467 → 1942 not taken. ✓ Branch 469 → 470 taken 3 times. ✗ Branch 469 → 1942 not taken. ✓ Branch 470 → 471 taken 3 times. ✗ Branch 470 → 472 not taken. ✓ Branch 473 → 474 taken 3 times. ✗ Branch 473 → 1942 not taken. ✓ Branch 474 → 475 taken 3 times. ✗ Branch 474 → 1942 not taken. ✓ Branch 475 → 476 taken 1 time. ✓ Branch 475 → 484 taken 2 times. ✓ Branch 476 → 477 taken 1 time. ✗ Branch 476 → 484 not taken. ✓ Branch 477 → 478 taken 1 time. ✗ Branch 477 → 479 not taken. ✗ Branch 478 → 479 not taken. ✓ Branch 478 → 484 taken 1 time. ✗ Branch 479 → 480 not taken. ✗ Branch 479 → 1917 not taken. ✗ Branch 481 → 482 not taken. ✗ Branch 481 → 1915 not taken.	96	opr("bpl", 0x10);
296	25/50 ✓ Branch 410 → 411 taken 3 times. ✓ Branch 410 → 431 taken 42 times. ✓ Branch 412 → 413 taken 3 times. ✗ Branch 412 → 1799 not taken. ✓ Branch 414 → 415 taken 3 times. ✗ Branch 414 → 1799 not taken. ✓ Branch 415 → 416 taken 3 times. ✗ Branch 415 → 417 not taken. ✓ Branch 418 → 419 taken 3 times. ✗ Branch 418 → 1799 not taken. ✓ Branch 419 → 420 taken 3 times. ✗ Branch 419 → 1799 not taken. ✓ Branch 420 → 421 taken 1 time. ✓ Branch 420 → 430 taken 2 times. ✓ Branch 421 → 422 taken 1 time. ✗ Branch 421 → 430 not taken. ✓ Branch 422 → 423 taken 1 time. ✗ Branch 422 → 424 not taken. ✗ Branch 423 → 424 not taken. ✓ Branch 423 → 430 taken 1 time. ✗ Branch 425 → 426 not taken. ✗ Branch 425 → 1769 not taken. ✗ Branch 427 → 428 not taken. ✗ Branch 427 → 1767 not taken. ✓ Branch 485 → 486 taken 45 times. ✗ Branch 485 → 1942 not taken. ✓ Branch 486 → 487 taken 3 times. ✓ Branch 486 → 506 taken 42 times. ✓ Branch 488 → 489 taken 3 times. ✗ Branch 488 → 1942 not taken. ✓ Branch 490 → 491 taken 3 times. ✗ Branch 490 → 1942 not taken. ✓ Branch 491 → 492 taken 3 times. ✗ Branch 491 → 493 not taken. ✓ Branch 494 → 495 taken 3 times. ✗ Branch 494 → 1942 not taken. ✓ Branch 495 → 496 taken 3 times. ✗ Branch 495 → 1942 not taken. ✓ Branch 496 → 497 taken 1 time. ✓ Branch 496 → 505 taken 2 times. ✓ Branch 497 → 498 taken 1 time. ✗ Branch 497 → 505 not taken. ✓ Branch 498 → 499 taken 1 time. ✗ Branch 498 → 500 not taken. ✗ Branch 499 → 500 not taken. ✓ Branch 499 → 505 taken 1 time. ✗ Branch 500 → 501 not taken. ✗ Branch 500 → 1920 not taken. ✗ Branch 502 → 503 not taken. ✗ Branch 502 → 1918 not taken.	90	opr("bra", 0x2F);
297	25/50 ✓ Branch 431 → 432 taken 3 times. ✓ Branch 431 → 452 taken 39 times. ✓ Branch 433 → 434 taken 3 times. ✗ Branch 433 → 1799 not taken. ✓ Branch 435 → 436 taken 3 times. ✗ Branch 435 → 1799 not taken. ✓ Branch 436 → 437 taken 3 times. ✗ Branch 436 → 438 not taken. ✓ Branch 439 → 440 taken 3 times. ✗ Branch 439 → 1799 not taken. ✓ Branch 440 → 441 taken 3 times. ✗ Branch 440 → 1799 not taken. ✓ Branch 441 → 442 taken 1 time. ✓ Branch 441 → 451 taken 2 times. ✓ Branch 442 → 443 taken 1 time. ✗ Branch 442 → 451 not taken. ✓ Branch 443 → 444 taken 1 time. ✗ Branch 443 → 445 not taken. ✗ Branch 444 → 445 not taken. ✓ Branch 444 → 451 taken 1 time. ✗ Branch 446 → 447 not taken. ✗ Branch 446 → 1773 not taken. ✗ Branch 448 → 449 not taken. ✗ Branch 448 → 1771 not taken. ✓ Branch 506 → 507 taken 42 times. ✗ Branch 506 → 1942 not taken. ✓ Branch 507 → 508 taken 3 times. ✓ Branch 507 → 527 taken 39 times. ✓ Branch 509 → 510 taken 3 times. ✗ Branch 509 → 1942 not taken. ✓ Branch 511 → 512 taken 3 times. ✗ Branch 511 → 1942 not taken. ✓ Branch 512 → 513 taken 3 times. ✗ Branch 512 → 514 not taken. ✓ Branch 515 → 516 taken 3 times. ✗ Branch 515 → 1942 not taken. ✓ Branch 516 → 517 taken 3 times. ✗ Branch 516 → 1942 not taken. ✓ Branch 517 → 518 taken 1 time. ✓ Branch 517 → 526 taken 2 times. ✓ Branch 518 → 519 taken 1 time. ✗ Branch 518 → 526 not taken. ✓ Branch 519 → 520 taken 1 time. ✗ Branch 519 → 521 not taken. ✗ Branch 520 → 521 not taken. ✓ Branch 520 → 526 taken 1 time. ✗ Branch 521 → 522 not taken. ✗ Branch 521 → 1923 not taken. ✗ Branch 523 → 524 not taken. ✗ Branch 523 → 1921 not taken.	84	opr("bmi", 0x30);
298	25/50 ✓ Branch 452 → 453 taken 3 times. ✓ Branch 452 → 473 taken 36 times. ✓ Branch 454 → 455 taken 3 times. ✗ Branch 454 → 1799 not taken. ✓ Branch 456 → 457 taken 3 times. ✗ Branch 456 → 1799 not taken. ✓ Branch 457 → 458 taken 3 times. ✗ Branch 457 → 459 not taken. ✓ Branch 460 → 461 taken 3 times. ✗ Branch 460 → 1799 not taken. ✓ Branch 461 → 462 taken 3 times. ✗ Branch 461 → 1799 not taken. ✓ Branch 462 → 463 taken 1 time. ✓ Branch 462 → 472 taken 2 times. ✓ Branch 463 → 464 taken 1 time. ✗ Branch 463 → 472 not taken. ✓ Branch 464 → 465 taken 1 time. ✗ Branch 464 → 466 not taken. ✗ Branch 465 → 466 not taken. ✓ Branch 465 → 472 taken 1 time. ✗ Branch 467 → 468 not taken. ✗ Branch 467 → 1777 not taken. ✗ Branch 469 → 470 not taken. ✗ Branch 469 → 1775 not taken. ✓ Branch 527 → 528 taken 39 times. ✗ Branch 527 → 1942 not taken. ✓ Branch 528 → 529 taken 3 times. ✓ Branch 528 → 548 taken 36 times. ✓ Branch 530 → 531 taken 3 times. ✗ Branch 530 → 1942 not taken. ✓ Branch 532 → 533 taken 3 times. ✗ Branch 532 → 1942 not taken. ✓ Branch 533 → 534 taken 3 times. ✗ Branch 533 → 535 not taken. ✓ Branch 536 → 537 taken 3 times. ✗ Branch 536 → 1942 not taken. ✓ Branch 537 → 538 taken 3 times. ✗ Branch 537 → 1942 not taken. ✓ Branch 538 → 539 taken 1 time. ✓ Branch 538 → 547 taken 2 times. ✓ Branch 539 → 540 taken 1 time. ✗ Branch 539 → 547 not taken. ✓ Branch 540 → 541 taken 1 time. ✗ Branch 540 → 542 not taken. ✗ Branch 541 → 542 not taken. ✓ Branch 541 → 547 taken 1 time. ✗ Branch 542 → 543 not taken. ✗ Branch 542 → 1926 not taken. ✗ Branch 544 → 545 not taken. ✗ Branch 544 → 1924 not taken.	78	opr("bvc", 0x50);
299	25/50 ✓ Branch 473 → 474 taken 3 times. ✓ Branch 473 → 494 taken 33 times. ✓ Branch 475 → 476 taken 3 times. ✗ Branch 475 → 1799 not taken. ✓ Branch 477 → 478 taken 3 times. ✗ Branch 477 → 1799 not taken. ✓ Branch 478 → 479 taken 3 times. ✗ Branch 478 → 480 not taken. ✓ Branch 481 → 482 taken 3 times. ✗ Branch 481 → 1799 not taken. ✓ Branch 482 → 483 taken 3 times. ✗ Branch 482 → 1799 not taken. ✓ Branch 483 → 484 taken 1 time. ✓ Branch 483 → 493 taken 2 times. ✓ Branch 484 → 485 taken 1 time. ✗ Branch 484 → 493 not taken. ✓ Branch 485 → 486 taken 1 time. ✗ Branch 485 → 487 not taken. ✗ Branch 486 → 487 not taken. ✓ Branch 486 → 493 taken 1 time. ✗ Branch 488 → 489 not taken. ✗ Branch 488 → 1781 not taken. ✗ Branch 490 → 491 not taken. ✗ Branch 490 → 1779 not taken. ✓ Branch 548 → 549 taken 36 times. ✗ Branch 548 → 1942 not taken. ✓ Branch 549 → 550 taken 3 times. ✓ Branch 549 → 569 taken 33 times. ✓ Branch 551 → 552 taken 3 times. ✗ Branch 551 → 1942 not taken. ✓ Branch 553 → 554 taken 3 times. ✗ Branch 553 → 1942 not taken. ✓ Branch 554 → 555 taken 3 times. ✗ Branch 554 → 556 not taken. ✓ Branch 557 → 558 taken 3 times. ✗ Branch 557 → 1942 not taken. ✓ Branch 558 → 559 taken 3 times. ✗ Branch 558 → 1942 not taken. ✓ Branch 559 → 560 taken 1 time. ✓ Branch 559 → 568 taken 2 times. ✓ Branch 560 → 561 taken 1 time. ✗ Branch 560 → 568 not taken. ✓ Branch 561 → 562 taken 1 time. ✗ Branch 561 → 563 not taken. ✗ Branch 562 → 563 not taken. ✓ Branch 562 → 568 taken 1 time. ✗ Branch 563 → 564 not taken. ✗ Branch 563 → 1929 not taken. ✗ Branch 565 → 566 not taken. ✗ Branch 565 → 1927 not taken.	72	opr("bvs", 0x70);
300	25/50 ✓ Branch 494 → 495 taken 3 times. ✓ Branch 494 → 515 taken 30 times. ✓ Branch 496 → 497 taken 3 times. ✗ Branch 496 → 1799 not taken. ✓ Branch 498 → 499 taken 3 times. ✗ Branch 498 → 1799 not taken. ✓ Branch 499 → 500 taken 3 times. ✗ Branch 499 → 501 not taken. ✓ Branch 502 → 503 taken 3 times. ✗ Branch 502 → 1799 not taken. ✓ Branch 503 → 504 taken 3 times. ✗ Branch 503 → 1799 not taken. ✓ Branch 504 → 505 taken 1 time. ✓ Branch 504 → 514 taken 2 times. ✓ Branch 505 → 506 taken 1 time. ✗ Branch 505 → 514 not taken. ✓ Branch 506 → 507 taken 1 time. ✗ Branch 506 → 508 not taken. ✗ Branch 507 → 508 not taken. ✓ Branch 507 → 514 taken 1 time. ✗ Branch 509 → 510 not taken. ✗ Branch 509 → 1785 not taken. ✗ Branch 511 → 512 not taken. ✗ Branch 511 → 1783 not taken. ✓ Branch 569 → 570 taken 33 times. ✗ Branch 569 → 1942 not taken. ✓ Branch 570 → 571 taken 3 times. ✓ Branch 570 → 590 taken 30 times. ✓ Branch 572 → 573 taken 3 times. ✗ Branch 572 → 1942 not taken. ✓ Branch 574 → 575 taken 3 times. ✗ Branch 574 → 1942 not taken. ✓ Branch 575 → 576 taken 3 times. ✗ Branch 575 → 577 not taken. ✓ Branch 578 → 579 taken 3 times. ✗ Branch 578 → 1942 not taken. ✓ Branch 579 → 580 taken 3 times. ✗ Branch 579 → 1942 not taken. ✓ Branch 580 → 581 taken 1 time. ✓ Branch 580 → 589 taken 2 times. ✓ Branch 581 → 582 taken 1 time. ✗ Branch 581 → 589 not taken. ✓ Branch 582 → 583 taken 1 time. ✗ Branch 582 → 584 not taken. ✗ Branch 583 → 584 not taken. ✓ Branch 583 → 589 taken 1 time. ✗ Branch 584 → 585 not taken. ✗ Branch 584 → 1932 not taken. ✗ Branch 586 → 587 not taken. ✗ Branch 586 → 1930 not taken.	66	opr("bcc", 0x90);
301	25/50 ✓ Branch 515 → 516 taken 3 times. ✓ Branch 515 → 536 taken 27 times. ✓ Branch 517 → 518 taken 3 times. ✗ Branch 517 → 1799 not taken. ✓ Branch 519 → 520 taken 3 times. ✗ Branch 519 → 1799 not taken. ✓ Branch 520 → 521 taken 3 times. ✗ Branch 520 → 522 not taken. ✓ Branch 523 → 524 taken 3 times. ✗ Branch 523 → 1799 not taken. ✓ Branch 524 → 525 taken 3 times. ✗ Branch 524 → 1799 not taken. ✓ Branch 525 → 526 taken 1 time. ✓ Branch 525 → 535 taken 2 times. ✓ Branch 526 → 527 taken 1 time. ✗ Branch 526 → 535 not taken. ✓ Branch 527 → 528 taken 1 time. ✗ Branch 527 → 529 not taken. ✗ Branch 528 → 529 not taken. ✓ Branch 528 → 535 taken 1 time. ✗ Branch 530 → 531 not taken. ✗ Branch 530 → 1789 not taken. ✗ Branch 532 → 533 not taken. ✗ Branch 532 → 1787 not taken. ✓ Branch 590 → 591 taken 30 times. ✗ Branch 590 → 1942 not taken. ✓ Branch 591 → 592 taken 3 times. ✓ Branch 591 → 611 taken 27 times. ✓ Branch 593 → 594 taken 3 times. ✗ Branch 593 → 1942 not taken. ✓ Branch 595 → 596 taken 3 times. ✗ Branch 595 → 1942 not taken. ✓ Branch 596 → 597 taken 3 times. ✗ Branch 596 → 598 not taken. ✓ Branch 599 → 600 taken 3 times. ✗ Branch 599 → 1942 not taken. ✓ Branch 600 → 601 taken 3 times. ✗ Branch 600 → 1942 not taken. ✓ Branch 601 → 602 taken 1 time. ✓ Branch 601 → 610 taken 2 times. ✓ Branch 602 → 603 taken 1 time. ✗ Branch 602 → 610 not taken. ✓ Branch 603 → 604 taken 1 time. ✗ Branch 603 → 605 not taken. ✗ Branch 604 → 605 not taken. ✓ Branch 604 → 610 taken 1 time. ✗ Branch 605 → 606 not taken. ✗ Branch 605 → 1935 not taken. ✗ Branch 607 → 608 not taken. ✗ Branch 607 → 1933 not taken.	60	opr("bcs", 0xB0);
302	25/50 ✓ Branch 536 → 537 taken 3 times. ✓ Branch 536 → 557 taken 24 times. ✓ Branch 538 → 539 taken 3 times. ✗ Branch 538 → 1799 not taken. ✓ Branch 540 → 541 taken 3 times. ✗ Branch 540 → 1799 not taken. ✓ Branch 541 → 542 taken 3 times. ✗ Branch 541 → 543 not taken. ✓ Branch 544 → 545 taken 3 times. ✗ Branch 544 → 1799 not taken. ✓ Branch 545 → 546 taken 3 times. ✗ Branch 545 → 1799 not taken. ✓ Branch 546 → 547 taken 1 time. ✓ Branch 546 → 556 taken 2 times. ✓ Branch 547 → 548 taken 1 time. ✗ Branch 547 → 556 not taken. ✓ Branch 548 → 549 taken 1 time. ✗ Branch 548 → 550 not taken. ✗ Branch 549 → 550 not taken. ✓ Branch 549 → 556 taken 1 time. ✗ Branch 551 → 552 not taken. ✗ Branch 551 → 1793 not taken. ✗ Branch 553 → 554 not taken. ✗ Branch 553 → 1791 not taken. ✓ Branch 611 → 612 taken 27 times. ✗ Branch 611 → 1942 not taken. ✓ Branch 612 → 613 taken 3 times. ✓ Branch 612 → 632 taken 24 times. ✓ Branch 614 → 615 taken 3 times. ✗ Branch 614 → 1942 not taken. ✓ Branch 616 → 617 taken 3 times. ✗ Branch 616 → 1942 not taken. ✓ Branch 617 → 618 taken 3 times. ✗ Branch 617 → 619 not taken. ✓ Branch 620 → 621 taken 3 times. ✗ Branch 620 → 1942 not taken. ✓ Branch 621 → 622 taken 3 times. ✗ Branch 621 → 1942 not taken. ✓ Branch 622 → 623 taken 1 time. ✓ Branch 622 → 631 taken 2 times. ✓ Branch 623 → 624 taken 1 time. ✗ Branch 623 → 631 not taken. ✓ Branch 624 → 625 taken 1 time. ✗ Branch 624 → 626 not taken. ✗ Branch 625 → 626 not taken. ✓ Branch 625 → 631 taken 1 time. ✗ Branch 626 → 627 not taken. ✗ Branch 626 → 1938 not taken. ✗ Branch 628 → 629 not taken. ✗ Branch 628 → 1936 not taken.	54	opr("bne", 0xD0);
303	25/50 ✓ Branch 557 → 558 taken 3 times. ✓ Branch 557 → 578 taken 21 times. ✓ Branch 559 → 560 taken 3 times. ✗ Branch 559 → 1799 not taken. ✓ Branch 561 → 562 taken 3 times. ✗ Branch 561 → 1799 not taken. ✓ Branch 562 → 563 taken 3 times. ✗ Branch 562 → 564 not taken. ✓ Branch 565 → 566 taken 3 times. ✗ Branch 565 → 1799 not taken. ✓ Branch 566 → 567 taken 3 times. ✗ Branch 566 → 1799 not taken. ✓ Branch 567 → 568 taken 1 time. ✓ Branch 567 → 577 taken 2 times. ✓ Branch 568 → 569 taken 1 time. ✗ Branch 568 → 577 not taken. ✓ Branch 569 → 570 taken 1 time. ✗ Branch 569 → 571 not taken. ✗ Branch 570 → 571 not taken. ✓ Branch 570 → 577 taken 1 time. ✗ Branch 572 → 573 not taken. ✗ Branch 572 → 1797 not taken. ✗ Branch 574 → 575 not taken. ✗ Branch 574 → 1795 not taken. ✓ Branch 632 → 633 taken 24 times. ✗ Branch 632 → 1942 not taken. ✓ Branch 633 → 634 taken 3 times. ✓ Branch 633 → 653 taken 21 times. ✓ Branch 635 → 636 taken 3 times. ✗ Branch 635 → 1942 not taken. ✓ Branch 637 → 638 taken 3 times. ✗ Branch 637 → 1942 not taken. ✓ Branch 638 → 639 taken 3 times. ✗ Branch 638 → 640 not taken. ✓ Branch 641 → 642 taken 3 times. ✗ Branch 641 → 1942 not taken. ✓ Branch 642 → 643 taken 3 times. ✗ Branch 642 → 1942 not taken. ✓ Branch 643 → 644 taken 1 time. ✓ Branch 643 → 652 taken 2 times. ✓ Branch 644 → 645 taken 1 time. ✗ Branch 644 → 652 not taken. ✓ Branch 645 → 646 taken 1 time. ✗ Branch 645 → 647 not taken. ✗ Branch 646 → 647 not taken. ✓ Branch 646 → 652 taken 1 time. ✗ Branch 647 → 648 not taken. ✗ Branch 647 → 1941 not taken. ✗ Branch 649 → 650 not taken. ✗ Branch 649 → 1939 not taken.	48	opr("beq", 0xF0);
304			}
305			#undef isop
306			#undef isam
307			#undef eq
308			#undef w0
309			#undef w1
310			#undef w2
311			#undef wv
312			#undef wr
313			#undef op0
314			#undef op1
315			#undef op2
316			#undef opv
317			#undef opr
318			#undef match
319		42	return false;
320		738	}
321	2/4 ✓ Branch 584 → 585 taken 759 times. ✗ Branch 584 → 1749 not taken. ✓ Branch 657 → 658 taken 759 times. ✗ Branch 657 → 1905 not taken.	1518	if (numwordsinner==2)
322			{
323			#define iscc(str1, str2) (!stricmp(arg[0], str1) && !stricmp(arg[1], str2))
324			#define iscv(str1, left2, right2) (!stricmp(arg[0], str1) && matchandwrite(arg[1], left2, right2, s2))
325			#define isvc(left1, right1, str2) (matchandwrite(arg[0], left1, right1, s1) && !stricmp(arg[1], str2))
326			#define isvv(left1, right1, left2, right2) (matchandwrite(arg[0], left1, right1, s1) && matchandwrite(arg[1], left2, right2, s2))
327			#define cc(str1, str2) if (iscc(str1, str2))
328			#define cv(str1, left2, right2) if (iscv(str1, left2, right2))
329			#define vc(left1, right1, str2) if (isvc(left1, right1, str2))
330			#define vv(left1, right1, left2, right2) if (isvv(left1, right1, left2, right2))
331			#define w0(opcode) do { write1((unsigned int)opcode); return true; } while(0)
332			#define w1(opcode, math) \
333			do { \
334			write1((unsigned int)opcode); \
335			unsigned int val=getnum_ck(math); \
336			if ((((val&0xFF00) && (val&0x80000000) == 0) \|\| (((val&0xFF00) != 0xFF00) && (val&0x80000000))) && opLen != 1) \
337			asar_throw_warning(2, warning_id_spc700_assuming_8_bit); \
338			write1(val);\
339			return true; \
340			} while(0)
341			#define w2(opcode, math) do { write1((unsigned int)opcode); write2(getnum_ck(math)); return true; } while(0)
342			#define wv(opcode1, opcode2, math) do { if ((opLen == 1) \|\| (opLen == 0 && getlen(math)==1)) { write1((unsigned int)opcode1); write1(getnum_ck(math)); } \
343			else { write1((unsigned int)opcode2); write2(getnum_ck(math)); } return true; } while(0)
344			#define w11(opcode, math1, math2) do { write1((unsigned int)opcode); write1(getnum_ck(math1)); write1(getnum_ck(math2)); return true; } while(0)
345			#define wr(opcode, math) do { int len=getlen(math); int num=(int)getnum_ck(math); int pos=(len==1)?num:num-(snespos+2); \
346			if (pass==2 && foundlabel && (pos<-128 \|\| pos>127)) asar_throw_error(2, error_type_block, error_id_relative_branch_out_of_bounds, dec(pos).data()); \
347			write1((unsigned int)opcode); write1((unsigned int)pos); return true; } while(0)
348			#define w1r(opcode, math1, math2) do { int len=getlen(math2); int num=(int)getnum_ck(math2); int pos=(len==1)?num:num-(snespos+3); \
349			if (pass==2 && foundlabel && (pos<-128 \|\| pos>127)) asar_throw_error(2, error_type_block, error_id_relative_branch_out_of_bounds, dec(pos).data()); \
350			write1((unsigned int)opcode); write1(getnum_ck(math1)); write1((unsigned int)pos); return true; } while(0)
351		1518	string s1;
352		1518	string s2;
353		1518	string op;
354		1518	string math;
355		759	int bits;
356			#define isop(test) (!stricmp(op, test))
357	13/18 ✓ Branch 595 → 596 taken 30 times. ✓ Branch 595 → 600 taken 729 times. ✓ Branch 597 → 598 taken 30 times. ✗ Branch 597 → 1835 not taken. ✓ Branch 598 → 599 taken 30 times. ✗ Branch 598 → 600 not taken. ✓ Branch 601 → 602 taken 30 times. ✓ Branch 601 → 607 taken 729 times. ✓ Branch 663 → 664 taken 759 times. ✗ Branch 663 → 1968 not taken. ✓ Branch 664 → 665 taken 30 times. ✓ Branch 664 → 669 taken 729 times. ✓ Branch 666 → 667 taken 30 times. ✗ Branch 666 → 1968 not taken. ✓ Branch 667 → 668 taken 30 times. ✗ Branch 667 → 669 not taken. ✓ Branch 670 → 671 taken 30 times. ✓ Branch 670 → 676 taken 729 times.	1518	if (!stricmp(arg[0], "c") && bitmatch(word[0], op, arg[1], math, bits))
358			{
359	4/8 ✓ Branch 604 → 605 taken 30 times. ✗ Branch 604 → 1835 not taken. ✓ Branch 605 → 606 taken 30 times. ✗ Branch 605 → 607 not taken. ✓ Branch 673 → 674 taken 30 times. ✗ Branch 673 → 1968 not taken. ✓ Branch 674 → 675 taken 30 times. ✗ Branch 674 → 676 not taken.	60	if (assinglebitwithc(op, math, bits)) return true;
360			}
361	6/8 ✓ Branch 608 → 609 taken 729 times. ✗ Branch 608 → 1835 not taken. ✓ Branch 609 → 610 taken 63 times. ✓ Branch 609 → 659 taken 666 times. ✓ Branch 677 → 678 taken 729 times. ✗ Branch 677 → 1968 not taken. ✓ Branch 678 → 679 taken 63 times. ✓ Branch 678 → 729 taken 666 times.	1458	if (bitmatch(word[0], op, arg[0], s1, bits))
362			{
363	12/16 ✓ Branch 611 → 612 taken 3 times. ✓ Branch 611 → 615 taken 60 times. ✓ Branch 613 → 614 taken 3 times. ✗ Branch 613 → 615 not taken. ✓ Branch 616 → 617 taken 3 times. ✓ Branch 616 → 629 taken 60 times. ✓ Branch 680 → 681 taken 63 times. ✗ Branch 680 → 1968 not taken. ✓ Branch 681 → 682 taken 3 times. ✓ Branch 681 → 686 taken 60 times. ✓ Branch 683 → 684 taken 3 times. ✗ Branch 683 → 1968 not taken. ✓ Branch 684 → 685 taken 3 times. ✗ Branch 684 → 686 not taken. ✓ Branch 687 → 688 taken 3 times. ✓ Branch 687 → 699 taken 60 times.	126	if (isop("mov") && !stricmp(arg[1], "c"))
364			{
365	2/4 ✓ Branch 618 → 619 taken 3 times. ✗ Branch 618 → 1835 not taken. ✓ Branch 689 → 690 taken 3 times. ✗ Branch 689 → 1968 not taken.	6	unsigned int num=getnum_ck(s1);
366	2/12 ✗ Branch 619 → 620 not taken. ✓ Branch 619 → 626 taken 3 times. ✗ Branch 621 → 622 not taken. ✗ Branch 621 → 1809 not taken. ✗ Branch 623 → 624 not taken. ✗ Branch 623 → 1807 not taken. ✗ Branch 690 → 691 not taken. ✓ Branch 690 → 696 taken 3 times. ✗ Branch 691 → 692 not taken. ✗ Branch 691 → 1949 not taken. ✗ Branch 693 → 694 not taken. ✗ Branch 693 → 1947 not taken.	6	if (num>=0x2000) asar_throw_error(2, error_type_block, error_id_snes_address_out_of_bounds, hex6((unsigned int)num).data());
367	2/4 ✓ Branch 626 → 627 taken 3 times. ✗ Branch 626 → 1835 not taken. ✓ Branch 696 → 697 taken 3 times. ✗ Branch 696 → 1968 not taken.	6	write1(0xCA);
368	2/4 ✓ Branch 627 → 628 taken 3 times. ✗ Branch 627 → 1835 not taken. ✓ Branch 697 → 698 taken 3 times. ✗ Branch 697 → 1968 not taken.	6	write2(((unsigned int)bits<<13)\|num);
369		6	return true;
370			}
371	2/4 ✓ Branch 630 → 631 taken 60 times. ✗ Branch 630 → 1835 not taken. ✓ Branch 700 → 701 taken 60 times. ✗ Branch 700 → 1968 not taken.	120	int pos = (getnum_ck(arg[1])- (unsigned int)(snespos)-3);
372	8/12 ✓ Branch 631 → 632 taken 20 times. ✓ Branch 631 → 640 taken 40 times. ✓ Branch 632 → 633 taken 20 times. ✗ Branch 632 → 634 not taken. ✗ Branch 633 → 634 not taken. ✓ Branch 633 → 640 taken 20 times. ✓ Branch 701 → 702 taken 20 times. ✓ Branch 701 → 709 taken 40 times. ✓ Branch 702 → 703 taken 20 times. ✗ Branch 702 → 704 not taken. ✗ Branch 703 → 704 not taken. ✓ Branch 703 → 709 taken 20 times.	120	if (pass==2 && (pos<-128 \|\| pos>127)) {
373		✗	asar_throw_error(2, error_type_block, error_id_relative_branch_out_of_bounds, dec(pos).data());
374			}
375			if(0);
376	7/10 ✓ Branch 641 → 642 taken 36 times. ✓ Branch 641 → 643 taken 24 times. ✓ Branch 642 → 647 taken 36 times. ✗ Branch 642 → 1835 not taken. ✓ Branch 710 → 711 taken 60 times. ✗ Branch 710 → 1968 not taken. ✓ Branch 711 → 712 taken 36 times. ✓ Branch 711 → 713 taken 24 times. ✓ Branch 712 → 718 taken 36 times. ✗ Branch 712 → 1968 not taken.	120	else if (isop("bbs")) write1((unsigned int)(0x03\|(bits<<5)));
377	5/10 ✓ Branch 644 → 645 taken 24 times. ✗ Branch 644 → 646 not taken. ✓ Branch 645 → 647 taken 24 times. ✗ Branch 645 → 1835 not taken. ✓ Branch 714 → 715 taken 24 times. ✗ Branch 714 → 1968 not taken. ✓ Branch 715 → 716 taken 24 times. ✗ Branch 715 → 717 not taken. ✓ Branch 716 → 718 taken 24 times. ✗ Branch 716 → 1968 not taken.	48	else if (isop("bbc")) write1((unsigned int)(0x13\|(bits<<5)));
378		✗	else return false;
379	2/4 ✓ Branch 648 → 649 taken 60 times. ✗ Branch 648 → 1835 not taken. ✓ Branch 719 → 720 taken 60 times. ✗ Branch 719 → 1968 not taken.	120	unsigned int num=getnum_ck(s1);
380	2/12 ✗ Branch 649 → 650 not taken. ✓ Branch 649 → 656 taken 60 times. ✗ Branch 651 → 652 not taken. ✗ Branch 651 → 1817 not taken. ✗ Branch 653 → 654 not taken. ✗ Branch 653 → 1815 not taken. ✗ Branch 720 → 721 not taken. ✓ Branch 720 → 726 taken 60 times. ✗ Branch 721 → 722 not taken. ✗ Branch 721 → 1955 not taken. ✗ Branch 723 → 724 not taken. ✗ Branch 723 → 1953 not taken.	120	if (num>=0x100) asar_throw_error(2, error_type_block, error_id_snes_address_out_of_bounds, hex6(num).data());
381	2/4 ✓ Branch 656 → 657 taken 60 times. ✗ Branch 656 → 1835 not taken. ✓ Branch 726 → 727 taken 60 times. ✗ Branch 726 → 1968 not taken.	120	write1(num);
382	2/4 ✓ Branch 657 → 658 taken 60 times. ✗ Branch 657 → 1835 not taken. ✓ Branch 727 → 728 taken 60 times. ✗ Branch 727 → 1968 not taken.	120	write1(pos);
383		120	return true;
384			}
385			#undef isop
386	5/6 ✓ Branch 659 → 660 taken 225 times. ✓ Branch 659 → 1235 taken 441 times. ✓ Branch 729 → 730 taken 666 times. ✗ Branch 729 → 1968 not taken. ✓ Branch 730 → 731 taken 225 times. ✓ Branch 730 → 1351 taken 441 times.	1332	if (is("mov"))
387			{
388	5/20 ✗ Branch 661 → 662 not taken. ✓ Branch 661 → 665 taken 225 times. ✗ Branch 663 → 664 not taken. ✗ Branch 663 → 665 not taken. ✗ Branch 666 → 667 not taken. ✓ Branch 666 → 668 taken 225 times. ✗ Branch 667 → 668 not taken. ✗ Branch 667 → 1835 not taken. ✓ Branch 732 → 733 taken 225 times. ✗ Branch 732 → 1968 not taken. ✗ Branch 733 → 734 not taken. ✓ Branch 733 → 738 taken 225 times. ✗ Branch 735 → 736 not taken. ✗ Branch 735 → 1968 not taken. ✗ Branch 736 → 737 not taken. ✗ Branch 736 → 738 not taken. ✗ Branch 739 → 740 not taken. ✓ Branch 739 → 741 taken 225 times. ✗ Branch 740 → 741 not taken. ✗ Branch 740 → 1968 not taken.	450	if (iscc("(x)+", "a")) asar_throw_error(0, error_type_block, error_id_use_xplus);
389	14/20 ✓ Branch 669 → 670 taken 3 times. ✓ Branch 669 → 673 taken 222 times. ✓ Branch 671 → 672 taken 3 times. ✗ Branch 671 → 673 not taken. ✓ Branch 674 → 675 taken 3 times. ✓ Branch 674 → 677 taken 222 times. ✓ Branch 675 → 676 taken 3 times. ✗ Branch 675 → 1835 not taken. ✓ Branch 742 → 743 taken 225 times. ✗ Branch 742 → 1968 not taken. ✓ Branch 743 → 744 taken 3 times. ✓ Branch 743 → 748 taken 222 times. ✓ Branch 745 → 746 taken 3 times. ✗ Branch 745 → 1968 not taken. ✓ Branch 746 → 747 taken 3 times. ✗ Branch 746 → 748 not taken. ✓ Branch 749 → 750 taken 3 times. ✓ Branch 749 → 752 taken 222 times. ✓ Branch 750 → 751 taken 3 times. ✗ Branch 750 → 1968 not taken.	450	cc("(x+)" , "a" ) w0(0xAF);
390	14/20 ✓ Branch 678 → 679 taken 3 times. ✓ Branch 678 → 682 taken 219 times. ✓ Branch 680 → 681 taken 3 times. ✗ Branch 680 → 682 not taken. ✓ Branch 683 → 684 taken 3 times. ✓ Branch 683 → 686 taken 219 times. ✓ Branch 684 → 685 taken 3 times. ✗ Branch 684 → 1835 not taken. ✓ Branch 753 → 754 taken 222 times. ✗ Branch 753 → 1968 not taken. ✓ Branch 754 → 755 taken 3 times. ✓ Branch 754 → 759 taken 219 times. ✓ Branch 756 → 757 taken 3 times. ✗ Branch 756 → 1968 not taken. ✓ Branch 757 → 758 taken 3 times. ✗ Branch 757 → 759 not taken. ✓ Branch 760 → 761 taken 3 times. ✓ Branch 760 → 763 taken 219 times. ✓ Branch 761 → 762 taken 3 times. ✗ Branch 761 → 1968 not taken.	444	cc("(x)" , "a" ) w0(0xC6);
391	10/20 ✓ Branch 687 → 688 taken 60 times. ✓ Branch 687 → 691 taken 159 times. ✗ Branch 689 → 690 not taken. ✓ Branch 689 → 691 taken 60 times. ✗ Branch 692 → 693 not taken. ✓ Branch 692 → 694 taken 219 times. ✗ Branch 693 → 694 not taken. ✗ Branch 693 → 1835 not taken. ✓ Branch 764 → 765 taken 219 times. ✗ Branch 764 → 1968 not taken. ✓ Branch 765 → 766 taken 60 times. ✓ Branch 765 → 770 taken 159 times. ✓ Branch 767 → 768 taken 60 times. ✗ Branch 767 → 1968 not taken. ✗ Branch 768 → 769 not taken. ✓ Branch 768 → 770 taken 60 times. ✗ Branch 771 → 772 not taken. ✓ Branch 771 → 773 taken 219 times. ✗ Branch 772 → 773 not taken. ✗ Branch 772 → 1968 not taken.	438	if (iscc("a", "(x)+")) asar_throw_error(0, error_type_block, error_id_use_xplus);
392	16/20 ✓ Branch 695 → 696 taken 60 times. ✓ Branch 695 → 699 taken 159 times. ✓ Branch 697 → 698 taken 3 times. ✓ Branch 697 → 699 taken 57 times. ✓ Branch 700 → 701 taken 3 times. ✓ Branch 700 → 703 taken 216 times. ✓ Branch 701 → 702 taken 3 times. ✗ Branch 701 → 1835 not taken. ✓ Branch 774 → 775 taken 219 times. ✗ Branch 774 → 1968 not taken. ✓ Branch 775 → 776 taken 60 times. ✓ Branch 775 → 780 taken 159 times. ✓ Branch 777 → 778 taken 60 times. ✗ Branch 777 → 1968 not taken. ✓ Branch 778 → 779 taken 3 times. ✓ Branch 778 → 780 taken 57 times. ✓ Branch 781 → 782 taken 3 times. ✓ Branch 781 → 784 taken 216 times. ✓ Branch 782 → 783 taken 3 times. ✗ Branch 782 → 1968 not taken.	438	cc("a" , "(x+)" ) w0(0xBF);
393	16/20 ✓ Branch 704 → 705 taken 57 times. ✓ Branch 704 → 708 taken 159 times. ✓ Branch 706 → 707 taken 3 times. ✓ Branch 706 → 708 taken 54 times. ✓ Branch 709 → 710 taken 3 times. ✓ Branch 709 → 712 taken 213 times. ✓ Branch 710 → 711 taken 3 times. ✗ Branch 710 → 1835 not taken. ✓ Branch 785 → 786 taken 216 times. ✗ Branch 785 → 1968 not taken. ✓ Branch 786 → 787 taken 57 times. ✓ Branch 786 → 791 taken 159 times. ✓ Branch 788 → 789 taken 57 times. ✗ Branch 788 → 1968 not taken. ✓ Branch 789 → 790 taken 3 times. ✓ Branch 789 → 791 taken 54 times. ✓ Branch 792 → 793 taken 3 times. ✓ Branch 792 → 795 taken 213 times. ✓ Branch 793 → 794 taken 3 times. ✗ Branch 793 → 1968 not taken.	432	cc("a" , "(x)" ) w0(0xE6);
394	16/20 ✓ Branch 713 → 714 taken 54 times. ✓ Branch 713 → 717 taken 159 times. ✓ Branch 715 → 716 taken 3 times. ✓ Branch 715 → 717 taken 51 times. ✓ Branch 718 → 719 taken 3 times. ✓ Branch 718 → 721 taken 210 times. ✓ Branch 719 → 720 taken 3 times. ✗ Branch 719 → 1835 not taken. ✓ Branch 796 → 797 taken 213 times. ✗ Branch 796 → 1968 not taken. ✓ Branch 797 → 798 taken 54 times. ✓ Branch 797 → 802 taken 159 times. ✓ Branch 799 → 800 taken 54 times. ✗ Branch 799 → 1968 not taken. ✓ Branch 800 → 801 taken 3 times. ✓ Branch 800 → 802 taken 51 times. ✓ Branch 803 → 804 taken 3 times. ✓ Branch 803 → 806 taken 210 times. ✓ Branch 804 → 805 taken 3 times. ✗ Branch 804 → 1968 not taken.	426	cc("a" , "x" ) w0(0x7D);
395	16/20 ✓ Branch 722 → 723 taken 51 times. ✓ Branch 722 → 726 taken 159 times. ✓ Branch 724 → 725 taken 3 times. ✓ Branch 724 → 726 taken 48 times. ✓ Branch 727 → 728 taken 3 times. ✓ Branch 727 → 730 taken 207 times. ✓ Branch 728 → 729 taken 3 times. ✗ Branch 728 → 1835 not taken. ✓ Branch 807 → 808 taken 210 times. ✗ Branch 807 → 1968 not taken. ✓ Branch 808 → 809 taken 51 times. ✓ Branch 808 → 813 taken 159 times. ✓ Branch 810 → 811 taken 51 times. ✗ Branch 810 → 1968 not taken. ✓ Branch 811 → 812 taken 3 times. ✓ Branch 811 → 813 taken 48 times. ✓ Branch 814 → 815 taken 3 times. ✓ Branch 814 → 817 taken 207 times. ✓ Branch 815 → 816 taken 3 times. ✗ Branch 815 → 1968 not taken.	420	cc("a" , "y" ) w0(0xDD);
396	16/20 ✓ Branch 731 → 732 taken 30 times. ✓ Branch 731 → 735 taken 177 times. ✓ Branch 733 → 734 taken 3 times. ✓ Branch 733 → 735 taken 27 times. ✓ Branch 736 → 737 taken 3 times. ✓ Branch 736 → 739 taken 204 times. ✓ Branch 737 → 738 taken 3 times. ✗ Branch 737 → 1835 not taken. ✓ Branch 818 → 819 taken 207 times. ✗ Branch 818 → 1968 not taken. ✓ Branch 819 → 820 taken 30 times. ✓ Branch 819 → 824 taken 177 times. ✓ Branch 821 → 822 taken 30 times. ✗ Branch 821 → 1968 not taken. ✓ Branch 822 → 823 taken 3 times. ✓ Branch 822 → 824 taken 27 times. ✓ Branch 825 → 826 taken 3 times. ✓ Branch 825 → 828 taken 204 times. ✓ Branch 826 → 827 taken 3 times. ✗ Branch 826 → 1968 not taken.	414	cc("x" , "a" ) w0(0x5D);
397	16/20 ✓ Branch 740 → 741 taken 27 times. ✓ Branch 740 → 744 taken 177 times. ✓ Branch 742 → 743 taken 3 times. ✓ Branch 742 → 744 taken 24 times. ✓ Branch 745 → 746 taken 3 times. ✓ Branch 745 → 748 taken 201 times. ✓ Branch 746 → 747 taken 3 times. ✗ Branch 746 → 1835 not taken. ✓ Branch 829 → 830 taken 204 times. ✗ Branch 829 → 1968 not taken. ✓ Branch 830 → 831 taken 27 times. ✓ Branch 830 → 835 taken 177 times. ✓ Branch 832 → 833 taken 27 times. ✗ Branch 832 → 1968 not taken. ✓ Branch 833 → 834 taken 3 times. ✓ Branch 833 → 835 taken 24 times. ✓ Branch 836 → 837 taken 3 times. ✓ Branch 836 → 839 taken 201 times. ✓ Branch 837 → 838 taken 3 times. ✗ Branch 837 → 1968 not taken.	408	cc("x" , "sp" ) w0(0x9D);
398	16/20 ✓ Branch 749 → 750 taken 27 times. ✓ Branch 749 → 753 taken 174 times. ✓ Branch 751 → 752 taken 3 times. ✓ Branch 751 → 753 taken 24 times. ✓ Branch 754 → 755 taken 3 times. ✓ Branch 754 → 757 taken 198 times. ✓ Branch 755 → 756 taken 3 times. ✗ Branch 755 → 1835 not taken. ✓ Branch 840 → 841 taken 201 times. ✗ Branch 840 → 1968 not taken. ✓ Branch 841 → 842 taken 27 times. ✓ Branch 841 → 846 taken 174 times. ✓ Branch 843 → 844 taken 27 times. ✗ Branch 843 → 1968 not taken. ✓ Branch 844 → 845 taken 3 times. ✓ Branch 844 → 846 taken 24 times. ✓ Branch 847 → 848 taken 3 times. ✓ Branch 847 → 850 taken 198 times. ✓ Branch 848 → 849 taken 3 times. ✗ Branch 848 → 1968 not taken.	402	cc("y" , "a" ) w0(0xFD);
399	14/20 ✓ Branch 758 → 759 taken 3 times. ✓ Branch 758 → 762 taken 195 times. ✓ Branch 760 → 761 taken 3 times. ✗ Branch 760 → 762 not taken. ✓ Branch 763 → 764 taken 3 times. ✓ Branch 763 → 766 taken 195 times. ✓ Branch 764 → 765 taken 3 times. ✗ Branch 764 → 1835 not taken. ✓ Branch 851 → 852 taken 198 times. ✗ Branch 851 → 1968 not taken. ✓ Branch 852 → 853 taken 3 times. ✓ Branch 852 → 857 taken 195 times. ✓ Branch 854 → 855 taken 3 times. ✗ Branch 854 → 1968 not taken. ✓ Branch 855 → 856 taken 3 times. ✗ Branch 855 → 857 not taken. ✓ Branch 858 → 859 taken 3 times. ✓ Branch 858 → 861 taken 195 times. ✓ Branch 859 → 860 taken 3 times. ✗ Branch 859 → 1968 not taken.	396	cc("sp" , "x" ) w0(0xBD);
400
401	25/54 ✓ Branch 767 → 768 taken 195 times. ✗ Branch 767 → 1835 not taken. ✓ Branch 768 → 769 taken 3 times. ✓ Branch 768 → 772 taken 192 times. ✓ Branch 770 → 771 taken 3 times. ✗ Branch 770 → 772 not taken. ✓ Branch 773 → 774 taken 3 times. ✓ Branch 773 → 785 taken 192 times. ✓ Branch 774 → 775 taken 3 times. ✗ Branch 774 → 1835 not taken. ✓ Branch 776 → 777 taken 3 times. ✗ Branch 776 → 1835 not taken. ✗ Branch 777 → 778 not taken. ✓ Branch 777 → 779 taken 3 times. ✗ Branch 778 → 779 not taken. ✗ Branch 778 → 781 not taken. ✓ Branch 779 → 780 taken 3 times. ✗ Branch 779 → 783 not taken. ✗ Branch 780 → 781 not taken. ✓ Branch 780 → 783 taken 3 times. ✗ Branch 781 → 782 not taken. ✗ Branch 781 → 783 not taken. ✗ Branch 782 → 783 not taken. ✗ Branch 782 → 1835 not taken. ✓ Branch 783 → 784 taken 3 times. ✗ Branch 783 → 1835 not taken. ✓ Branch 862 → 863 taken 195 times. ✗ Branch 862 → 1968 not taken. ✓ Branch 863 → 864 taken 3 times. ✓ Branch 863 → 868 taken 192 times. ✓ Branch 865 → 866 taken 3 times. ✗ Branch 865 → 1968 not taken. ✓ Branch 866 → 867 taken 3 times. ✗ Branch 866 → 868 not taken. ✓ Branch 869 → 870 taken 3 times. ✓ Branch 869 → 881 taken 192 times. ✓ Branch 870 → 871 taken 3 times. ✗ Branch 870 → 1968 not taken. ✓ Branch 872 → 873 taken 3 times. ✗ Branch 872 → 1968 not taken. ✗ Branch 873 → 874 not taken. ✓ Branch 873 → 875 taken 3 times. ✗ Branch 874 → 875 not taken. ✗ Branch 874 → 877 not taken. ✓ Branch 875 → 876 taken 3 times. ✗ Branch 875 → 879 not taken. ✗ Branch 876 → 877 not taken. ✓ Branch 876 → 879 taken 3 times. ✗ Branch 877 → 878 not taken. ✗ Branch 877 → 879 not taken. ✗ Branch 878 → 879 not taken. ✗ Branch 878 → 1968 not taken. ✓ Branch 879 → 880 taken 3 times. ✗ Branch 879 → 1968 not taken.	390	vc("(","+x)", "a" ) w1(0xC7, s1);
402	25/54 ✓ Branch 786 → 787 taken 192 times. ✗ Branch 786 → 1835 not taken. ✓ Branch 787 → 788 taken 3 times. ✓ Branch 787 → 791 taken 189 times. ✓ Branch 789 → 790 taken 3 times. ✗ Branch 789 → 791 not taken. ✓ Branch 792 → 793 taken 3 times. ✓ Branch 792 → 804 taken 189 times. ✓ Branch 793 → 794 taken 3 times. ✗ Branch 793 → 1835 not taken. ✓ Branch 795 → 796 taken 3 times. ✗ Branch 795 → 1835 not taken. ✗ Branch 796 → 797 not taken. ✓ Branch 796 → 798 taken 3 times. ✗ Branch 797 → 798 not taken. ✗ Branch 797 → 800 not taken. ✓ Branch 798 → 799 taken 3 times. ✗ Branch 798 → 802 not taken. ✗ Branch 799 → 800 not taken. ✓ Branch 799 → 802 taken 3 times. ✗ Branch 800 → 801 not taken. ✗ Branch 800 → 802 not taken. ✗ Branch 801 → 802 not taken. ✗ Branch 801 → 1835 not taken. ✓ Branch 802 → 803 taken 3 times. ✗ Branch 802 → 1835 not taken. ✓ Branch 882 → 883 taken 192 times. ✗ Branch 882 → 1968 not taken. ✓ Branch 883 → 884 taken 3 times. ✓ Branch 883 → 888 taken 189 times. ✓ Branch 885 → 886 taken 3 times. ✗ Branch 885 → 1968 not taken. ✓ Branch 886 → 887 taken 3 times. ✗ Branch 886 → 888 not taken. ✓ Branch 889 → 890 taken 3 times. ✓ Branch 889 → 901 taken 189 times. ✓ Branch 890 → 891 taken 3 times. ✗ Branch 890 → 1968 not taken. ✓ Branch 892 → 893 taken 3 times. ✗ Branch 892 → 1968 not taken. ✗ Branch 893 → 894 not taken. ✓ Branch 893 → 895 taken 3 times. ✗ Branch 894 → 895 not taken. ✗ Branch 894 → 897 not taken. ✓ Branch 895 → 896 taken 3 times. ✗ Branch 895 → 899 not taken. ✗ Branch 896 → 897 not taken. ✓ Branch 896 → 899 taken 3 times. ✗ Branch 897 → 898 not taken. ✗ Branch 897 → 899 not taken. ✗ Branch 898 → 899 not taken. ✗ Branch 898 → 1968 not taken. ✓ Branch 899 → 900 taken 3 times. ✗ Branch 899 → 1968 not taken.	384	vc("(",")+y", "a" ) w1(0xD7, s1);
403	45/62 ✓ Branch 805 → 806 taken 189 times. ✗ Branch 805 → 1835 not taken. ✓ Branch 806 → 807 taken 21 times. ✓ Branch 806 → 810 taken 168 times. ✓ Branch 808 → 809 taken 18 times. ✓ Branch 808 → 810 taken 3 times. ✓ Branch 811 → 812 taken 18 times. ✓ Branch 811 → 829 taken 171 times. ✓ Branch 812 → 813 taken 12 times. ✓ Branch 812 → 817 taken 6 times. ✓ Branch 813 → 814 taken 6 times. ✓ Branch 813 → 818 taken 6 times. ✓ Branch 815 → 816 taken 6 times. ✗ Branch 815 → 1835 not taken. ✓ Branch 816 → 817 taken 3 times. ✓ Branch 816 → 818 taken 3 times. ✓ Branch 819 → 820 taken 9 times. ✓ Branch 819 → 824 taken 9 times. ✓ Branch 820 → 821 taken 9 times. ✗ Branch 820 → 1835 not taken. ✓ Branch 822 → 823 taken 9 times. ✗ Branch 822 → 1835 not taken. ✓ Branch 823 → 828 taken 9 times. ✗ Branch 823 → 1835 not taken. ✓ Branch 824 → 825 taken 9 times. ✗ Branch 824 → 1835 not taken. ✓ Branch 826 → 827 taken 9 times. ✗ Branch 826 → 1835 not taken. ✓ Branch 827 → 828 taken 9 times. ✗ Branch 827 → 1835 not taken. ✓ Branch 902 → 903 taken 189 times. ✗ Branch 902 → 1968 not taken. ✓ Branch 903 → 904 taken 21 times. ✓ Branch 903 → 908 taken 168 times. ✓ Branch 905 → 906 taken 21 times. ✗ Branch 905 → 1968 not taken. ✓ Branch 906 → 907 taken 18 times. ✓ Branch 906 → 908 taken 3 times. ✓ Branch 909 → 910 taken 18 times. ✓ Branch 909 → 927 taken 171 times. ✓ Branch 910 → 911 taken 12 times. ✓ Branch 910 → 915 taken 6 times. ✓ Branch 911 → 912 taken 6 times. ✓ Branch 911 → 916 taken 6 times. ✓ Branch 913 → 914 taken 6 times. ✗ Branch 913 → 1968 not taken. ✓ Branch 914 → 915 taken 3 times. ✓ Branch 914 → 916 taken 3 times. ✓ Branch 917 → 918 taken 9 times. ✓ Branch 917 → 922 taken 9 times. ✓ Branch 918 → 919 taken 9 times. ✗ Branch 918 → 1968 not taken. ✓ Branch 920 → 921 taken 9 times. ✗ Branch 920 → 1968 not taken. ✓ Branch 921 → 926 taken 9 times. ✗ Branch 921 → 1968 not taken. ✓ Branch 922 → 923 taken 9 times. ✗ Branch 922 → 1968 not taken. ✓ Branch 924 → 925 taken 9 times. ✗ Branch 924 → 1968 not taken. ✓ Branch 925 → 926 taken 9 times. ✗ Branch 925 → 1968 not taken.	378	vc("","+x" , "a" ) wv(0xD4, 0xD5, s1);
404	21/30 ✓ Branch 830 → 831 taken 171 times. ✗ Branch 830 → 1835 not taken. ✓ Branch 831 → 832 taken 6 times. ✓ Branch 831 → 835 taken 165 times. ✓ Branch 833 → 834 taken 3 times. ✓ Branch 833 → 835 taken 3 times. ✓ Branch 836 → 837 taken 3 times. ✓ Branch 836 → 842 taken 168 times. ✓ Branch 837 → 838 taken 3 times. ✗ Branch 837 → 1835 not taken. ✓ Branch 839 → 840 taken 3 times. ✗ Branch 839 → 1835 not taken. ✓ Branch 840 → 841 taken 3 times. ✗ Branch 840 → 1835 not taken. ✓ Branch 928 → 929 taken 171 times. ✗ Branch 928 → 1968 not taken. ✓ Branch 929 → 930 taken 6 times. ✓ Branch 929 → 934 taken 165 times. ✓ Branch 931 → 932 taken 6 times. ✗ Branch 931 → 1968 not taken. ✓ Branch 932 → 933 taken 3 times. ✓ Branch 932 → 934 taken 3 times. ✓ Branch 935 → 936 taken 3 times. ✓ Branch 935 → 941 taken 168 times. ✓ Branch 936 → 937 taken 3 times. ✗ Branch 936 → 1968 not taken. ✓ Branch 938 → 939 taken 3 times. ✗ Branch 938 → 1968 not taken. ✓ Branch 939 → 940 taken 3 times. ✗ Branch 939 → 1968 not taken.	342	vc("","+y" , "a" ) w2(0xD6, s1);
405	43/62 ✓ Branch 843 → 844 taken 168 times. ✗ Branch 843 → 1835 not taken. ✓ Branch 844 → 845 taken 168 times. ✗ Branch 844 → 848 not taken. ✓ Branch 846 → 847 taken 18 times. ✓ Branch 846 → 848 taken 150 times. ✓ Branch 849 → 850 taken 18 times. ✓ Branch 849 → 867 taken 150 times. ✓ Branch 850 → 851 taken 12 times. ✓ Branch 850 → 855 taken 6 times. ✓ Branch 851 → 852 taken 6 times. ✓ Branch 851 → 856 taken 6 times. ✓ Branch 853 → 854 taken 6 times. ✗ Branch 853 → 1835 not taken. ✓ Branch 854 → 855 taken 3 times. ✓ Branch 854 → 856 taken 3 times. ✓ Branch 857 → 858 taken 9 times. ✓ Branch 857 → 862 taken 9 times. ✓ Branch 858 → 859 taken 9 times. ✗ Branch 858 → 1835 not taken. ✓ Branch 860 → 861 taken 9 times. ✗ Branch 860 → 1835 not taken. ✓ Branch 861 → 866 taken 9 times. ✗ Branch 861 → 1835 not taken. ✓ Branch 862 → 863 taken 9 times. ✗ Branch 862 → 1835 not taken. ✓ Branch 864 → 865 taken 9 times. ✗ Branch 864 → 1835 not taken. ✓ Branch 865 → 866 taken 9 times. ✗ Branch 865 → 1835 not taken. ✓ Branch 942 → 943 taken 168 times. ✗ Branch 942 → 1968 not taken. ✓ Branch 943 → 944 taken 168 times. ✗ Branch 943 → 948 not taken. ✓ Branch 945 → 946 taken 168 times. ✗ Branch 945 → 1968 not taken. ✓ Branch 946 → 947 taken 18 times. ✓ Branch 946 → 948 taken 150 times. ✓ Branch 949 → 950 taken 18 times. ✓ Branch 949 → 967 taken 150 times. ✓ Branch 950 → 951 taken 12 times. ✓ Branch 950 → 955 taken 6 times. ✓ Branch 951 → 952 taken 6 times. ✓ Branch 951 → 956 taken 6 times. ✓ Branch 953 → 954 taken 6 times. ✗ Branch 953 → 1968 not taken. ✓ Branch 954 → 955 taken 3 times. ✓ Branch 954 → 956 taken 3 times. ✓ Branch 957 → 958 taken 9 times. ✓ Branch 957 → 962 taken 9 times. ✓ Branch 958 → 959 taken 9 times. ✗ Branch 958 → 1968 not taken. ✓ Branch 960 → 961 taken 9 times. ✗ Branch 960 → 1968 not taken. ✓ Branch 961 → 966 taken 9 times. ✗ Branch 961 → 1968 not taken. ✓ Branch 962 → 963 taken 9 times. ✗ Branch 962 → 1968 not taken. ✓ Branch 964 → 965 taken 9 times. ✗ Branch 964 → 1968 not taken. ✓ Branch 965 → 966 taken 9 times. ✗ Branch 965 → 1968 not taken.	336	vc("","" , "a" ) wv(0xC4, 0xC5, s1);
406	25/54 ✓ Branch 868 → 869 taken 150 times. ✗ Branch 868 → 1835 not taken. ✓ Branch 869 → 870 taken 3 times. ✓ Branch 869 → 873 taken 147 times. ✓ Branch 871 → 872 taken 3 times. ✗ Branch 871 → 873 not taken. ✓ Branch 874 → 875 taken 3 times. ✓ Branch 874 → 886 taken 147 times. ✓ Branch 875 → 876 taken 3 times. ✗ Branch 875 → 1835 not taken. ✓ Branch 877 → 878 taken 3 times. ✗ Branch 877 → 1835 not taken. ✗ Branch 878 → 879 not taken. ✓ Branch 878 → 880 taken 3 times. ✗ Branch 879 → 880 not taken. ✗ Branch 879 → 882 not taken. ✓ Branch 880 → 881 taken 3 times. ✗ Branch 880 → 884 not taken. ✗ Branch 881 → 882 not taken. ✓ Branch 881 → 884 taken 3 times. ✗ Branch 882 → 883 not taken. ✗ Branch 882 → 884 not taken. ✗ Branch 883 → 884 not taken. ✗ Branch 883 → 1835 not taken. ✓ Branch 884 → 885 taken 3 times. ✗ Branch 884 → 1835 not taken. ✓ Branch 968 → 969 taken 150 times. ✗ Branch 968 → 1968 not taken. ✓ Branch 969 → 970 taken 3 times. ✓ Branch 969 → 974 taken 147 times. ✓ Branch 971 → 972 taken 3 times. ✗ Branch 971 → 1968 not taken. ✓ Branch 972 → 973 taken 3 times. ✗ Branch 972 → 974 not taken. ✓ Branch 975 → 976 taken 3 times. ✓ Branch 975 → 987 taken 147 times. ✓ Branch 976 → 977 taken 3 times. ✗ Branch 976 → 1968 not taken. ✓ Branch 978 → 979 taken 3 times. ✗ Branch 978 → 1968 not taken. ✗ Branch 979 → 980 not taken. ✓ Branch 979 → 981 taken 3 times. ✗ Branch 980 → 981 not taken. ✗ Branch 980 → 983 not taken. ✓ Branch 981 → 982 taken 3 times. ✗ Branch 981 → 985 not taken. ✗ Branch 982 → 983 not taken. ✓ Branch 982 → 985 taken 3 times. ✗ Branch 983 → 984 not taken. ✗ Branch 983 → 985 not taken. ✗ Branch 984 → 985 not taken. ✗ Branch 984 → 1968 not taken. ✓ Branch 985 → 986 taken 3 times. ✗ Branch 985 → 1968 not taken.	300	vc("","+x" , "y" ) w1(0xDB, s1);
407	25/54 ✓ Branch 887 → 888 taken 147 times. ✗ Branch 887 → 1835 not taken. ✓ Branch 888 → 889 taken 3 times. ✓ Branch 888 → 892 taken 144 times. ✓ Branch 890 → 891 taken 3 times. ✗ Branch 890 → 892 not taken. ✓ Branch 893 → 894 taken 3 times. ✓ Branch 893 → 905 taken 144 times. ✓ Branch 894 → 895 taken 3 times. ✗ Branch 894 → 1835 not taken. ✓ Branch 896 → 897 taken 3 times. ✗ Branch 896 → 1835 not taken. ✗ Branch 897 → 898 not taken. ✓ Branch 897 → 899 taken 3 times. ✗ Branch 898 → 899 not taken. ✗ Branch 898 → 901 not taken. ✓ Branch 899 → 900 taken 3 times. ✗ Branch 899 → 903 not taken. ✗ Branch 900 → 901 not taken. ✓ Branch 900 → 903 taken 3 times. ✗ Branch 901 → 902 not taken. ✗ Branch 901 → 903 not taken. ✗ Branch 902 → 903 not taken. ✗ Branch 902 → 1835 not taken. ✓ Branch 903 → 904 taken 3 times. ✗ Branch 903 → 1835 not taken. ✓ Branch 988 → 989 taken 147 times. ✗ Branch 988 → 1968 not taken. ✓ Branch 989 → 990 taken 3 times. ✓ Branch 989 → 994 taken 144 times. ✓ Branch 991 → 992 taken 3 times. ✗ Branch 991 → 1968 not taken. ✓ Branch 992 → 993 taken 3 times. ✗ Branch 992 → 994 not taken. ✓ Branch 995 → 996 taken 3 times. ✓ Branch 995 → 1007 taken 144 times. ✓ Branch 996 → 997 taken 3 times. ✗ Branch 996 → 1968 not taken. ✓ Branch 998 → 999 taken 3 times. ✗ Branch 998 → 1968 not taken. ✗ Branch 999 → 1000 not taken. ✓ Branch 999 → 1001 taken 3 times. ✗ Branch 1000 → 1001 not taken. ✗ Branch 1000 → 1003 not taken. ✓ Branch 1001 → 1002 taken 3 times. ✗ Branch 1001 → 1005 not taken. ✗ Branch 1002 → 1003 not taken. ✓ Branch 1002 → 1005 taken 3 times. ✗ Branch 1003 → 1004 not taken. ✗ Branch 1003 → 1005 not taken. ✗ Branch 1004 → 1005 not taken. ✗ Branch 1004 → 1968 not taken. ✓ Branch 1005 → 1006 taken 3 times. ✗ Branch 1005 → 1968 not taken.	294	vc("","+y" , "x" ) w1(0xD9, s1);
408	43/62 ✓ Branch 906 → 907 taken 144 times. ✗ Branch 906 → 1835 not taken. ✓ Branch 907 → 908 taken 144 times. ✗ Branch 907 → 911 not taken. ✓ Branch 909 → 910 taken 18 times. ✓ Branch 909 → 911 taken 126 times. ✓ Branch 912 → 913 taken 18 times. ✓ Branch 912 → 930 taken 126 times. ✓ Branch 913 → 914 taken 12 times. ✓ Branch 913 → 918 taken 6 times. ✓ Branch 914 → 915 taken 6 times. ✓ Branch 914 → 919 taken 6 times. ✓ Branch 916 → 917 taken 6 times. ✗ Branch 916 → 1835 not taken. ✓ Branch 917 → 918 taken 3 times. ✓ Branch 917 → 919 taken 3 times. ✓ Branch 920 → 921 taken 9 times. ✓ Branch 920 → 925 taken 9 times. ✓ Branch 921 → 922 taken 9 times. ✗ Branch 921 → 1835 not taken. ✓ Branch 923 → 924 taken 9 times. ✗ Branch 923 → 1835 not taken. ✓ Branch 924 → 929 taken 9 times. ✗ Branch 924 → 1835 not taken. ✓ Branch 925 → 926 taken 9 times. ✗ Branch 925 → 1835 not taken. ✓ Branch 927 → 928 taken 9 times. ✗ Branch 927 → 1835 not taken. ✓ Branch 928 → 929 taken 9 times. ✗ Branch 928 → 1835 not taken. ✓ Branch 1008 → 1009 taken 144 times. ✗ Branch 1008 → 1968 not taken. ✓ Branch 1009 → 1010 taken 144 times. ✗ Branch 1009 → 1014 not taken. ✓ Branch 1011 → 1012 taken 144 times. ✗ Branch 1011 → 1968 not taken. ✓ Branch 1012 → 1013 taken 18 times. ✓ Branch 1012 → 1014 taken 126 times. ✓ Branch 1015 → 1016 taken 18 times. ✓ Branch 1015 → 1033 taken 126 times. ✓ Branch 1016 → 1017 taken 12 times. ✓ Branch 1016 → 1021 taken 6 times. ✓ Branch 1017 → 1018 taken 6 times. ✓ Branch 1017 → 1022 taken 6 times. ✓ Branch 1019 → 1020 taken 6 times. ✗ Branch 1019 → 1968 not taken. ✓ Branch 1020 → 1021 taken 3 times. ✓ Branch 1020 → 1022 taken 3 times. ✓ Branch 1023 → 1024 taken 9 times. ✓ Branch 1023 → 1028 taken 9 times. ✓ Branch 1024 → 1025 taken 9 times. ✗ Branch 1024 → 1968 not taken. ✓ Branch 1026 → 1027 taken 9 times. ✗ Branch 1026 → 1968 not taken. ✓ Branch 1027 → 1032 taken 9 times. ✗ Branch 1027 → 1968 not taken. ✓ Branch 1028 → 1029 taken 9 times. ✗ Branch 1028 → 1968 not taken. ✓ Branch 1030 → 1031 taken 9 times. ✗ Branch 1030 → 1968 not taken. ✓ Branch 1031 → 1032 taken 9 times. ✗ Branch 1031 → 1968 not taken.	288	vc("","" , "x" ) wv(0xD8, 0xC9, s1);
409	43/62 ✓ Branch 931 → 932 taken 126 times. ✗ Branch 931 → 1835 not taken. ✓ Branch 932 → 933 taken 126 times. ✗ Branch 932 → 936 not taken. ✓ Branch 934 → 935 taken 18 times. ✓ Branch 934 → 936 taken 108 times. ✓ Branch 937 → 938 taken 18 times. ✓ Branch 937 → 955 taken 108 times. ✓ Branch 938 → 939 taken 12 times. ✓ Branch 938 → 943 taken 6 times. ✓ Branch 939 → 940 taken 6 times. ✓ Branch 939 → 944 taken 6 times. ✓ Branch 941 → 942 taken 6 times. ✗ Branch 941 → 1835 not taken. ✓ Branch 942 → 943 taken 3 times. ✓ Branch 942 → 944 taken 3 times. ✓ Branch 945 → 946 taken 9 times. ✓ Branch 945 → 950 taken 9 times. ✓ Branch 946 → 947 taken 9 times. ✗ Branch 946 → 1835 not taken. ✓ Branch 948 → 949 taken 9 times. ✗ Branch 948 → 1835 not taken. ✓ Branch 949 → 954 taken 9 times. ✗ Branch 949 → 1835 not taken. ✓ Branch 950 → 951 taken 9 times. ✗ Branch 950 → 1835 not taken. ✓ Branch 952 → 953 taken 9 times. ✗ Branch 952 → 1835 not taken. ✓ Branch 953 → 954 taken 9 times. ✗ Branch 953 → 1835 not taken. ✓ Branch 1034 → 1035 taken 126 times. ✗ Branch 1034 → 1968 not taken. ✓ Branch 1035 → 1036 taken 126 times. ✗ Branch 1035 → 1040 not taken. ✓ Branch 1037 → 1038 taken 126 times. ✗ Branch 1037 → 1968 not taken. ✓ Branch 1038 → 1039 taken 18 times. ✓ Branch 1038 → 1040 taken 108 times. ✓ Branch 1041 → 1042 taken 18 times. ✓ Branch 1041 → 1059 taken 108 times. ✓ Branch 1042 → 1043 taken 12 times. ✓ Branch 1042 → 1047 taken 6 times. ✓ Branch 1043 → 1044 taken 6 times. ✓ Branch 1043 → 1048 taken 6 times. ✓ Branch 1045 → 1046 taken 6 times. ✗ Branch 1045 → 1968 not taken. ✓ Branch 1046 → 1047 taken 3 times. ✓ Branch 1046 → 1048 taken 3 times. ✓ Branch 1049 → 1050 taken 9 times. ✓ Branch 1049 → 1054 taken 9 times. ✓ Branch 1050 → 1051 taken 9 times. ✗ Branch 1050 → 1968 not taken. ✓ Branch 1052 → 1053 taken 9 times. ✗ Branch 1052 → 1968 not taken. ✓ Branch 1053 → 1058 taken 9 times. ✗ Branch 1053 → 1968 not taken. ✓ Branch 1054 → 1055 taken 9 times. ✗ Branch 1054 → 1968 not taken. ✓ Branch 1056 → 1057 taken 9 times. ✗ Branch 1056 → 1968 not taken. ✓ Branch 1057 → 1058 taken 9 times. ✗ Branch 1057 → 1968 not taken.	252	vc("","" , "y" ) wv(0xCB, 0xCC, s1);
410
411	27/54 ✓ Branch 956 → 957 taken 48 times. ✓ Branch 956 → 961 taken 60 times. ✓ Branch 958 → 959 taken 48 times. ✗ Branch 958 → 1835 not taken. ✓ Branch 959 → 960 taken 3 times. ✓ Branch 959 → 961 taken 45 times. ✓ Branch 962 → 963 taken 3 times. ✓ Branch 962 → 974 taken 105 times. ✓ Branch 963 → 964 taken 3 times. ✗ Branch 963 → 1835 not taken. ✓ Branch 965 → 966 taken 3 times. ✗ Branch 965 → 1835 not taken. ✗ Branch 966 → 967 not taken. ✓ Branch 966 → 968 taken 3 times. ✗ Branch 967 → 968 not taken. ✗ Branch 967 → 970 not taken. ✓ Branch 968 → 969 taken 3 times. ✗ Branch 968 → 972 not taken. ✗ Branch 969 → 970 not taken. ✓ Branch 969 → 972 taken 3 times. ✗ Branch 970 → 971 not taken. ✗ Branch 970 → 972 not taken. ✗ Branch 971 → 972 not taken. ✗ Branch 971 → 1835 not taken. ✓ Branch 972 → 973 taken 3 times. ✗ Branch 972 → 1835 not taken. ✓ Branch 1060 → 1061 taken 108 times. ✗ Branch 1060 → 1968 not taken. ✓ Branch 1061 → 1062 taken 48 times. ✓ Branch 1061 → 1066 taken 60 times. ✓ Branch 1063 → 1064 taken 48 times. ✗ Branch 1063 → 1968 not taken. ✓ Branch 1064 → 1065 taken 3 times. ✓ Branch 1064 → 1066 taken 45 times. ✓ Branch 1067 → 1068 taken 3 times. ✓ Branch 1067 → 1079 taken 105 times. ✓ Branch 1068 → 1069 taken 3 times. ✗ Branch 1068 → 1968 not taken. ✓ Branch 1070 → 1071 taken 3 times. ✗ Branch 1070 → 1968 not taken. ✗ Branch 1071 → 1072 not taken. ✓ Branch 1071 → 1073 taken 3 times. ✗ Branch 1072 → 1073 not taken. ✗ Branch 1072 → 1075 not taken. ✓ Branch 1073 → 1074 taken 3 times. ✗ Branch 1073 → 1077 not taken. ✗ Branch 1074 → 1075 not taken. ✓ Branch 1074 → 1077 taken 3 times. ✗ Branch 1075 → 1076 not taken. ✗ Branch 1075 → 1077 not taken. ✗ Branch 1076 → 1077 not taken. ✗ Branch 1076 → 1968 not taken. ✓ Branch 1077 → 1078 taken 3 times. ✗ Branch 1077 → 1968 not taken.	216	cv("a" , "#","" ) w1(0xE8, s2);
412	27/54 ✓ Branch 975 → 976 taken 45 times. ✓ Branch 975 → 980 taken 60 times. ✓ Branch 977 → 978 taken 45 times. ✗ Branch 977 → 1835 not taken. ✓ Branch 978 → 979 taken 3 times. ✓ Branch 978 → 980 taken 42 times. ✓ Branch 981 → 982 taken 3 times. ✓ Branch 981 → 993 taken 102 times. ✓ Branch 982 → 983 taken 3 times. ✗ Branch 982 → 1835 not taken. ✓ Branch 984 → 985 taken 3 times. ✗ Branch 984 → 1835 not taken. ✗ Branch 985 → 986 not taken. ✓ Branch 985 → 987 taken 3 times. ✗ Branch 986 → 987 not taken. ✗ Branch 986 → 989 not taken. ✓ Branch 987 → 988 taken 3 times. ✗ Branch 987 → 991 not taken. ✗ Branch 988 → 989 not taken. ✓ Branch 988 → 991 taken 3 times. ✗ Branch 989 → 990 not taken. ✗ Branch 989 → 991 not taken. ✗ Branch 990 → 991 not taken. ✗ Branch 990 → 1835 not taken. ✓ Branch 991 → 992 taken 3 times. ✗ Branch 991 → 1835 not taken. ✓ Branch 1080 → 1081 taken 105 times. ✗ Branch 1080 → 1968 not taken. ✓ Branch 1081 → 1082 taken 45 times. ✓ Branch 1081 → 1086 taken 60 times. ✓ Branch 1083 → 1084 taken 45 times. ✗ Branch 1083 → 1968 not taken. ✓ Branch 1084 → 1085 taken 3 times. ✓ Branch 1084 → 1086 taken 42 times. ✓ Branch 1087 → 1088 taken 3 times. ✓ Branch 1087 → 1099 taken 102 times. ✓ Branch 1088 → 1089 taken 3 times. ✗ Branch 1088 → 1968 not taken. ✓ Branch 1090 → 1091 taken 3 times. ✗ Branch 1090 → 1968 not taken. ✗ Branch 1091 → 1092 not taken. ✓ Branch 1091 → 1093 taken 3 times. ✗ Branch 1092 → 1093 not taken. ✗ Branch 1092 → 1095 not taken. ✓ Branch 1093 → 1094 taken 3 times. ✗ Branch 1093 → 1097 not taken. ✗ Branch 1094 → 1095 not taken. ✓ Branch 1094 → 1097 taken 3 times. ✗ Branch 1095 → 1096 not taken. ✗ Branch 1095 → 1097 not taken. ✗ Branch 1096 → 1097 not taken. ✗ Branch 1096 → 1968 not taken. ✓ Branch 1097 → 1098 taken 3 times. ✗ Branch 1097 → 1968 not taken.	210	cv("a" , "(","+x)") w1(0xE7, s2);
413	27/54 ✓ Branch 994 → 995 taken 42 times. ✓ Branch 994 → 999 taken 60 times. ✓ Branch 996 → 997 taken 42 times. ✗ Branch 996 → 1835 not taken. ✓ Branch 997 → 998 taken 3 times. ✓ Branch 997 → 999 taken 39 times. ✓ Branch 1000 → 1001 taken 3 times. ✓ Branch 1000 → 1012 taken 99 times. ✓ Branch 1001 → 1002 taken 3 times. ✗ Branch 1001 → 1835 not taken. ✓ Branch 1003 → 1004 taken 3 times. ✗ Branch 1003 → 1835 not taken. ✗ Branch 1004 → 1005 not taken. ✓ Branch 1004 → 1006 taken 3 times. ✗ Branch 1005 → 1006 not taken. ✗ Branch 1005 → 1008 not taken. ✓ Branch 1006 → 1007 taken 3 times. ✗ Branch 1006 → 1010 not taken. ✗ Branch 1007 → 1008 not taken. ✓ Branch 1007 → 1010 taken 3 times. ✗ Branch 1008 → 1009 not taken. ✗ Branch 1008 → 1010 not taken. ✗ Branch 1009 → 1010 not taken. ✗ Branch 1009 → 1835 not taken. ✓ Branch 1010 → 1011 taken 3 times. ✗ Branch 1010 → 1835 not taken. ✓ Branch 1100 → 1101 taken 102 times. ✗ Branch 1100 → 1968 not taken. ✓ Branch 1101 → 1102 taken 42 times. ✓ Branch 1101 → 1106 taken 60 times. ✓ Branch 1103 → 1104 taken 42 times. ✗ Branch 1103 → 1968 not taken. ✓ Branch 1104 → 1105 taken 3 times. ✓ Branch 1104 → 1106 taken 39 times. ✓ Branch 1107 → 1108 taken 3 times. ✓ Branch 1107 → 1119 taken 99 times. ✓ Branch 1108 → 1109 taken 3 times. ✗ Branch 1108 → 1968 not taken. ✓ Branch 1110 → 1111 taken 3 times. ✗ Branch 1110 → 1968 not taken. ✗ Branch 1111 → 1112 not taken. ✓ Branch 1111 → 1113 taken 3 times. ✗ Branch 1112 → 1113 not taken. ✗ Branch 1112 → 1115 not taken. ✓ Branch 1113 → 1114 taken 3 times. ✗ Branch 1113 → 1117 not taken. ✗ Branch 1114 → 1115 not taken. ✓ Branch 1114 → 1117 taken 3 times. ✗ Branch 1115 → 1116 not taken. ✗ Branch 1115 → 1117 not taken. ✗ Branch 1116 → 1117 not taken. ✗ Branch 1116 → 1968 not taken. ✓ Branch 1117 → 1118 taken 3 times. ✗ Branch 1117 → 1968 not taken.	204	cv("a" , "(",")+y") w1(0xF7, s2);
414	45/62 ✓ Branch 1013 → 1014 taken 39 times. ✓ Branch 1013 → 1018 taken 60 times. ✓ Branch 1015 → 1016 taken 39 times. ✗ Branch 1015 → 1835 not taken. ✓ Branch 1016 → 1017 taken 18 times. ✓ Branch 1016 → 1018 taken 21 times. ✓ Branch 1019 → 1020 taken 18 times. ✓ Branch 1019 → 1037 taken 81 times. ✓ Branch 1020 → 1021 taken 12 times. ✓ Branch 1020 → 1025 taken 6 times. ✓ Branch 1021 → 1022 taken 6 times. ✓ Branch 1021 → 1026 taken 6 times. ✓ Branch 1023 → 1024 taken 6 times. ✗ Branch 1023 → 1835 not taken. ✓ Branch 1024 → 1025 taken 3 times. ✓ Branch 1024 → 1026 taken 3 times. ✓ Branch 1027 → 1028 taken 9 times. ✓ Branch 1027 → 1032 taken 9 times. ✓ Branch 1028 → 1029 taken 9 times. ✗ Branch 1028 → 1835 not taken. ✓ Branch 1030 → 1031 taken 9 times. ✗ Branch 1030 → 1835 not taken. ✓ Branch 1031 → 1036 taken 9 times. ✗ Branch 1031 → 1835 not taken. ✓ Branch 1032 → 1033 taken 9 times. ✗ Branch 1032 → 1835 not taken. ✓ Branch 1034 → 1035 taken 9 times. ✗ Branch 1034 → 1835 not taken. ✓ Branch 1035 → 1036 taken 9 times. ✗ Branch 1035 → 1835 not taken. ✓ Branch 1120 → 1121 taken 99 times. ✗ Branch 1120 → 1968 not taken. ✓ Branch 1121 → 1122 taken 39 times. ✓ Branch 1121 → 1126 taken 60 times. ✓ Branch 1123 → 1124 taken 39 times. ✗ Branch 1123 → 1968 not taken. ✓ Branch 1124 → 1125 taken 18 times. ✓ Branch 1124 → 1126 taken 21 times. ✓ Branch 1127 → 1128 taken 18 times. ✓ Branch 1127 → 1145 taken 81 times. ✓ Branch 1128 → 1129 taken 12 times. ✓ Branch 1128 → 1133 taken 6 times. ✓ Branch 1129 → 1130 taken 6 times. ✓ Branch 1129 → 1134 taken 6 times. ✓ Branch 1131 → 1132 taken 6 times. ✗ Branch 1131 → 1968 not taken. ✓ Branch 1132 → 1133 taken 3 times. ✓ Branch 1132 → 1134 taken 3 times. ✓ Branch 1135 → 1136 taken 9 times. ✓ Branch 1135 → 1140 taken 9 times. ✓ Branch 1136 → 1137 taken 9 times. ✗ Branch 1136 → 1968 not taken. ✓ Branch 1138 → 1139 taken 9 times. ✗ Branch 1138 → 1968 not taken. ✓ Branch 1139 → 1144 taken 9 times. ✗ Branch 1139 → 1968 not taken. ✓ Branch 1140 → 1141 taken 9 times. ✗ Branch 1140 → 1968 not taken. ✓ Branch 1142 → 1143 taken 9 times. ✗ Branch 1142 → 1968 not taken. ✓ Branch 1143 → 1144 taken 9 times. ✗ Branch 1143 → 1968 not taken.	198	cv("a" , "","+x" ) wv(0xF4, 0xF5, s2);
415	21/30 ✓ Branch 1038 → 1039 taken 21 times. ✓ Branch 1038 → 1043 taken 60 times. ✓ Branch 1040 → 1041 taken 21 times. ✗ Branch 1040 → 1835 not taken. ✓ Branch 1041 → 1042 taken 3 times. ✓ Branch 1041 → 1043 taken 18 times. ✓ Branch 1044 → 1045 taken 3 times. ✓ Branch 1044 → 1050 taken 78 times. ✓ Branch 1045 → 1046 taken 3 times. ✗ Branch 1045 → 1835 not taken. ✓ Branch 1047 → 1048 taken 3 times. ✗ Branch 1047 → 1835 not taken. ✓ Branch 1048 → 1049 taken 3 times. ✗ Branch 1048 → 1835 not taken. ✓ Branch 1146 → 1147 taken 81 times. ✗ Branch 1146 → 1968 not taken. ✓ Branch 1147 → 1148 taken 21 times. ✓ Branch 1147 → 1152 taken 60 times. ✓ Branch 1149 → 1150 taken 21 times. ✗ Branch 1149 → 1968 not taken. ✓ Branch 1150 → 1151 taken 3 times. ✓ Branch 1150 → 1152 taken 18 times. ✓ Branch 1153 → 1154 taken 3 times. ✓ Branch 1153 → 1159 taken 78 times. ✓ Branch 1154 → 1155 taken 3 times. ✗ Branch 1154 → 1968 not taken. ✓ Branch 1156 → 1157 taken 3 times. ✗ Branch 1156 → 1968 not taken. ✓ Branch 1157 → 1158 taken 3 times. ✗ Branch 1157 → 1968 not taken.	162	cv("a" , "","+y" ) w2(0xF6, s2);
416	43/62 ✓ Branch 1051 → 1052 taken 18 times. ✓ Branch 1051 → 1056 taken 60 times. ✓ Branch 1053 → 1054 taken 18 times. ✗ Branch 1053 → 1835 not taken. ✓ Branch 1054 → 1055 taken 18 times. ✗ Branch 1054 → 1056 not taken. ✓ Branch 1057 → 1058 taken 18 times. ✓ Branch 1057 → 1075 taken 60 times. ✓ Branch 1058 → 1059 taken 12 times. ✓ Branch 1058 → 1063 taken 6 times. ✓ Branch 1059 → 1060 taken 6 times. ✓ Branch 1059 → 1064 taken 6 times. ✓ Branch 1061 → 1062 taken 6 times. ✗ Branch 1061 → 1835 not taken. ✓ Branch 1062 → 1063 taken 3 times. ✓ Branch 1062 → 1064 taken 3 times. ✓ Branch 1065 → 1066 taken 9 times. ✓ Branch 1065 → 1070 taken 9 times. ✓ Branch 1066 → 1067 taken 9 times. ✗ Branch 1066 → 1835 not taken. ✓ Branch 1068 → 1069 taken 9 times. ✗ Branch 1068 → 1835 not taken. ✓ Branch 1069 → 1074 taken 9 times. ✗ Branch 1069 → 1835 not taken. ✓ Branch 1070 → 1071 taken 9 times. ✗ Branch 1070 → 1835 not taken. ✓ Branch 1072 → 1073 taken 9 times. ✗ Branch 1072 → 1835 not taken. ✓ Branch 1073 → 1074 taken 9 times. ✗ Branch 1073 → 1835 not taken. ✓ Branch 1160 → 1161 taken 78 times. ✗ Branch 1160 → 1968 not taken. ✓ Branch 1161 → 1162 taken 18 times. ✓ Branch 1161 → 1166 taken 60 times. ✓ Branch 1163 → 1164 taken 18 times. ✗ Branch 1163 → 1968 not taken. ✓ Branch 1164 → 1165 taken 18 times. ✗ Branch 1164 → 1166 not taken. ✓ Branch 1167 → 1168 taken 18 times. ✓ Branch 1167 → 1185 taken 60 times. ✓ Branch 1168 → 1169 taken 12 times. ✓ Branch 1168 → 1173 taken 6 times. ✓ Branch 1169 → 1170 taken 6 times. ✓ Branch 1169 → 1174 taken 6 times. ✓ Branch 1171 → 1172 taken 6 times. ✗ Branch 1171 → 1968 not taken. ✓ Branch 1172 → 1173 taken 3 times. ✓ Branch 1172 → 1174 taken 3 times. ✓ Branch 1175 → 1176 taken 9 times. ✓ Branch 1175 → 1180 taken 9 times. ✓ Branch 1176 → 1177 taken 9 times. ✗ Branch 1176 → 1968 not taken. ✓ Branch 1178 → 1179 taken 9 times. ✗ Branch 1178 → 1968 not taken. ✓ Branch 1179 → 1184 taken 9 times. ✗ Branch 1179 → 1968 not taken. ✓ Branch 1180 → 1181 taken 9 times. ✗ Branch 1180 → 1968 not taken. ✓ Branch 1182 → 1183 taken 9 times. ✗ Branch 1182 → 1968 not taken. ✓ Branch 1183 → 1184 taken 9 times. ✗ Branch 1183 → 1968 not taken.	156	cv("a" , "","" ) wv(0xE4, 0xE5, s2);
417	27/54 ✓ Branch 1076 → 1077 taken 24 times. ✓ Branch 1076 → 1081 taken 36 times. ✓ Branch 1078 → 1079 taken 24 times. ✗ Branch 1078 → 1835 not taken. ✓ Branch 1079 → 1080 taken 3 times. ✓ Branch 1079 → 1081 taken 21 times. ✓ Branch 1082 → 1083 taken 3 times. ✓ Branch 1082 → 1094 taken 57 times. ✓ Branch 1083 → 1084 taken 3 times. ✗ Branch 1083 → 1835 not taken. ✓ Branch 1085 → 1086 taken 3 times. ✗ Branch 1085 → 1835 not taken. ✗ Branch 1086 → 1087 not taken. ✓ Branch 1086 → 1088 taken 3 times. ✗ Branch 1087 → 1088 not taken. ✗ Branch 1087 → 1090 not taken. ✓ Branch 1088 → 1089 taken 3 times. ✗ Branch 1088 → 1092 not taken. ✗ Branch 1089 → 1090 not taken. ✓ Branch 1089 → 1092 taken 3 times. ✗ Branch 1090 → 1091 not taken. ✗ Branch 1090 → 1092 not taken. ✗ Branch 1091 → 1092 not taken. ✗ Branch 1091 → 1835 not taken. ✓ Branch 1092 → 1093 taken 3 times. ✗ Branch 1092 → 1835 not taken. ✓ Branch 1186 → 1187 taken 60 times. ✗ Branch 1186 → 1968 not taken. ✓ Branch 1187 → 1188 taken 24 times. ✓ Branch 1187 → 1192 taken 36 times. ✓ Branch 1189 → 1190 taken 24 times. ✗ Branch 1189 → 1968 not taken. ✓ Branch 1190 → 1191 taken 3 times. ✓ Branch 1190 → 1192 taken 21 times. ✓ Branch 1193 → 1194 taken 3 times. ✓ Branch 1193 → 1205 taken 57 times. ✓ Branch 1194 → 1195 taken 3 times. ✗ Branch 1194 → 1968 not taken. ✓ Branch 1196 → 1197 taken 3 times. ✗ Branch 1196 → 1968 not taken. ✗ Branch 1197 → 1198 not taken. ✓ Branch 1197 → 1199 taken 3 times. ✗ Branch 1198 → 1199 not taken. ✗ Branch 1198 → 1201 not taken. ✓ Branch 1199 → 1200 taken 3 times. ✗ Branch 1199 → 1203 not taken. ✗ Branch 1200 → 1201 not taken. ✓ Branch 1200 → 1203 taken 3 times. ✗ Branch 1201 → 1202 not taken. ✗ Branch 1201 → 1203 not taken. ✗ Branch 1202 → 1203 not taken. ✗ Branch 1202 → 1968 not taken. ✓ Branch 1203 → 1204 taken 3 times. ✗ Branch 1203 → 1968 not taken.	120	cv("x" , "#","" ) w1(0xCD, s2);
418	27/54 ✓ Branch 1095 → 1096 taken 21 times. ✓ Branch 1095 → 1100 taken 36 times. ✓ Branch 1097 → 1098 taken 21 times. ✗ Branch 1097 → 1835 not taken. ✓ Branch 1098 → 1099 taken 3 times. ✓ Branch 1098 → 1100 taken 18 times. ✓ Branch 1101 → 1102 taken 3 times. ✓ Branch 1101 → 1113 taken 54 times. ✓ Branch 1102 → 1103 taken 3 times. ✗ Branch 1102 → 1835 not taken. ✓ Branch 1104 → 1105 taken 3 times. ✗ Branch 1104 → 1835 not taken. ✗ Branch 1105 → 1106 not taken. ✓ Branch 1105 → 1107 taken 3 times. ✗ Branch 1106 → 1107 not taken. ✗ Branch 1106 → 1109 not taken. ✓ Branch 1107 → 1108 taken 3 times. ✗ Branch 1107 → 1111 not taken. ✗ Branch 1108 → 1109 not taken. ✓ Branch 1108 → 1111 taken 3 times. ✗ Branch 1109 → 1110 not taken. ✗ Branch 1109 → 1111 not taken. ✗ Branch 1110 → 1111 not taken. ✗ Branch 1110 → 1835 not taken. ✓ Branch 1111 → 1112 taken 3 times. ✗ Branch 1111 → 1835 not taken. ✓ Branch 1206 → 1207 taken 57 times. ✗ Branch 1206 → 1968 not taken. ✓ Branch 1207 → 1208 taken 21 times. ✓ Branch 1207 → 1212 taken 36 times. ✓ Branch 1209 → 1210 taken 21 times. ✗ Branch 1209 → 1968 not taken. ✓ Branch 1210 → 1211 taken 3 times. ✓ Branch 1210 → 1212 taken 18 times. ✓ Branch 1213 → 1214 taken 3 times. ✓ Branch 1213 → 1225 taken 54 times. ✓ Branch 1214 → 1215 taken 3 times. ✗ Branch 1214 → 1968 not taken. ✓ Branch 1216 → 1217 taken 3 times. ✗ Branch 1216 → 1968 not taken. ✗ Branch 1217 → 1218 not taken. ✓ Branch 1217 → 1219 taken 3 times. ✗ Branch 1218 → 1219 not taken. ✗ Branch 1218 → 1221 not taken. ✓ Branch 1219 → 1220 taken 3 times. ✗ Branch 1219 → 1223 not taken. ✗ Branch 1220 → 1221 not taken. ✓ Branch 1220 → 1223 taken 3 times. ✗ Branch 1221 → 1222 not taken. ✗ Branch 1221 → 1223 not taken. ✗ Branch 1222 → 1223 not taken. ✗ Branch 1222 → 1968 not taken. ✓ Branch 1223 → 1224 taken 3 times. ✗ Branch 1223 → 1968 not taken.	114	cv("x" , "","+y" ) w1(0xF9, s2);
419	43/62 ✓ Branch 1114 → 1115 taken 18 times. ✓ Branch 1114 → 1119 taken 36 times. ✓ Branch 1116 → 1117 taken 18 times. ✗ Branch 1116 → 1835 not taken. ✓ Branch 1117 → 1118 taken 18 times. ✗ Branch 1117 → 1119 not taken. ✓ Branch 1120 → 1121 taken 18 times. ✓ Branch 1120 → 1138 taken 36 times. ✓ Branch 1121 → 1122 taken 12 times. ✓ Branch 1121 → 1126 taken 6 times. ✓ Branch 1122 → 1123 taken 6 times. ✓ Branch 1122 → 1127 taken 6 times. ✓ Branch 1124 → 1125 taken 6 times. ✗ Branch 1124 → 1835 not taken. ✓ Branch 1125 → 1126 taken 3 times. ✓ Branch 1125 → 1127 taken 3 times. ✓ Branch 1128 → 1129 taken 9 times. ✓ Branch 1128 → 1133 taken 9 times. ✓ Branch 1129 → 1130 taken 9 times. ✗ Branch 1129 → 1835 not taken. ✓ Branch 1131 → 1132 taken 9 times. ✗ Branch 1131 → 1835 not taken. ✓ Branch 1132 → 1137 taken 9 times. ✗ Branch 1132 → 1835 not taken. ✓ Branch 1133 → 1134 taken 9 times. ✗ Branch 1133 → 1835 not taken. ✓ Branch 1135 → 1136 taken 9 times. ✗ Branch 1135 → 1835 not taken. ✓ Branch 1136 → 1137 taken 9 times. ✗ Branch 1136 → 1835 not taken. ✓ Branch 1226 → 1227 taken 54 times. ✗ Branch 1226 → 1968 not taken. ✓ Branch 1227 → 1228 taken 18 times. ✓ Branch 1227 → 1232 taken 36 times. ✓ Branch 1229 → 1230 taken 18 times. ✗ Branch 1229 → 1968 not taken. ✓ Branch 1230 → 1231 taken 18 times. ✗ Branch 1230 → 1232 not taken. ✓ Branch 1233 → 1234 taken 18 times. ✓ Branch 1233 → 1251 taken 36 times. ✓ Branch 1234 → 1235 taken 12 times. ✓ Branch 1234 → 1239 taken 6 times. ✓ Branch 1235 → 1236 taken 6 times. ✓ Branch 1235 → 1240 taken 6 times. ✓ Branch 1237 → 1238 taken 6 times. ✗ Branch 1237 → 1968 not taken. ✓ Branch 1238 → 1239 taken 3 times. ✓ Branch 1238 → 1240 taken 3 times. ✓ Branch 1241 → 1242 taken 9 times. ✓ Branch 1241 → 1246 taken 9 times. ✓ Branch 1242 → 1243 taken 9 times. ✗ Branch 1242 → 1968 not taken. ✓ Branch 1244 → 1245 taken 9 times. ✗ Branch 1244 → 1968 not taken. ✓ Branch 1245 → 1250 taken 9 times. ✗ Branch 1245 → 1968 not taken. ✓ Branch 1246 → 1247 taken 9 times. ✗ Branch 1246 → 1968 not taken. ✓ Branch 1248 → 1249 taken 9 times. ✗ Branch 1248 → 1968 not taken. ✓ Branch 1249 → 1250 taken 9 times. ✗ Branch 1249 → 1968 not taken.	108	cv("x" , "","" ) wv(0xF8, 0xE9, s2);
420	27/54 ✓ Branch 1139 → 1140 taken 24 times. ✓ Branch 1139 → 1144 taken 12 times. ✓ Branch 1141 → 1142 taken 24 times. ✗ Branch 1141 → 1835 not taken. ✓ Branch 1142 → 1143 taken 3 times. ✓ Branch 1142 → 1144 taken 21 times. ✓ Branch 1145 → 1146 taken 3 times. ✓ Branch 1145 → 1157 taken 33 times. ✓ Branch 1146 → 1147 taken 3 times. ✗ Branch 1146 → 1835 not taken. ✓ Branch 1148 → 1149 taken 3 times. ✗ Branch 1148 → 1835 not taken. ✗ Branch 1149 → 1150 not taken. ✓ Branch 1149 → 1151 taken 3 times. ✗ Branch 1150 → 1151 not taken. ✗ Branch 1150 → 1153 not taken. ✓ Branch 1151 → 1152 taken 3 times. ✗ Branch 1151 → 1155 not taken. ✗ Branch 1152 → 1153 not taken. ✓ Branch 1152 → 1155 taken 3 times. ✗ Branch 1153 → 1154 not taken. ✗ Branch 1153 → 1155 not taken. ✗ Branch 1154 → 1155 not taken. ✗ Branch 1154 → 1835 not taken. ✓ Branch 1155 → 1156 taken 3 times. ✗ Branch 1155 → 1835 not taken. ✓ Branch 1252 → 1253 taken 36 times. ✗ Branch 1252 → 1968 not taken. ✓ Branch 1253 → 1254 taken 24 times. ✓ Branch 1253 → 1258 taken 12 times. ✓ Branch 1255 → 1256 taken 24 times. ✗ Branch 1255 → 1968 not taken. ✓ Branch 1256 → 1257 taken 3 times. ✓ Branch 1256 → 1258 taken 21 times. ✓ Branch 1259 → 1260 taken 3 times. ✓ Branch 1259 → 1271 taken 33 times. ✓ Branch 1260 → 1261 taken 3 times. ✗ Branch 1260 → 1968 not taken. ✓ Branch 1262 → 1263 taken 3 times. ✗ Branch 1262 → 1968 not taken. ✗ Branch 1263 → 1264 not taken. ✓ Branch 1263 → 1265 taken 3 times. ✗ Branch 1264 → 1265 not taken. ✗ Branch 1264 → 1267 not taken. ✓ Branch 1265 → 1266 taken 3 times. ✗ Branch 1265 → 1269 not taken. ✗ Branch 1266 → 1267 not taken. ✓ Branch 1266 → 1269 taken 3 times. ✗ Branch 1267 → 1268 not taken. ✗ Branch 1267 → 1269 not taken. ✗ Branch 1268 → 1269 not taken. ✗ Branch 1268 → 1968 not taken. ✓ Branch 1269 → 1270 taken 3 times. ✗ Branch 1269 → 1968 not taken.	72	cv("y" , "#","" ) w1(0x8D, s2);
421	27/54 ✓ Branch 1158 → 1159 taken 21 times. ✓ Branch 1158 → 1163 taken 12 times. ✓ Branch 1160 → 1161 taken 21 times. ✗ Branch 1160 → 1835 not taken. ✓ Branch 1161 → 1162 taken 3 times. ✓ Branch 1161 → 1163 taken 18 times. ✓ Branch 1164 → 1165 taken 3 times. ✓ Branch 1164 → 1176 taken 30 times. ✓ Branch 1165 → 1166 taken 3 times. ✗ Branch 1165 → 1835 not taken. ✓ Branch 1167 → 1168 taken 3 times. ✗ Branch 1167 → 1835 not taken. ✗ Branch 1168 → 1169 not taken. ✓ Branch 1168 → 1170 taken 3 times. ✗ Branch 1169 → 1170 not taken. ✗ Branch 1169 → 1172 not taken. ✓ Branch 1170 → 1171 taken 3 times. ✗ Branch 1170 → 1174 not taken. ✗ Branch 1171 → 1172 not taken. ✓ Branch 1171 → 1174 taken 3 times. ✗ Branch 1172 → 1173 not taken. ✗ Branch 1172 → 1174 not taken. ✗ Branch 1173 → 1174 not taken. ✗ Branch 1173 → 1835 not taken. ✓ Branch 1174 → 1175 taken 3 times. ✗ Branch 1174 → 1835 not taken. ✓ Branch 1272 → 1273 taken 33 times. ✗ Branch 1272 → 1968 not taken. ✓ Branch 1273 → 1274 taken 21 times. ✓ Branch 1273 → 1278 taken 12 times. ✓ Branch 1275 → 1276 taken 21 times. ✗ Branch 1275 → 1968 not taken. ✓ Branch 1276 → 1277 taken 3 times. ✓ Branch 1276 → 1278 taken 18 times. ✓ Branch 1279 → 1280 taken 3 times. ✓ Branch 1279 → 1291 taken 30 times. ✓ Branch 1280 → 1281 taken 3 times. ✗ Branch 1280 → 1968 not taken. ✓ Branch 1282 → 1283 taken 3 times. ✗ Branch 1282 → 1968 not taken. ✗ Branch 1283 → 1284 not taken. ✓ Branch 1283 → 1285 taken 3 times. ✗ Branch 1284 → 1285 not taken. ✗ Branch 1284 → 1287 not taken. ✓ Branch 1285 → 1286 taken 3 times. ✗ Branch 1285 → 1289 not taken. ✗ Branch 1286 → 1287 not taken. ✓ Branch 1286 → 1289 taken 3 times. ✗ Branch 1287 → 1288 not taken. ✗ Branch 1287 → 1289 not taken. ✗ Branch 1288 → 1289 not taken. ✗ Branch 1288 → 1968 not taken. ✓ Branch 1289 → 1290 taken 3 times. ✗ Branch 1289 → 1968 not taken.	66	cv("y" , "","+x" ) w1(0xFB, s2);
422	43/62 ✓ Branch 1177 → 1178 taken 18 times. ✓ Branch 1177 → 1182 taken 12 times. ✓ Branch 1179 → 1180 taken 18 times. ✗ Branch 1179 → 1835 not taken. ✓ Branch 1180 → 1181 taken 18 times. ✗ Branch 1180 → 1182 not taken. ✓ Branch 1183 → 1184 taken 18 times. ✓ Branch 1183 → 1201 taken 12 times. ✓ Branch 1184 → 1185 taken 12 times. ✓ Branch 1184 → 1189 taken 6 times. ✓ Branch 1185 → 1186 taken 6 times. ✓ Branch 1185 → 1190 taken 6 times. ✓ Branch 1187 → 1188 taken 6 times. ✗ Branch 1187 → 1835 not taken. ✓ Branch 1188 → 1189 taken 3 times. ✓ Branch 1188 → 1190 taken 3 times. ✓ Branch 1191 → 1192 taken 9 times. ✓ Branch 1191 → 1196 taken 9 times. ✓ Branch 1192 → 1193 taken 9 times. ✗ Branch 1192 → 1835 not taken. ✓ Branch 1194 → 1195 taken 9 times. ✗ Branch 1194 → 1835 not taken. ✓ Branch 1195 → 1200 taken 9 times. ✗ Branch 1195 → 1835 not taken. ✓ Branch 1196 → 1197 taken 9 times. ✗ Branch 1196 → 1835 not taken. ✓ Branch 1198 → 1199 taken 9 times. ✗ Branch 1198 → 1835 not taken. ✓ Branch 1199 → 1200 taken 9 times. ✗ Branch 1199 → 1835 not taken. ✓ Branch 1292 → 1293 taken 30 times. ✗ Branch 1292 → 1968 not taken. ✓ Branch 1293 → 1294 taken 18 times. ✓ Branch 1293 → 1298 taken 12 times. ✓ Branch 1295 → 1296 taken 18 times. ✗ Branch 1295 → 1968 not taken. ✓ Branch 1296 → 1297 taken 18 times. ✗ Branch 1296 → 1298 not taken. ✓ Branch 1299 → 1300 taken 18 times. ✓ Branch 1299 → 1317 taken 12 times. ✓ Branch 1300 → 1301 taken 12 times. ✓ Branch 1300 → 1305 taken 6 times. ✓ Branch 1301 → 1302 taken 6 times. ✓ Branch 1301 → 1306 taken 6 times. ✓ Branch 1303 → 1304 taken 6 times. ✗ Branch 1303 → 1968 not taken. ✓ Branch 1304 → 1305 taken 3 times. ✓ Branch 1304 → 1306 taken 3 times. ✓ Branch 1307 → 1308 taken 9 times. ✓ Branch 1307 → 1312 taken 9 times. ✓ Branch 1308 → 1309 taken 9 times. ✗ Branch 1308 → 1968 not taken. ✓ Branch 1310 → 1311 taken 9 times. ✗ Branch 1310 → 1968 not taken. ✓ Branch 1311 → 1316 taken 9 times. ✗ Branch 1311 → 1968 not taken. ✓ Branch 1312 → 1313 taken 9 times. ✗ Branch 1312 → 1968 not taken. ✓ Branch 1314 → 1315 taken 9 times. ✗ Branch 1314 → 1968 not taken. ✓ Branch 1315 → 1316 taken 9 times. ✗ Branch 1315 → 1968 not taken.	60	cv("y" , "","" ) wv(0xEB, 0xEC, s2);
423
424	24/40 ✓ Branch 1202 → 1203 taken 12 times. ✗ Branch 1202 → 1835 not taken. ✓ Branch 1203 → 1204 taken 12 times. ✗ Branch 1203 → 1208 not taken. ✓ Branch 1205 → 1206 taken 12 times. ✗ Branch 1205 → 1835 not taken. ✓ Branch 1206 → 1207 taken 9 times. ✓ Branch 1206 → 1208 taken 3 times. ✓ Branch 1209 → 1210 taken 9 times. ✓ Branch 1209 → 1218 taken 3 times. ✓ Branch 1210 → 1211 taken 9 times. ✗ Branch 1210 → 1835 not taken. ✓ Branch 1212 → 1213 taken 9 times. ✗ Branch 1212 → 1835 not taken. ✓ Branch 1213 → 1214 taken 9 times. ✗ Branch 1213 → 1835 not taken. ✓ Branch 1215 → 1216 taken 9 times. ✗ Branch 1215 → 1835 not taken. ✓ Branch 1216 → 1217 taken 9 times. ✗ Branch 1216 → 1835 not taken. ✓ Branch 1318 → 1319 taken 12 times. ✗ Branch 1318 → 1968 not taken. ✓ Branch 1319 → 1320 taken 12 times. ✗ Branch 1319 → 1324 not taken. ✓ Branch 1321 → 1322 taken 12 times. ✗ Branch 1321 → 1968 not taken. ✓ Branch 1322 → 1323 taken 9 times. ✓ Branch 1322 → 1324 taken 3 times. ✓ Branch 1325 → 1326 taken 9 times. ✓ Branch 1325 → 1334 taken 3 times. ✓ Branch 1326 → 1327 taken 9 times. ✗ Branch 1326 → 1968 not taken. ✓ Branch 1328 → 1329 taken 9 times. ✗ Branch 1328 → 1968 not taken. ✓ Branch 1329 → 1330 taken 9 times. ✗ Branch 1329 → 1968 not taken. ✓ Branch 1331 → 1332 taken 9 times. ✗ Branch 1331 → 1968 not taken. ✓ Branch 1332 → 1333 taken 9 times. ✗ Branch 1332 → 1968 not taken.	24	vv("","" , "#","" ) w11(0x8F, s2, s1);
425	20/40 ✓ Branch 1219 → 1220 taken 3 times. ✗ Branch 1219 → 1835 not taken. ✓ Branch 1220 → 1221 taken 3 times. ✗ Branch 1220 → 1225 not taken. ✓ Branch 1222 → 1223 taken 3 times. ✗ Branch 1222 → 1835 not taken. ✓ Branch 1223 → 1224 taken 3 times. ✗ Branch 1223 → 1225 not taken. ✓ Branch 1226 → 1227 taken 3 times. ✗ Branch 1226 → 1235 not taken. ✓ Branch 1227 → 1228 taken 3 times. ✗ Branch 1227 → 1835 not taken. ✓ Branch 1229 → 1230 taken 3 times. ✗ Branch 1229 → 1835 not taken. ✓ Branch 1230 → 1231 taken 3 times. ✗ Branch 1230 → 1835 not taken. ✓ Branch 1232 → 1233 taken 3 times. ✗ Branch 1232 → 1835 not taken. ✓ Branch 1233 → 1234 taken 3 times. ✗ Branch 1233 → 1835 not taken. ✓ Branch 1335 → 1336 taken 3 times. ✗ Branch 1335 → 1968 not taken. ✓ Branch 1336 → 1337 taken 3 times. ✗ Branch 1336 → 1341 not taken. ✓ Branch 1338 → 1339 taken 3 times. ✗ Branch 1338 → 1968 not taken. ✓ Branch 1339 → 1340 taken 3 times. ✗ Branch 1339 → 1341 not taken. ✓ Branch 1342 → 1343 taken 3 times. ✗ Branch 1342 → 1351 not taken. ✓ Branch 1343 → 1344 taken 3 times. ✗ Branch 1343 → 1968 not taken. ✓ Branch 1345 → 1346 taken 3 times. ✗ Branch 1345 → 1968 not taken. ✓ Branch 1346 → 1347 taken 3 times. ✗ Branch 1346 → 1968 not taken. ✓ Branch 1348 → 1349 taken 3 times. ✗ Branch 1348 → 1968 not taken. ✓ Branch 1349 → 1350 taken 3 times. ✗ Branch 1349 → 1968 not taken.	6	vv("","" , "","" ) w11(0xFA, s2, s1);
426			}
427	5/6 ✓ Branch 1235 → 1236 taken 102 times. ✓ Branch 1235 → 1324 taken 339 times. ✓ Branch 1351 → 1352 taken 441 times. ✗ Branch 1351 → 1968 not taken. ✓ Branch 1352 → 1353 taken 102 times. ✓ Branch 1352 → 1445 taken 339 times.	882	if (is("cmp"))
428			{
429	27/54 ✓ Branch 1237 → 1238 taken 21 times. ✓ Branch 1237 → 1242 taken 81 times. ✓ Branch 1239 → 1240 taken 21 times. ✗ Branch 1239 → 1835 not taken. ✓ Branch 1240 → 1241 taken 3 times. ✓ Branch 1240 → 1242 taken 18 times. ✓ Branch 1243 → 1244 taken 3 times. ✓ Branch 1243 → 1255 taken 99 times. ✓ Branch 1244 → 1245 taken 3 times. ✗ Branch 1244 → 1835 not taken. ✓ Branch 1246 → 1247 taken 3 times. ✗ Branch 1246 → 1835 not taken. ✗ Branch 1247 → 1248 not taken. ✓ Branch 1247 → 1249 taken 3 times. ✗ Branch 1248 → 1249 not taken. ✗ Branch 1248 → 1251 not taken. ✓ Branch 1249 → 1250 taken 3 times. ✗ Branch 1249 → 1253 not taken. ✗ Branch 1250 → 1251 not taken. ✓ Branch 1250 → 1253 taken 3 times. ✗ Branch 1251 → 1252 not taken. ✗ Branch 1251 → 1253 not taken. ✗ Branch 1252 → 1253 not taken. ✗ Branch 1252 → 1835 not taken. ✓ Branch 1253 → 1254 taken 3 times. ✗ Branch 1253 → 1835 not taken. ✓ Branch 1354 → 1355 taken 102 times. ✗ Branch 1354 → 1968 not taken. ✓ Branch 1355 → 1356 taken 21 times. ✓ Branch 1355 → 1360 taken 81 times. ✓ Branch 1357 → 1358 taken 21 times. ✗ Branch 1357 → 1968 not taken. ✓ Branch 1358 → 1359 taken 3 times. ✓ Branch 1358 → 1360 taken 18 times. ✓ Branch 1361 → 1362 taken 3 times. ✓ Branch 1361 → 1373 taken 99 times. ✓ Branch 1362 → 1363 taken 3 times. ✗ Branch 1362 → 1968 not taken. ✓ Branch 1364 → 1365 taken 3 times. ✗ Branch 1364 → 1968 not taken. ✗ Branch 1365 → 1366 not taken. ✓ Branch 1365 → 1367 taken 3 times. ✗ Branch 1366 → 1367 not taken. ✗ Branch 1366 → 1369 not taken. ✓ Branch 1367 → 1368 taken 3 times. ✗ Branch 1367 → 1371 not taken. ✗ Branch 1368 → 1369 not taken. ✓ Branch 1368 → 1371 taken 3 times. ✗ Branch 1369 → 1370 not taken. ✗ Branch 1369 → 1371 not taken. ✗ Branch 1370 → 1371 not taken. ✗ Branch 1370 → 1968 not taken. ✓ Branch 1371 → 1372 taken 3 times. ✗ Branch 1371 → 1968 not taken.	204	cv("x", "#","") w1(0xC8, s2);
430	43/62 ✓ Branch 1256 → 1257 taken 18 times. ✓ Branch 1256 → 1261 taken 81 times. ✓ Branch 1258 → 1259 taken 18 times. ✗ Branch 1258 → 1835 not taken. ✓ Branch 1259 → 1260 taken 18 times. ✗ Branch 1259 → 1261 not taken. ✓ Branch 1262 → 1263 taken 18 times. ✓ Branch 1262 → 1280 taken 81 times. ✓ Branch 1263 → 1264 taken 12 times. ✓ Branch 1263 → 1268 taken 6 times. ✓ Branch 1264 → 1265 taken 6 times. ✓ Branch 1264 → 1269 taken 6 times. ✓ Branch 1266 → 1267 taken 6 times. ✗ Branch 1266 → 1835 not taken. ✓ Branch 1267 → 1268 taken 3 times. ✓ Branch 1267 → 1269 taken 3 times. ✓ Branch 1270 → 1271 taken 9 times. ✓ Branch 1270 → 1275 taken 9 times. ✓ Branch 1271 → 1272 taken 9 times. ✗ Branch 1271 → 1835 not taken. ✓ Branch 1273 → 1274 taken 9 times. ✗ Branch 1273 → 1835 not taken. ✓ Branch 1274 → 1279 taken 9 times. ✗ Branch 1274 → 1835 not taken. ✓ Branch 1275 → 1276 taken 9 times. ✗ Branch 1275 → 1835 not taken. ✓ Branch 1277 → 1278 taken 9 times. ✗ Branch 1277 → 1835 not taken. ✓ Branch 1278 → 1279 taken 9 times. ✗ Branch 1278 → 1835 not taken. ✓ Branch 1374 → 1375 taken 99 times. ✗ Branch 1374 → 1968 not taken. ✓ Branch 1375 → 1376 taken 18 times. ✓ Branch 1375 → 1380 taken 81 times. ✓ Branch 1377 → 1378 taken 18 times. ✗ Branch 1377 → 1968 not taken. ✓ Branch 1378 → 1379 taken 18 times. ✗ Branch 1378 → 1380 not taken. ✓ Branch 1381 → 1382 taken 18 times. ✓ Branch 1381 → 1399 taken 81 times. ✓ Branch 1382 → 1383 taken 12 times. ✓ Branch 1382 → 1387 taken 6 times. ✓ Branch 1383 → 1384 taken 6 times. ✓ Branch 1383 → 1388 taken 6 times. ✓ Branch 1385 → 1386 taken 6 times. ✗ Branch 1385 → 1968 not taken. ✓ Branch 1386 → 1387 taken 3 times. ✓ Branch 1386 → 1388 taken 3 times. ✓ Branch 1389 → 1390 taken 9 times. ✓ Branch 1389 → 1394 taken 9 times. ✓ Branch 1390 → 1391 taken 9 times. ✗ Branch 1390 → 1968 not taken. ✓ Branch 1392 → 1393 taken 9 times. ✗ Branch 1392 → 1968 not taken. ✓ Branch 1393 → 1398 taken 9 times. ✗ Branch 1393 → 1968 not taken. ✓ Branch 1394 → 1395 taken 9 times. ✗ Branch 1394 → 1968 not taken. ✓ Branch 1396 → 1397 taken 9 times. ✗ Branch 1396 → 1968 not taken. ✓ Branch 1397 → 1398 taken 9 times. ✗ Branch 1397 → 1968 not taken.	198	cv("x", "","" ) wv(0x3E, 0x1E, s2);
431	27/54 ✓ Branch 1281 → 1282 taken 21 times. ✓ Branch 1281 → 1286 taken 60 times. ✓ Branch 1283 → 1284 taken 21 times. ✗ Branch 1283 → 1835 not taken. ✓ Branch 1284 → 1285 taken 3 times. ✓ Branch 1284 → 1286 taken 18 times. ✓ Branch 1287 → 1288 taken 3 times. ✓ Branch 1287 → 1299 taken 78 times. ✓ Branch 1288 → 1289 taken 3 times. ✗ Branch 1288 → 1835 not taken. ✓ Branch 1290 → 1291 taken 3 times. ✗ Branch 1290 → 1835 not taken. ✗ Branch 1291 → 1292 not taken. ✓ Branch 1291 → 1293 taken 3 times. ✗ Branch 1292 → 1293 not taken. ✗ Branch 1292 → 1295 not taken. ✓ Branch 1293 → 1294 taken 3 times. ✗ Branch 1293 → 1297 not taken. ✗ Branch 1294 → 1295 not taken. ✓ Branch 1294 → 1297 taken 3 times. ✗ Branch 1295 → 1296 not taken. ✗ Branch 1295 → 1297 not taken. ✗ Branch 1296 → 1297 not taken. ✗ Branch 1296 → 1835 not taken. ✓ Branch 1297 → 1298 taken 3 times. ✗ Branch 1297 → 1835 not taken. ✓ Branch 1400 → 1401 taken 81 times. ✗ Branch 1400 → 1968 not taken. ✓ Branch 1401 → 1402 taken 21 times. ✓ Branch 1401 → 1406 taken 60 times. ✓ Branch 1403 → 1404 taken 21 times. ✗ Branch 1403 → 1968 not taken. ✓ Branch 1404 → 1405 taken 3 times. ✓ Branch 1404 → 1406 taken 18 times. ✓ Branch 1407 → 1408 taken 3 times. ✓ Branch 1407 → 1419 taken 78 times. ✓ Branch 1408 → 1409 taken 3 times. ✗ Branch 1408 → 1968 not taken. ✓ Branch 1410 → 1411 taken 3 times. ✗ Branch 1410 → 1968 not taken. ✗ Branch 1411 → 1412 not taken. ✓ Branch 1411 → 1413 taken 3 times. ✗ Branch 1412 → 1413 not taken. ✗ Branch 1412 → 1415 not taken. ✓ Branch 1413 → 1414 taken 3 times. ✗ Branch 1413 → 1417 not taken. ✗ Branch 1414 → 1415 not taken. ✓ Branch 1414 → 1417 taken 3 times. ✗ Branch 1415 → 1416 not taken. ✗ Branch 1415 → 1417 not taken. ✗ Branch 1416 → 1417 not taken. ✗ Branch 1416 → 1968 not taken. ✓ Branch 1417 → 1418 taken 3 times. ✗ Branch 1417 → 1968 not taken.	162	cv("y", "#","") w1(0xAD, s2);
432	43/62 ✓ Branch 1300 → 1301 taken 18 times. ✓ Branch 1300 → 1305 taken 60 times. ✓ Branch 1302 → 1303 taken 18 times. ✗ Branch 1302 → 1835 not taken. ✓ Branch 1303 → 1304 taken 18 times. ✗ Branch 1303 → 1305 not taken. ✓ Branch 1306 → 1307 taken 18 times. ✓ Branch 1306 → 1324 taken 60 times. ✓ Branch 1307 → 1308 taken 12 times. ✓ Branch 1307 → 1312 taken 6 times. ✓ Branch 1308 → 1309 taken 6 times. ✓ Branch 1308 → 1313 taken 6 times. ✓ Branch 1310 → 1311 taken 6 times. ✗ Branch 1310 → 1835 not taken. ✓ Branch 1311 → 1312 taken 3 times. ✓ Branch 1311 → 1313 taken 3 times. ✓ Branch 1314 → 1315 taken 9 times. ✓ Branch 1314 → 1319 taken 9 times. ✓ Branch 1315 → 1316 taken 9 times. ✗ Branch 1315 → 1835 not taken. ✓ Branch 1317 → 1318 taken 9 times. ✗ Branch 1317 → 1835 not taken. ✓ Branch 1318 → 1323 taken 9 times. ✗ Branch 1318 → 1835 not taken. ✓ Branch 1319 → 1320 taken 9 times. ✗ Branch 1319 → 1835 not taken. ✓ Branch 1321 → 1322 taken 9 times. ✗ Branch 1321 → 1835 not taken. ✓ Branch 1322 → 1323 taken 9 times. ✗ Branch 1322 → 1835 not taken. ✓ Branch 1420 → 1421 taken 78 times. ✗ Branch 1420 → 1968 not taken. ✓ Branch 1421 → 1422 taken 18 times. ✓ Branch 1421 → 1426 taken 60 times. ✓ Branch 1423 → 1424 taken 18 times. ✗ Branch 1423 → 1968 not taken. ✓ Branch 1424 → 1425 taken 18 times. ✗ Branch 1424 → 1426 not taken. ✓ Branch 1427 → 1428 taken 18 times. ✓ Branch 1427 → 1445 taken 60 times. ✓ Branch 1428 → 1429 taken 12 times. ✓ Branch 1428 → 1433 taken 6 times. ✓ Branch 1429 → 1430 taken 6 times. ✓ Branch 1429 → 1434 taken 6 times. ✓ Branch 1431 → 1432 taken 6 times. ✗ Branch 1431 → 1968 not taken. ✓ Branch 1432 → 1433 taken 3 times. ✓ Branch 1432 → 1434 taken 3 times. ✓ Branch 1435 → 1436 taken 9 times. ✓ Branch 1435 → 1440 taken 9 times. ✓ Branch 1436 → 1437 taken 9 times. ✗ Branch 1436 → 1968 not taken. ✓ Branch 1438 → 1439 taken 9 times. ✗ Branch 1438 → 1968 not taken. ✓ Branch 1439 → 1444 taken 9 times. ✗ Branch 1439 → 1968 not taken. ✓ Branch 1440 → 1441 taken 9 times. ✗ Branch 1440 → 1968 not taken. ✓ Branch 1442 → 1443 taken 9 times. ✗ Branch 1442 → 1968 not taken. ✓ Branch 1443 → 1444 taken 9 times. ✗ Branch 1443 → 1968 not taken.	156	cv("y", "","" ) wv(0x7E, 0x5E, s2);
433			}
434	32/38 ✓ Branch 1324 → 1325 taken 339 times. ✓ Branch 1324 → 1330 taken 60 times. ✓ Branch 1325 → 1326 taken 279 times. ✓ Branch 1325 → 1330 taken 60 times. ✓ Branch 1326 → 1327 taken 219 times. ✓ Branch 1326 → 1330 taken 60 times. ✓ Branch 1327 → 1328 taken 159 times. ✓ Branch 1327 → 1330 taken 60 times. ✓ Branch 1328 → 1329 taken 99 times. ✓ Branch 1328 → 1330 taken 60 times. ✓ Branch 1329 → 1330 taken 60 times. ✓ Branch 1329 → 1514 taken 39 times. ✓ Branch 1445 → 1446 taken 399 times. ✗ Branch 1445 → 1968 not taken. ✓ Branch 1446 → 1447 taken 339 times. ✓ Branch 1446 → 1457 taken 60 times. ✓ Branch 1447 → 1448 taken 339 times. ✗ Branch 1447 → 1968 not taken. ✓ Branch 1448 → 1449 taken 279 times. ✓ Branch 1448 → 1457 taken 60 times. ✓ Branch 1449 → 1450 taken 279 times. ✗ Branch 1449 → 1968 not taken. ✓ Branch 1450 → 1451 taken 219 times. ✓ Branch 1450 → 1457 taken 60 times. ✓ Branch 1451 → 1452 taken 219 times. ✗ Branch 1451 → 1968 not taken. ✓ Branch 1452 → 1453 taken 159 times. ✓ Branch 1452 → 1457 taken 60 times. ✓ Branch 1453 → 1454 taken 159 times. ✗ Branch 1453 → 1968 not taken. ✓ Branch 1454 → 1455 taken 99 times. ✓ Branch 1454 → 1457 taken 60 times. ✓ Branch 1455 → 1456 taken 99 times. ✗ Branch 1455 → 1968 not taken. ✓ Branch 1456 → 1457 taken 60 times. ✓ Branch 1456 → 1458 taken 39 times. ✓ Branch 1459 → 1460 taken 360 times. ✓ Branch 1459 → 1660 taken 39 times.	798	if (is("or") \|\| is("and") \|\| is("eor") \|\| is("cmp") \|\| is("adc") \|\| is("sbc"))
435			{
436		720	int offset = 0;
437	5/6 ✓ Branch 1330 → 1331 taken 60 times. ✓ Branch 1330 → 1332 taken 300 times. ✓ Branch 1460 → 1461 taken 360 times. ✗ Branch 1460 → 1968 not taken. ✓ Branch 1461 → 1462 taken 60 times. ✓ Branch 1461 → 1463 taken 300 times.	720	if (is("or" )) offset=0x00;
438	5/6 ✓ Branch 1332 → 1333 taken 60 times. ✓ Branch 1332 → 1334 taken 300 times. ✓ Branch 1463 → 1464 taken 360 times. ✗ Branch 1463 → 1968 not taken. ✓ Branch 1464 → 1465 taken 60 times. ✓ Branch 1464 → 1466 taken 300 times.	720	if (is("and")) offset=0x20;
439	5/6 ✓ Branch 1334 → 1335 taken 60 times. ✓ Branch 1334 → 1336 taken 300 times. ✓ Branch 1466 → 1467 taken 360 times. ✗ Branch 1466 → 1968 not taken. ✓ Branch 1467 → 1468 taken 60 times. ✓ Branch 1467 → 1469 taken 300 times.	720	if (is("eor")) offset=0x40;
440	5/6 ✓ Branch 1336 → 1337 taken 60 times. ✓ Branch 1336 → 1338 taken 300 times. ✓ Branch 1469 → 1470 taken 360 times. ✗ Branch 1469 → 1968 not taken. ✓ Branch 1470 → 1471 taken 60 times. ✓ Branch 1470 → 1472 taken 300 times.	720	if (is("cmp")) offset=0x60;
441	5/6 ✓ Branch 1338 → 1339 taken 60 times. ✓ Branch 1338 → 1340 taken 300 times. ✓ Branch 1472 → 1473 taken 360 times. ✗ Branch 1472 → 1968 not taken. ✓ Branch 1473 → 1474 taken 60 times. ✓ Branch 1473 → 1475 taken 300 times.	720	if (is("adc")) offset=0x80;
442	5/6 ✓ Branch 1340 → 1341 taken 60 times. ✓ Branch 1340 → 1342 taken 300 times. ✓ Branch 1475 → 1476 taken 360 times. ✗ Branch 1475 → 1968 not taken. ✓ Branch 1476 → 1477 taken 60 times. ✓ Branch 1476 → 1478 taken 300 times.	720	if (is("sbc")) offset=0xA0;
443
444	16/20 ✓ Branch 1343 → 1344 taken 306 times. ✓ Branch 1343 → 1347 taken 54 times. ✓ Branch 1345 → 1346 taken 18 times. ✓ Branch 1345 → 1347 taken 288 times. ✓ Branch 1348 → 1349 taken 18 times. ✓ Branch 1348 → 1351 taken 342 times. ✓ Branch 1349 → 1350 taken 18 times. ✗ Branch 1349 → 1835 not taken. ✓ Branch 1479 → 1480 taken 360 times. ✗ Branch 1479 → 1968 not taken. ✓ Branch 1480 → 1481 taken 306 times. ✓ Branch 1480 → 1485 taken 54 times. ✓ Branch 1482 → 1483 taken 306 times. ✗ Branch 1482 → 1968 not taken. ✓ Branch 1483 → 1484 taken 18 times. ✓ Branch 1483 → 1485 taken 288 times. ✓ Branch 1486 → 1487 taken 18 times. ✓ Branch 1486 → 1489 taken 342 times. ✓ Branch 1487 → 1488 taken 18 times. ✗ Branch 1487 → 1968 not taken.	720	cc("a" , "(x)" ) w0(offset+0x06);
445	14/20 ✓ Branch 1352 → 1353 taken 18 times. ✓ Branch 1352 → 1356 taken 324 times. ✓ Branch 1354 → 1355 taken 18 times. ✗ Branch 1354 → 1356 not taken. ✓ Branch 1357 → 1358 taken 18 times. ✓ Branch 1357 → 1360 taken 324 times. ✓ Branch 1358 → 1359 taken 18 times. ✗ Branch 1358 → 1835 not taken. ✓ Branch 1490 → 1491 taken 342 times. ✗ Branch 1490 → 1968 not taken. ✓ Branch 1491 → 1492 taken 18 times. ✓ Branch 1491 → 1496 taken 324 times. ✓ Branch 1493 → 1494 taken 18 times. ✗ Branch 1493 → 1968 not taken. ✓ Branch 1494 → 1495 taken 18 times. ✗ Branch 1494 → 1496 not taken. ✓ Branch 1497 → 1498 taken 18 times. ✓ Branch 1497 → 1500 taken 324 times. ✓ Branch 1498 → 1499 taken 18 times. ✗ Branch 1498 → 1968 not taken.	684	cc("(x)", "(y)" ) w0(offset+0x19);
446
447	27/54 ✓ Branch 1361 → 1362 taken 288 times. ✓ Branch 1361 → 1366 taken 36 times. ✓ Branch 1363 → 1364 taken 288 times. ✗ Branch 1363 → 1835 not taken. ✓ Branch 1364 → 1365 taken 18 times. ✓ Branch 1364 → 1366 taken 270 times. ✓ Branch 1367 → 1368 taken 18 times. ✓ Branch 1367 → 1379 taken 306 times. ✓ Branch 1368 → 1369 taken 18 times. ✗ Branch 1368 → 1835 not taken. ✓ Branch 1370 → 1371 taken 18 times. ✗ Branch 1370 → 1835 not taken. ✗ Branch 1371 → 1372 not taken. ✓ Branch 1371 → 1373 taken 18 times. ✗ Branch 1372 → 1373 not taken. ✗ Branch 1372 → 1375 not taken. ✓ Branch 1373 → 1374 taken 18 times. ✗ Branch 1373 → 1377 not taken. ✗ Branch 1374 → 1375 not taken. ✓ Branch 1374 → 1377 taken 18 times. ✗ Branch 1375 → 1376 not taken. ✗ Branch 1375 → 1377 not taken. ✗ Branch 1376 → 1377 not taken. ✗ Branch 1376 → 1835 not taken. ✓ Branch 1377 → 1378 taken 18 times. ✗ Branch 1377 → 1835 not taken. ✓ Branch 1501 → 1502 taken 324 times. ✗ Branch 1501 → 1968 not taken. ✓ Branch 1502 → 1503 taken 288 times. ✓ Branch 1502 → 1507 taken 36 times. ✓ Branch 1504 → 1505 taken 288 times. ✗ Branch 1504 → 1968 not taken. ✓ Branch 1505 → 1506 taken 18 times. ✓ Branch 1505 → 1507 taken 270 times. ✓ Branch 1508 → 1509 taken 18 times. ✓ Branch 1508 → 1520 taken 306 times. ✓ Branch 1509 → 1510 taken 18 times. ✗ Branch 1509 → 1968 not taken. ✓ Branch 1511 → 1512 taken 18 times. ✗ Branch 1511 → 1968 not taken. ✗ Branch 1512 → 1513 not taken. ✓ Branch 1512 → 1514 taken 18 times. ✗ Branch 1513 → 1514 not taken. ✗ Branch 1513 → 1516 not taken. ✓ Branch 1514 → 1515 taken 18 times. ✗ Branch 1514 → 1518 not taken. ✗ Branch 1515 → 1516 not taken. ✓ Branch 1515 → 1518 taken 18 times. ✗ Branch 1516 → 1517 not taken. ✗ Branch 1516 → 1518 not taken. ✗ Branch 1517 → 1518 not taken. ✗ Branch 1517 → 1968 not taken. ✓ Branch 1518 → 1519 taken 18 times. ✗ Branch 1518 → 1968 not taken.	648	cv("a" , "#","" ) w1(offset+0x08, s2);
448	27/54 ✓ Branch 1380 → 1381 taken 270 times. ✓ Branch 1380 → 1385 taken 36 times. ✓ Branch 1382 → 1383 taken 270 times. ✗ Branch 1382 → 1835 not taken. ✓ Branch 1383 → 1384 taken 18 times. ✓ Branch 1383 → 1385 taken 252 times. ✓ Branch 1386 → 1387 taken 18 times. ✓ Branch 1386 → 1398 taken 288 times. ✓ Branch 1387 → 1388 taken 18 times. ✗ Branch 1387 → 1835 not taken. ✓ Branch 1389 → 1390 taken 18 times. ✗ Branch 1389 → 1835 not taken. ✗ Branch 1390 → 1391 not taken. ✓ Branch 1390 → 1392 taken 18 times. ✗ Branch 1391 → 1392 not taken. ✗ Branch 1391 → 1394 not taken. ✓ Branch 1392 → 1393 taken 18 times. ✗ Branch 1392 → 1396 not taken. ✗ Branch 1393 → 1394 not taken. ✓ Branch 1393 → 1396 taken 18 times. ✗ Branch 1394 → 1395 not taken. ✗ Branch 1394 → 1396 not taken. ✗ Branch 1395 → 1396 not taken. ✗ Branch 1395 → 1835 not taken. ✓ Branch 1396 → 1397 taken 18 times. ✗ Branch 1396 → 1835 not taken. ✓ Branch 1521 → 1522 taken 306 times. ✗ Branch 1521 → 1968 not taken. ✓ Branch 1522 → 1523 taken 270 times. ✓ Branch 1522 → 1527 taken 36 times. ✓ Branch 1524 → 1525 taken 270 times. ✗ Branch 1524 → 1968 not taken. ✓ Branch 1525 → 1526 taken 18 times. ✓ Branch 1525 → 1527 taken 252 times. ✓ Branch 1528 → 1529 taken 18 times. ✓ Branch 1528 → 1540 taken 288 times. ✓ Branch 1529 → 1530 taken 18 times. ✗ Branch 1529 → 1968 not taken. ✓ Branch 1531 → 1532 taken 18 times. ✗ Branch 1531 → 1968 not taken. ✗ Branch 1532 → 1533 not taken. ✓ Branch 1532 → 1534 taken 18 times. ✗ Branch 1533 → 1534 not taken. ✗ Branch 1533 → 1536 not taken. ✓ Branch 1534 → 1535 taken 18 times. ✗ Branch 1534 → 1538 not taken. ✗ Branch 1535 → 1536 not taken. ✓ Branch 1535 → 1538 taken 18 times. ✗ Branch 1536 → 1537 not taken. ✗ Branch 1536 → 1538 not taken. ✗ Branch 1537 → 1538 not taken. ✗ Branch 1537 → 1968 not taken. ✓ Branch 1538 → 1539 taken 18 times. ✗ Branch 1538 → 1968 not taken.	612	cv("a" , "(","+x)") w1(offset+0x07, s2);
449	27/54 ✓ Branch 1399 → 1400 taken 252 times. ✓ Branch 1399 → 1404 taken 36 times. ✓ Branch 1401 → 1402 taken 252 times. ✗ Branch 1401 → 1835 not taken. ✓ Branch 1402 → 1403 taken 18 times. ✓ Branch 1402 → 1404 taken 234 times. ✓ Branch 1405 → 1406 taken 18 times. ✓ Branch 1405 → 1417 taken 270 times. ✓ Branch 1406 → 1407 taken 18 times. ✗ Branch 1406 → 1835 not taken. ✓ Branch 1408 → 1409 taken 18 times. ✗ Branch 1408 → 1835 not taken. ✗ Branch 1409 → 1410 not taken. ✓ Branch 1409 → 1411 taken 18 times. ✗ Branch 1410 → 1411 not taken. ✗ Branch 1410 → 1413 not taken. ✓ Branch 1411 → 1412 taken 18 times. ✗ Branch 1411 → 1415 not taken. ✗ Branch 1412 → 1413 not taken. ✓ Branch 1412 → 1415 taken 18 times. ✗ Branch 1413 → 1414 not taken. ✗ Branch 1413 → 1415 not taken. ✗ Branch 1414 → 1415 not taken. ✗ Branch 1414 → 1835 not taken. ✓ Branch 1415 → 1416 taken 18 times. ✗ Branch 1415 → 1835 not taken. ✓ Branch 1541 → 1542 taken 288 times. ✗ Branch 1541 → 1968 not taken. ✓ Branch 1542 → 1543 taken 252 times. ✓ Branch 1542 → 1547 taken 36 times. ✓ Branch 1544 → 1545 taken 252 times. ✗ Branch 1544 → 1968 not taken. ✓ Branch 1545 → 1546 taken 18 times. ✓ Branch 1545 → 1547 taken 234 times. ✓ Branch 1548 → 1549 taken 18 times. ✓ Branch 1548 → 1560 taken 270 times. ✓ Branch 1549 → 1550 taken 18 times. ✗ Branch 1549 → 1968 not taken. ✓ Branch 1551 → 1552 taken 18 times. ✗ Branch 1551 → 1968 not taken. ✗ Branch 1552 → 1553 not taken. ✓ Branch 1552 → 1554 taken 18 times. ✗ Branch 1553 → 1554 not taken. ✗ Branch 1553 → 1556 not taken. ✓ Branch 1554 → 1555 taken 18 times. ✗ Branch 1554 → 1558 not taken. ✗ Branch 1555 → 1556 not taken. ✓ Branch 1555 → 1558 taken 18 times. ✗ Branch 1556 → 1557 not taken. ✗ Branch 1556 → 1558 not taken. ✗ Branch 1557 → 1558 not taken. ✗ Branch 1557 → 1968 not taken. ✓ Branch 1558 → 1559 taken 18 times. ✗ Branch 1558 → 1968 not taken.	576	cv("a" , "(",")+y") w1(offset+0x17, s2);
450	45/62 ✓ Branch 1418 → 1419 taken 234 times. ✓ Branch 1418 → 1423 taken 36 times. ✓ Branch 1420 → 1421 taken 234 times. ✗ Branch 1420 → 1835 not taken. ✓ Branch 1421 → 1422 taken 108 times. ✓ Branch 1421 → 1423 taken 126 times. ✓ Branch 1424 → 1425 taken 108 times. ✓ Branch 1424 → 1442 taken 162 times. ✓ Branch 1425 → 1426 taken 72 times. ✓ Branch 1425 → 1430 taken 36 times. ✓ Branch 1426 → 1427 taken 36 times. ✓ Branch 1426 → 1431 taken 36 times. ✓ Branch 1428 → 1429 taken 36 times. ✗ Branch 1428 → 1835 not taken. ✓ Branch 1429 → 1430 taken 18 times. ✓ Branch 1429 → 1431 taken 18 times. ✓ Branch 1432 → 1433 taken 54 times. ✓ Branch 1432 → 1437 taken 54 times. ✓ Branch 1433 → 1434 taken 54 times. ✗ Branch 1433 → 1835 not taken. ✓ Branch 1435 → 1436 taken 54 times. ✗ Branch 1435 → 1835 not taken. ✓ Branch 1436 → 1441 taken 54 times. ✗ Branch 1436 → 1835 not taken. ✓ Branch 1437 → 1438 taken 54 times. ✗ Branch 1437 → 1835 not taken. ✓ Branch 1439 → 1440 taken 54 times. ✗ Branch 1439 → 1835 not taken. ✓ Branch 1440 → 1441 taken 54 times. ✗ Branch 1440 → 1835 not taken. ✓ Branch 1561 → 1562 taken 270 times. ✗ Branch 1561 → 1968 not taken. ✓ Branch 1562 → 1563 taken 234 times. ✓ Branch 1562 → 1567 taken 36 times. ✓ Branch 1564 → 1565 taken 234 times. ✗ Branch 1564 → 1968 not taken. ✓ Branch 1565 → 1566 taken 108 times. ✓ Branch 1565 → 1567 taken 126 times. ✓ Branch 1568 → 1569 taken 108 times. ✓ Branch 1568 → 1586 taken 162 times. ✓ Branch 1569 → 1570 taken 72 times. ✓ Branch 1569 → 1574 taken 36 times. ✓ Branch 1570 → 1571 taken 36 times. ✓ Branch 1570 → 1575 taken 36 times. ✓ Branch 1572 → 1573 taken 36 times. ✗ Branch 1572 → 1968 not taken. ✓ Branch 1573 → 1574 taken 18 times. ✓ Branch 1573 → 1575 taken 18 times. ✓ Branch 1576 → 1577 taken 54 times. ✓ Branch 1576 → 1581 taken 54 times. ✓ Branch 1577 → 1578 taken 54 times. ✗ Branch 1577 → 1968 not taken. ✓ Branch 1579 → 1580 taken 54 times. ✗ Branch 1579 → 1968 not taken. ✓ Branch 1580 → 1585 taken 54 times. ✗ Branch 1580 → 1968 not taken. ✓ Branch 1581 → 1582 taken 54 times. ✗ Branch 1581 → 1968 not taken. ✓ Branch 1583 → 1584 taken 54 times. ✗ Branch 1583 → 1968 not taken. ✓ Branch 1584 → 1585 taken 54 times. ✗ Branch 1584 → 1968 not taken.	540	cv("a" , "","+x" ) wv(offset+0x14, offset+0x15, s2);
451	21/30 ✓ Branch 1443 → 1444 taken 126 times. ✓ Branch 1443 → 1448 taken 36 times. ✓ Branch 1445 → 1446 taken 126 times. ✗ Branch 1445 → 1835 not taken. ✓ Branch 1446 → 1447 taken 18 times. ✓ Branch 1446 → 1448 taken 108 times. ✓ Branch 1449 → 1450 taken 18 times. ✓ Branch 1449 → 1455 taken 144 times. ✓ Branch 1450 → 1451 taken 18 times. ✗ Branch 1450 → 1835 not taken. ✓ Branch 1452 → 1453 taken 18 times. ✗ Branch 1452 → 1835 not taken. ✓ Branch 1453 → 1454 taken 18 times. ✗ Branch 1453 → 1835 not taken. ✓ Branch 1587 → 1588 taken 162 times. ✗ Branch 1587 → 1968 not taken. ✓ Branch 1588 → 1589 taken 126 times. ✓ Branch 1588 → 1593 taken 36 times. ✓ Branch 1590 → 1591 taken 126 times. ✗ Branch 1590 → 1968 not taken. ✓ Branch 1591 → 1592 taken 18 times. ✓ Branch 1591 → 1593 taken 108 times. ✓ Branch 1594 → 1595 taken 18 times. ✓ Branch 1594 → 1600 taken 144 times. ✓ Branch 1595 → 1596 taken 18 times. ✗ Branch 1595 → 1968 not taken. ✓ Branch 1597 → 1598 taken 18 times. ✗ Branch 1597 → 1968 not taken. ✓ Branch 1598 → 1599 taken 18 times. ✗ Branch 1598 → 1968 not taken.	324	cv("a" , "","+y" ) w2(offset+0x16, s2);
452	43/62 ✓ Branch 1456 → 1457 taken 108 times. ✓ Branch 1456 → 1461 taken 36 times. ✓ Branch 1458 → 1459 taken 108 times. ✗ Branch 1458 → 1835 not taken. ✓ Branch 1459 → 1460 taken 108 times. ✗ Branch 1459 → 1461 not taken. ✓ Branch 1462 → 1463 taken 108 times. ✓ Branch 1462 → 1480 taken 36 times. ✓ Branch 1463 → 1464 taken 72 times. ✓ Branch 1463 → 1468 taken 36 times. ✓ Branch 1464 → 1465 taken 36 times. ✓ Branch 1464 → 1469 taken 36 times. ✓ Branch 1466 → 1467 taken 36 times. ✗ Branch 1466 → 1835 not taken. ✓ Branch 1467 → 1468 taken 18 times. ✓ Branch 1467 → 1469 taken 18 times. ✓ Branch 1470 → 1471 taken 54 times. ✓ Branch 1470 → 1475 taken 54 times. ✓ Branch 1471 → 1472 taken 54 times. ✗ Branch 1471 → 1835 not taken. ✓ Branch 1473 → 1474 taken 54 times. ✗ Branch 1473 → 1835 not taken. ✓ Branch 1474 → 1479 taken 54 times. ✗ Branch 1474 → 1835 not taken. ✓ Branch 1475 → 1476 taken 54 times. ✗ Branch 1475 → 1835 not taken. ✓ Branch 1477 → 1478 taken 54 times. ✗ Branch 1477 → 1835 not taken. ✓ Branch 1478 → 1479 taken 54 times. ✗ Branch 1478 → 1835 not taken. ✓ Branch 1601 → 1602 taken 144 times. ✗ Branch 1601 → 1968 not taken. ✓ Branch 1602 → 1603 taken 108 times. ✓ Branch 1602 → 1607 taken 36 times. ✓ Branch 1604 → 1605 taken 108 times. ✗ Branch 1604 → 1968 not taken. ✓ Branch 1605 → 1606 taken 108 times. ✗ Branch 1605 → 1607 not taken. ✓ Branch 1608 → 1609 taken 108 times. ✓ Branch 1608 → 1626 taken 36 times. ✓ Branch 1609 → 1610 taken 72 times. ✓ Branch 1609 → 1614 taken 36 times. ✓ Branch 1610 → 1611 taken 36 times. ✓ Branch 1610 → 1615 taken 36 times. ✓ Branch 1612 → 1613 taken 36 times. ✗ Branch 1612 → 1968 not taken. ✓ Branch 1613 → 1614 taken 18 times. ✓ Branch 1613 → 1615 taken 18 times. ✓ Branch 1616 → 1617 taken 54 times. ✓ Branch 1616 → 1621 taken 54 times. ✓ Branch 1617 → 1618 taken 54 times. ✗ Branch 1617 → 1968 not taken. ✓ Branch 1619 → 1620 taken 54 times. ✗ Branch 1619 → 1968 not taken. ✓ Branch 1620 → 1625 taken 54 times. ✗ Branch 1620 → 1968 not taken. ✓ Branch 1621 → 1622 taken 54 times. ✗ Branch 1621 → 1968 not taken. ✓ Branch 1623 → 1624 taken 54 times. ✗ Branch 1623 → 1968 not taken. ✓ Branch 1624 → 1625 taken 54 times. ✗ Branch 1624 → 1968 not taken.	288	cv("a" , "","" ) wv(offset+0x04, offset+0x05, s2);
453
454	24/40 ✓ Branch 1481 → 1482 taken 36 times. ✗ Branch 1481 → 1835 not taken. ✓ Branch 1482 → 1483 taken 36 times. ✗ Branch 1482 → 1487 not taken. ✓ Branch 1484 → 1485 taken 36 times. ✗ Branch 1484 → 1835 not taken. ✓ Branch 1485 → 1486 taken 18 times. ✓ Branch 1485 → 1487 taken 18 times. ✓ Branch 1488 → 1489 taken 18 times. ✓ Branch 1488 → 1497 taken 18 times. ✓ Branch 1489 → 1490 taken 18 times. ✗ Branch 1489 → 1835 not taken. ✓ Branch 1491 → 1492 taken 18 times. ✗ Branch 1491 → 1835 not taken. ✓ Branch 1492 → 1493 taken 18 times. ✗ Branch 1492 → 1835 not taken. ✓ Branch 1494 → 1495 taken 18 times. ✗ Branch 1494 → 1835 not taken. ✓ Branch 1495 → 1496 taken 18 times. ✗ Branch 1495 → 1835 not taken. ✓ Branch 1627 → 1628 taken 36 times. ✗ Branch 1627 → 1968 not taken. ✓ Branch 1628 → 1629 taken 36 times. ✗ Branch 1628 → 1633 not taken. ✓ Branch 1630 → 1631 taken 36 times. ✗ Branch 1630 → 1968 not taken. ✓ Branch 1631 → 1632 taken 18 times. ✓ Branch 1631 → 1633 taken 18 times. ✓ Branch 1634 → 1635 taken 18 times. ✓ Branch 1634 → 1643 taken 18 times. ✓ Branch 1635 → 1636 taken 18 times. ✗ Branch 1635 → 1968 not taken. ✓ Branch 1637 → 1638 taken 18 times. ✗ Branch 1637 → 1968 not taken. ✓ Branch 1638 → 1639 taken 18 times. ✗ Branch 1638 → 1968 not taken. ✓ Branch 1640 → 1641 taken 18 times. ✗ Branch 1640 → 1968 not taken. ✓ Branch 1641 → 1642 taken 18 times. ✗ Branch 1641 → 1968 not taken.	72	vv("","", "#","" ) w11(offset+0x18, s2, s1);
455	20/40 ✓ Branch 1498 → 1499 taken 18 times. ✗ Branch 1498 → 1835 not taken. ✓ Branch 1499 → 1500 taken 18 times. ✗ Branch 1499 → 1504 not taken. ✓ Branch 1501 → 1502 taken 18 times. ✗ Branch 1501 → 1835 not taken. ✓ Branch 1502 → 1503 taken 18 times. ✗ Branch 1502 → 1504 not taken. ✓ Branch 1505 → 1506 taken 18 times. ✗ Branch 1505 → 1514 not taken. ✓ Branch 1506 → 1507 taken 18 times. ✗ Branch 1506 → 1835 not taken. ✓ Branch 1508 → 1509 taken 18 times. ✗ Branch 1508 → 1835 not taken. ✓ Branch 1509 → 1510 taken 18 times. ✗ Branch 1509 → 1835 not taken. ✓ Branch 1511 → 1512 taken 18 times. ✗ Branch 1511 → 1835 not taken. ✓ Branch 1512 → 1513 taken 18 times. ✗ Branch 1512 → 1835 not taken. ✓ Branch 1644 → 1645 taken 18 times. ✗ Branch 1644 → 1968 not taken. ✓ Branch 1645 → 1646 taken 18 times. ✗ Branch 1645 → 1650 not taken. ✓ Branch 1647 → 1648 taken 18 times. ✗ Branch 1647 → 1968 not taken. ✓ Branch 1648 → 1649 taken 18 times. ✗ Branch 1648 → 1650 not taken. ✓ Branch 1651 → 1652 taken 18 times. ✗ Branch 1651 → 1660 not taken. ✓ Branch 1652 → 1653 taken 18 times. ✗ Branch 1652 → 1968 not taken. ✓ Branch 1654 → 1655 taken 18 times. ✗ Branch 1654 → 1968 not taken. ✓ Branch 1655 → 1656 taken 18 times. ✗ Branch 1655 → 1968 not taken. ✓ Branch 1657 → 1658 taken 18 times. ✗ Branch 1657 → 1968 not taken. ✓ Branch 1658 → 1659 taken 18 times. ✗ Branch 1658 → 1968 not taken.	36	vv("","", "","" ) w11(offset+0x09, s2, s1);
456			}
457	13/18 ✓ Branch 1515 → 1516 taken 39 times. ✗ Branch 1515 → 1835 not taken. ✓ Branch 1516 → 1517 taken 39 times. ✗ Branch 1516 → 1520 not taken. ✓ Branch 1518 → 1519 taken 6 times. ✓ Branch 1518 → 1520 taken 33 times. ✓ Branch 1521 → 1522 taken 6 times. ✓ Branch 1521 → 1534 taken 33 times. ✓ Branch 1661 → 1662 taken 39 times. ✗ Branch 1661 → 1968 not taken. ✓ Branch 1662 → 1663 taken 39 times. ✗ Branch 1662 → 1667 not taken. ✓ Branch 1664 → 1665 taken 39 times. ✗ Branch 1664 → 1968 not taken. ✓ Branch 1665 → 1666 taken 6 times. ✓ Branch 1665 → 1667 taken 33 times. ✓ Branch 1668 → 1669 taken 6 times. ✓ Branch 1668 → 1683 taken 33 times.	78	vc("","", "a")
458			{
459	11/18 ✓ Branch 1522 → 1523 taken 3 times. ✓ Branch 1522 → 1528 taken 3 times. ✓ Branch 1523 → 1524 taken 3 times. ✗ Branch 1523 → 1835 not taken. ✓ Branch 1525 → 1526 taken 3 times. ✗ Branch 1525 → 1835 not taken. ✓ Branch 1526 → 1527 taken 3 times. ✗ Branch 1526 → 1835 not taken. ✓ Branch 1669 → 1670 taken 6 times. ✗ Branch 1669 → 1968 not taken. ✓ Branch 1670 → 1671 taken 3 times. ✓ Branch 1670 → 1676 taken 3 times. ✓ Branch 1671 → 1672 taken 3 times. ✗ Branch 1671 → 1968 not taken. ✓ Branch 1673 → 1674 taken 3 times. ✗ Branch 1673 → 1968 not taken. ✓ Branch 1674 → 1675 taken 3 times. ✗ Branch 1674 → 1968 not taken.	12	if (is("tset")) w2(0x0E, s1);
460	9/18 ✓ Branch 1528 → 1529 taken 3 times. ✗ Branch 1528 → 1534 not taken. ✓ Branch 1529 → 1530 taken 3 times. ✗ Branch 1529 → 1835 not taken. ✓ Branch 1531 → 1532 taken 3 times. ✗ Branch 1531 → 1835 not taken. ✓ Branch 1532 → 1533 taken 3 times. ✗ Branch 1532 → 1835 not taken. ✓ Branch 1676 → 1677 taken 3 times. ✗ Branch 1676 → 1968 not taken. ✓ Branch 1677 → 1678 taken 3 times. ✗ Branch 1677 → 1683 not taken. ✓ Branch 1678 → 1679 taken 3 times. ✗ Branch 1678 → 1968 not taken. ✓ Branch 1680 → 1681 taken 3 times. ✗ Branch 1680 → 1968 not taken. ✓ Branch 1681 → 1682 taken 3 times. ✗ Branch 1681 → 1968 not taken.	6	if (is("tclr")) w2(0x4E, s1);
461			}
462	17/26 ✓ Branch 1534 → 1535 taken 3 times. ✓ Branch 1534 → 1540 taken 30 times. ✓ Branch 1536 → 1537 taken 3 times. ✗ Branch 1536 → 1540 not taken. ✓ Branch 1538 → 1539 taken 3 times. ✗ Branch 1538 → 1540 not taken. ✓ Branch 1541 → 1542 taken 3 times. ✓ Branch 1541 → 1544 taken 30 times. ✓ Branch 1542 → 1543 taken 3 times. ✗ Branch 1542 → 1835 not taken. ✓ Branch 1683 → 1684 taken 33 times. ✗ Branch 1683 → 1968 not taken. ✓ Branch 1684 → 1685 taken 3 times. ✓ Branch 1684 → 1692 taken 30 times. ✓ Branch 1686 → 1687 taken 3 times. ✗ Branch 1686 → 1968 not taken. ✓ Branch 1687 → 1688 taken 3 times. ✗ Branch 1687 → 1692 not taken. ✓ Branch 1689 → 1690 taken 3 times. ✗ Branch 1689 → 1968 not taken. ✓ Branch 1690 → 1691 taken 3 times. ✗ Branch 1690 → 1692 not taken. ✓ Branch 1693 → 1694 taken 3 times. ✓ Branch 1693 → 1696 taken 30 times. ✓ Branch 1694 → 1695 taken 3 times. ✗ Branch 1694 → 1968 not taken.	66	if (is("div") && iscc("ya", "x")) w0(0x9E);
463	13/18 ✓ Branch 1545 → 1546 taken 12 times. ✓ Branch 1545 → 1550 taken 18 times. ✓ Branch 1547 → 1548 taken 12 times. ✗ Branch 1547 → 1835 not taken. ✓ Branch 1548 → 1549 taken 12 times. ✗ Branch 1548 → 1550 not taken. ✓ Branch 1551 → 1552 taken 12 times. ✓ Branch 1551 → 1600 taken 18 times. ✓ Branch 1697 → 1698 taken 30 times. ✗ Branch 1697 → 1968 not taken. ✓ Branch 1698 → 1699 taken 12 times. ✓ Branch 1698 → 1703 taken 18 times. ✓ Branch 1700 → 1701 taken 12 times. ✗ Branch 1700 → 1968 not taken. ✓ Branch 1701 → 1702 taken 12 times. ✗ Branch 1701 → 1703 not taken. ✓ Branch 1704 → 1705 taken 12 times. ✓ Branch 1704 → 1757 taken 18 times.	60	cv("ya", "","")
464			{
465	17/42 ✓ Branch 1552 → 1553 taken 3 times. ✓ Branch 1552 → 1564 taken 9 times. ✓ Branch 1553 → 1554 taken 3 times. ✗ Branch 1553 → 1835 not taken. ✓ Branch 1555 → 1556 taken 3 times. ✗ Branch 1555 → 1835 not taken. ✗ Branch 1556 → 1557 not taken. ✓ Branch 1556 → 1558 taken 3 times. ✗ Branch 1557 → 1558 not taken. ✗ Branch 1557 → 1560 not taken. ✓ Branch 1558 → 1559 taken 3 times. ✗ Branch 1558 → 1562 not taken. ✗ Branch 1559 → 1560 not taken. ✓ Branch 1559 → 1562 taken 3 times. ✗ Branch 1560 → 1561 not taken. ✗ Branch 1560 → 1562 not taken. ✗ Branch 1561 → 1562 not taken. ✗ Branch 1561 → 1835 not taken. ✓ Branch 1562 → 1563 taken 3 times. ✗ Branch 1562 → 1835 not taken. ✓ Branch 1705 → 1706 taken 12 times. ✗ Branch 1705 → 1968 not taken. ✓ Branch 1706 → 1707 taken 3 times. ✓ Branch 1706 → 1718 taken 9 times. ✓ Branch 1707 → 1708 taken 3 times. ✗ Branch 1707 → 1968 not taken. ✓ Branch 1709 → 1710 taken 3 times. ✗ Branch 1709 → 1968 not taken. ✗ Branch 1710 → 1711 not taken. ✓ Branch 1710 → 1712 taken 3 times. ✗ Branch 1711 → 1712 not taken. ✗ Branch 1711 → 1714 not taken. ✓ Branch 1712 → 1713 taken 3 times. ✗ Branch 1712 → 1716 not taken. ✗ Branch 1713 → 1714 not taken. ✓ Branch 1713 → 1716 taken 3 times. ✗ Branch 1714 → 1715 not taken. ✗ Branch 1714 → 1716 not taken. ✗ Branch 1715 → 1716 not taken. ✗ Branch 1715 → 1968 not taken. ✓ Branch 1716 → 1717 taken 3 times. ✗ Branch 1716 → 1968 not taken.	24	if (is("cmpw")) w1(0x5A, s2);
466	17/42 ✓ Branch 1564 → 1565 taken 3 times. ✓ Branch 1564 → 1576 taken 6 times. ✓ Branch 1565 → 1566 taken 3 times. ✗ Branch 1565 → 1835 not taken. ✓ Branch 1567 → 1568 taken 3 times. ✗ Branch 1567 → 1835 not taken. ✗ Branch 1568 → 1569 not taken. ✓ Branch 1568 → 1570 taken 3 times. ✗ Branch 1569 → 1570 not taken. ✗ Branch 1569 → 1572 not taken. ✓ Branch 1570 → 1571 taken 3 times. ✗ Branch 1570 → 1574 not taken. ✗ Branch 1571 → 1572 not taken. ✓ Branch 1571 → 1574 taken 3 times. ✗ Branch 1572 → 1573 not taken. ✗ Branch 1572 → 1574 not taken. ✗ Branch 1573 → 1574 not taken. ✗ Branch 1573 → 1835 not taken. ✓ Branch 1574 → 1575 taken 3 times. ✗ Branch 1574 → 1835 not taken. ✓ Branch 1718 → 1719 taken 9 times. ✗ Branch 1718 → 1968 not taken. ✓ Branch 1719 → 1720 taken 3 times. ✓ Branch 1719 → 1731 taken 6 times. ✓ Branch 1720 → 1721 taken 3 times. ✗ Branch 1720 → 1968 not taken. ✓ Branch 1722 → 1723 taken 3 times. ✗ Branch 1722 → 1968 not taken. ✗ Branch 1723 → 1724 not taken. ✓ Branch 1723 → 1725 taken 3 times. ✗ Branch 1724 → 1725 not taken. ✗ Branch 1724 → 1727 not taken. ✓ Branch 1725 → 1726 taken 3 times. ✗ Branch 1725 → 1729 not taken. ✗ Branch 1726 → 1727 not taken. ✓ Branch 1726 → 1729 taken 3 times. ✗ Branch 1727 → 1728 not taken. ✗ Branch 1727 → 1729 not taken. ✗ Branch 1728 → 1729 not taken. ✗ Branch 1728 → 1968 not taken. ✓ Branch 1729 → 1730 taken 3 times. ✗ Branch 1729 → 1968 not taken.	18	if (is("addw")) w1(0x7A, s2);
467	17/42 ✓ Branch 1576 → 1577 taken 3 times. ✓ Branch 1576 → 1588 taken 3 times. ✓ Branch 1577 → 1578 taken 3 times. ✗ Branch 1577 → 1835 not taken. ✓ Branch 1579 → 1580 taken 3 times. ✗ Branch 1579 → 1835 not taken. ✗ Branch 1580 → 1581 not taken. ✓ Branch 1580 → 1582 taken 3 times. ✗ Branch 1581 → 1582 not taken. ✗ Branch 1581 → 1584 not taken. ✓ Branch 1582 → 1583 taken 3 times. ✗ Branch 1582 → 1586 not taken. ✗ Branch 1583 → 1584 not taken. ✓ Branch 1583 → 1586 taken 3 times. ✗ Branch 1584 → 1585 not taken. ✗ Branch 1584 → 1586 not taken. ✗ Branch 1585 → 1586 not taken. ✗ Branch 1585 → 1835 not taken. ✓ Branch 1586 → 1587 taken 3 times. ✗ Branch 1586 → 1835 not taken. ✓ Branch 1731 → 1732 taken 6 times. ✗ Branch 1731 → 1968 not taken. ✓ Branch 1732 → 1733 taken 3 times. ✓ Branch 1732 → 1744 taken 3 times. ✓ Branch 1733 → 1734 taken 3 times. ✗ Branch 1733 → 1968 not taken. ✓ Branch 1735 → 1736 taken 3 times. ✗ Branch 1735 → 1968 not taken. ✗ Branch 1736 → 1737 not taken. ✓ Branch 1736 → 1738 taken 3 times. ✗ Branch 1737 → 1738 not taken. ✗ Branch 1737 → 1740 not taken. ✓ Branch 1738 → 1739 taken 3 times. ✗ Branch 1738 → 1742 not taken. ✗ Branch 1739 → 1740 not taken. ✓ Branch 1739 → 1742 taken 3 times. ✗ Branch 1740 → 1741 not taken. ✗ Branch 1740 → 1742 not taken. ✗ Branch 1741 → 1742 not taken. ✗ Branch 1741 → 1968 not taken. ✓ Branch 1742 → 1743 taken 3 times. ✗ Branch 1742 → 1968 not taken.	12	if (is("subw")) w1(0x9A, s2);
468	15/42 ✓ Branch 1588 → 1589 taken 3 times. ✗ Branch 1588 → 1600 not taken. ✓ Branch 1589 → 1590 taken 3 times. ✗ Branch 1589 → 1835 not taken. ✓ Branch 1591 → 1592 taken 3 times. ✗ Branch 1591 → 1835 not taken. ✗ Branch 1592 → 1593 not taken. ✓ Branch 1592 → 1594 taken 3 times. ✗ Branch 1593 → 1594 not taken. ✗ Branch 1593 → 1596 not taken. ✓ Branch 1594 → 1595 taken 3 times. ✗ Branch 1594 → 1598 not taken. ✗ Branch 1595 → 1596 not taken. ✓ Branch 1595 → 1598 taken 3 times. ✗ Branch 1596 → 1597 not taken. ✗ Branch 1596 → 1598 not taken. ✗ Branch 1597 → 1598 not taken. ✗ Branch 1597 → 1835 not taken. ✓ Branch 1598 → 1599 taken 3 times. ✗ Branch 1598 → 1835 not taken. ✓ Branch 1744 → 1745 taken 3 times. ✗ Branch 1744 → 1968 not taken. ✓ Branch 1745 → 1746 taken 3 times. ✗ Branch 1745 → 1757 not taken. ✓ Branch 1746 → 1747 taken 3 times. ✗ Branch 1746 → 1968 not taken. ✓ Branch 1748 → 1749 taken 3 times. ✗ Branch 1748 → 1968 not taken. ✗ Branch 1749 → 1750 not taken. ✓ Branch 1749 → 1751 taken 3 times. ✗ Branch 1750 → 1751 not taken. ✗ Branch 1750 → 1753 not taken. ✓ Branch 1751 → 1752 taken 3 times. ✗ Branch 1751 → 1755 not taken. ✗ Branch 1752 → 1753 not taken. ✓ Branch 1752 → 1755 taken 3 times. ✗ Branch 1753 → 1754 not taken. ✗ Branch 1753 → 1755 not taken. ✗ Branch 1754 → 1755 not taken. ✗ Branch 1754 → 1968 not taken. ✓ Branch 1755 → 1756 taken 3 times. ✗ Branch 1755 → 1968 not taken.	6	if (is("movw")) w1(0xBA, s2);
469			}
470	28/60 ✓ Branch 1600 → 1601 taken 3 times. ✓ Branch 1600 → 1607 taken 15 times. ✓ Branch 1602 → 1603 taken 3 times. ✗ Branch 1602 → 1835 not taken. ✓ Branch 1603 → 1604 taken 3 times. ✗ Branch 1603 → 1607 not taken. ✓ Branch 1605 → 1606 taken 3 times. ✗ Branch 1605 → 1607 not taken. ✓ Branch 1608 → 1609 taken 3 times. ✓ Branch 1608 → 1620 taken 15 times. ✓ Branch 1609 → 1610 taken 3 times. ✗ Branch 1609 → 1835 not taken. ✓ Branch 1611 → 1612 taken 3 times. ✗ Branch 1611 → 1835 not taken. ✗ Branch 1612 → 1613 not taken. ✓ Branch 1612 → 1614 taken 3 times. ✗ Branch 1613 → 1614 not taken. ✗ Branch 1613 → 1616 not taken. ✓ Branch 1614 → 1615 taken 3 times. ✗ Branch 1614 → 1618 not taken. ✗ Branch 1615 → 1616 not taken. ✓ Branch 1615 → 1618 taken 3 times. ✗ Branch 1616 → 1617 not taken. ✗ Branch 1616 → 1618 not taken. ✗ Branch 1617 → 1618 not taken. ✗ Branch 1617 → 1835 not taken. ✓ Branch 1618 → 1619 taken 3 times. ✗ Branch 1618 → 1835 not taken. ✓ Branch 1757 → 1758 taken 18 times. ✗ Branch 1757 → 1968 not taken. ✓ Branch 1758 → 1759 taken 3 times. ✓ Branch 1758 → 1766 taken 15 times. ✓ Branch 1760 → 1761 taken 3 times. ✗ Branch 1760 → 1968 not taken. ✓ Branch 1761 → 1762 taken 3 times. ✗ Branch 1761 → 1766 not taken. ✓ Branch 1763 → 1764 taken 3 times. ✗ Branch 1763 → 1968 not taken. ✓ Branch 1764 → 1765 taken 3 times. ✗ Branch 1764 → 1766 not taken. ✓ Branch 1767 → 1768 taken 3 times. ✓ Branch 1767 → 1779 taken 15 times. ✓ Branch 1768 → 1769 taken 3 times. ✗ Branch 1768 → 1968 not taken. ✓ Branch 1770 → 1771 taken 3 times. ✗ Branch 1770 → 1968 not taken. ✗ Branch 1771 → 1772 not taken. ✓ Branch 1771 → 1773 taken 3 times. ✗ Branch 1772 → 1773 not taken. ✗ Branch 1772 → 1775 not taken. ✓ Branch 1773 → 1774 taken 3 times. ✗ Branch 1773 → 1777 not taken. ✗ Branch 1774 → 1775 not taken. ✓ Branch 1774 → 1777 taken 3 times. ✗ Branch 1775 → 1776 not taken. ✗ Branch 1775 → 1777 not taken. ✗ Branch 1776 → 1777 not taken. ✗ Branch 1776 → 1968 not taken. ✓ Branch 1777 → 1778 taken 3 times. ✗ Branch 1777 → 1968 not taken.	36	if (is("movw") && isvc("","", "ya")) w1(0xDA, s1);
471	43/78 ✓ Branch 1620 → 1621 taken 6 times. ✓ Branch 1620 → 1628 taken 9 times. ✓ Branch 1622 → 1623 taken 6 times. ✗ Branch 1622 → 1835 not taken. ✓ Branch 1623 → 1624 taken 3 times. ✓ Branch 1623 → 1628 taken 3 times. ✓ Branch 1625 → 1626 taken 3 times. ✗ Branch 1625 → 1835 not taken. ✓ Branch 1626 → 1627 taken 3 times. ✗ Branch 1626 → 1628 not taken. ✓ Branch 1629 → 1630 taken 3 times. ✓ Branch 1629 → 1653 taken 12 times. ✓ Branch 1631 → 1632 taken 3 times. ✗ Branch 1631 → 1835 not taken. ✓ Branch 1633 → 1634 taken 3 times. ✗ Branch 1633 → 1835 not taken. ✓ Branch 1634 → 1635 taken 3 times. ✗ Branch 1634 → 1636 not taken. ✓ Branch 1637 → 1638 taken 1 time. ✓ Branch 1637 → 1647 taken 2 times. ✓ Branch 1638 → 1639 taken 1 time. ✗ Branch 1638 → 1647 not taken. ✓ Branch 1639 → 1640 taken 1 time. ✗ Branch 1639 → 1641 not taken. ✗ Branch 1640 → 1641 not taken. ✓ Branch 1640 → 1647 taken 1 time. ✗ Branch 1642 → 1643 not taken. ✗ Branch 1642 → 1821 not taken. ✗ Branch 1644 → 1645 not taken. ✗ Branch 1644 → 1819 not taken. ✓ Branch 1647 → 1648 taken 3 times. ✗ Branch 1647 → 1835 not taken. ✓ Branch 1649 → 1650 taken 3 times. ✗ Branch 1649 → 1835 not taken. ✓ Branch 1650 → 1651 taken 3 times. ✗ Branch 1650 → 1835 not taken. ✓ Branch 1651 → 1652 taken 3 times. ✗ Branch 1651 → 1835 not taken. ✓ Branch 1779 → 1780 taken 15 times. ✗ Branch 1779 → 1968 not taken. ✓ Branch 1780 → 1781 taken 6 times. ✓ Branch 1780 → 1788 taken 9 times. ✓ Branch 1782 → 1783 taken 6 times. ✗ Branch 1782 → 1968 not taken. ✓ Branch 1783 → 1784 taken 3 times. ✓ Branch 1783 → 1788 taken 3 times. ✓ Branch 1785 → 1786 taken 3 times. ✗ Branch 1785 → 1968 not taken. ✓ Branch 1786 → 1787 taken 3 times. ✗ Branch 1786 → 1788 not taken. ✓ Branch 1789 → 1790 taken 3 times. ✓ Branch 1789 → 1812 taken 12 times. ✓ Branch 1791 → 1792 taken 3 times. ✗ Branch 1791 → 1968 not taken. ✓ Branch 1793 → 1794 taken 3 times. ✗ Branch 1793 → 1968 not taken. ✓ Branch 1794 → 1795 taken 3 times. ✗ Branch 1794 → 1796 not taken. ✓ Branch 1797 → 1798 taken 1 time. ✓ Branch 1797 → 1806 taken 2 times. ✓ Branch 1798 → 1799 taken 1 time. ✗ Branch 1798 → 1806 not taken. ✓ Branch 1799 → 1800 taken 1 time. ✗ Branch 1799 → 1801 not taken. ✗ Branch 1800 → 1801 not taken. ✓ Branch 1800 → 1806 taken 1 time. ✗ Branch 1801 → 1802 not taken. ✗ Branch 1801 → 1958 not taken. ✗ Branch 1803 → 1804 not taken. ✗ Branch 1803 → 1956 not taken. ✓ Branch 1806 → 1807 taken 3 times. ✗ Branch 1806 → 1968 not taken. ✓ Branch 1808 → 1809 taken 3 times. ✗ Branch 1808 → 1968 not taken. ✓ Branch 1809 → 1810 taken 3 times. ✗ Branch 1809 → 1968 not taken. ✓ Branch 1810 → 1811 taken 3 times. ✗ Branch 1810 → 1968 not taken.	30	if (is("cbne") && isvv("","+x", "","")) w1r(0xDE, s1, s2);
472	38/68 ✓ Branch 1653 → 1654 taken 6 times. ✓ Branch 1653 → 1660 taken 6 times. ✓ Branch 1655 → 1656 taken 3 times. ✓ Branch 1655 → 1660 taken 3 times. ✓ Branch 1657 → 1658 taken 3 times. ✗ Branch 1657 → 1835 not taken. ✓ Branch 1658 → 1659 taken 3 times. ✗ Branch 1658 → 1660 not taken. ✓ Branch 1661 → 1662 taken 3 times. ✓ Branch 1661 → 1682 taken 9 times. ✓ Branch 1663 → 1664 taken 3 times. ✗ Branch 1663 → 1835 not taken. ✓ Branch 1665 → 1666 taken 3 times. ✗ Branch 1665 → 1835 not taken. ✓ Branch 1666 → 1667 taken 3 times. ✗ Branch 1666 → 1668 not taken. ✓ Branch 1669 → 1670 taken 1 time. ✓ Branch 1669 → 1679 taken 2 times. ✓ Branch 1670 → 1671 taken 1 time. ✗ Branch 1670 → 1679 not taken. ✓ Branch 1671 → 1672 taken 1 time. ✗ Branch 1671 → 1673 not taken. ✗ Branch 1672 → 1673 not taken. ✓ Branch 1672 → 1679 taken 1 time. ✗ Branch 1674 → 1675 not taken. ✗ Branch 1674 → 1825 not taken. ✗ Branch 1676 → 1677 not taken. ✗ Branch 1676 → 1823 not taken. ✓ Branch 1679 → 1680 taken 3 times. ✗ Branch 1679 → 1835 not taken. ✓ Branch 1680 → 1681 taken 3 times. ✗ Branch 1680 → 1835 not taken. ✓ Branch 1812 → 1813 taken 12 times. ✗ Branch 1812 → 1968 not taken. ✓ Branch 1813 → 1814 taken 6 times. ✓ Branch 1813 → 1821 taken 6 times. ✓ Branch 1815 → 1816 taken 6 times. ✗ Branch 1815 → 1968 not taken. ✓ Branch 1816 → 1817 taken 3 times. ✓ Branch 1816 → 1821 taken 3 times. ✓ Branch 1818 → 1819 taken 3 times. ✗ Branch 1818 → 1968 not taken. ✓ Branch 1819 → 1820 taken 3 times. ✗ Branch 1819 → 1821 not taken. ✓ Branch 1822 → 1823 taken 3 times. ✓ Branch 1822 → 1842 taken 9 times. ✓ Branch 1824 → 1825 taken 3 times. ✗ Branch 1824 → 1968 not taken. ✓ Branch 1826 → 1827 taken 3 times. ✗ Branch 1826 → 1968 not taken. ✓ Branch 1827 → 1828 taken 3 times. ✗ Branch 1827 → 1829 not taken. ✓ Branch 1830 → 1831 taken 1 time. ✓ Branch 1830 → 1839 taken 2 times. ✓ Branch 1831 → 1832 taken 1 time. ✗ Branch 1831 → 1839 not taken. ✓ Branch 1832 → 1833 taken 1 time. ✗ Branch 1832 → 1834 not taken. ✗ Branch 1833 → 1834 not taken. ✓ Branch 1833 → 1839 taken 1 time. ✗ Branch 1834 → 1835 not taken. ✗ Branch 1834 → 1961 not taken. ✗ Branch 1836 → 1837 not taken. ✗ Branch 1836 → 1959 not taken. ✓ Branch 1839 → 1840 taken 3 times. ✗ Branch 1839 → 1968 not taken. ✓ Branch 1840 → 1841 taken 3 times. ✗ Branch 1840 → 1968 not taken.	24	if (is("dbnz") && iscv("y", "","")) wr(0xFE, s2);
473	10/20 ✓ Branch 1683 → 1684 taken 9 times. ✗ Branch 1683 → 1835 not taken. ✓ Branch 1684 → 1685 taken 9 times. ✗ Branch 1684 → 1689 not taken. ✓ Branch 1686 → 1687 taken 9 times. ✗ Branch 1686 → 1835 not taken. ✓ Branch 1687 → 1688 taken 9 times. ✗ Branch 1687 → 1689 not taken. ✓ Branch 1690 → 1691 taken 9 times. ✗ Branch 1690 → 1739 not taken. ✓ Branch 1843 → 1844 taken 9 times. ✗ Branch 1843 → 1968 not taken. ✓ Branch 1844 → 1845 taken 9 times. ✗ Branch 1844 → 1849 not taken. ✓ Branch 1846 → 1847 taken 9 times. ✗ Branch 1846 → 1968 not taken. ✓ Branch 1847 → 1848 taken 9 times. ✗ Branch 1847 → 1849 not taken. ✓ Branch 1850 → 1851 taken 9 times. ✗ Branch 1850 → 1899 not taken.	18	vv("","", "","")
474			{
475	29/58 ✓ Branch 1691 → 1692 taken 3 times. ✓ Branch 1691 → 1715 taken 6 times. ✓ Branch 1693 → 1694 taken 3 times. ✗ Branch 1693 → 1835 not taken. ✓ Branch 1695 → 1696 taken 3 times. ✗ Branch 1695 → 1835 not taken. ✓ Branch 1696 → 1697 taken 3 times. ✗ Branch 1696 → 1698 not taken. ✓ Branch 1699 → 1700 taken 1 time. ✓ Branch 1699 → 1709 taken 2 times. ✓ Branch 1700 → 1701 taken 1 time. ✗ Branch 1700 → 1709 not taken. ✓ Branch 1701 → 1702 taken 1 time. ✗ Branch 1701 → 1703 not taken. ✗ Branch 1702 → 1703 not taken. ✓ Branch 1702 → 1709 taken 1 time. ✗ Branch 1704 → 1705 not taken. ✗ Branch 1704 → 1829 not taken. ✗ Branch 1706 → 1707 not taken. ✗ Branch 1706 → 1827 not taken. ✓ Branch 1709 → 1710 taken 3 times. ✗ Branch 1709 → 1835 not taken. ✓ Branch 1711 → 1712 taken 3 times. ✗ Branch 1711 → 1835 not taken. ✓ Branch 1712 → 1713 taken 3 times. ✗ Branch 1712 → 1835 not taken. ✓ Branch 1713 → 1714 taken 3 times. ✗ Branch 1713 → 1835 not taken. ✓ Branch 1851 → 1852 taken 9 times. ✗ Branch 1851 → 1968 not taken. ✓ Branch 1852 → 1853 taken 3 times. ✓ Branch 1852 → 1875 taken 6 times. ✓ Branch 1854 → 1855 taken 3 times. ✗ Branch 1854 → 1968 not taken. ✓ Branch 1856 → 1857 taken 3 times. ✗ Branch 1856 → 1968 not taken. ✓ Branch 1857 → 1858 taken 3 times. ✗ Branch 1857 → 1859 not taken. ✓ Branch 1860 → 1861 taken 1 time. ✓ Branch 1860 → 1869 taken 2 times. ✓ Branch 1861 → 1862 taken 1 time. ✗ Branch 1861 → 1869 not taken. ✓ Branch 1862 → 1863 taken 1 time. ✗ Branch 1862 → 1864 not taken. ✗ Branch 1863 → 1864 not taken. ✓ Branch 1863 → 1869 taken 1 time. ✗ Branch 1864 → 1865 not taken. ✗ Branch 1864 → 1964 not taken. ✗ Branch 1866 → 1867 not taken. ✗ Branch 1866 → 1962 not taken. ✓ Branch 1869 → 1870 taken 3 times. ✗ Branch 1869 → 1968 not taken. ✓ Branch 1871 → 1872 taken 3 times. ✗ Branch 1871 → 1968 not taken. ✓ Branch 1872 → 1873 taken 3 times. ✗ Branch 1872 → 1968 not taken. ✓ Branch 1873 → 1874 taken 3 times. ✗ Branch 1873 → 1968 not taken.	18	if (is("dbnz")) w1r(0x6E, s1, s2);
476	29/58 ✓ Branch 1715 → 1716 taken 3 times. ✓ Branch 1715 → 1739 taken 3 times. ✓ Branch 1717 → 1718 taken 3 times. ✗ Branch 1717 → 1835 not taken. ✓ Branch 1719 → 1720 taken 3 times. ✗ Branch 1719 → 1835 not taken. ✓ Branch 1720 → 1721 taken 3 times. ✗ Branch 1720 → 1722 not taken. ✓ Branch 1723 → 1724 taken 1 time. ✓ Branch 1723 → 1733 taken 2 times. ✓ Branch 1724 → 1725 taken 1 time. ✗ Branch 1724 → 1733 not taken. ✓ Branch 1725 → 1726 taken 1 time. ✗ Branch 1725 → 1727 not taken. ✗ Branch 1726 → 1727 not taken. ✓ Branch 1726 → 1733 taken 1 time. ✗ Branch 1728 → 1729 not taken. ✗ Branch 1728 → 1833 not taken. ✗ Branch 1730 → 1731 not taken. ✗ Branch 1730 → 1831 not taken. ✓ Branch 1733 → 1734 taken 3 times. ✗ Branch 1733 → 1835 not taken. ✓ Branch 1735 → 1736 taken 3 times. ✗ Branch 1735 → 1835 not taken. ✓ Branch 1736 → 1737 taken 3 times. ✗ Branch 1736 → 1835 not taken. ✓ Branch 1737 → 1738 taken 3 times. ✗ Branch 1737 → 1835 not taken. ✓ Branch 1875 → 1876 taken 6 times. ✗ Branch 1875 → 1968 not taken. ✓ Branch 1876 → 1877 taken 3 times. ✓ Branch 1876 → 1899 taken 3 times. ✓ Branch 1878 → 1879 taken 3 times. ✗ Branch 1878 → 1968 not taken. ✓ Branch 1880 → 1881 taken 3 times. ✗ Branch 1880 → 1968 not taken. ✓ Branch 1881 → 1882 taken 3 times. ✗ Branch 1881 → 1883 not taken. ✓ Branch 1884 → 1885 taken 1 time. ✓ Branch 1884 → 1893 taken 2 times. ✓ Branch 1885 → 1886 taken 1 time. ✗ Branch 1885 → 1893 not taken. ✓ Branch 1886 → 1887 taken 1 time. ✗ Branch 1886 → 1888 not taken. ✗ Branch 1887 → 1888 not taken. ✓ Branch 1887 → 1893 taken 1 time. ✗ Branch 1888 → 1889 not taken. ✗ Branch 1888 → 1967 not taken. ✗ Branch 1890 → 1891 not taken. ✗ Branch 1890 → 1965 not taken. ✓ Branch 1893 → 1894 taken 3 times. ✗ Branch 1893 → 1968 not taken. ✓ Branch 1895 → 1896 taken 3 times. ✗ Branch 1895 → 1968 not taken. ✓ Branch 1896 → 1897 taken 3 times. ✗ Branch 1896 → 1968 not taken. ✓ Branch 1897 → 1898 taken 3 times. ✗ Branch 1897 → 1968 not taken.	12	if (is("cbne")) w1r(0x2E, s1, s2);
477			}
478			#undef iscc
479			#undef iscv
480			#undef isvc
481			#undef isvv
482			#undef cc
483			#undef cv
484			#undef vc
485			#undef vv
486			#undef w0
487			#undef w1
488			#undef w2
489			#undef wv
490			#undef w11
491		6	return false;
492		1518	}
493		✗	return false;
494		2256	}
495		6	else return false;
496		108	return true;
497			}
498

asar coverage - build #