xor_EI.stdout.exp revision 8f943afc22a6a683b78271836c8ddc462b4824a9 
1XIHF 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
2XIHF 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=0)
3XIHF 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=0)
4XIHF 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=0)
5XIHF 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=0)
6XIHF 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=0)
7XIHF 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=0)
8XIHF 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=0)
9XIHF AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
10XIHF 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=1)
11XIHF FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
12XIHF 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
13XIHF 0000000000000000 ^ 00000000000000FF = 000000FF00000000 (cc=1)
14XIHF 0000000000000001 ^ 00000000000000FF = 000000FF00000001 (cc=1)
15XIHF 000000000000FFFF ^ 00000000000000FF = 000000FF0000FFFF (cc=1)
16XIHF 0000000000007FFF ^ 00000000000000FF = 000000FF00007FFF (cc=1)
17XIHF 0000000000008000 ^ 00000000000000FF = 000000FF00008000 (cc=1)
18XIHF 00000000FFFFFFFF ^ 00000000000000FF = 000000FFFFFFFFFF (cc=1)
19XIHF 0000000080000000 ^ 00000000000000FF = 000000FF80000000 (cc=1)
20XIHF 000000007FFFFFFF ^ 00000000000000FF = 000000FF7FFFFFFF (cc=1)
21XIHF AAAAAAAAAAAAAAAA ^ 00000000000000FF = AAAAAA55AAAAAAAA (cc=1)
22XIHF 8000000000000000 ^ 00000000000000FF = 800000FF00000000 (cc=1)
23XIHF FFFFFFFFFFFFFFFF ^ 00000000000000FF = FFFFFF00FFFFFFFF (cc=1)
24XIHF 5555555555555555 ^ 00000000000000FF = 555555AA55555555 (cc=1)
25XIHF 0000000000000000 ^ 0000000000000055 = 0000005500000000 (cc=1)
26XIHF 0000000000000001 ^ 0000000000000055 = 0000005500000001 (cc=1)
27XIHF 000000000000FFFF ^ 0000000000000055 = 000000550000FFFF (cc=1)
28XIHF 0000000000007FFF ^ 0000000000000055 = 0000005500007FFF (cc=1)
29XIHF 0000000000008000 ^ 0000000000000055 = 0000005500008000 (cc=1)
30XIHF 00000000FFFFFFFF ^ 0000000000000055 = 00000055FFFFFFFF (cc=1)
31XIHF 0000000080000000 ^ 0000000000000055 = 0000005580000000 (cc=1)
32XIHF 000000007FFFFFFF ^ 0000000000000055 = 000000557FFFFFFF (cc=1)
33XIHF AAAAAAAAAAAAAAAA ^ 0000000000000055 = AAAAAAFFAAAAAAAA (cc=1)
34XIHF 8000000000000000 ^ 0000000000000055 = 8000005500000000 (cc=1)
35XIHF FFFFFFFFFFFFFFFF ^ 0000000000000055 = FFFFFFAAFFFFFFFF (cc=1)
36XIHF 5555555555555555 ^ 0000000000000055 = 5555550055555555 (cc=1)
37XIHF 0000000000000000 ^ 00000000000000AA = 000000AA00000000 (cc=1)
38XIHF 0000000000000001 ^ 00000000000000AA = 000000AA00000001 (cc=1)
39XIHF 000000000000FFFF ^ 00000000000000AA = 000000AA0000FFFF (cc=1)
40XIHF 0000000000007FFF ^ 00000000000000AA = 000000AA00007FFF (cc=1)
41XIHF 0000000000008000 ^ 00000000000000AA = 000000AA00008000 (cc=1)
42XIHF 00000000FFFFFFFF ^ 00000000000000AA = 000000AAFFFFFFFF (cc=1)
43XIHF 0000000080000000 ^ 00000000000000AA = 000000AA80000000 (cc=1)
44XIHF 000000007FFFFFFF ^ 00000000000000AA = 000000AA7FFFFFFF (cc=1)
45XIHF AAAAAAAAAAAAAAAA ^ 00000000000000AA = AAAAAA00AAAAAAAA (cc=1)
46XIHF 8000000000000000 ^ 00000000000000AA = 800000AA00000000 (cc=1)
47XIHF FFFFFFFFFFFFFFFF ^ 00000000000000AA = FFFFFF55FFFFFFFF (cc=1)
48XIHF 5555555555555555 ^ 00000000000000AA = 555555FF55555555 (cc=1)
49XIHF 0000000000000000 ^ 000000000000FFFF = 0000FFFF00000000 (cc=1)
50XIHF 0000000000000001 ^ 000000000000FFFF = 0000FFFF00000001 (cc=1)
51XIHF 000000000000FFFF ^ 000000000000FFFF = 0000FFFF0000FFFF (cc=1)
52XIHF 0000000000007FFF ^ 000000000000FFFF = 0000FFFF00007FFF (cc=1)
53XIHF 0000000000008000 ^ 000000000000FFFF = 0000FFFF00008000 (cc=1)
54XIHF 00000000FFFFFFFF ^ 000000000000FFFF = 0000FFFFFFFFFFFF (cc=1)
55XIHF 0000000080000000 ^ 000000000000FFFF = 0000FFFF80000000 (cc=1)
56XIHF 000000007FFFFFFF ^ 000000000000FFFF = 0000FFFF7FFFFFFF (cc=1)
57XIHF AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAA5555AAAAAAAA (cc=1)
58XIHF 8000000000000000 ^ 000000000000FFFF = 8000FFFF00000000 (cc=1)
59XIHF FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFF0000FFFFFFFF (cc=1)
60XIHF 5555555555555555 ^ 000000000000FFFF = 5555AAAA55555555 (cc=1)
61XIHF 0000000000000000 ^ 0000000000005555 = 0000555500000000 (cc=1)
62XIHF 0000000000000001 ^ 0000000000005555 = 0000555500000001 (cc=1)
63XIHF 000000000000FFFF ^ 0000000000005555 = 000055550000FFFF (cc=1)
64XIHF 0000000000007FFF ^ 0000000000005555 = 0000555500007FFF (cc=1)
65XIHF 0000000000008000 ^ 0000000000005555 = 0000555500008000 (cc=1)
66XIHF 00000000FFFFFFFF ^ 0000000000005555 = 00005555FFFFFFFF (cc=1)
67XIHF 0000000080000000 ^ 0000000000005555 = 0000555580000000 (cc=1)
68XIHF 000000007FFFFFFF ^ 0000000000005555 = 000055557FFFFFFF (cc=1)
69XIHF AAAAAAAAAAAAAAAA ^ 0000000000005555 = AAAAFFFFAAAAAAAA (cc=1)
70XIHF 8000000000000000 ^ 0000000000005555 = 8000555500000000 (cc=1)
71XIHF FFFFFFFFFFFFFFFF ^ 0000000000005555 = FFFFAAAAFFFFFFFF (cc=1)
72XIHF 5555555555555555 ^ 0000000000005555 = 5555000055555555 (cc=1)
73XIHF 0000000000000000 ^ 000000000000AAAA = 0000AAAA00000000 (cc=1)
74XIHF 0000000000000001 ^ 000000000000AAAA = 0000AAAA00000001 (cc=1)
75XIHF 000000000000FFFF ^ 000000000000AAAA = 0000AAAA0000FFFF (cc=1)
76XIHF 0000000000007FFF ^ 000000000000AAAA = 0000AAAA00007FFF (cc=1)
77XIHF 0000000000008000 ^ 000000000000AAAA = 0000AAAA00008000 (cc=1)
78XIHF 00000000FFFFFFFF ^ 000000000000AAAA = 0000AAAAFFFFFFFF (cc=1)
79XIHF 0000000080000000 ^ 000000000000AAAA = 0000AAAA80000000 (cc=1)
80XIHF 000000007FFFFFFF ^ 000000000000AAAA = 0000AAAA7FFFFFFF (cc=1)
81XIHF AAAAAAAAAAAAAAAA ^ 000000000000AAAA = AAAA0000AAAAAAAA (cc=1)
82XIHF 8000000000000000 ^ 000000000000AAAA = 8000AAAA00000000 (cc=1)
83XIHF FFFFFFFFFFFFFFFF ^ 000000000000AAAA = FFFF5555FFFFFFFF (cc=1)
84XIHF 5555555555555555 ^ 000000000000AAAA = 5555FFFF55555555 (cc=1)
85XIHF 0000000000000000 ^ 00000000FFFF0000 = FFFF000000000000 (cc=1)
86XIHF 0000000000000001 ^ 00000000FFFF0000 = FFFF000000000001 (cc=1)
87XIHF 000000000000FFFF ^ 00000000FFFF0000 = FFFF00000000FFFF (cc=1)
88XIHF 0000000000007FFF ^ 00000000FFFF0000 = FFFF000000007FFF (cc=1)
89XIHF 0000000000008000 ^ 00000000FFFF0000 = FFFF000000008000 (cc=1)
90XIHF 00000000FFFFFFFF ^ 00000000FFFF0000 = FFFF0000FFFFFFFF (cc=1)
91XIHF 0000000080000000 ^ 00000000FFFF0000 = FFFF000080000000 (cc=1)
92XIHF 000000007FFFFFFF ^ 00000000FFFF0000 = FFFF00007FFFFFFF (cc=1)
93XIHF AAAAAAAAAAAAAAAA ^ 00000000FFFF0000 = 5555AAAAAAAAAAAA (cc=1)
94XIHF 8000000000000000 ^ 00000000FFFF0000 = 7FFF000000000000 (cc=1)
95XIHF FFFFFFFFFFFFFFFF ^ 00000000FFFF0000 = 0000FFFFFFFFFFFF (cc=1)
96XIHF 5555555555555555 ^ 00000000FFFF0000 = AAAA555555555555 (cc=1)
97XIHF 0000000000000000 ^ 0000000055550000 = 5555000000000000 (cc=1)
98XIHF 0000000000000001 ^ 0000000055550000 = 5555000000000001 (cc=1)
99XIHF 000000000000FFFF ^ 0000000055550000 = 555500000000FFFF (cc=1)
100XIHF 0000000000007FFF ^ 0000000055550000 = 5555000000007FFF (cc=1)
101XIHF 0000000000008000 ^ 0000000055550000 = 5555000000008000 (cc=1)
102XIHF 00000000FFFFFFFF ^ 0000000055550000 = 55550000FFFFFFFF (cc=1)
103XIHF 0000000080000000 ^ 0000000055550000 = 5555000080000000 (cc=1)
104XIHF 000000007FFFFFFF ^ 0000000055550000 = 555500007FFFFFFF (cc=1)
105XIHF AAAAAAAAAAAAAAAA ^ 0000000055550000 = FFFFAAAAAAAAAAAA (cc=1)
106XIHF 8000000000000000 ^ 0000000055550000 = D555000000000000 (cc=1)
107XIHF FFFFFFFFFFFFFFFF ^ 0000000055550000 = AAAAFFFFFFFFFFFF (cc=1)
108XIHF 5555555555555555 ^ 0000000055550000 = 0000555555555555 (cc=1)
109XIHF 0000000000000000 ^ 00000000AAAA0000 = AAAA000000000000 (cc=1)
110XIHF 0000000000000001 ^ 00000000AAAA0000 = AAAA000000000001 (cc=1)
111XIHF 000000000000FFFF ^ 00000000AAAA0000 = AAAA00000000FFFF (cc=1)
112XIHF 0000000000007FFF ^ 00000000AAAA0000 = AAAA000000007FFF (cc=1)
113XIHF 0000000000008000 ^ 00000000AAAA0000 = AAAA000000008000 (cc=1)
114XIHF 00000000FFFFFFFF ^ 00000000AAAA0000 = AAAA0000FFFFFFFF (cc=1)
115XIHF 0000000080000000 ^ 00000000AAAA0000 = AAAA000080000000 (cc=1)
116XIHF 000000007FFFFFFF ^ 00000000AAAA0000 = AAAA00007FFFFFFF (cc=1)
117XIHF AAAAAAAAAAAAAAAA ^ 00000000AAAA0000 = 0000AAAAAAAAAAAA (cc=1)
118XIHF 8000000000000000 ^ 00000000AAAA0000 = 2AAA000000000000 (cc=1)
119XIHF FFFFFFFFFFFFFFFF ^ 00000000AAAA0000 = 5555FFFFFFFFFFFF (cc=1)
120XIHF 5555555555555555 ^ 00000000AAAA0000 = FFFF555555555555 (cc=1)
121XIHF 0000000000000000 ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=1)
122XIHF 0000000000000001 ^ 00000000FFFFFFFF = FFFFFFFF00000001 (cc=1)
123XIHF 000000000000FFFF ^ 00000000FFFFFFFF = FFFFFFFF0000FFFF (cc=1)
124XIHF 0000000000007FFF ^ 00000000FFFFFFFF = FFFFFFFF00007FFF (cc=1)
125XIHF 0000000000008000 ^ 00000000FFFFFFFF = FFFFFFFF00008000 (cc=1)
126XIHF 00000000FFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFFFFFFFFFF (cc=1)
127XIHF 0000000080000000 ^ 00000000FFFFFFFF = FFFFFFFF80000000 (cc=1)
128XIHF 000000007FFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF7FFFFFFF (cc=1)
129XIHF AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
130XIHF 8000000000000000 ^ 00000000FFFFFFFF = 7FFFFFFF00000000 (cc=1)
131XIHF FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=0)
132XIHF 5555555555555555 ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
133XIHF 0000000000000000 ^ 0000000055555555 = 5555555500000000 (cc=1)
134XIHF 0000000000000001 ^ 0000000055555555 = 5555555500000001 (cc=1)
135XIHF 000000000000FFFF ^ 0000000055555555 = 555555550000FFFF (cc=1)
136XIHF 0000000000007FFF ^ 0000000055555555 = 5555555500007FFF (cc=1)
137XIHF 0000000000008000 ^ 0000000055555555 = 5555555500008000 (cc=1)
138XIHF 00000000FFFFFFFF ^ 0000000055555555 = 55555555FFFFFFFF (cc=1)
139XIHF 0000000080000000 ^ 0000000055555555 = 5555555580000000 (cc=1)
140XIHF 000000007FFFFFFF ^ 0000000055555555 = 555555557FFFFFFF (cc=1)
141XIHF AAAAAAAAAAAAAAAA ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
142XIHF 8000000000000000 ^ 0000000055555555 = D555555500000000 (cc=1)
143XIHF FFFFFFFFFFFFFFFF ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
144XIHF 5555555555555555 ^ 0000000055555555 = 0000000055555555 (cc=0)
145XIHF 0000000000000000 ^ 00000000AAAAAAAA = AAAAAAAA00000000 (cc=1)
146XIHF 0000000000000001 ^ 00000000AAAAAAAA = AAAAAAAA00000001 (cc=1)
147XIHF 000000000000FFFF ^ 00000000AAAAAAAA = AAAAAAAA0000FFFF (cc=1)
148XIHF 0000000000007FFF ^ 00000000AAAAAAAA = AAAAAAAA00007FFF (cc=1)
149XIHF 0000000000008000 ^ 00000000AAAAAAAA = AAAAAAAA00008000 (cc=1)
150XIHF 00000000FFFFFFFF ^ 00000000AAAAAAAA = AAAAAAAAFFFFFFFF (cc=1)
151XIHF 0000000080000000 ^ 00000000AAAAAAAA = AAAAAAAA80000000 (cc=1)
152XIHF 000000007FFFFFFF ^ 00000000AAAAAAAA = AAAAAAAA7FFFFFFF (cc=1)
153XIHF AAAAAAAAAAAAAAAA ^ 00000000AAAAAAAA = 00000000AAAAAAAA (cc=0)
154XIHF 8000000000000000 ^ 00000000AAAAAAAA = 2AAAAAAA00000000 (cc=1)
155XIHF FFFFFFFFFFFFFFFF ^ 00000000AAAAAAAA = 55555555FFFFFFFF (cc=1)
156XIHF 5555555555555555 ^ 00000000AAAAAAAA = FFFFFFFF55555555 (cc=1)
157XILF 0000000000000000 ^ 0000000000000000 = 0000000000000000 (cc=0)
158XILF 0000000000000001 ^ 0000000000000000 = 0000000000000001 (cc=1)
159XILF 000000000000FFFF ^ 0000000000000000 = 000000000000FFFF (cc=1)
160XILF 0000000000007FFF ^ 0000000000000000 = 0000000000007FFF (cc=1)
161XILF 0000000000008000 ^ 0000000000000000 = 0000000000008000 (cc=1)
162XILF 00000000FFFFFFFF ^ 0000000000000000 = 00000000FFFFFFFF (cc=1)
163XILF 0000000080000000 ^ 0000000000000000 = 0000000080000000 (cc=1)
164XILF 000000007FFFFFFF ^ 0000000000000000 = 000000007FFFFFFF (cc=1)
165XILF AAAAAAAAAAAAAAAA ^ 0000000000000000 = AAAAAAAAAAAAAAAA (cc=1)
166XILF 8000000000000000 ^ 0000000000000000 = 8000000000000000 (cc=0)
167XILF FFFFFFFFFFFFFFFF ^ 0000000000000000 = FFFFFFFFFFFFFFFF (cc=1)
168XILF 5555555555555555 ^ 0000000000000000 = 5555555555555555 (cc=1)
169XILF 0000000000000000 ^ 00000000000000FF = 00000000000000FF (cc=1)
170XILF 0000000000000001 ^ 00000000000000FF = 00000000000000FE (cc=1)
171XILF 000000000000FFFF ^ 00000000000000FF = 000000000000FF00 (cc=1)
172XILF 0000000000007FFF ^ 00000000000000FF = 0000000000007F00 (cc=1)
173XILF 0000000000008000 ^ 00000000000000FF = 00000000000080FF (cc=1)
174XILF 00000000FFFFFFFF ^ 00000000000000FF = 00000000FFFFFF00 (cc=1)
175XILF 0000000080000000 ^ 00000000000000FF = 00000000800000FF (cc=1)
176XILF 000000007FFFFFFF ^ 00000000000000FF = 000000007FFFFF00 (cc=1)
177XILF AAAAAAAAAAAAAAAA ^ 00000000000000FF = AAAAAAAAAAAAAA55 (cc=1)
178XILF 8000000000000000 ^ 00000000000000FF = 80000000000000FF (cc=1)
179XILF FFFFFFFFFFFFFFFF ^ 00000000000000FF = FFFFFFFFFFFFFF00 (cc=1)
180XILF 5555555555555555 ^ 00000000000000FF = 55555555555555AA (cc=1)
181XILF 0000000000000000 ^ 0000000000000055 = 0000000000000055 (cc=1)
182XILF 0000000000000001 ^ 0000000000000055 = 0000000000000054 (cc=1)
183XILF 000000000000FFFF ^ 0000000000000055 = 000000000000FFAA (cc=1)
184XILF 0000000000007FFF ^ 0000000000000055 = 0000000000007FAA (cc=1)
185XILF 0000000000008000 ^ 0000000000000055 = 0000000000008055 (cc=1)
186XILF 00000000FFFFFFFF ^ 0000000000000055 = 00000000FFFFFFAA (cc=1)
187XILF 0000000080000000 ^ 0000000000000055 = 0000000080000055 (cc=1)
188XILF 000000007FFFFFFF ^ 0000000000000055 = 000000007FFFFFAA (cc=1)
189XILF AAAAAAAAAAAAAAAA ^ 0000000000000055 = AAAAAAAAAAAAAAFF (cc=1)
190XILF 8000000000000000 ^ 0000000000000055 = 8000000000000055 (cc=1)
191XILF FFFFFFFFFFFFFFFF ^ 0000000000000055 = FFFFFFFFFFFFFFAA (cc=1)
192XILF 5555555555555555 ^ 0000000000000055 = 5555555555555500 (cc=1)
193XILF 0000000000000000 ^ 00000000000000AA = 00000000000000AA (cc=1)
194XILF 0000000000000001 ^ 00000000000000AA = 00000000000000AB (cc=1)
195XILF 000000000000FFFF ^ 00000000000000AA = 000000000000FF55 (cc=1)
196XILF 0000000000007FFF ^ 00000000000000AA = 0000000000007F55 (cc=1)
197XILF 0000000000008000 ^ 00000000000000AA = 00000000000080AA (cc=1)
198XILF 00000000FFFFFFFF ^ 00000000000000AA = 00000000FFFFFF55 (cc=1)
199XILF 0000000080000000 ^ 00000000000000AA = 00000000800000AA (cc=1)
200XILF 000000007FFFFFFF ^ 00000000000000AA = 000000007FFFFF55 (cc=1)
201XILF AAAAAAAAAAAAAAAA ^ 00000000000000AA = AAAAAAAAAAAAAA00 (cc=1)
202XILF 8000000000000000 ^ 00000000000000AA = 80000000000000AA (cc=1)
203XILF FFFFFFFFFFFFFFFF ^ 00000000000000AA = FFFFFFFFFFFFFF55 (cc=1)
204XILF 5555555555555555 ^ 00000000000000AA = 55555555555555FF (cc=1)
205XILF 0000000000000000 ^ 000000000000FFFF = 000000000000FFFF (cc=1)
206XILF 0000000000000001 ^ 000000000000FFFF = 000000000000FFFE (cc=1)
207XILF 000000000000FFFF ^ 000000000000FFFF = 0000000000000000 (cc=0)
208XILF 0000000000007FFF ^ 000000000000FFFF = 0000000000008000 (cc=1)
209XILF 0000000000008000 ^ 000000000000FFFF = 0000000000007FFF (cc=1)
210XILF 00000000FFFFFFFF ^ 000000000000FFFF = 00000000FFFF0000 (cc=1)
211XILF 0000000080000000 ^ 000000000000FFFF = 000000008000FFFF (cc=1)
212XILF 000000007FFFFFFF ^ 000000000000FFFF = 000000007FFF0000 (cc=1)
213XILF AAAAAAAAAAAAAAAA ^ 000000000000FFFF = AAAAAAAAAAAA5555 (cc=1)
214XILF 8000000000000000 ^ 000000000000FFFF = 800000000000FFFF (cc=1)
215XILF FFFFFFFFFFFFFFFF ^ 000000000000FFFF = FFFFFFFFFFFF0000 (cc=1)
216XILF 5555555555555555 ^ 000000000000FFFF = 555555555555AAAA (cc=1)
217XILF 0000000000000000 ^ 0000000000005555 = 0000000000005555 (cc=1)
218XILF 0000000000000001 ^ 0000000000005555 = 0000000000005554 (cc=1)
219XILF 000000000000FFFF ^ 0000000000005555 = 000000000000AAAA (cc=1)
220XILF 0000000000007FFF ^ 0000000000005555 = 0000000000002AAA (cc=1)
221XILF 0000000000008000 ^ 0000000000005555 = 000000000000D555 (cc=1)
222XILF 00000000FFFFFFFF ^ 0000000000005555 = 00000000FFFFAAAA (cc=1)
223XILF 0000000080000000 ^ 0000000000005555 = 0000000080005555 (cc=1)
224XILF 000000007FFFFFFF ^ 0000000000005555 = 000000007FFFAAAA (cc=1)
225XILF AAAAAAAAAAAAAAAA ^ 0000000000005555 = AAAAAAAAAAAAFFFF (cc=1)
226XILF 8000000000000000 ^ 0000000000005555 = 8000000000005555 (cc=1)
227XILF FFFFFFFFFFFFFFFF ^ 0000000000005555 = FFFFFFFFFFFFAAAA (cc=1)
228XILF 5555555555555555 ^ 0000000000005555 = 5555555555550000 (cc=1)
229XILF 0000000000000000 ^ 000000000000AAAA = 000000000000AAAA (cc=1)
230XILF 0000000000000001 ^ 000000000000AAAA = 000000000000AAAB (cc=1)
231XILF 000000000000FFFF ^ 000000000000AAAA = 0000000000005555 (cc=1)
232XILF 0000000000007FFF ^ 000000000000AAAA = 000000000000D555 (cc=1)
233XILF 0000000000008000 ^ 000000000000AAAA = 0000000000002AAA (cc=1)
234XILF 00000000FFFFFFFF ^ 000000000000AAAA = 00000000FFFF5555 (cc=1)
235XILF 0000000080000000 ^ 000000000000AAAA = 000000008000AAAA (cc=1)
236XILF 000000007FFFFFFF ^ 000000000000AAAA = 000000007FFF5555 (cc=1)
237XILF AAAAAAAAAAAAAAAA ^ 000000000000AAAA = AAAAAAAAAAAA0000 (cc=1)
238XILF 8000000000000000 ^ 000000000000AAAA = 800000000000AAAA (cc=1)
239XILF FFFFFFFFFFFFFFFF ^ 000000000000AAAA = FFFFFFFFFFFF5555 (cc=1)
240XILF 5555555555555555 ^ 000000000000AAAA = 555555555555FFFF (cc=1)
241XILF 0000000000000000 ^ 00000000FFFF0000 = 00000000FFFF0000 (cc=1)
242XILF 0000000000000001 ^ 00000000FFFF0000 = 00000000FFFF0001 (cc=1)
243XILF 000000000000FFFF ^ 00000000FFFF0000 = 00000000FFFFFFFF (cc=1)
244XILF 0000000000007FFF ^ 00000000FFFF0000 = 00000000FFFF7FFF (cc=1)
245XILF 0000000000008000 ^ 00000000FFFF0000 = 00000000FFFF8000 (cc=1)
246XILF 00000000FFFFFFFF ^ 00000000FFFF0000 = 000000000000FFFF (cc=1)
247XILF 0000000080000000 ^ 00000000FFFF0000 = 000000007FFF0000 (cc=1)
248XILF 000000007FFFFFFF ^ 00000000FFFF0000 = 000000008000FFFF (cc=1)
249XILF AAAAAAAAAAAAAAAA ^ 00000000FFFF0000 = AAAAAAAA5555AAAA (cc=1)
250XILF 8000000000000000 ^ 00000000FFFF0000 = 80000000FFFF0000 (cc=1)
251XILF FFFFFFFFFFFFFFFF ^ 00000000FFFF0000 = FFFFFFFF0000FFFF (cc=1)
252XILF 5555555555555555 ^ 00000000FFFF0000 = 55555555AAAA5555 (cc=1)
253XILF 0000000000000000 ^ 0000000055550000 = 0000000055550000 (cc=1)
254XILF 0000000000000001 ^ 0000000055550000 = 0000000055550001 (cc=1)
255XILF 000000000000FFFF ^ 0000000055550000 = 000000005555FFFF (cc=1)
256XILF 0000000000007FFF ^ 0000000055550000 = 0000000055557FFF (cc=1)
257XILF 0000000000008000 ^ 0000000055550000 = 0000000055558000 (cc=1)
258XILF 00000000FFFFFFFF ^ 0000000055550000 = 00000000AAAAFFFF (cc=1)
259XILF 0000000080000000 ^ 0000000055550000 = 00000000D5550000 (cc=1)
260XILF 000000007FFFFFFF ^ 0000000055550000 = 000000002AAAFFFF (cc=1)
261XILF AAAAAAAAAAAAAAAA ^ 0000000055550000 = AAAAAAAAFFFFAAAA (cc=1)
262XILF 8000000000000000 ^ 0000000055550000 = 8000000055550000 (cc=1)
263XILF FFFFFFFFFFFFFFFF ^ 0000000055550000 = FFFFFFFFAAAAFFFF (cc=1)
264XILF 5555555555555555 ^ 0000000055550000 = 5555555500005555 (cc=1)
265XILF 0000000000000000 ^ 00000000AAAA0000 = 00000000AAAA0000 (cc=1)
266XILF 0000000000000001 ^ 00000000AAAA0000 = 00000000AAAA0001 (cc=1)
267XILF 000000000000FFFF ^ 00000000AAAA0000 = 00000000AAAAFFFF (cc=1)
268XILF 0000000000007FFF ^ 00000000AAAA0000 = 00000000AAAA7FFF (cc=1)
269XILF 0000000000008000 ^ 00000000AAAA0000 = 00000000AAAA8000 (cc=1)
270XILF 00000000FFFFFFFF ^ 00000000AAAA0000 = 000000005555FFFF (cc=1)
271XILF 0000000080000000 ^ 00000000AAAA0000 = 000000002AAA0000 (cc=1)
272XILF 000000007FFFFFFF ^ 00000000AAAA0000 = 00000000D555FFFF (cc=1)
273XILF AAAAAAAAAAAAAAAA ^ 00000000AAAA0000 = AAAAAAAA0000AAAA (cc=1)
274XILF 8000000000000000 ^ 00000000AAAA0000 = 80000000AAAA0000 (cc=1)
275XILF FFFFFFFFFFFFFFFF ^ 00000000AAAA0000 = FFFFFFFF5555FFFF (cc=1)
276XILF 5555555555555555 ^ 00000000AAAA0000 = 55555555FFFF5555 (cc=1)
277XILF 0000000000000000 ^ 00000000FFFFFFFF = 00000000FFFFFFFF (cc=1)
278XILF 0000000000000001 ^ 00000000FFFFFFFF = 00000000FFFFFFFE (cc=1)
279XILF 000000000000FFFF ^ 00000000FFFFFFFF = 00000000FFFF0000 (cc=1)
280XILF 0000000000007FFF ^ 00000000FFFFFFFF = 00000000FFFF8000 (cc=1)
281XILF 0000000000008000 ^ 00000000FFFFFFFF = 00000000FFFF7FFF (cc=1)
282XILF 00000000FFFFFFFF ^ 00000000FFFFFFFF = 0000000000000000 (cc=0)
283XILF 0000000080000000 ^ 00000000FFFFFFFF = 000000007FFFFFFF (cc=1)
284XILF 000000007FFFFFFF ^ 00000000FFFFFFFF = 0000000080000000 (cc=1)
285XILF AAAAAAAAAAAAAAAA ^ 00000000FFFFFFFF = AAAAAAAA55555555 (cc=1)
286XILF 8000000000000000 ^ 00000000FFFFFFFF = 80000000FFFFFFFF (cc=1)
287XILF FFFFFFFFFFFFFFFF ^ 00000000FFFFFFFF = FFFFFFFF00000000 (cc=0)
288XILF 5555555555555555 ^ 00000000FFFFFFFF = 55555555AAAAAAAA (cc=1)
289XILF 0000000000000000 ^ 0000000055555555 = 0000000055555555 (cc=1)
290XILF 0000000000000001 ^ 0000000055555555 = 0000000055555554 (cc=1)
291XILF 000000000000FFFF ^ 0000000055555555 = 000000005555AAAA (cc=1)
292XILF 0000000000007FFF ^ 0000000055555555 = 0000000055552AAA (cc=1)
293XILF 0000000000008000 ^ 0000000055555555 = 000000005555D555 (cc=1)
294XILF 00000000FFFFFFFF ^ 0000000055555555 = 00000000AAAAAAAA (cc=1)
295XILF 0000000080000000 ^ 0000000055555555 = 00000000D5555555 (cc=1)
296XILF 000000007FFFFFFF ^ 0000000055555555 = 000000002AAAAAAA (cc=1)
297XILF AAAAAAAAAAAAAAAA ^ 0000000055555555 = AAAAAAAAFFFFFFFF (cc=1)
298XILF 8000000000000000 ^ 0000000055555555 = 8000000055555555 (cc=1)
299XILF FFFFFFFFFFFFFFFF ^ 0000000055555555 = FFFFFFFFAAAAAAAA (cc=1)
300XILF 5555555555555555 ^ 0000000055555555 = 5555555500000000 (cc=0)
301XILF 0000000000000000 ^ 00000000AAAAAAAA = 00000000AAAAAAAA (cc=1)
302XILF 0000000000000001 ^ 00000000AAAAAAAA = 00000000AAAAAAAB (cc=1)
303XILF 000000000000FFFF ^ 00000000AAAAAAAA = 00000000AAAA5555 (cc=1)
304XILF 0000000000007FFF ^ 00000000AAAAAAAA = 00000000AAAAD555 (cc=1)
305XILF 0000000000008000 ^ 00000000AAAAAAAA = 00000000AAAA2AAA (cc=1)
306XILF 00000000FFFFFFFF ^ 00000000AAAAAAAA = 0000000055555555 (cc=1)
307XILF 0000000080000000 ^ 00000000AAAAAAAA = 000000002AAAAAAA (cc=1)
308XILF 000000007FFFFFFF ^ 00000000AAAAAAAA = 00000000D5555555 (cc=1)
309XILF AAAAAAAAAAAAAAAA ^ 00000000AAAAAAAA = AAAAAAAA00000000 (cc=0)
310XILF 8000000000000000 ^ 00000000AAAAAAAA = 80000000AAAAAAAA (cc=1)
311XILF FFFFFFFFFFFFFFFF ^ 00000000AAAAAAAA = FFFFFFFF55555555 (cc=1)
312XILF 5555555555555555 ^ 00000000AAAAAAAA = 55555555FFFFFFFF (cc=1)
313