1Test VSX vector single arg instructions
2#0: xvresp 1/x(3ec00000) ==> PASS; 1/x(42780000) ==> PASS; 1/x(00000000) ==> PASS; 1/x(7f800000) ==> PASS
3#1: xvresp 1/x(00000000) ==> PASS; 1/x(00000000) ==> PASS; 1/x(80000000) ==> PASS; 1/x(7f800000) ==> PASS
4#2: xvresp 1/x(ff800000) ==> PASS; 1/x(7fbfffff) ==> PASS; 1/x(ffbfffff) ==> PASS; 1/x(7fc00000) ==> PASS
5#3: xvresp 1/x(ffc00000) ==> PASS; 1/x(80000000) ==> PASS; 1/x(c683287b) ==> PASS; 1/x(49192c2d) ==> PASS
6
7#0: xvcvdpsxws conv(3fd8000000000000) = 0000000000000000; conv(404f000000000000) = 000000000000003e
8#1: xvcvdpsxws conv(0018000000b77501) = 0000000000000000; conv(7fe800000000051b) = 000000007fffffff
9#2: xvcvdpsxws conv(0123214569900000) = 0000000000000000; conv(0000000000000000) = 0000000000000000
10#3: xvcvdpsxws conv(8000000000000000) = 0000000000000000; conv(7ff0000000000000) = 000000007fffffff
11#4: xvcvdpsxws conv(fff0000000000000) = 0000000080000000; conv(7ff7ffffffffffff) = 0000000080000000
12#5: xvcvdpsxws conv(fff7ffffffffffff) = 0000000080000000; conv(7ff8000000000000) = 0000000080000000
13#6: xvcvdpsxws conv(fff8000000000000) = 0000000080000000; conv(8008340000078000) = 0000000000000000
14#7: xvcvdpsxws conv(c0d0650f5a07b353) = 00000000ffffbe6c; conv(41232585a9900000) = 00000000000992c2
15
16#0: xvcvspsxws conv(3ec00000) = 00000000; conv(42780000) = 0000003e; conv(00000000) = 00000000; conv(7f800000) = 7fffffff
17#1: xvcvspsxws conv(00000000) = 00000000; conv(00000000) = 00000000; conv(80000000) = 00000000; conv(7f800000) = 7fffffff
18#2: xvcvspsxws conv(ff800000) = 80000000; conv(7fbfffff) = 80000000; conv(ffbfffff) = 80000000; conv(7fc00000) = 80000000
19#3: xvcvspsxws conv(ffc00000) = 80000000; conv(80000000) = 00000000; conv(c683287b) = ffffbe6c; conv(49192c2d) = 000992c2
20
21Test VSX floating point compare and basic arithmetic instructions
22#0: xvcmpeqdp fff0000000000000 eq fff0000000000000 AND fff0000000000000 eq c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
23#1: xvcmpeqdp fff0000000000000 eq 8000000000000000 AND fff0000000000000 eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
24#2: xvcmpeqdp fff0000000000000 eq 0123214569900000 AND fff0000000000000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
25#3: xvcmpeqdp fff0000000000000 eq 7ff7ffffffffffff AND fff0000000000000 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
26#4: xvcmpeqdp c0d0650f5a07b353 eq fff0000000000000 AND c0d0650f5a07b353 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 ffffffffffffffff
27#5: xvcmpeqdp c0d0650f5a07b353 eq 8000000000000000 AND c0d0650f5a07b353 eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
28#6: xvcmpeqdp c0d0650f5a07b353 eq 0123214569900000 AND c0d0650f5a07b353 eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
29#7: xvcmpeqdp c0d0650f5a07b353 eq 7ff7ffffffffffff AND c0d0650f5a07b353 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
30#8: xvcmpeqdp 8000000000000000 eq fff0000000000000 AND 8000000000000000 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
31#9: xvcmpeqdp 8000000000000000 eq 8000000000000000 AND 8000000000000000 eq 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
32#10: xvcmpeqdp 8000000000000000 eq 0123214569900000 AND 8000000000000000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
33#11: xvcmpeqdp 8000000000000000 eq 7ff7ffffffffffff AND 8000000000000000 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
34#12: xvcmpeqdp 0000000000000000 eq fff0000000000000 AND 0000000000000000 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
35#13: xvcmpeqdp 0000000000000000 eq 8000000000000000 AND 0000000000000000 eq 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
36#14: xvcmpeqdp 0000000000000000 eq 0123214569900000 AND 0000000000000000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
37#15: xvcmpeqdp 0000000000000000 eq 7ff7ffffffffffff AND 0000000000000000 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
38#16: xvcmpeqdp 0123214569900000 eq fff0000000000000 AND 0123214569900000 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
39#17: xvcmpeqdp 0123214569900000 eq 8000000000000000 AND 0123214569900000 eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
40#18: xvcmpeqdp 0123214569900000 eq 404f000000000000 AND 0123214569900000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
41#19: xvcmpeqdp 0123214569900000 eq 7ff7ffffffffffff AND 0123214569900000 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
42#20: xvcmpeqdp 7ff0000000000000 eq fff0000000000000 AND 7ff0000000000000 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
43#21: xvcmpeqdp 7ff0000000000000 eq 8000000000000000 AND 7ff0000000000000 eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
44#22: xvcmpeqdp 7ff0000000000000 eq 0123214569900000 AND 7ff0000000000000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 ffffffffffffffff
45#23: xvcmpeqdp 7ff0000000000000 eq 7ff7ffffffffffff AND 7ff0000000000000 eq 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
46#24: xvcmpeqdp fff7ffffffffffff eq fff0000000000000 AND fff7ffffffffffff eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
47#25: xvcmpeqdp fff7ffffffffffff eq 8000000000000000 AND fff7ffffffffffff eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
48#26: xvcmpeqdp fff7ffffffffffff eq 0123214569900000 AND fff7ffffffffffff eq 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
49#27: xvcmpeqdp fff7ffffffffffff eq 7ff7ffffffffffff AND fff7ffffffffffff eq fff7ffffffffffff ? cc=0 => 0000000000000000 0000000000000000
50#28: xvcmpeqdp fff8000000000000 eq fff0000000000000 AND fff8000000000000 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
51#29: xvcmpeqdp fff8000000000000 eq 8000000000000000 AND fff8000000000000 eq 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
52#30: xvcmpeqdp 404f000000000000 eq 404f000000000000 AND 0018000000b77501 eq 0018000000b77501 ? cc=0 => ffffffffffffffff ffffffffffffffff
53#31: xvcmpeqdp 7fe800000000051b eq 7fe800000000051b AND 0123214569900000 eq 0123214569900000 ? cc=0 => ffffffffffffffff ffffffffffffffff
54
55#0: xvcmpeqdp. fff0000000000000 eq fff0000000000000 AND fff0000000000000 eq c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
56#1: xvcmpeqdp. fff0000000000000 eq 8000000000000000 AND fff0000000000000 eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
57#2: xvcmpeqdp. fff0000000000000 eq 0123214569900000 AND fff0000000000000 eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
58#3: xvcmpeqdp. fff0000000000000 eq 7ff7ffffffffffff AND fff0000000000000 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
59#4: xvcmpeqdp. c0d0650f5a07b353 eq fff0000000000000 AND c0d0650f5a07b353 eq c0d0650f5a07b353 ? cc=0 => 0000000000000000 ffffffffffffffff
60#5: xvcmpeqdp. c0d0650f5a07b353 eq 8000000000000000 AND c0d0650f5a07b353 eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
61#6: xvcmpeqdp. c0d0650f5a07b353 eq 0123214569900000 AND c0d0650f5a07b353 eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
62#7: xvcmpeqdp. c0d0650f5a07b353 eq 7ff7ffffffffffff AND c0d0650f5a07b353 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
63#8: xvcmpeqdp. 8000000000000000 eq fff0000000000000 AND 8000000000000000 eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
64#9: xvcmpeqdp. 8000000000000000 eq 8000000000000000 AND 8000000000000000 eq 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
65#10: xvcmpeqdp. 8000000000000000 eq 0123214569900000 AND 8000000000000000 eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
66#11: xvcmpeqdp. 8000000000000000 eq 7ff7ffffffffffff AND 8000000000000000 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
67#12: xvcmpeqdp. 0000000000000000 eq fff0000000000000 AND 0000000000000000 eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
68#13: xvcmpeqdp. 0000000000000000 eq 8000000000000000 AND 0000000000000000 eq 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
69#14: xvcmpeqdp. 0000000000000000 eq 0123214569900000 AND 0000000000000000 eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
70#15: xvcmpeqdp. 0000000000000000 eq 7ff7ffffffffffff AND 0000000000000000 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
71#16: xvcmpeqdp. 0123214569900000 eq fff0000000000000 AND 0123214569900000 eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
72#17: xvcmpeqdp. 0123214569900000 eq 8000000000000000 AND 0123214569900000 eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
73#18: xvcmpeqdp. 0123214569900000 eq 404f000000000000 AND 0123214569900000 eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
74#19: xvcmpeqdp. 0123214569900000 eq 7ff7ffffffffffff AND 0123214569900000 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
75#20: xvcmpeqdp. 7ff0000000000000 eq fff0000000000000 AND 7ff0000000000000 eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
76#21: xvcmpeqdp. 7ff0000000000000 eq 8000000000000000 AND 7ff0000000000000 eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
77#22: xvcmpeqdp. 7ff0000000000000 eq 0123214569900000 AND 7ff0000000000000 eq 7ff0000000000000 ? cc=0 => 0000000000000000 ffffffffffffffff
78#23: xvcmpeqdp. 7ff0000000000000 eq 7ff7ffffffffffff AND 7ff0000000000000 eq 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
79#24: xvcmpeqdp. fff7ffffffffffff eq fff0000000000000 AND fff7ffffffffffff eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
80#25: xvcmpeqdp. fff7ffffffffffff eq 8000000000000000 AND fff7ffffffffffff eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
81#26: xvcmpeqdp. fff7ffffffffffff eq 0123214569900000 AND fff7ffffffffffff eq 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
82#27: xvcmpeqdp. fff7ffffffffffff eq 7ff7ffffffffffff AND fff7ffffffffffff eq fff7ffffffffffff ? cc=2 => 0000000000000000 0000000000000000
83#28: xvcmpeqdp. fff8000000000000 eq fff0000000000000 AND fff8000000000000 eq c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
84#29: xvcmpeqdp. fff8000000000000 eq 8000000000000000 AND fff8000000000000 eq 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
85#30: xvcmpeqdp. 404f000000000000 eq 404f000000000000 AND 0018000000b77501 eq 0018000000b77501 ? cc=8 => ffffffffffffffff ffffffffffffffff
86#31: xvcmpeqdp. 7fe800000000051b eq 7fe800000000051b AND 0123214569900000 eq 0123214569900000 ? cc=8 => ffffffffffffffff ffffffffffffffff
87
88
89#0: xvcmpgedp fff0000000000000 ge fff0000000000000 AND fff0000000000000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
90#1: xvcmpgedp fff0000000000000 ge 8000000000000000 AND fff0000000000000 ge 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
91#2: xvcmpgedp fff0000000000000 ge 0123214569900000 AND fff0000000000000 ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
92#3: xvcmpgedp fff0000000000000 ge 7ff7ffffffffffff AND fff0000000000000 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
93#4: xvcmpgedp c0d0650f5a07b353 ge fff0000000000000 AND c0d0650f5a07b353 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
94#5: xvcmpgedp c0d0650f5a07b353 ge 8000000000000000 AND c0d0650f5a07b353 ge 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
95#6: xvcmpgedp c0d0650f5a07b353 ge 0123214569900000 AND c0d0650f5a07b353 ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
96#7: xvcmpgedp c0d0650f5a07b353 ge 7ff7ffffffffffff AND c0d0650f5a07b353 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
97#8: xvcmpgedp 8000000000000000 ge fff0000000000000 AND 8000000000000000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
98#9: xvcmpgedp 8000000000000000 ge 8000000000000000 AND 8000000000000000 ge 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
99#10: xvcmpgedp 8000000000000000 ge 0123214569900000 AND 8000000000000000 ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
100#11: xvcmpgedp 8000000000000000 ge 7ff7ffffffffffff AND 8000000000000000 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
101#12: xvcmpgedp 0000000000000000 ge fff0000000000000 AND 0000000000000000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
102#13: xvcmpgedp 0000000000000000 ge 8000000000000000 AND 0000000000000000 ge 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
103#14: xvcmpgedp 0000000000000000 ge 0123214569900000 AND 0000000000000000 ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
104#15: xvcmpgedp 0000000000000000 ge 7ff7ffffffffffff AND 0000000000000000 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
105#16: xvcmpgedp 0123214569900000 ge fff0000000000000 AND 0123214569900000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
106#17: xvcmpgedp 0123214569900000 ge 8000000000000000 AND 0123214569900000 ge 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
107#18: xvcmpgedp 0123214569900000 ge 404f000000000000 AND 0123214569900000 ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
108#19: xvcmpgedp 0123214569900000 ge 7ff7ffffffffffff AND 0123214569900000 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
109#20: xvcmpgedp 7ff0000000000000 ge fff0000000000000 AND 7ff0000000000000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
110#21: xvcmpgedp 7ff0000000000000 ge 8000000000000000 AND 7ff0000000000000 ge 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
111#22: xvcmpgedp 7ff0000000000000 ge 0123214569900000 AND 7ff0000000000000 ge 7ff0000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
112#23: xvcmpgedp 7ff0000000000000 ge 7ff7ffffffffffff AND 7ff0000000000000 ge 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
113#24: xvcmpgedp fff7ffffffffffff ge fff0000000000000 AND fff7ffffffffffff ge c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
114#25: xvcmpgedp fff7ffffffffffff ge 8000000000000000 AND fff7ffffffffffff ge 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
115#26: xvcmpgedp fff7ffffffffffff ge 0123214569900000 AND fff7ffffffffffff ge 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
116#27: xvcmpgedp fff7ffffffffffff ge 7ff7ffffffffffff AND fff7ffffffffffff ge fff7ffffffffffff ? cc=0 => 0000000000000000 0000000000000000
117#28: xvcmpgedp fff8000000000000 ge fff0000000000000 AND fff8000000000000 ge c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
118#29: xvcmpgedp fff8000000000000 ge 8000000000000000 AND fff8000000000000 ge 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
119#30: xvcmpgedp 404f000000000000 ge 404f000000000000 AND 0018000000b77501 ge 0018000000b77501 ? cc=0 => ffffffffffffffff ffffffffffffffff
120#31: xvcmpgedp 7fe800000000051b ge 7fe800000000051b AND 0123214569900000 ge 0123214569900000 ? cc=0 => ffffffffffffffff ffffffffffffffff
121
122#0: xvcmpgedp. fff0000000000000 ge fff0000000000000 AND fff0000000000000 ge c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
123#1: xvcmpgedp. fff0000000000000 ge 8000000000000000 AND fff0000000000000 ge 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
124#2: xvcmpgedp. fff0000000000000 ge 0123214569900000 AND fff0000000000000 ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
125#3: xvcmpgedp. fff0000000000000 ge 7ff7ffffffffffff AND fff0000000000000 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
126#4: xvcmpgedp. c0d0650f5a07b353 ge fff0000000000000 AND c0d0650f5a07b353 ge c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
127#5: xvcmpgedp. c0d0650f5a07b353 ge 8000000000000000 AND c0d0650f5a07b353 ge 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
128#6: xvcmpgedp. c0d0650f5a07b353 ge 0123214569900000 AND c0d0650f5a07b353 ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
129#7: xvcmpgedp. c0d0650f5a07b353 ge 7ff7ffffffffffff AND c0d0650f5a07b353 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
130#8: xvcmpgedp. 8000000000000000 ge fff0000000000000 AND 8000000000000000 ge c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
131#9: xvcmpgedp. 8000000000000000 ge 8000000000000000 AND 8000000000000000 ge 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
132#10: xvcmpgedp. 8000000000000000 ge 0123214569900000 AND 8000000000000000 ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
133#11: xvcmpgedp. 8000000000000000 ge 7ff7ffffffffffff AND 8000000000000000 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
134#12: xvcmpgedp. 0000000000000000 ge fff0000000000000 AND 0000000000000000 ge c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
135#13: xvcmpgedp. 0000000000000000 ge 8000000000000000 AND 0000000000000000 ge 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
136#14: xvcmpgedp. 0000000000000000 ge 0123214569900000 AND 0000000000000000 ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
137#15: xvcmpgedp. 0000000000000000 ge 7ff7ffffffffffff AND 0000000000000000 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
138#16: xvcmpgedp. 0123214569900000 ge fff0000000000000 AND 0123214569900000 ge c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
139#17: xvcmpgedp. 0123214569900000 ge 8000000000000000 AND 0123214569900000 ge 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
140#18: xvcmpgedp. 0123214569900000 ge 404f000000000000 AND 0123214569900000 ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
141#19: xvcmpgedp. 0123214569900000 ge 7ff7ffffffffffff AND 0123214569900000 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
142#20: xvcmpgedp. 7ff0000000000000 ge fff0000000000000 AND 7ff0000000000000 ge c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
143#21: xvcmpgedp. 7ff0000000000000 ge 8000000000000000 AND 7ff0000000000000 ge 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
144#22: xvcmpgedp. 7ff0000000000000 ge 0123214569900000 AND 7ff0000000000000 ge 7ff0000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
145#23: xvcmpgedp. 7ff0000000000000 ge 7ff7ffffffffffff AND 7ff0000000000000 ge 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
146#24: xvcmpgedp. fff7ffffffffffff ge fff0000000000000 AND fff7ffffffffffff ge c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
147#25: xvcmpgedp. fff7ffffffffffff ge 8000000000000000 AND fff7ffffffffffff ge 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
148#26: xvcmpgedp. fff7ffffffffffff ge 0123214569900000 AND fff7ffffffffffff ge 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
149#27: xvcmpgedp. fff7ffffffffffff ge 7ff7ffffffffffff AND fff7ffffffffffff ge fff7ffffffffffff ? cc=2 => 0000000000000000 0000000000000000
150#28: xvcmpgedp. fff8000000000000 ge fff0000000000000 AND fff8000000000000 ge c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
151#29: xvcmpgedp. fff8000000000000 ge 8000000000000000 AND fff8000000000000 ge 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
152#30: xvcmpgedp. 404f000000000000 ge 404f000000000000 AND 0018000000b77501 ge 0018000000b77501 ? cc=8 => ffffffffffffffff ffffffffffffffff
153#31: xvcmpgedp. 7fe800000000051b ge 7fe800000000051b AND 0123214569900000 ge 0123214569900000 ? cc=8 => ffffffffffffffff ffffffffffffffff
154
155
156#0: xvcmpgtdp fff0000000000000 gt fff0000000000000 AND fff0000000000000 gt c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
157#1: xvcmpgtdp fff0000000000000 gt 8000000000000000 AND fff0000000000000 gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
158#2: xvcmpgtdp fff0000000000000 gt 0123214569900000 AND fff0000000000000 gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
159#3: xvcmpgtdp fff0000000000000 gt 7ff7ffffffffffff AND fff0000000000000 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
160#4: xvcmpgtdp c0d0650f5a07b353 gt fff0000000000000 AND c0d0650f5a07b353 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
161#5: xvcmpgtdp c0d0650f5a07b353 gt 8000000000000000 AND c0d0650f5a07b353 gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
162#6: xvcmpgtdp c0d0650f5a07b353 gt 0123214569900000 AND c0d0650f5a07b353 gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
163#7: xvcmpgtdp c0d0650f5a07b353 gt 7ff7ffffffffffff AND c0d0650f5a07b353 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
164#8: xvcmpgtdp 8000000000000000 gt fff0000000000000 AND 8000000000000000 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
165#9: xvcmpgtdp 8000000000000000 gt 8000000000000000 AND 8000000000000000 gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
166#10: xvcmpgtdp 8000000000000000 gt 0123214569900000 AND 8000000000000000 gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
167#11: xvcmpgtdp 8000000000000000 gt 7ff7ffffffffffff AND 8000000000000000 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
168#12: xvcmpgtdp 0000000000000000 gt fff0000000000000 AND 0000000000000000 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
169#13: xvcmpgtdp 0000000000000000 gt 8000000000000000 AND 0000000000000000 gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
170#14: xvcmpgtdp 0000000000000000 gt 0123214569900000 AND 0000000000000000 gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
171#15: xvcmpgtdp 0000000000000000 gt 7ff7ffffffffffff AND 0000000000000000 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
172#16: xvcmpgtdp 0123214569900000 gt fff0000000000000 AND 0123214569900000 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
173#17: xvcmpgtdp 0123214569900000 gt 8000000000000000 AND 0123214569900000 gt 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
174#18: xvcmpgtdp 0123214569900000 gt 404f000000000000 AND 0123214569900000 gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
175#19: xvcmpgtdp 0123214569900000 gt 7ff7ffffffffffff AND 0123214569900000 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
176#20: xvcmpgtdp 7ff0000000000000 gt fff0000000000000 AND 7ff0000000000000 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff ffffffffffffffff
177#21: xvcmpgtdp 7ff0000000000000 gt 8000000000000000 AND 7ff0000000000000 gt 0000000000000000 ? cc=0 => ffffffffffffffff ffffffffffffffff
178#22: xvcmpgtdp 7ff0000000000000 gt 0123214569900000 AND 7ff0000000000000 gt 7ff0000000000000 ? cc=0 => ffffffffffffffff 0000000000000000
179#23: xvcmpgtdp 7ff0000000000000 gt 7ff7ffffffffffff AND 7ff0000000000000 gt 7ff8000000000000 ? cc=0 => 0000000000000000 0000000000000000
180#24: xvcmpgtdp fff7ffffffffffff gt fff0000000000000 AND fff7ffffffffffff gt c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
181#25: xvcmpgtdp fff7ffffffffffff gt 8000000000000000 AND fff7ffffffffffff gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
182#26: xvcmpgtdp fff7ffffffffffff gt 0123214569900000 AND fff7ffffffffffff gt 7ff0000000000000 ? cc=0 => 0000000000000000 0000000000000000
183#27: xvcmpgtdp fff7ffffffffffff gt 7ff7ffffffffffff AND fff7ffffffffffff gt fff7ffffffffffff ? cc=0 => 0000000000000000 0000000000000000
184#28: xvcmpgtdp fff8000000000000 gt fff0000000000000 AND fff8000000000000 gt c0d0650f5a07b353 ? cc=0 => 0000000000000000 0000000000000000
185#29: xvcmpgtdp fff8000000000000 gt 8000000000000000 AND fff8000000000000 gt 0000000000000000 ? cc=0 => 0000000000000000 0000000000000000
186#30: xvcmpgtdp 404f000000000000 gt 404f000000000000 AND 0018000000b77501 gt 0018000000b77501 ? cc=0 => 0000000000000000 0000000000000000
187#31: xvcmpgtdp 7fe800000000051b gt 7fe800000000051b AND 0123214569900000 gt 0123214569900000 ? cc=0 => 0000000000000000 0000000000000000
188
189#0: xvcmpgtdp. fff0000000000000 gt fff0000000000000 AND fff0000000000000 gt c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
190#1: xvcmpgtdp. fff0000000000000 gt 8000000000000000 AND fff0000000000000 gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
191#2: xvcmpgtdp. fff0000000000000 gt 0123214569900000 AND fff0000000000000 gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
192#3: xvcmpgtdp. fff0000000000000 gt 7ff7ffffffffffff AND fff0000000000000 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
193#4: xvcmpgtdp. c0d0650f5a07b353 gt fff0000000000000 AND c0d0650f5a07b353 gt c0d0650f5a07b353 ? cc=0 => ffffffffffffffff 0000000000000000
194#5: xvcmpgtdp. c0d0650f5a07b353 gt 8000000000000000 AND c0d0650f5a07b353 gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
195#6: xvcmpgtdp. c0d0650f5a07b353 gt 0123214569900000 AND c0d0650f5a07b353 gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
196#7: xvcmpgtdp. c0d0650f5a07b353 gt 7ff7ffffffffffff AND c0d0650f5a07b353 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
197#8: xvcmpgtdp. 8000000000000000 gt fff0000000000000 AND 8000000000000000 gt c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
198#9: xvcmpgtdp. 8000000000000000 gt 8000000000000000 AND 8000000000000000 gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
199#10: xvcmpgtdp. 8000000000000000 gt 0123214569900000 AND 8000000000000000 gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
200#11: xvcmpgtdp. 8000000000000000 gt 7ff7ffffffffffff AND 8000000000000000 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
201#12: xvcmpgtdp. 0000000000000000 gt fff0000000000000 AND 0000000000000000 gt c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
202#13: xvcmpgtdp. 0000000000000000 gt 8000000000000000 AND 0000000000000000 gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
203#14: xvcmpgtdp. 0000000000000000 gt 0123214569900000 AND 0000000000000000 gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
204#15: xvcmpgtdp. 0000000000000000 gt 7ff7ffffffffffff AND 0000000000000000 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
205#16: xvcmpgtdp. 0123214569900000 gt fff0000000000000 AND 0123214569900000 gt c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
206#17: xvcmpgtdp. 0123214569900000 gt 8000000000000000 AND 0123214569900000 gt 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
207#18: xvcmpgtdp. 0123214569900000 gt 404f000000000000 AND 0123214569900000 gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
208#19: xvcmpgtdp. 0123214569900000 gt 7ff7ffffffffffff AND 0123214569900000 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
209#20: xvcmpgtdp. 7ff0000000000000 gt fff0000000000000 AND 7ff0000000000000 gt c0d0650f5a07b353 ? cc=8 => ffffffffffffffff ffffffffffffffff
210#21: xvcmpgtdp. 7ff0000000000000 gt 8000000000000000 AND 7ff0000000000000 gt 0000000000000000 ? cc=8 => ffffffffffffffff ffffffffffffffff
211#22: xvcmpgtdp. 7ff0000000000000 gt 0123214569900000 AND 7ff0000000000000 gt 7ff0000000000000 ? cc=0 => ffffffffffffffff 0000000000000000
212#23: xvcmpgtdp. 7ff0000000000000 gt 7ff7ffffffffffff AND 7ff0000000000000 gt 7ff8000000000000 ? cc=2 => 0000000000000000 0000000000000000
213#24: xvcmpgtdp. fff7ffffffffffff gt fff0000000000000 AND fff7ffffffffffff gt c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
214#25: xvcmpgtdp. fff7ffffffffffff gt 8000000000000000 AND fff7ffffffffffff gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
215#26: xvcmpgtdp. fff7ffffffffffff gt 0123214569900000 AND fff7ffffffffffff gt 7ff0000000000000 ? cc=2 => 0000000000000000 0000000000000000
216#27: xvcmpgtdp. fff7ffffffffffff gt 7ff7ffffffffffff AND fff7ffffffffffff gt fff7ffffffffffff ? cc=2 => 0000000000000000 0000000000000000
217#28: xvcmpgtdp. fff8000000000000 gt fff0000000000000 AND fff8000000000000 gt c0d0650f5a07b353 ? cc=2 => 0000000000000000 0000000000000000
218#29: xvcmpgtdp. fff8000000000000 gt 8000000000000000 AND fff8000000000000 gt 0000000000000000 ? cc=2 => 0000000000000000 0000000000000000
219#30: xvcmpgtdp. 404f000000000000 gt 404f000000000000 AND 0018000000b77501 gt 0018000000b77501 ? cc=2 => 0000000000000000 0000000000000000
220#31: xvcmpgtdp. 7fe800000000051b gt 7fe800000000051b AND 0123214569900000 gt 0123214569900000 ? cc=2 => 0000000000000000 0000000000000000
221
222
223#0: xvcmpeqsp ff800000 eq ff800000 AND ff800000 eq c683287b AND ff800000 eq 80000000 AND ff800000 eq 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
224#1: xvcmpeqsp ff800000 eq 00000000 AND ff800000 eq 7f800000 AND ff800000 eq 7fbfffff AND ff800000 eq 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
225#2: xvcmpeqsp c683287b eq ff800000 AND c683287b eq c683287b AND c683287b eq 80000000 AND c683287b eq 00000000 ? cc=0 => 00000000 ffffffff 00000000 00000000
226#3: xvcmpeqsp c683287b eq 00000000 AND c683287b eq 7f800000 AND c683287b eq 7fbfffff AND c683287b eq 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
227#4: xvcmpeqsp 80000000 eq ff800000 AND 80000000 eq c683287b AND 80000000 eq 80000000 AND 80000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
228#5: xvcmpeqsp 80000000 eq 00000000 AND 80000000 eq 7f800000 AND 80000000 eq 7fbfffff AND 80000000 eq 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
229#6: xvcmpeqsp 00000000 eq ff800000 AND 00000000 eq c683287b AND 00000000 eq 80000000 AND 00000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
230#7: xvcmpeqsp 00000000 eq 00000000 AND 00000000 eq 7f800000 AND 00000000 eq 7fbfffff AND 00000000 eq 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
231#8: xvcmpeqsp 00000000 eq ff800000 AND 00000000 eq c683287b AND 00000000 eq 80000000 AND 00000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
232#9: xvcmpeqsp 00000000 eq 42780000 AND 00000000 eq 7f800000 AND 00000000 eq 7fbfffff AND 00000000 eq 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
233#10: xvcmpeqsp 7f800000 eq ff800000 AND 7f800000 eq c683287b AND 7f800000 eq 80000000 AND 7f800000 eq 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
234#11: xvcmpeqsp 7f800000 eq 00000000 AND 7f800000 eq 7f800000 AND 7f800000 eq 7fbfffff AND 7f800000 eq 7fc00000 ? cc=0 => 00000000 ffffffff 00000000 00000000
235#12: xvcmpeqsp ffbfffff eq ff800000 AND ffbfffff eq c683287b AND ffbfffff eq 80000000 AND ffbfffff eq 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
236#13: xvcmpeqsp ffbfffff eq 00000000 AND ffbfffff eq 7f800000 AND ffbfffff eq 7fbfffff AND ffbfffff eq ffbfffff ? cc=0 => 00000000 00000000 00000000 00000000
237#14: xvcmpeqsp ffc00000 eq ff800000 AND ffc00000 eq c683287b AND ffc00000 eq 80000000 AND ffc00000 eq 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
238#15: xvcmpeqsp 42780000 eq 42780000 AND 00000000 eq 00000000 AND 7f800000 eq 7f800000 AND 00000000 eq 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
239
240#0: xvcmpeqsp. ff800000 eq ff800000 AND ff800000 eq c683287b AND ff800000 eq 80000000 AND ff800000 eq 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
241#1: xvcmpeqsp. ff800000 eq 00000000 AND ff800000 eq 7f800000 AND ff800000 eq 7fbfffff AND ff800000 eq 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
242#2: xvcmpeqsp. c683287b eq ff800000 AND c683287b eq c683287b AND c683287b eq 80000000 AND c683287b eq 00000000 ? cc=0 => 00000000 ffffffff 00000000 00000000
243#3: xvcmpeqsp. c683287b eq 00000000 AND c683287b eq 7f800000 AND c683287b eq 7fbfffff AND c683287b eq 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
244#4: xvcmpeqsp. 80000000 eq ff800000 AND 80000000 eq c683287b AND 80000000 eq 80000000 AND 80000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
245#5: xvcmpeqsp. 80000000 eq 00000000 AND 80000000 eq 7f800000 AND 80000000 eq 7fbfffff AND 80000000 eq 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
246#6: xvcmpeqsp. 00000000 eq ff800000 AND 00000000 eq c683287b AND 00000000 eq 80000000 AND 00000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
247#7: xvcmpeqsp. 00000000 eq 00000000 AND 00000000 eq 7f800000 AND 00000000 eq 7fbfffff AND 00000000 eq 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
248#8: xvcmpeqsp. 00000000 eq ff800000 AND 00000000 eq c683287b AND 00000000 eq 80000000 AND 00000000 eq 00000000 ? cc=0 => 00000000 00000000 ffffffff ffffffff
249#9: xvcmpeqsp. 00000000 eq 42780000 AND 00000000 eq 7f800000 AND 00000000 eq 7fbfffff AND 00000000 eq 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
250#10: xvcmpeqsp. 7f800000 eq ff800000 AND 7f800000 eq c683287b AND 7f800000 eq 80000000 AND 7f800000 eq 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
251#11: xvcmpeqsp. 7f800000 eq 00000000 AND 7f800000 eq 7f800000 AND 7f800000 eq 7fbfffff AND 7f800000 eq 7fc00000 ? cc=0 => 00000000 ffffffff 00000000 00000000
252#12: xvcmpeqsp. ffbfffff eq ff800000 AND ffbfffff eq c683287b AND ffbfffff eq 80000000 AND ffbfffff eq 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
253#13: xvcmpeqsp. ffbfffff eq 00000000 AND ffbfffff eq 7f800000 AND ffbfffff eq 7fbfffff AND ffbfffff eq ffbfffff ? cc=2 => 00000000 00000000 00000000 00000000
254#14: xvcmpeqsp. ffc00000 eq ff800000 AND ffc00000 eq c683287b AND ffc00000 eq 80000000 AND ffc00000 eq 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
255#15: xvcmpeqsp. 42780000 eq 42780000 AND 00000000 eq 00000000 AND 7f800000 eq 7f800000 AND 00000000 eq 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
256
257
258#0: xvcmpgesp ff800000 ge ff800000 AND ff800000 ge c683287b AND ff800000 ge 80000000 AND ff800000 ge 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
259#1: xvcmpgesp ff800000 ge 00000000 AND ff800000 ge 7f800000 AND ff800000 ge 7fbfffff AND ff800000 ge 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
260#2: xvcmpgesp c683287b ge ff800000 AND c683287b ge c683287b AND c683287b ge 80000000 AND c683287b ge 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
261#3: xvcmpgesp c683287b ge 00000000 AND c683287b ge 7f800000 AND c683287b ge 7fbfffff AND c683287b ge 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
262#4: xvcmpgesp 80000000 ge ff800000 AND 80000000 ge c683287b AND 80000000 ge 80000000 AND 80000000 ge 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
263#5: xvcmpgesp 80000000 ge 00000000 AND 80000000 ge 7f800000 AND 80000000 ge 7fbfffff AND 80000000 ge 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
264#6: xvcmpgesp 00000000 ge ff800000 AND 00000000 ge c683287b AND 00000000 ge 80000000 AND 00000000 ge 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
265#7: xvcmpgesp 00000000 ge 00000000 AND 00000000 ge 7f800000 AND 00000000 ge 7fbfffff AND 00000000 ge 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
266#8: xvcmpgesp 00000000 ge ff800000 AND 00000000 ge c683287b AND 00000000 ge 80000000 AND 00000000 ge 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
267#9: xvcmpgesp 00000000 ge 42780000 AND 00000000 ge 7f800000 AND 00000000 ge 7fbfffff AND 00000000 ge 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
268#10: xvcmpgesp 7f800000 ge ff800000 AND 7f800000 ge c683287b AND 7f800000 ge 80000000 AND 7f800000 ge 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
269#11: xvcmpgesp 7f800000 ge 00000000 AND 7f800000 ge 7f800000 AND 7f800000 ge 7fbfffff AND 7f800000 ge 7fc00000 ? cc=0 => ffffffff ffffffff 00000000 00000000
270#12: xvcmpgesp ffbfffff ge ff800000 AND ffbfffff ge c683287b AND ffbfffff ge 80000000 AND ffbfffff ge 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
271#13: xvcmpgesp ffbfffff ge 00000000 AND ffbfffff ge 7f800000 AND ffbfffff ge 7fbfffff AND ffbfffff ge ffbfffff ? cc=0 => 00000000 00000000 00000000 00000000
272#14: xvcmpgesp ffc00000 ge ff800000 AND ffc00000 ge c683287b AND ffc00000 ge 80000000 AND ffc00000 ge 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
273#15: xvcmpgesp 42780000 ge 42780000 AND 00000000 ge 00000000 AND 7f800000 ge 7f800000 AND 00000000 ge 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
274
275#0: xvcmpgesp. ff800000 ge ff800000 AND ff800000 ge c683287b AND ff800000 ge 80000000 AND ff800000 ge 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
276#1: xvcmpgesp. ff800000 ge 00000000 AND ff800000 ge 7f800000 AND ff800000 ge 7fbfffff AND ff800000 ge 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
277#2: xvcmpgesp. c683287b ge ff800000 AND c683287b ge c683287b AND c683287b ge 80000000 AND c683287b ge 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
278#3: xvcmpgesp. c683287b ge 00000000 AND c683287b ge 7f800000 AND c683287b ge 7fbfffff AND c683287b ge 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
279#4: xvcmpgesp. 80000000 ge ff800000 AND 80000000 ge c683287b AND 80000000 ge 80000000 AND 80000000 ge 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
280#5: xvcmpgesp. 80000000 ge 00000000 AND 80000000 ge 7f800000 AND 80000000 ge 7fbfffff AND 80000000 ge 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
281#6: xvcmpgesp. 00000000 ge ff800000 AND 00000000 ge c683287b AND 00000000 ge 80000000 AND 00000000 ge 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
282#7: xvcmpgesp. 00000000 ge 00000000 AND 00000000 ge 7f800000 AND 00000000 ge 7fbfffff AND 00000000 ge 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
283#8: xvcmpgesp. 00000000 ge ff800000 AND 00000000 ge c683287b AND 00000000 ge 80000000 AND 00000000 ge 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
284#9: xvcmpgesp. 00000000 ge 42780000 AND 00000000 ge 7f800000 AND 00000000 ge 7fbfffff AND 00000000 ge 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
285#10: xvcmpgesp. 7f800000 ge ff800000 AND 7f800000 ge c683287b AND 7f800000 ge 80000000 AND 7f800000 ge 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
286#11: xvcmpgesp. 7f800000 ge 00000000 AND 7f800000 ge 7f800000 AND 7f800000 ge 7fbfffff AND 7f800000 ge 7fc00000 ? cc=0 => ffffffff ffffffff 00000000 00000000
287#12: xvcmpgesp. ffbfffff ge ff800000 AND ffbfffff ge c683287b AND ffbfffff ge 80000000 AND ffbfffff ge 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
288#13: xvcmpgesp. ffbfffff ge 00000000 AND ffbfffff ge 7f800000 AND ffbfffff ge 7fbfffff AND ffbfffff ge ffbfffff ? cc=2 => 00000000 00000000 00000000 00000000
289#14: xvcmpgesp. ffc00000 ge ff800000 AND ffc00000 ge c683287b AND ffc00000 ge 80000000 AND ffc00000 ge 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
290#15: xvcmpgesp. 42780000 ge 42780000 AND 00000000 ge 00000000 AND 7f800000 ge 7f800000 AND 00000000 ge 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
291
292
293#0: xvcmpgtsp ff800000 gt ff800000 AND ff800000 gt c683287b AND ff800000 gt 80000000 AND ff800000 gt 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
294#1: xvcmpgtsp ff800000 gt 00000000 AND ff800000 gt 7f800000 AND ff800000 gt 7fbfffff AND ff800000 gt 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
295#2: xvcmpgtsp c683287b gt ff800000 AND c683287b gt c683287b AND c683287b gt 80000000 AND c683287b gt 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
296#3: xvcmpgtsp c683287b gt 00000000 AND c683287b gt 7f800000 AND c683287b gt 7fbfffff AND c683287b gt 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
297#4: xvcmpgtsp 80000000 gt ff800000 AND 80000000 gt c683287b AND 80000000 gt 80000000 AND 80000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
298#5: xvcmpgtsp 80000000 gt 00000000 AND 80000000 gt 7f800000 AND 80000000 gt 7fbfffff AND 80000000 gt 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
299#6: xvcmpgtsp 00000000 gt ff800000 AND 00000000 gt c683287b AND 00000000 gt 80000000 AND 00000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
300#7: xvcmpgtsp 00000000 gt 00000000 AND 00000000 gt 7f800000 AND 00000000 gt 7fbfffff AND 00000000 gt 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
301#8: xvcmpgtsp 00000000 gt ff800000 AND 00000000 gt c683287b AND 00000000 gt 80000000 AND 00000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
302#9: xvcmpgtsp 00000000 gt 42780000 AND 00000000 gt 7f800000 AND 00000000 gt 7fbfffff AND 00000000 gt 7fc00000 ? cc=0 => 00000000 00000000 00000000 00000000
303#10: xvcmpgtsp 7f800000 gt ff800000 AND 7f800000 gt c683287b AND 7f800000 gt 80000000 AND 7f800000 gt 00000000 ? cc=0 => ffffffff ffffffff ffffffff ffffffff
304#11: xvcmpgtsp 7f800000 gt 00000000 AND 7f800000 gt 7f800000 AND 7f800000 gt 7fbfffff AND 7f800000 gt 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
305#12: xvcmpgtsp ffbfffff gt ff800000 AND ffbfffff gt c683287b AND ffbfffff gt 80000000 AND ffbfffff gt 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
306#13: xvcmpgtsp ffbfffff gt 00000000 AND ffbfffff gt 7f800000 AND ffbfffff gt 7fbfffff AND ffbfffff gt ffbfffff ? cc=0 => 00000000 00000000 00000000 00000000
307#14: xvcmpgtsp ffc00000 gt ff800000 AND ffc00000 gt c683287b AND ffc00000 gt 80000000 AND ffc00000 gt 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
308#15: xvcmpgtsp 42780000 gt 42780000 AND 00000000 gt 00000000 AND 7f800000 gt 7f800000 AND 00000000 gt 00000000 ? cc=0 => 00000000 00000000 00000000 00000000
309
310#0: xvcmpgtsp. ff800000 gt ff800000 AND ff800000 gt c683287b AND ff800000 gt 80000000 AND ff800000 gt 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
311#1: xvcmpgtsp. ff800000 gt 00000000 AND ff800000 gt 7f800000 AND ff800000 gt 7fbfffff AND ff800000 gt 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
312#2: xvcmpgtsp. c683287b gt ff800000 AND c683287b gt c683287b AND c683287b gt 80000000 AND c683287b gt 00000000 ? cc=0 => ffffffff 00000000 00000000 00000000
313#3: xvcmpgtsp. c683287b gt 00000000 AND c683287b gt 7f800000 AND c683287b gt 7fbfffff AND c683287b gt 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
314#4: xvcmpgtsp. 80000000 gt ff800000 AND 80000000 gt c683287b AND 80000000 gt 80000000 AND 80000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
315#5: xvcmpgtsp. 80000000 gt 00000000 AND 80000000 gt 7f800000 AND 80000000 gt 7fbfffff AND 80000000 gt 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
316#6: xvcmpgtsp. 00000000 gt ff800000 AND 00000000 gt c683287b AND 00000000 gt 80000000 AND 00000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
317#7: xvcmpgtsp. 00000000 gt 00000000 AND 00000000 gt 7f800000 AND 00000000 gt 7fbfffff AND 00000000 gt 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
318#8: xvcmpgtsp. 00000000 gt ff800000 AND 00000000 gt c683287b AND 00000000 gt 80000000 AND 00000000 gt 00000000 ? cc=0 => ffffffff ffffffff 00000000 00000000
319#9: xvcmpgtsp. 00000000 gt 42780000 AND 00000000 gt 7f800000 AND 00000000 gt 7fbfffff AND 00000000 gt 7fc00000 ? cc=2 => 00000000 00000000 00000000 00000000
320#10: xvcmpgtsp. 7f800000 gt ff800000 AND 7f800000 gt c683287b AND 7f800000 gt 80000000 AND 7f800000 gt 00000000 ? cc=8 => ffffffff ffffffff ffffffff ffffffff
321#11: xvcmpgtsp. 7f800000 gt 00000000 AND 7f800000 gt 7f800000 AND 7f800000 gt 7fbfffff AND 7f800000 gt 7fc00000 ? cc=0 => ffffffff 00000000 00000000 00000000
322#12: xvcmpgtsp. ffbfffff gt ff800000 AND ffbfffff gt c683287b AND ffbfffff gt 80000000 AND ffbfffff gt 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
323#13: xvcmpgtsp. ffbfffff gt 00000000 AND ffbfffff gt 7f800000 AND ffbfffff gt 7fbfffff AND ffbfffff gt ffbfffff ? cc=2 => 00000000 00000000 00000000 00000000
324#14: xvcmpgtsp. ffc00000 gt ff800000 AND ffc00000 gt c683287b AND ffc00000 gt 80000000 AND ffc00000 gt 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
325#15: xvcmpgtsp. 42780000 gt 42780000 AND 00000000 gt 00000000 AND 7f800000 gt 7f800000 AND 00000000 gt 00000000 ? cc=2 => 00000000 00000000 00000000 00000000
326
327
328#0: xvadddp fff0000000000000 + fff0000000000000 AND fff0000000000000 + c0d0650f5a07b353 => fff0000000000000 fff0000000000000
329#1: xvadddp 41232585a9900000 + 41382511a2000000 AND fff0000000000000 + 0000000000000000 => 4140dbea3b640000 fff0000000000000
330#2: xvadddp fff0000000000000 + 0123214569900000 AND fff0000000000000 + 7ff0000000000000 => fff0000000000000 7ff8000000000000
331#3: xvadddp fff0000000000000 + 7ff7ffffffffffff AND fff0000000000000 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
332#4: xvadddp c0d0650f5a07b353 + fff0000000000000 AND c0d0650f5a07b353 + c0d0650f5a07b353 => fff0000000000000 c0e0650f5a07b353
333#5: xvadddp c0d0650f5a07b353 + 8000000000000000 AND c0d0650f5a07b353 + 0000000000000000 => c0d0650f5a07b353 c0d0650f5a07b353
334#6: xvadddp c0d0650f5a07b353 + 0123214569900000 AND c0d0650f5a07b353 + 7ff0000000000000 => c0d0650f5a07b353 7ff0000000000000
335#7: xvadddp c0d0650f5a07b353 + 7ff7ffffffffffff AND c0d0650f5a07b353 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
336#8: xvadddp 8000000000000000 + fff0000000000000 AND 8000000000000000 + c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
337#9: xvadddp 8000000000000000 + 8000000000000000 AND 8000000000000000 + 0000000000000000 => 8000000000000000 0000000000000000
338#10: xvadddp 8000000000000000 + 0123214569900000 AND 8000000000000000 + 7ff0000000000000 => 0123214569900000 7ff0000000000000
339#11: xvadddp 8000000000000000 + 7ff7ffffffffffff AND 8000000000000000 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
340#12: xvadddp 0000000000000000 + fff0000000000000 AND 0000000000000000 + c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
341#13: xvadddp 0000000000000000 + 8000000000000000 AND 0000000000000000 + 0000000000000000 => 0000000000000000 0000000000000000
342#14: xvadddp 0000000000000000 + 0123214569900000 AND 0000000000000000 + 7ff0000000000000 => 0123214569900000 7ff0000000000000
343#15: xvadddp 0000000000000000 + 7ff7ffffffffffff AND 0000000000000000 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
344#16: xvadddp 0123214569900000 + fff0000000000000 AND 0123214569900000 + c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
345#17: xvadddp 0123214569900000 + 8000000000000000 AND 0123214569900000 + 0000000000000000 => 0123214569900000 0123214569900000
346#18: xvadddp 0123214569900000 + 404f000000000000 AND 0123214569900000 + 7ff0000000000000 => 404f000000000000 7ff0000000000000
347#19: xvadddp 0123214569900000 + 7ff7ffffffffffff AND 0123214569900000 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
348#20: xvadddp 7ff0000000000000 + fff0000000000000 AND 7ff0000000000000 + c0d0650f5a07b353 => 7ff8000000000000 7ff0000000000000
349#21: xvadddp 7ff0000000000000 + 8000000000000000 AND 7ff0000000000000 + 0000000000000000 => 7ff0000000000000 7ff0000000000000
350#22: xvadddp 7ff0000000000000 + 0123214569900000 AND 7ff0000000000000 + 7ff0000000000000 => 7ff0000000000000 7ff0000000000000
351#23: xvadddp 7ff0000000000000 + 7ff7ffffffffffff AND 7ff0000000000000 + 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
352#24: xvadddp fff7ffffffffffff + fff0000000000000 AND fff7ffffffffffff + c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
353#25: xvadddp fff8000000000000 + 8000000000000000 AND fff8000000000000 + 0000000000000000 => fff8000000000000 fff8000000000000
354#26: xvadddp fff7ffffffffffff + 0123214569900000 AND fff7ffffffffffff + 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
355#27: xvadddp fff7ffffffffffff + 7ff7ffffffffffff AND fff7ffffffffffff + 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
356#28: xvadddp fff8000000000000 + fff0000000000000 AND fff8000000000000 + c0d0650f5a07b353 => fff8000000000000 fff8000000000000
357#29: xvadddp fff8000000000000 + 8000000000000000 AND 41232585a9900000 + 41382511a2000000 => fff8000000000000 4140dbea3b640000
358#30: xvadddp 41232585a9900000 + 41382511a2000000 AND 7ff7ffffffffffff + 7ff8000000000000 => 4140dbea3b640000 7fffffffffffffff
359#31: xvadddp 7ff8000000000000 + 7ff8000000000000 AND 7ff8000000000000 + fff8000000000000 => 7ff8000000000000 7ff8000000000000
360
361
362#0: xvaddsp ff800000 + ff800000 AND ff800000 + c683287b AND 49192c2d + 49c1288d AND ff800000 + 00000000 => ff800000 ff800000 4a06df52 ff800000
363#1: xvaddsp ff800000 + 00000000 AND ff800000 + 7f800000 AND ff800000 + 7fbfffff AND ff800000 + 7fc00000 => ff800000 7fc00000 7fffffff 7fc00000
364#2: xvaddsp c683287b + ff800000 AND c683287b + c683287b AND c683287b + 80000000 AND c683287b + 00000000 => ff800000 c703287b c683287b c683287b
365#3: xvaddsp c683287b + 00000000 AND c683287b + 7f800000 AND c683287b + 7fbfffff AND c683287b + 7fc00000 => c683287b 7f800000 7fffffff 7fc00000
366#4: xvaddsp 80000000 + ff800000 AND 80000000 + c683287b AND 80000000 + 80000000 AND 80000000 + 00000000 => ff800000 c683287b 80000000 00000000
367#5: xvaddsp 80000000 + 00000000 AND 80000000 + 7f800000 AND 80000000 + 7fbfffff AND 80000000 + 7fc00000 => 00000000 7f800000 7fffffff 7fc00000
368#6: xvaddsp 00000000 + ff800000 AND 00000000 + c683287b AND 00000000 + 80000000 AND 00000000 + 00000000 => ff800000 c683287b 00000000 00000000
369#7: xvaddsp 00000000 + 00000000 AND 00000000 + 7f800000 AND 00000000 + 7fbfffff AND 00000000 + 7fc00000 => 00000000 7f800000 7fffffff 7fc00000
370#8: xvaddsp 00000000 + ff800000 AND 00000000 + c683287b AND 00000000 + 80000000 AND 00000000 + 00000000 => ff800000 c683287b 00000000 00000000
371#9: xvaddsp 00000000 + 42780000 AND 00000000 + 7f800000 AND 00000000 + 7fbfffff AND 00000000 + 7fc00000 => 42780000 7f800000 7fffffff 7fc00000
372#10: xvaddsp 7f800000 + ff800000 AND 7f800000 + c683287b AND 7f800000 + 80000000 AND 7f800000 + 00000000 => 7fc00000 7f800000 7f800000 7f800000
373#11: xvaddsp 7f800000 + 00000000 AND 7f800000 + 7f800000 AND 7f800000 + 7fbfffff AND 7f800000 + 7fc00000 => 7f800000 7f800000 7fffffff 7fc00000
374#12: xvaddsp ffbfffff + ff800000 AND ffbfffff + c683287b AND ffc00000 + 80000000 AND ffc00000 + 00000000 => ffffffff ffffffff ffc00000 ffc00000
375#13: xvaddsp ffbfffff + 00000000 AND ffbfffff + 7f800000 AND ffbfffff + 7fbfffff AND ffbfffff + 7fc00000 => ffffffff ffffffff ffffffff ffffffff
376#14: xvaddsp ffc00000 + ff800000 AND ffc00000 + c683287b AND ffc00000 + 80000000 AND 49192c2d + 49c1288d => ffc00000 ffc00000 ffc00000 4a06df52
377#15: xvaddsp 49192c2d + 49c1288d AND 7fbfffff + 7fc00000 AND 7fc00000 + 7fc00000 AND 7fc00000 + ffc00000 => 4a06df52 7fffffff 7fc00000 7fc00000
378
379
380#0: xvdivdp fff0000000000000 / fff0000000000000 AND fff0000000000000 / c0d0650f5a07b353 => 7ff8000000000000 7ff0000000000000
381#1: xvdivdp 41232585a9900000 / 41382511a2000000 AND fff0000000000000 / 0000000000000000 => 3fd9602b4fe7a892 fff0000000000000
382#2: xvdivdp fff0000000000000 / 0123214569900000 AND fff0000000000000 / 7ff0000000000000 => fff0000000000000 7ff8000000000000
383#3: xvdivdp fff0000000000000 / 7ff7ffffffffffff AND fff0000000000000 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
384#4: xvdivdp c0d0650f5a07b353 / fff0000000000000 AND c0d0650f5a07b353 / c0d0650f5a07b353 => 0000000000000000 3ff0000000000000
385#5: xvdivdp c0d0650f5a07b353 / 8000000000000000 AND c0d0650f5a07b353 / 0000000000000000 => 7ff0000000000000 fff0000000000000
386#6: xvdivdp c0d0650f5a07b353 / 0123214569900000 AND c0d0650f5a07b353 / 7ff0000000000000 => ff9b6cb57ca13c00 8000000000000000
387#7: xvdivdp c0d0650f5a07b353 / 7ff7ffffffffffff AND c0d0650f5a07b353 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
388#8: xvdivdp 8000000000000000 / fff0000000000000 AND 8000000000000000 / c0d0650f5a07b353 => 0000000000000000 0000000000000000
389#9: xvdivdp 8000000000000000 / 8000000000000000 AND 8000000000000000 / 0000000000000000 => 7ff8000000000000 7ff8000000000000
390#10: xvdivdp 8000000000000000 / 0123214569900000 AND 8000000000000000 / 7ff0000000000000 => 8000000000000000 8000000000000000
391#11: xvdivdp 8000000000000000 / 7ff7ffffffffffff AND 8000000000000000 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
392#12: xvdivdp 0000000000000000 / fff0000000000000 AND 0000000000000000 / c0d0650f5a07b353 => 8000000000000000 8000000000000000
393#13: xvdivdp 0000000000000000 / 8000000000000000 AND 0000000000000000 / 0000000000000000 => 7ff8000000000000 7ff8000000000000
394#14: xvdivdp 0000000000000000 / 0123214569900000 AND 0000000000000000 / 7ff0000000000000 => 0000000000000000 0000000000000000
395#15: xvdivdp 0000000000000000 / 7ff7ffffffffffff AND 0000000000000000 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
396#16: xvdivdp 0123214569900000 / fff0000000000000 AND 0123214569900000 / c0d0650f5a07b353 => 8000000000000000 8042ab59d8b6ec87
397#17: xvdivdp 0123214569900000 / 8000000000000000 AND 0123214569900000 / 0000000000000000 => fff0000000000000 7ff0000000000000
398#18: xvdivdp 0123214569900000 / 404f000000000000 AND 0123214569900000 / 7ff0000000000000 => 00c3bf3f64b5ad6b 0000000000000000
399#19: xvdivdp 0123214569900000 / 7ff7ffffffffffff AND 0123214569900000 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
400#20: xvdivdp 7ff0000000000000 / fff0000000000000 AND 7ff0000000000000 / c0d0650f5a07b353 => 7ff8000000000000 fff0000000000000
401#21: xvdivdp 7ff0000000000000 / 8000000000000000 AND 7ff0000000000000 / 0000000000000000 => fff0000000000000 7ff0000000000000
402#22: xvdivdp 7ff0000000000000 / 0123214569900000 AND 7ff0000000000000 / 7ff0000000000000 => 7ff0000000000000 7ff8000000000000
403#23: xvdivdp 7ff0000000000000 / 7ff7ffffffffffff AND 7ff0000000000000 / 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
404#24: xvdivdp fff7ffffffffffff / fff0000000000000 AND fff7ffffffffffff / c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
405#25: xvdivdp fff8000000000000 / 8000000000000000 AND fff8000000000000 / 0000000000000000 => fff8000000000000 fff8000000000000
406#26: xvdivdp fff7ffffffffffff / 0123214569900000 AND fff7ffffffffffff / 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
407#27: xvdivdp fff7ffffffffffff / 7ff7ffffffffffff AND fff7ffffffffffff / 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
408#28: xvdivdp fff8000000000000 / fff0000000000000 AND fff8000000000000 / c0d0650f5a07b353 => fff8000000000000 fff8000000000000
409#29: xvdivdp fff8000000000000 / 8000000000000000 AND 41232585a9900000 / 41382511a2000000 => fff8000000000000 3fd9602b4fe7a892
410#30: xvdivdp 41232585a9900000 / 41382511a2000000 AND 7ff7ffffffffffff / 7ff8000000000000 => 3fd9602b4fe7a892 7fffffffffffffff
411#31: xvdivdp 7ff8000000000000 / 7ff8000000000000 AND 7ff8000000000000 / fff8000000000000 => 7ff8000000000000 7ff8000000000000
412
413
414#0: xvdivsp ff800000 / ff800000 AND ff800000 / c683287b AND 49192c2d / 49c1288d AND ff800000 / 00000000 => 7fc00000 7f800000 3ecb015a ff800000
415#1: xvdivsp ff800000 / 00000000 AND ff800000 / 7f800000 AND ff800000 / 7fbfffff AND ff800000 / 7fc00000 => ff800000 7fc00000 7fffffff 7fc00000
416#2: xvdivsp c683287b / ff800000 AND c683287b / c683287b AND c683287b / 80000000 AND c683287b / 00000000 => 00000000 3f800000 7f800000 ff800000
417#3: xvdivsp c683287b / 00000000 AND c683287b / 7f800000 AND c683287b / 7fbfffff AND c683287b / 7fc00000 => ff800000 80000000 7fffffff 7fc00000
418#4: xvdivsp 80000000 / ff800000 AND 80000000 / c683287b AND 80000000 / 80000000 AND 80000000 / 00000000 => 00000000 00000000 7fc00000 7fc00000
419#5: xvdivsp 80000000 / 00000000 AND 80000000 / 7f800000 AND 80000000 / 7fbfffff AND 80000000 / 7fc00000 => 7fc00000 80000000 7fffffff 7fc00000
420#6: xvdivsp 00000000 / ff800000 AND 00000000 / c683287b AND 00000000 / 80000000 AND 00000000 / 00000000 => 80000000 80000000 7fc00000 7fc00000
421#7: xvdivsp 00000000 / 00000000 AND 00000000 / 7f800000 AND 00000000 / 7fbfffff AND 00000000 / 7fc00000 => 7fc00000 00000000 7fffffff 7fc00000
422#8: xvdivsp 00000000 / ff800000 AND 00000000 / c683287b AND 00000000 / 80000000 AND 00000000 / 00000000 => 80000000 80000000 7fc00000 7fc00000
423#9: xvdivsp 00000000 / 42780000 AND 00000000 / 7f800000 AND 00000000 / 7fbfffff AND 00000000 / 7fc00000 => 00000000 00000000 7fffffff 7fc00000
424#10: xvdivsp 7f800000 / ff800000 AND 7f800000 / c683287b AND 7f800000 / 80000000 AND 7f800000 / 00000000 => 7fc00000 ff800000 ff800000 7f800000
425#11: xvdivsp 7f800000 / 00000000 AND 7f800000 / 7f800000 AND 7f800000 / 7fbfffff AND 7f800000 / 7fc00000 => 7f800000 7fc00000 7fffffff 7fc00000
426#12: xvdivsp ffbfffff / ff800000 AND ffbfffff / c683287b AND ffc00000 / 80000000 AND ffc00000 / 00000000 => ffffffff ffffffff ffc00000 ffc00000
427#13: xvdivsp ffbfffff / 00000000 AND ffbfffff / 7f800000 AND ffbfffff / 7fbfffff AND ffbfffff / 7fc00000 => ffffffff ffffffff ffffffff ffffffff
428#14: xvdivsp ffc00000 / ff800000 AND ffc00000 / c683287b AND ffc00000 / 80000000 AND 49192c2d / 49c1288d => ffc00000 ffc00000 ffc00000 3ecb015a
429#15: xvdivsp 49192c2d / 49c1288d AND 7fbfffff / 7fc00000 AND 7fc00000 / 7fc00000 AND 7fc00000 / ffc00000 => 3ecb015a 7fffffff 7fc00000 7fc00000
430
431
432#0: xvmuldp fff0000000000000 * fff0000000000000 AND fff0000000000000 * c0d0650f5a07b353 => 7ff0000000000000 7ff0000000000000
433#1: xvmuldp 41232585a9900000 * 41382511a2000000 AND fff0000000000000 * 0000000000000000 => 426ce4a45d2a0a7e 7ff8000000000000
434#2: xvmuldp fff0000000000000 * 0123214569900000 AND fff0000000000000 * 7ff0000000000000 => fff0000000000000 fff0000000000000
435#3: xvmuldp fff0000000000000 * 7ff7ffffffffffff AND fff0000000000000 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
436#4: xvmuldp c0d0650f5a07b353 * fff0000000000000 AND c0d0650f5a07b353 * c0d0650f5a07b353 => 7ff0000000000000 41b0cc9d05eec2a7
437#5: xvmuldp c0d0650f5a07b353 * 8000000000000000 AND c0d0650f5a07b353 * 0000000000000000 => 0000000000000000 8000000000000000
438#6: xvmuldp c0d0650f5a07b353 * 0123214569900000 AND c0d0650f5a07b353 * 7ff0000000000000 => 82039a19ca8fcb5f fff0000000000000
439#7: xvmuldp c0d0650f5a07b353 * 7ff7ffffffffffff AND c0d0650f5a07b353 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
440#8: xvmuldp 8000000000000000 * fff0000000000000 AND 8000000000000000 * c0d0650f5a07b353 => 7ff8000000000000 0000000000000000
441#9: xvmuldp 8000000000000000 * 8000000000000000 AND 8000000000000000 * 0000000000000000 => 0000000000000000 8000000000000000
442#10: xvmuldp 8000000000000000 * 0123214569900000 AND 8000000000000000 * 7ff0000000000000 => 8000000000000000 7ff8000000000000
443#11: xvmuldp 8000000000000000 * 7ff7ffffffffffff AND 8000000000000000 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
444#12: xvmuldp 0000000000000000 * fff0000000000000 AND 0000000000000000 * c0d0650f5a07b353 => 7ff8000000000000 8000000000000000
445#13: xvmuldp 0000000000000000 * 8000000000000000 AND 0000000000000000 * 0000000000000000 => 8000000000000000 0000000000000000
446#14: xvmuldp 0000000000000000 * 0123214569900000 AND 0000000000000000 * 7ff0000000000000 => 0000000000000000 7ff8000000000000
447#15: xvmuldp 0000000000000000 * 7ff7ffffffffffff AND 0000000000000000 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
448#16: xvmuldp 0123214569900000 * fff0000000000000 AND 0123214569900000 * c0d0650f5a07b353 => fff0000000000000 82039a19ca8fcb5f
449#17: xvmuldp 0123214569900000 * 8000000000000000 AND 0123214569900000 * 0000000000000000 => 8000000000000000 0000000000000000
450#18: xvmuldp 0123214569900000 * 404f000000000000 AND 0123214569900000 * 7ff0000000000000 => 0182883b3e438000 7ff0000000000000
451#19: xvmuldp 0123214569900000 * 7ff7ffffffffffff AND 0123214569900000 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
452#20: xvmuldp 7ff0000000000000 * fff0000000000000 AND 7ff0000000000000 * c0d0650f5a07b353 => fff0000000000000 fff0000000000000
453#21: xvmuldp 7ff0000000000000 * 8000000000000000 AND 7ff0000000000000 * 0000000000000000 => 7ff8000000000000 7ff8000000000000
454#22: xvmuldp 7ff0000000000000 * 0123214569900000 AND 7ff0000000000000 * 7ff0000000000000 => 7ff0000000000000 7ff0000000000000
455#23: xvmuldp 7ff0000000000000 * 7ff7ffffffffffff AND 7ff0000000000000 * 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
456#24: xvmuldp fff7ffffffffffff * fff0000000000000 AND fff7ffffffffffff * c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
457#25: xvmuldp fff8000000000000 * 8000000000000000 AND fff8000000000000 * 0000000000000000 => fff8000000000000 fff8000000000000
458#26: xvmuldp fff7ffffffffffff * 0123214569900000 AND fff7ffffffffffff * 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
459#27: xvmuldp fff7ffffffffffff * 7ff7ffffffffffff AND fff7ffffffffffff * 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
460#28: xvmuldp fff8000000000000 * fff0000000000000 AND fff8000000000000 * c0d0650f5a07b353 => fff8000000000000 fff8000000000000
461#29: xvmuldp fff8000000000000 * 8000000000000000 AND 41232585a9900000 * 41382511a2000000 => fff8000000000000 426ce4a45d2a0a7e
462#30: xvmuldp 41232585a9900000 * 41382511a2000000 AND 7ff7ffffffffffff * 7ff8000000000000 => 426ce4a45d2a0a7e 7fffffffffffffff
463#31: xvmuldp 7ff8000000000000 * 7ff8000000000000 AND 7ff8000000000000 * fff8000000000000 => 7ff8000000000000 7ff8000000000000
464
465
466#0: xvmulsp ff800000 * ff800000 AND ff800000 * c683287b AND 49192c2d * 49c1288d AND ff800000 * 00000000 => 7f800000 7f800000 53672522 7fc00000
467#1: xvmulsp ff800000 * 00000000 AND ff800000 * 7f800000 AND ff800000 * 7fbfffff AND ff800000 * 7fc00000 => 7fc00000 ff800000 7fffffff 7fc00000
468#2: xvmulsp c683287b * ff800000 AND c683287b * c683287b AND c683287b * 80000000 AND c683287b * 00000000 => 7f800000 4d8664e9 00000000 80000000
469#3: xvmulsp c683287b * 00000000 AND c683287b * 7f800000 AND c683287b * 7fbfffff AND c683287b * 7fc00000 => 80000000 ff800000 7fffffff 7fc00000
470#4: xvmulsp 80000000 * ff800000 AND 80000000 * c683287b AND 80000000 * 80000000 AND 80000000 * 00000000 => 7fc00000 00000000 00000000 80000000
471#5: xvmulsp 80000000 * 00000000 AND 80000000 * 7f800000 AND 80000000 * 7fbfffff AND 80000000 * 7fc00000 => 80000000 7fc00000 7fffffff 7fc00000
472#6: xvmulsp 00000000 * ff800000 AND 00000000 * c683287b AND 00000000 * 80000000 AND 00000000 * 00000000 => 7fc00000 80000000 80000000 00000000
473#7: xvmulsp 00000000 * 00000000 AND 00000000 * 7f800000 AND 00000000 * 7fbfffff AND 00000000 * 7fc00000 => 00000000 7fc00000 7fffffff 7fc00000
474#8: xvmulsp 00000000 * ff800000 AND 00000000 * c683287b AND 00000000 * 80000000 AND 00000000 * 00000000 => 7fc00000 80000000 80000000 00000000
475#9: xvmulsp 00000000 * 42780000 AND 00000000 * 7f800000 AND 00000000 * 7fbfffff AND 00000000 * 7fc00000 => 00000000 7fc00000 7fffffff 7fc00000
476#10: xvmulsp 7f800000 * ff800000 AND 7f800000 * c683287b AND 7f800000 * 80000000 AND 7f800000 * 00000000 => ff800000 ff800000 7fc00000 7fc00000
477#11: xvmulsp 7f800000 * 00000000 AND 7f800000 * 7f800000 AND 7f800000 * 7fbfffff AND 7f800000 * 7fc00000 => 7fc00000 7f800000 7fffffff 7fc00000
478#12: xvmulsp ffbfffff * ff800000 AND ffbfffff * c683287b AND ffc00000 * 80000000 AND ffc00000 * 00000000 => ffffffff ffffffff ffc00000 ffc00000
479#13: xvmulsp ffbfffff * 00000000 AND ffbfffff * 7f800000 AND ffbfffff * 7fbfffff AND ffbfffff * 7fc00000 => ffffffff ffffffff ffffffff ffffffff
480#14: xvmulsp ffc00000 * ff800000 AND ffc00000 * c683287b AND ffc00000 * 80000000 AND 49192c2d * 49c1288d => ffc00000 ffc00000 ffc00000 53672522
481#15: xvmulsp 49192c2d * 49c1288d AND 7fbfffff * 7fc00000 AND 7fc00000 * 7fc00000 AND 7fc00000 * ffc00000 => 53672522 7fffffff 7fc00000 7fc00000
482
483
484#0: xvsubdp fff0000000000000 - fff0000000000000 AND fff0000000000000 - c0d0650f5a07b353 => 7ff8000000000000 fff0000000000000
485#1: xvsubdp 41232585a9900000 - 41382511a2000000 AND fff0000000000000 - 0000000000000000 => c12d249d9a700000 fff0000000000000
486#2: xvsubdp fff0000000000000 - 0123214569900000 AND fff0000000000000 - 7ff0000000000000 => fff0000000000000 fff0000000000000
487#3: xvsubdp fff0000000000000 - 7ff7ffffffffffff AND fff0000000000000 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
488#4: xvsubdp c0d0650f5a07b353 - fff0000000000000 AND c0d0650f5a07b353 - c0d0650f5a07b353 => 7ff0000000000000 0000000000000000
489#5: xvsubdp c0d0650f5a07b353 - 8000000000000000 AND c0d0650f5a07b353 - 0000000000000000 => c0d0650f5a07b353 c0d0650f5a07b353
490#6: xvsubdp c0d0650f5a07b353 - 0123214569900000 AND c0d0650f5a07b353 - 7ff0000000000000 => c0d0650f5a07b353 fff0000000000000
491#7: xvsubdp c0d0650f5a07b353 - 7ff7ffffffffffff AND c0d0650f5a07b353 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
492#8: xvsubdp 8000000000000000 - fff0000000000000 AND 8000000000000000 - c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
493#9: xvsubdp 8000000000000000 - 8000000000000000 AND 8000000000000000 - 0000000000000000 => 0000000000000000 8000000000000000
494#10: xvsubdp 8000000000000000 - 0123214569900000 AND 8000000000000000 - 7ff0000000000000 => 8123214569900000 fff0000000000000
495#11: xvsubdp 8000000000000000 - 7ff7ffffffffffff AND 8000000000000000 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
496#12: xvsubdp 0000000000000000 - fff0000000000000 AND 0000000000000000 - c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
497#13: xvsubdp 0000000000000000 - 8000000000000000 AND 0000000000000000 - 0000000000000000 => 0000000000000000 0000000000000000
498#14: xvsubdp 0000000000000000 - 0123214569900000 AND 0000000000000000 - 7ff0000000000000 => 8123214569900000 fff0000000000000
499#15: xvsubdp 0000000000000000 - 7ff7ffffffffffff AND 0000000000000000 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
500#16: xvsubdp 0123214569900000 - fff0000000000000 AND 0123214569900000 - c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
501#17: xvsubdp 0123214569900000 - 8000000000000000 AND 0123214569900000 - 0000000000000000 => 0123214569900000 0123214569900000
502#18: xvsubdp 0123214569900000 - 404f000000000000 AND 0123214569900000 - 7ff0000000000000 => c04f000000000000 fff0000000000000
503#19: xvsubdp 0123214569900000 - 7ff7ffffffffffff AND 0123214569900000 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
504#20: xvsubdp 7ff0000000000000 - fff0000000000000 AND 7ff0000000000000 - c0d0650f5a07b353 => 7ff0000000000000 7ff0000000000000
505#21: xvsubdp 7ff0000000000000 - 8000000000000000 AND 7ff0000000000000 - 0000000000000000 => 7ff0000000000000 7ff0000000000000
506#22: xvsubdp 7ff0000000000000 - 0123214569900000 AND 7ff0000000000000 - 7ff0000000000000 => 7ff0000000000000 7ff8000000000000
507#23: xvsubdp 7ff0000000000000 - 7ff7ffffffffffff AND 7ff0000000000000 - 7ff8000000000000 => 7fffffffffffffff 7ff8000000000000
508#24: xvsubdp fff7ffffffffffff - fff0000000000000 AND fff7ffffffffffff - c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
509#25: xvsubdp fff8000000000000 - 8000000000000000 AND fff8000000000000 - 0000000000000000 => fff8000000000000 fff8000000000000
510#26: xvsubdp fff7ffffffffffff - 0123214569900000 AND fff7ffffffffffff - 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
511#27: xvsubdp fff7ffffffffffff - 7ff7ffffffffffff AND fff7ffffffffffff - 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
512#28: xvsubdp fff8000000000000 - fff0000000000000 AND fff8000000000000 - c0d0650f5a07b353 => fff8000000000000 fff8000000000000
513#29: xvsubdp fff8000000000000 - 8000000000000000 AND 41232585a9900000 - 41382511a2000000 => fff8000000000000 c12d249d9a700000
514#30: xvsubdp 41232585a9900000 - 41382511a2000000 AND 7ff7ffffffffffff - 7ff8000000000000 => c12d249d9a700000 7fffffffffffffff
515#31: xvsubdp 7ff8000000000000 - 7ff8000000000000 AND 7ff8000000000000 - fff8000000000000 => 7ff8000000000000 7ff8000000000000
516
517
518#0: xvsubsp ff800000 - ff800000 AND ff800000 - c683287b AND 49192c2d - 49c1288d AND ff800000 - 00000000 => 7fc00000 ff800000 c96924ed ff800000
519#1: xvsubsp ff800000 - 00000000 AND ff800000 - 7f800000 AND ff800000 - 7fbfffff AND ff800000 - 7fc00000 => ff800000 ff800000 7fffffff 7fc00000
520#2: xvsubsp c683287b - ff800000 AND c683287b - c683287b AND c683287b - 80000000 AND c683287b - 00000000 => 7f800000 00000000 c683287b c683287b
521#3: xvsubsp c683287b - 00000000 AND c683287b - 7f800000 AND c683287b - 7fbfffff AND c683287b - 7fc00000 => c683287b ff800000 7fffffff 7fc00000
522#4: xvsubsp 80000000 - ff800000 AND 80000000 - c683287b AND 80000000 - 80000000 AND 80000000 - 00000000 => 7f800000 4683287b 00000000 80000000
523#5: xvsubsp 80000000 - 00000000 AND 80000000 - 7f800000 AND 80000000 - 7fbfffff AND 80000000 - 7fc00000 => 80000000 ff800000 7fffffff 7fc00000
524#6: xvsubsp 00000000 - ff800000 AND 00000000 - c683287b AND 00000000 - 80000000 AND 00000000 - 00000000 => 7f800000 4683287b 00000000 00000000
525#7: xvsubsp 00000000 - 00000000 AND 00000000 - 7f800000 AND 00000000 - 7fbfffff AND 00000000 - 7fc00000 => 00000000 ff800000 7fffffff 7fc00000
526#8: xvsubsp 00000000 - ff800000 AND 00000000 - c683287b AND 00000000 - 80000000 AND 00000000 - 00000000 => 7f800000 4683287b 00000000 00000000
527#9: xvsubsp 00000000 - 42780000 AND 00000000 - 7f800000 AND 00000000 - 7fbfffff AND 00000000 - 7fc00000 => c2780000 ff800000 7fffffff 7fc00000
528#10: xvsubsp 7f800000 - ff800000 AND 7f800000 - c683287b AND 7f800000 - 80000000 AND 7f800000 - 00000000 => 7f800000 7f800000 7f800000 7f800000
529#11: xvsubsp 7f800000 - 00000000 AND 7f800000 - 7f800000 AND 7f800000 - 7fbfffff AND 7f800000 - 7fc00000 => 7f800000 7fc00000 7fffffff 7fc00000
530#12: xvsubsp ffbfffff - ff800000 AND ffbfffff - c683287b AND ffc00000 - 80000000 AND ffc00000 - 00000000 => ffffffff ffffffff ffc00000 ffc00000
531#13: xvsubsp ffbfffff - 00000000 AND ffbfffff - 7f800000 AND ffbfffff - 7fbfffff AND ffbfffff - 7fc00000 => ffffffff ffffffff ffffffff ffffffff
532#14: xvsubsp ffc00000 - ff800000 AND ffc00000 - c683287b AND ffc00000 - 80000000 AND 49192c2d - 49c1288d => ffc00000 ffc00000 ffc00000 c96924ed
533#15: xvsubsp 49192c2d - 49c1288d AND 7fbfffff - 7fc00000 AND 7fc00000 - 7fc00000 AND 7fc00000 - ffc00000 => c96924ed 7fffffff 7fc00000 7fc00000
534
535
536#0: xvmaxdp fff0000000000000 @max@ fff0000000000000 AND fff0000000000000 @max@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
537#1: xvmaxdp 41232585a9900000 @max@ 41382511a2000000 AND fff0000000000000 @max@ 0000000000000000 => 41382511a2000000 0000000000000000
538#2: xvmaxdp fff0000000000000 @max@ 0123214569900000 AND fff0000000000000 @max@ 7ff0000000000000 => 0123214569900000 7ff0000000000000
539#3: xvmaxdp fff0000000000000 @max@ 7ff7ffffffffffff AND fff0000000000000 @max@ 7ff8000000000000 => 7fffffffffffffff fff0000000000000
540#4: xvmaxdp c0d0650f5a07b353 @max@ fff0000000000000 AND c0d0650f5a07b353 @max@ c0d0650f5a07b353 => c0d0650f5a07b353 c0d0650f5a07b353
541#5: xvmaxdp c0d0650f5a07b353 @max@ 8000000000000000 AND c0d0650f5a07b353 @max@ 0000000000000000 => 8000000000000000 0000000000000000
542#6: xvmaxdp c0d0650f5a07b353 @max@ 0123214569900000 AND c0d0650f5a07b353 @max@ 7ff0000000000000 => 0123214569900000 7ff0000000000000
543#7: xvmaxdp c0d0650f5a07b353 @max@ 7ff7ffffffffffff AND c0d0650f5a07b353 @max@ 7ff8000000000000 => 7fffffffffffffff c0d0650f5a07b353
544#8: xvmaxdp 8000000000000000 @max@ fff0000000000000 AND 8000000000000000 @max@ c0d0650f5a07b353 => 8000000000000000 8000000000000000
545#9: xvmaxdp 8000000000000000 @max@ 8000000000000000 AND 8000000000000000 @max@ 0000000000000000 => 8000000000000000 0000000000000000
546#10: xvmaxdp 8000000000000000 @max@ 0123214569900000 AND 8000000000000000 @max@ 7ff0000000000000 => 0123214569900000 7ff0000000000000
547#11: xvmaxdp 8000000000000000 @max@ 7ff7ffffffffffff AND 8000000000000000 @max@ 7ff8000000000000 => 7fffffffffffffff 8000000000000000
548#12: xvmaxdp 0000000000000000 @max@ fff0000000000000 AND 0000000000000000 @max@ c0d0650f5a07b353 => 0000000000000000 0000000000000000
549#13: xvmaxdp 0000000000000000 @max@ 8000000000000000 AND 0000000000000000 @max@ 0000000000000000 => 0000000000000000 0000000000000000
550#14: xvmaxdp 0000000000000000 @max@ 0123214569900000 AND 0000000000000000 @max@ 7ff0000000000000 => 0123214569900000 7ff0000000000000
551#15: xvmaxdp 0000000000000000 @max@ 7ff7ffffffffffff AND 0000000000000000 @max@ 7ff8000000000000 => 7fffffffffffffff 0000000000000000
552#16: xvmaxdp 0123214569900000 @max@ fff0000000000000 AND 0123214569900000 @max@ c0d0650f5a07b353 => 0123214569900000 0123214569900000
553#17: xvmaxdp 0123214569900000 @max@ 8000000000000000 AND 0123214569900000 @max@ 0000000000000000 => 0123214569900000 0123214569900000
554#18: xvmaxdp 0123214569900000 @max@ 404f000000000000 AND 0123214569900000 @max@ 7ff0000000000000 => 404f000000000000 7ff0000000000000
555#19: xvmaxdp 0123214569900000 @max@ 7ff7ffffffffffff AND 0123214569900000 @max@ 7ff8000000000000 => 7fffffffffffffff 0123214569900000
556#20: xvmaxdp 7ff0000000000000 @max@ fff0000000000000 AND 7ff0000000000000 @max@ c0d0650f5a07b353 => 7ff0000000000000 7ff0000000000000
557#21: xvmaxdp 7ff0000000000000 @max@ 8000000000000000 AND 7ff0000000000000 @max@ 0000000000000000 => 7ff0000000000000 7ff0000000000000
558#22: xvmaxdp 7ff0000000000000 @max@ 0123214569900000 AND 7ff0000000000000 @max@ 7ff0000000000000 => 7ff0000000000000 7ff0000000000000
559#23: xvmaxdp 7ff0000000000000 @max@ 7ff7ffffffffffff AND 7ff0000000000000 @max@ 7ff8000000000000 => 7fffffffffffffff 7ff0000000000000
560#24: xvmaxdp fff7ffffffffffff @max@ fff0000000000000 AND fff7ffffffffffff @max@ c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
561#25: xvmaxdp fff8000000000000 @max@ 8000000000000000 AND fff8000000000000 @max@ 0000000000000000 => 8000000000000000 0000000000000000
562#26: xvmaxdp fff7ffffffffffff @max@ 0123214569900000 AND fff7ffffffffffff @max@ 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
563#27: xvmaxdp fff7ffffffffffff @max@ 7ff7ffffffffffff AND fff7ffffffffffff @max@ 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
564#28: xvmaxdp fff8000000000000 @max@ fff0000000000000 AND fff8000000000000 @max@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
565#29: xvmaxdp fff8000000000000 @max@ 8000000000000000 AND 41232585a9900000 @max@ 41382511a2000000 => 8000000000000000 41382511a2000000
566#30: xvmaxdp 41232585a9900000 @max@ 41382511a2000000 AND 7ff7ffffffffffff @max@ 7ff8000000000000 => 41382511a2000000 7fffffffffffffff
567#31: xvmaxdp 7ff8000000000000 @max@ 7ff8000000000000 AND 7ff8000000000000 @max@ fff8000000000000 => 7ff8000000000000 7ff8000000000000
568
569
570#0: xvmindp fff0000000000000 @min@ fff0000000000000 AND fff0000000000000 @min@ c0d0650f5a07b353 => fff0000000000000 fff0000000000000
571#1: xvmindp 41232585a9900000 @min@ 41382511a2000000 AND fff0000000000000 @min@ 0000000000000000 => 41232585a9900000 fff0000000000000
572#2: xvmindp fff0000000000000 @min@ 0123214569900000 AND fff0000000000000 @min@ 7ff0000000000000 => fff0000000000000 fff0000000000000
573#3: xvmindp fff0000000000000 @min@ 7ff7ffffffffffff AND fff0000000000000 @min@ 7ff8000000000000 => 7fffffffffffffff fff0000000000000
574#4: xvmindp c0d0650f5a07b353 @min@ fff0000000000000 AND c0d0650f5a07b353 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
575#5: xvmindp c0d0650f5a07b353 @min@ 8000000000000000 AND c0d0650f5a07b353 @min@ 0000000000000000 => c0d0650f5a07b353 c0d0650f5a07b353
576#6: xvmindp c0d0650f5a07b353 @min@ 0123214569900000 AND c0d0650f5a07b353 @min@ 7ff0000000000000 => c0d0650f5a07b353 c0d0650f5a07b353
577#7: xvmindp c0d0650f5a07b353 @min@ 7ff7ffffffffffff AND c0d0650f5a07b353 @min@ 7ff8000000000000 => 7fffffffffffffff c0d0650f5a07b353
578#8: xvmindp 8000000000000000 @min@ fff0000000000000 AND 8000000000000000 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
579#9: xvmindp 8000000000000000 @min@ 8000000000000000 AND 8000000000000000 @min@ 0000000000000000 => 8000000000000000 8000000000000000
580#10: xvmindp 8000000000000000 @min@ 0123214569900000 AND 8000000000000000 @min@ 7ff0000000000000 => 8000000000000000 8000000000000000
581#11: xvmindp 8000000000000000 @min@ 7ff7ffffffffffff AND 8000000000000000 @min@ 7ff8000000000000 => 7fffffffffffffff 8000000000000000
582#12: xvmindp 0000000000000000 @min@ fff0000000000000 AND 0000000000000000 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
583#13: xvmindp 0000000000000000 @min@ 8000000000000000 AND 0000000000000000 @min@ 0000000000000000 => 8000000000000000 0000000000000000
584#14: xvmindp 0000000000000000 @min@ 0123214569900000 AND 0000000000000000 @min@ 7ff0000000000000 => 0000000000000000 0000000000000000
585#15: xvmindp 0000000000000000 @min@ 7ff7ffffffffffff AND 0000000000000000 @min@ 7ff8000000000000 => 7fffffffffffffff 0000000000000000
586#16: xvmindp 0123214569900000 @min@ fff0000000000000 AND 0123214569900000 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
587#17: xvmindp 0123214569900000 @min@ 8000000000000000 AND 0123214569900000 @min@ 0000000000000000 => 8000000000000000 0000000000000000
588#18: xvmindp 0123214569900000 @min@ 404f000000000000 AND 0123214569900000 @min@ 7ff0000000000000 => 0123214569900000 0123214569900000
589#19: xvmindp 0123214569900000 @min@ 7ff7ffffffffffff AND 0123214569900000 @min@ 7ff8000000000000 => 7fffffffffffffff 0123214569900000
590#20: xvmindp 7ff0000000000000 @min@ fff0000000000000 AND 7ff0000000000000 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
591#21: xvmindp 7ff0000000000000 @min@ 8000000000000000 AND 7ff0000000000000 @min@ 0000000000000000 => 8000000000000000 0000000000000000
592#22: xvmindp 7ff0000000000000 @min@ 0123214569900000 AND 7ff0000000000000 @min@ 7ff0000000000000 => 0123214569900000 7ff0000000000000
593#23: xvmindp 7ff0000000000000 @min@ 7ff7ffffffffffff AND 7ff0000000000000 @min@ 7ff8000000000000 => 7fffffffffffffff 7ff0000000000000
594#24: xvmindp fff7ffffffffffff @min@ fff0000000000000 AND fff7ffffffffffff @min@ c0d0650f5a07b353 => ffffffffffffffff ffffffffffffffff
595#25: xvmindp fff8000000000000 @min@ 8000000000000000 AND fff8000000000000 @min@ 0000000000000000 => 8000000000000000 0000000000000000
596#26: xvmindp fff7ffffffffffff @min@ 0123214569900000 AND fff7ffffffffffff @min@ 7ff0000000000000 => ffffffffffffffff ffffffffffffffff
597#27: xvmindp fff7ffffffffffff @min@ 7ff7ffffffffffff AND fff7ffffffffffff @min@ 7ff8000000000000 => ffffffffffffffff ffffffffffffffff
598#28: xvmindp fff8000000000000 @min@ fff0000000000000 AND fff8000000000000 @min@ c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
599#29: xvmindp fff8000000000000 @min@ 8000000000000000 AND 41232585a9900000 @min@ 41382511a2000000 => 8000000000000000 41232585a9900000
600#30: xvmindp 41232585a9900000 @min@ 41382511a2000000 AND 7ff7ffffffffffff @min@ 7ff8000000000000 => 41232585a9900000 7fffffffffffffff
601#31: xvmindp 7ff8000000000000 @min@ 7ff8000000000000 AND 7ff8000000000000 @min@ fff8000000000000 => 7ff8000000000000 7ff8000000000000
602
603
604#0: xvmaxsp ff800000 @max@ ff800000 AND ff800000 @max@ c683287b AND 49192c2d @max@ 49c1288d AND ff800000 @max@ 00000000 => ff800000 c683287b 49c1288d 00000000
605#1: xvmaxsp ff800000 @max@ 00000000 AND ff800000 @max@ 7f800000 AND ff800000 @max@ 7fbfffff AND ff800000 @max@ 7fc00000 => 00000000 7f800000 7fffffff ff800000
606#2: xvmaxsp c683287b @max@ ff800000 AND c683287b @max@ c683287b AND c683287b @max@ 80000000 AND c683287b @max@ 00000000 => c683287b c683287b 80000000 00000000
607#3: xvmaxsp c683287b @max@ 00000000 AND c683287b @max@ 7f800000 AND c683287b @max@ 7fbfffff AND c683287b @max@ 7fc00000 => 00000000 7f800000 7fffffff c683287b
608#4: xvmaxsp 80000000 @max@ ff800000 AND 80000000 @max@ c683287b AND 80000000 @max@ 80000000 AND 80000000 @max@ 00000000 => 80000000 80000000 80000000 00000000
609#5: xvmaxsp 80000000 @max@ 00000000 AND 80000000 @max@ 7f800000 AND 80000000 @max@ 7fbfffff AND 80000000 @max@ 7fc00000 => 00000000 7f800000 7fffffff 80000000
610#6: xvmaxsp 00000000 @max@ ff800000 AND 00000000 @max@ c683287b AND 00000000 @max@ 80000000 AND 00000000 @max@ 00000000 => 00000000 00000000 00000000 00000000
611#7: xvmaxsp 00000000 @max@ 00000000 AND 00000000 @max@ 7f800000 AND 00000000 @max@ 7fbfffff AND 00000000 @max@ 7fc00000 => 00000000 7f800000 7fffffff 00000000
612#8: xvmaxsp 00000000 @max@ ff800000 AND 00000000 @max@ c683287b AND 00000000 @max@ 80000000 AND 00000000 @max@ 00000000 => 00000000 00000000 00000000 00000000
613#9: xvmaxsp 00000000 @max@ 42780000 AND 00000000 @max@ 7f800000 AND 00000000 @max@ 7fbfffff AND 00000000 @max@ 7fc00000 => 42780000 7f800000 7fffffff 00000000
614#10: xvmaxsp 7f800000 @max@ ff800000 AND 7f800000 @max@ c683287b AND 7f800000 @max@ 80000000 AND 7f800000 @max@ 00000000 => 7f800000 7f800000 7f800000 7f800000
615#11: xvmaxsp 7f800000 @max@ 00000000 AND 7f800000 @max@ 7f800000 AND 7f800000 @max@ 7fbfffff AND 7f800000 @max@ 7fc00000 => 7f800000 7f800000 7fffffff 7f800000
616#12: xvmaxsp ffbfffff @max@ ff800000 AND ffbfffff @max@ c683287b AND ffc00000 @max@ 80000000 AND ffc00000 @max@ 00000000 => ffffffff ffffffff 80000000 00000000
617#13: xvmaxsp ffbfffff @max@ 00000000 AND ffbfffff @max@ 7f800000 AND ffbfffff @max@ 7fbfffff AND ffbfffff @max@ 7fc00000 => ffffffff ffffffff ffffffff ffffffff
618#14: xvmaxsp ffc00000 @max@ ff800000 AND ffc00000 @max@ c683287b AND ffc00000 @max@ 80000000 AND 49192c2d @max@ 49c1288d => ff800000 c683287b 80000000 49c1288d
619#15: xvmaxsp 49192c2d @max@ 49c1288d AND 7fbfffff @max@ 7fc00000 AND 7fc00000 @max@ 7fc00000 AND 7fc00000 @max@ ffc00000 => 49c1288d 7fffffff 7fc00000 7fc00000
620
621
622#0: xvminsp ff800000 @min@ ff800000 AND ff800000 @min@ c683287b AND 49192c2d @min@ 49c1288d AND ff800000 @min@ 00000000 => ff800000 ff800000 49192c2d ff800000
623#1: xvminsp ff800000 @min@ 00000000 AND ff800000 @min@ 7f800000 AND ff800000 @min@ 7fbfffff AND ff800000 @min@ 7fc00000 => ff800000 ff800000 7fffffff ff800000
624#2: xvminsp c683287b @min@ ff800000 AND c683287b @min@ c683287b AND c683287b @min@ 80000000 AND c683287b @min@ 00000000 => ff800000 c683287b c683287b c683287b
625#3: xvminsp c683287b @min@ 00000000 AND c683287b @min@ 7f800000 AND c683287b @min@ 7fbfffff AND c683287b @min@ 7fc00000 => c683287b c683287b 7fffffff c683287b
626#4: xvminsp 80000000 @min@ ff800000 AND 80000000 @min@ c683287b AND 80000000 @min@ 80000000 AND 80000000 @min@ 00000000 => ff800000 c683287b 80000000 80000000
627#5: xvminsp 80000000 @min@ 00000000 AND 80000000 @min@ 7f800000 AND 80000000 @min@ 7fbfffff AND 80000000 @min@ 7fc00000 => 80000000 80000000 7fffffff 80000000
628#6: xvminsp 00000000 @min@ ff800000 AND 00000000 @min@ c683287b AND 00000000 @min@ 80000000 AND 00000000 @min@ 00000000 => ff800000 c683287b 80000000 00000000
629#7: xvminsp 00000000 @min@ 00000000 AND 00000000 @min@ 7f800000 AND 00000000 @min@ 7fbfffff AND 00000000 @min@ 7fc00000 => 00000000 00000000 7fffffff 00000000
630#8: xvminsp 00000000 @min@ ff800000 AND 00000000 @min@ c683287b AND 00000000 @min@ 80000000 AND 00000000 @min@ 00000000 => ff800000 c683287b 80000000 00000000
631#9: xvminsp 00000000 @min@ 42780000 AND 00000000 @min@ 7f800000 AND 00000000 @min@ 7fbfffff AND 00000000 @min@ 7fc00000 => 00000000 00000000 7fffffff 00000000
632#10: xvminsp 7f800000 @min@ ff800000 AND 7f800000 @min@ c683287b AND 7f800000 @min@ 80000000 AND 7f800000 @min@ 00000000 => ff800000 c683287b 80000000 00000000
633#11: xvminsp 7f800000 @min@ 00000000 AND 7f800000 @min@ 7f800000 AND 7f800000 @min@ 7fbfffff AND 7f800000 @min@ 7fc00000 => 00000000 7f800000 7fffffff 7f800000
634#12: xvminsp ffbfffff @min@ ff800000 AND ffbfffff @min@ c683287b AND ffc00000 @min@ 80000000 AND ffc00000 @min@ 00000000 => ffffffff ffffffff 80000000 00000000
635#13: xvminsp ffbfffff @min@ 00000000 AND ffbfffff @min@ 7f800000 AND ffbfffff @min@ 7fbfffff AND ffbfffff @min@ 7fc00000 => ffffffff ffffffff ffffffff ffffffff
636#14: xvminsp ffc00000 @min@ ff800000 AND ffc00000 @min@ c683287b AND ffc00000 @min@ 80000000 AND 49192c2d @min@ 49c1288d => ff800000 c683287b 80000000 49192c2d
637#15: xvminsp 49192c2d @min@ 49c1288d AND 7fbfffff @min@ 7fc00000 AND 7fc00000 @min@ 7fc00000 AND 7fc00000 @min@ ffc00000 => 49192c2d 7fffffff 7fc00000 7fc00000
638
639
640#0: xvcpsgndp fff0000000000000 +-cp fff0000000000000 AND fff0000000000000 +-cp c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
641#1: xvcpsgndp 41232585a9900000 +-cp 41382511a2000000 AND fff0000000000000 +-cp 0000000000000000 => 41382511a2000000 8000000000000000
642#2: xvcpsgndp fff0000000000000 +-cp 0123214569900000 AND fff0000000000000 +-cp 7ff0000000000000 => 8123214569900000 fff0000000000000
643#3: xvcpsgndp fff0000000000000 +-cp 7ff7ffffffffffff AND fff0000000000000 +-cp 7ff8000000000000 => fff7ffffffffffff fff8000000000000
644#4: xvcpsgndp c0d0650f5a07b353 +-cp fff0000000000000 AND c0d0650f5a07b353 +-cp c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
645#5: xvcpsgndp c0d0650f5a07b353 +-cp 8000000000000000 AND c0d0650f5a07b353 +-cp 0000000000000000 => 8000000000000000 8000000000000000
646#6: xvcpsgndp c0d0650f5a07b353 +-cp 0123214569900000 AND c0d0650f5a07b353 +-cp 7ff0000000000000 => 8123214569900000 fff0000000000000
647#7: xvcpsgndp c0d0650f5a07b353 +-cp 7ff7ffffffffffff AND c0d0650f5a07b353 +-cp 7ff8000000000000 => fff7ffffffffffff fff8000000000000
648#8: xvcpsgndp 8000000000000000 +-cp fff0000000000000 AND 8000000000000000 +-cp c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
649#9: xvcpsgndp 8000000000000000 +-cp 8000000000000000 AND 8000000000000000 +-cp 0000000000000000 => 8000000000000000 8000000000000000
650#10: xvcpsgndp 8000000000000000 +-cp 0123214569900000 AND 8000000000000000 +-cp 7ff0000000000000 => 8123214569900000 fff0000000000000
651#11: xvcpsgndp 8000000000000000 +-cp 7ff7ffffffffffff AND 8000000000000000 +-cp 7ff8000000000000 => fff7ffffffffffff fff8000000000000
652#12: xvcpsgndp 0000000000000000 +-cp fff0000000000000 AND 0000000000000000 +-cp c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
653#13: xvcpsgndp 0000000000000000 +-cp 8000000000000000 AND 0000000000000000 +-cp 0000000000000000 => 0000000000000000 0000000000000000
654#14: xvcpsgndp 0000000000000000 +-cp 0123214569900000 AND 0000000000000000 +-cp 7ff0000000000000 => 0123214569900000 7ff0000000000000
655#15: xvcpsgndp 0000000000000000 +-cp 7ff7ffffffffffff AND 0000000000000000 +-cp 7ff8000000000000 => 7ff7ffffffffffff 7ff8000000000000
656#16: xvcpsgndp 0123214569900000 +-cp fff0000000000000 AND 0123214569900000 +-cp c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
657#17: xvcpsgndp 0123214569900000 +-cp 8000000000000000 AND 0123214569900000 +-cp 0000000000000000 => 0000000000000000 0000000000000000
658#18: xvcpsgndp 0123214569900000 +-cp 404f000000000000 AND 0123214569900000 +-cp 7ff0000000000000 => 404f000000000000 7ff0000000000000
659#19: xvcpsgndp 0123214569900000 +-cp 7ff7ffffffffffff AND 0123214569900000 +-cp 7ff8000000000000 => 7ff7ffffffffffff 7ff8000000000000
660#20: xvcpsgndp 7ff0000000000000 +-cp fff0000000000000 AND 7ff0000000000000 +-cp c0d0650f5a07b353 => 7ff0000000000000 40d0650f5a07b353
661#21: xvcpsgndp 7ff0000000000000 +-cp 8000000000000000 AND 7ff0000000000000 +-cp 0000000000000000 => 0000000000000000 0000000000000000
662#22: xvcpsgndp 7ff0000000000000 +-cp 0123214569900000 AND 7ff0000000000000 +-cp 7ff0000000000000 => 0123214569900000 7ff0000000000000
663#23: xvcpsgndp 7ff0000000000000 +-cp 7ff7ffffffffffff AND 7ff0000000000000 +-cp 7ff8000000000000 => 7ff7ffffffffffff 7ff8000000000000
664#24: xvcpsgndp fff7ffffffffffff +-cp fff0000000000000 AND fff7ffffffffffff +-cp c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
665#25: xvcpsgndp fff8000000000000 +-cp 8000000000000000 AND fff8000000000000 +-cp 0000000000000000 => 8000000000000000 8000000000000000
666#26: xvcpsgndp fff7ffffffffffff +-cp 0123214569900000 AND fff7ffffffffffff +-cp 7ff0000000000000 => 8123214569900000 fff0000000000000
667#27: xvcpsgndp fff7ffffffffffff +-cp 7ff7ffffffffffff AND fff7ffffffffffff +-cp 7ff8000000000000 => fff7ffffffffffff fff8000000000000
668#28: xvcpsgndp fff8000000000000 +-cp fff0000000000000 AND fff8000000000000 +-cp c0d0650f5a07b353 => fff0000000000000 c0d0650f5a07b353
669#29: xvcpsgndp fff8000000000000 +-cp 8000000000000000 AND 41232585a9900000 +-cp 41382511a2000000 => 8000000000000000 41382511a2000000
670#30: xvcpsgndp 41232585a9900000 +-cp 41382511a2000000 AND 7ff7ffffffffffff +-cp 7ff8000000000000 => 41382511a2000000 7ff8000000000000
671#31: xvcpsgndp 7ff8000000000000 +-cp 7ff8000000000000 AND 7ff8000000000000 +-cp fff8000000000000 => 7ff8000000000000 7ff8000000000000
672
673
674#0: xvcpsgnsp ff800000 +-cp ff800000 AND ff800000 +-cp c683287b AND 49192c2d +-cp 49c1288d AND ff800000 +-cp 00000000 => ff800000 c683287b 49c1288d 80000000
675#1: xvcpsgnsp ff800000 +-cp 00000000 AND ff800000 +-cp 7f800000 AND ff800000 +-cp 7fbfffff AND ff800000 +-cp 7fc00000 => 80000000 ff800000 ffbfffff ffc00000
676#2: xvcpsgnsp c683287b +-cp ff800000 AND c683287b +-cp c683287b AND c683287b +-cp 80000000 AND c683287b +-cp 00000000 => ff800000 c683287b 80000000 80000000
677#3: xvcpsgnsp c683287b +-cp 00000000 AND c683287b +-cp 7f800000 AND c683287b +-cp 7fbfffff AND c683287b +-cp 7fc00000 => 80000000 ff800000 ffbfffff ffc00000
678#4: xvcpsgnsp 80000000 +-cp ff800000 AND 80000000 +-cp c683287b AND 80000000 +-cp 80000000 AND 80000000 +-cp 00000000 => ff800000 c683287b 80000000 80000000
679#5: xvcpsgnsp 80000000 +-cp 00000000 AND 80000000 +-cp 7f800000 AND 80000000 +-cp 7fbfffff AND 80000000 +-cp 7fc00000 => 80000000 ff800000 ffbfffff ffc00000
680#6: xvcpsgnsp 00000000 +-cp ff800000 AND 00000000 +-cp c683287b AND 00000000 +-cp 80000000 AND 00000000 +-cp 00000000 => 7f800000 4683287b 00000000 00000000
681#7: xvcpsgnsp 00000000 +-cp 00000000 AND 00000000 +-cp 7f800000 AND 00000000 +-cp 7fbfffff AND 00000000 +-cp 7fc00000 => 00000000 7f800000 7fbfffff 7fc00000
682#8: xvcpsgnsp 00000000 +-cp ff800000 AND 00000000 +-cp c683287b AND 00000000 +-cp 80000000 AND 00000000 +-cp 00000000 => 7f800000 4683287b 00000000 00000000
683#9: xvcpsgnsp 00000000 +-cp 42780000 AND 00000000 +-cp 7f800000 AND 00000000 +-cp 7fbfffff AND 00000000 +-cp 7fc00000 => 42780000 7f800000 7fbfffff 7fc00000
684#10: xvcpsgnsp 7f800000 +-cp ff800000 AND 7f800000 +-cp c683287b AND 7f800000 +-cp 80000000 AND 7f800000 +-cp 00000000 => 7f800000 4683287b 00000000 00000000
685#11: xvcpsgnsp 7f800000 +-cp 00000000 AND 7f800000 +-cp 7f800000 AND 7f800000 +-cp 7fbfffff AND 7f800000 +-cp 7fc00000 => 00000000 7f800000 7fbfffff 7fc00000
686#12: xvcpsgnsp ffbfffff +-cp ff800000 AND ffbfffff +-cp c683287b AND ffc00000 +-cp 80000000 AND ffc00000 +-cp 00000000 => ff800000 c683287b 80000000 80000000
687#13: xvcpsgnsp ffbfffff +-cp 00000000 AND ffbfffff +-cp 7f800000 AND ffbfffff +-cp 7fbfffff AND ffbfffff +-cp 7fc00000 => 80000000 ff800000 ffbfffff ffc00000
688#14: xvcpsgnsp ffc00000 +-cp ff800000 AND ffc00000 +-cp c683287b AND ffc00000 +-cp 80000000 AND 49192c2d +-cp 49c1288d => ff800000 c683287b 80000000 49c1288d
689#15: xvcpsgnsp 49192c2d +-cp 49c1288d AND 7fbfffff +-cp 7fc00000 AND 7fc00000 +-cp 7fc00000 AND 7fc00000 +-cp ffc00000 => 49c1288d 7fc00000 7fc00000 7fc00000
690
691
692Test bit permute double
693bpermd: 0x1b2c31f030000001 : 0xa12bc37de56f9708 => 0xce
694
695Test xxsel instruction
696xxsel a12bc37de56f9708,fedc432124681235,ffffffff01020304 => fedc4321e46d960c
697xxsel 3894c1fddeadbeef,f1e2d3c4e0057708,128934bd00000000 => 3894d1c4deadbeef
698
699Test xxspltw instruction
700xxspltw 0xfedc432124681235f1e2d3c4e0057708 0=> 0xfedc4321fedc4321fedc4321fedc4321
701xxspltw 0xfedc432124681235f1e2d3c4e0057708 1=> 0x24681235246812352468123524681235
702xxspltw 0xfedc432124681235f1e2d3c4e0057708 2=> 0xf1e2d3c4f1e2d3c4f1e2d3c4f1e2d3c4
703xxspltw 0xfedc432124681235f1e2d3c4e0057708 3=> 0xe0057708e0057708e0057708e0057708
704
705Test floating point convert [word | doubleword] unsigned, with round toward zero
706#0: fctiduz: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
707#1: fctiduz: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
708#2: fctiduz: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
709#3: fctiduz: 0x7fe800000000051b (1.348270e+308) ==> 0xffffffffffffffff
710#4: fctiduz: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
711#5: fctiduz: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
712#6: fctiduz: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
713#7: fctiduz: 0x7ff0000000000000 (inf) ==> 0xffffffffffffffff
714#8: fctiduz: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
715#9: fctiduz: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
716#10: fctiduz: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
717#11: fctiduz: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
718#12: fctiduz: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
719#13: fctiduz: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
720#14: fctiduz: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
721#15: fctiduz: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c2
722#16: fctiduz: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182511
723
724#0: fctiduz.: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
725#1: fctiduz.: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
726#2: fctiduz.: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
727#3: fctiduz.: 0x7fe800000000051b (1.348270e+308) ==> 0xffffffffffffffff
728#4: fctiduz.: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
729#5: fctiduz.: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
730#6: fctiduz.: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
731#7: fctiduz.: 0x7ff0000000000000 (inf) ==> 0xffffffffffffffff
732#8: fctiduz.: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
733#9: fctiduz.: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
734#10: fctiduz.: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
735#11: fctiduz.: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
736#12: fctiduz.: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
737#13: fctiduz.: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
738#14: fctiduz.: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
739#15: fctiduz.: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c2
740#16: fctiduz.: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182511
741
742
743#0: fctidu: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
744#1: fctidu: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
745#2: fctidu: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
746#3: fctidu: 0x7fe800000000051b (1.348270e+308) ==> 0xffffffffffffffff
747#4: fctidu: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
748#5: fctidu: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
749#6: fctidu: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
750#7: fctidu: 0x7ff0000000000000 (inf) ==> 0xffffffffffffffff
751#8: fctidu: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
752#9: fctidu: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
753#10: fctidu: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
754#11: fctidu: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
755#12: fctidu: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
756#13: fctidu: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
757#14: fctidu: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
758#15: fctidu: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c3
759#16: fctidu: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182512
760
761#0: fctidu.: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
762#1: fctidu.: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
763#2: fctidu.: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
764#3: fctidu.: 0x7fe800000000051b (1.348270e+308) ==> 0xffffffffffffffff
765#4: fctidu.: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
766#5: fctidu.: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
767#6: fctidu.: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
768#7: fctidu.: 0x7ff0000000000000 (inf) ==> 0xffffffffffffffff
769#8: fctidu.: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
770#9: fctidu.: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
771#10: fctidu.: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
772#11: fctidu.: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
773#12: fctidu.: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
774#13: fctidu.: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
775#14: fctidu.: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
776#15: fctidu.: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c3
777#16: fctidu.: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182512
778
779
780#0: fctiwuz: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
781#1: fctiwuz: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
782#2: fctiwuz: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
783#3: fctiwuz: 0x7fe800000000051b (1.348270e+308) ==> 0x00000000ffffffff
784#4: fctiwuz: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
785#5: fctiwuz: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
786#6: fctiwuz: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
787#7: fctiwuz: 0x7ff0000000000000 (inf) ==> 0x00000000ffffffff
788#8: fctiwuz: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
789#9: fctiwuz: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
790#10: fctiwuz: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
791#11: fctiwuz: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
792#12: fctiwuz: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
793#13: fctiwuz: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
794#14: fctiwuz: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
795#15: fctiwuz: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c2
796#16: fctiwuz: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182511
797
798#0: fctiwuz.: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
799#1: fctiwuz.: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
800#2: fctiwuz.: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
801#3: fctiwuz.: 0x7fe800000000051b (1.348270e+308) ==> 0x00000000ffffffff
802#4: fctiwuz.: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
803#5: fctiwuz.: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
804#6: fctiwuz.: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
805#7: fctiwuz.: 0x7ff0000000000000 (inf) ==> 0x00000000ffffffff
806#8: fctiwuz.: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
807#9: fctiwuz.: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
808#10: fctiwuz.: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
809#11: fctiwuz.: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
810#12: fctiwuz.: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
811#13: fctiwuz.: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
812#14: fctiwuz.: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
813#15: fctiwuz.: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c2
814#16: fctiwuz.: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182511
815
816
817#0: fctiwu: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
818#1: fctiwu: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
819#2: fctiwu: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
820#3: fctiwu: 0x7fe800000000051b (1.348270e+308) ==> 0x00000000ffffffff
821#4: fctiwu: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
822#5: fctiwu: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
823#6: fctiwu: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
824#7: fctiwu: 0x7ff0000000000000 (inf) ==> 0x00000000ffffffff
825#8: fctiwu: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
826#9: fctiwu: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
827#10: fctiwu: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
828#11: fctiwu: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
829#12: fctiwu: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
830#13: fctiwu: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
831#14: fctiwu: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
832#15: fctiwu: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c3
833#16: fctiwu: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182512
834
835#0: fctiwu.: 0x3fd8000000000000 (3.750000e-01) ==> 0x0000000000000000
836#1: fctiwu.: 0x404f000000000000 (6.200000e+01) ==> 0x000000000000003e
837#2: fctiwu.: 0x0018000000b77501 (3.337611e-308) ==> 0x0000000000000000
838#3: fctiwu.: 0x7fe800000000051b (1.348270e+308) ==> 0x00000000ffffffff
839#4: fctiwu.: 0x0123214569900000 (3.486973e-303) ==> 0x0000000000000000
840#5: fctiwu.: 0x0000000000000000 (0.000000e+00) ==> 0x0000000000000000
841#6: fctiwu.: 0x8000000000000000 (-0.000000e+00) ==> 0x0000000000000000
842#7: fctiwu.: 0x7ff0000000000000 (inf) ==> 0x00000000ffffffff
843#8: fctiwu.: 0xfff0000000000000 (-inf) ==> 0x0000000000000000
844#9: fctiwu.: 0x7ff7ffffffffffff (nan) ==> 0x0000000000000000
845#10: fctiwu.: 0xfff7ffffffffffff (-nan) ==> 0x0000000000000000
846#11: fctiwu.: 0x7ff8000000000000 (nan) ==> 0x0000000000000000
847#12: fctiwu.: 0xfff8000000000000 (-nan) ==> 0x0000000000000000
848#13: fctiwu.: 0x8008340000078000 (-1.140785e-308) ==> 0x0000000000000000
849#14: fctiwu.: 0xc0d0650f5a07b353 (-1.678824e+04) ==> 0x0000000000000000
850#15: fctiwu.: 0x41232585a9900000 (6.273948e+05) ==> 0x00000000000992c3
851#16: fctiwu.: 0x41382511a2000000 (1.582354e+06) ==> 0x0000000000182512
852
853
854Test stdbrx instruction
855stdbrx: 0xdeadbacf12345678 ==> 0x78563412cfbaadde
856
857Test floating point arithmetic instructions -- with a{d|s}p or m{d|s}p
858#0: xsnmsubadp !*-(fff0000000000000,fff0000000000000,3fd8000000000000) = 7ff8000000000000
859#1: xsnmsubadp !*-(c0d0650f5a07b353,fff0000000000000,404f000000000000) = 7ff0000000000000
860#2: xsnmsubadp !*-(41382511a2000000,41232585a9900000,0018000000b77501) = 41382511a2000000
861#3: xsnmsubadp !*-(0000000000000000,fff0000000000000,7fe800000000051b) = 7ff0000000000000
862#4: xsnmsubadp !*-(0123214569900000,fff0000000000000,0123214569900000) = 7ff0000000000000
863#5: xsnmsubadp !*-(7ff0000000000000,fff0000000000000,0000000000000000) = 7ff8000000000000
864#6: xsnmsubadp !*-(7ff7ffffffffffff,fff0000000000000,8000000000000000) = 7fffffffffffffff
865#7: xsnmsubadp !*-(7ff8000000000000,fff0000000000000,7ff0000000000000) = 7ff8000000000000
866#8: xsnmsubadp !*-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) = fff0000000000000
867#9: xsnmsubadp !*-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) = 7fffffffffffffff
868#10: xsnmsubadp !*-(8000000000000000,c0d0650f5a07b353,fff7ffffffffffff) = ffffffffffffffff
869#11: xsnmsubadp !*-(0000000000000000,c0d0650f5a07b353,7ff8000000000000) = 7ff8000000000000
870#12: xsnmsubadp !*-(0123214569900000,c0d0650f5a07b353,fff8000000000000) = fff8000000000000
871#13: xsnmsubadp !*-(7ff0000000000000,c0d0650f5a07b353,8008340000078000) = 7ff0000000000000
872#14: xsnmsubadp !*-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) = 7fffffffffffffff
873#15: xsnmsubadp !*-(7ff8000000000000,c0d0650f5a07b353,41232585a9900000) = 7ff8000000000000
874#16: xsnmsubadp !*-(fff0000000000000,8000000000000000,3fd8000000000000) = fff0000000000000
875#17: xsnmsubadp !*-(c0d0650f5a07b353,8000000000000000,404f000000000000) = c0d0650f5a07b353
876#18: xsnmsubadp !*-(8000000000000000,8000000000000000,0018000000b77501) = 8000000000000000
877#19: xsnmsubadp !*-(0000000000000000,8000000000000000,7fe800000000051b) = 0000000000000000
878#20: xsnmsubadp !*-(0123214569900000,8000000000000000,0123214569900000) = 0123214569900000
879#21: xsnmsubadp !*-(7ff0000000000000,8000000000000000,0000000000000000) = 7ff0000000000000
880#22: xsnmsubadp !*-(7ff7ffffffffffff,8000000000000000,8000000000000000) = 7fffffffffffffff
881#23: xsnmsubadp !*-(7ff8000000000000,8000000000000000,7ff0000000000000) = 7ff8000000000000
882#24: xsnmsubadp !*-(fff0000000000000,0000000000000000,fff0000000000000) = 7ff8000000000000
883#25: xsnmsubadp !*-(c0d0650f5a07b353,0000000000000000,7ff7ffffffffffff) = 7fffffffffffffff
884#26: xsnmsubadp !*-(8000000000000000,0000000000000000,fff7ffffffffffff) = ffffffffffffffff
885#27: xsnmsubadp !*-(0000000000000000,0000000000000000,7ff8000000000000) = 7ff8000000000000
886#28: xsnmsubadp !*-(0123214569900000,0000000000000000,fff8000000000000) = fff8000000000000
887#29: xsnmsubadp !*-(7ff0000000000000,0000000000000000,8008340000078000) = 7ff0000000000000
888#30: xsnmsubadp !*-(7ff7ffffffffffff,0000000000000000,c0d0650f5a07b353) = 7fffffffffffffff
889#31: xsnmsubadp !*-(7ff8000000000000,0000000000000000,41232585a9900000) = 7ff8000000000000
890#32: xsnmsubadp !*-(fff0000000000000,0123214569900000,3fd8000000000000) = fff0000000000000
891#33: xsnmsubadp !*-(c0d0650f5a07b353,0123214569900000,404f000000000000) = c0d0650f5a07b353
892#34: xsnmsubadp !*-(8000000000000000,0123214569900000,0018000000b77501) = 8000000000000000
893#35: xsnmsubadp !*-(0000000000000000,0123214569900000,7fe800000000051b) = c11cb1e81e58061b
894#36: xsnmsubadp !*-(404f000000000000,0123214569900000,0123214569900000) = 404f000000000000
895#37: xsnmsubadp !*-(7ff0000000000000,0123214569900000,0000000000000000) = 7ff0000000000000
896#38: xsnmsubadp !*-(7ff7ffffffffffff,0123214569900000,8000000000000000) = 7fffffffffffffff
897#39: xsnmsubadp !*-(7ff8000000000000,0123214569900000,7ff0000000000000) = 7ff8000000000000
898#40: xsnmsubadp !*-(fff0000000000000,7ff0000000000000,fff0000000000000) = 7ff8000000000000
899#41: xsnmsubadp !*-(c0d0650f5a07b353,7ff0000000000000,7ff7ffffffffffff) = 7fffffffffffffff
900#42: xsnmsubadp !*-(8000000000000000,7ff0000000000000,fff7ffffffffffff) = ffffffffffffffff
901#43: xsnmsubadp !*-(0000000000000000,7ff0000000000000,7ff8000000000000) = 7ff8000000000000
902#44: xsnmsubadp !*-(0123214569900000,7ff0000000000000,fff8000000000000) = fff8000000000000
903#45: xsnmsubadp !*-(7ff0000000000000,7ff0000000000000,8008340000078000) = 7ff0000000000000
904#46: xsnmsubadp !*-(7ff7ffffffffffff,7ff0000000000000,c0d0650f5a07b353) = 7fffffffffffffff
905#47: xsnmsubadp !*-(7ff8000000000000,7ff0000000000000,41232585a9900000) = 7ff8000000000000
906#48: xsnmsubadp !*-(fff0000000000000,fff7ffffffffffff,3fd8000000000000) = ffffffffffffffff
907#49: xsnmsubadp !*-(c0d0650f5a07b353,fff7ffffffffffff,404f000000000000) = ffffffffffffffff
908#50: xsnmsubadp !*-(8000000000000000,fff8000000000000,0018000000b77501) = fff8000000000000
909#51: xsnmsubadp !*-(0000000000000000,fff8000000000000,7fe800000000051b) = fff8000000000000
910#52: xsnmsubadp !*-(0123214569900000,fff7ffffffffffff,0123214569900000) = ffffffffffffffff
911#53: xsnmsubadp !*-(7ff0000000000000,fff7ffffffffffff,0000000000000000) = ffffffffffffffff
912#54: xsnmsubadp !*-(7ff7ffffffffffff,fff7ffffffffffff,8000000000000000) = ffffffffffffffff
913#55: xsnmsubadp !*-(7ff8000000000000,fff7ffffffffffff,7ff0000000000000) = ffffffffffffffff
914#56: xsnmsubadp !*-(fff0000000000000,fff8000000000000,fff0000000000000) = fff8000000000000
915#57: xsnmsubadp !*-(c0d0650f5a07b353,fff8000000000000,7ff7ffffffffffff) = fff8000000000000
916#58: xsnmsubadp !*-(8000000000000000,fff8000000000000,fff7ffffffffffff) = fff8000000000000
917#59: xsnmsubadp !*-(41382511a2000000,41232585a9900000,7ff8000000000000) = 7ff8000000000000
918#60: xsnmsubadp !*-(41382511a2000000,41232585a9900000,fff8000000000000) = fff8000000000000
919#61: xsnmsubadp !*-(7ff8000000000000,7ff7ffffffffffff,8008340000078000) = 7fffffffffffffff
920#62: xsnmsubadp !*-(7ff8000000000000,7ff8000000000000,c0d0650f5a07b353) = 7ff8000000000000
921#63: xsnmsubadp !*-(fff8000000000000,7ff8000000000000,41232585a9900000) = 7ff8000000000000
922
923#0: xsnmsubmdp !*-(3fd8000000000000,fff0000000000000,fff0000000000000) = 7ff8000000000000
924#1: xsnmsubmdp !*-(404f000000000000,fff0000000000000,c0d0650f5a07b353) = 7ff0000000000000
925#2: xsnmsubmdp !*-(0018000000b77501,41232585a9900000,41382511a2000000) = 41382511a2000000
926#3: xsnmsubmdp !*-(7fe800000000051b,fff0000000000000,0000000000000000) = 7ff0000000000000
927#4: xsnmsubmdp !*-(0123214569900000,fff0000000000000,0123214569900000) = 7ff0000000000000
928#5: xsnmsubmdp !*-(0000000000000000,fff0000000000000,7ff0000000000000) = 7ff8000000000000
929#6: xsnmsubmdp !*-(8000000000000000,fff0000000000000,7ff7ffffffffffff) = 7fffffffffffffff
930#7: xsnmsubmdp !*-(7ff0000000000000,fff0000000000000,7ff8000000000000) = 7ff8000000000000
931#8: xsnmsubmdp !*-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) = fff0000000000000
932#9: xsnmsubmdp !*-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) = 7fffffffffffffff
933#10: xsnmsubmdp !*-(fff7ffffffffffff,c0d0650f5a07b353,8000000000000000) = ffffffffffffffff
934#11: xsnmsubmdp !*-(7ff8000000000000,c0d0650f5a07b353,0000000000000000) = 7ff8000000000000
935#12: xsnmsubmdp !*-(fff8000000000000,c0d0650f5a07b353,0123214569900000) = fff8000000000000
936#13: xsnmsubmdp !*-(8008340000078000,c0d0650f5a07b353,7ff0000000000000) = 7ff0000000000000
937#14: xsnmsubmdp !*-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) = 7fffffffffffffff
938#15: xsnmsubmdp !*-(41232585a9900000,c0d0650f5a07b353,7ff8000000000000) = 7ff8000000000000
939#16: xsnmsubmdp !*-(3fd8000000000000,8000000000000000,fff0000000000000) = fff0000000000000
940#17: xsnmsubmdp !*-(404f000000000000,8000000000000000,c0d0650f5a07b353) = c0d0650f5a07b353
941#18: xsnmsubmdp !*-(0018000000b77501,8000000000000000,8000000000000000) = 8000000000000000
942#19: xsnmsubmdp !*-(7fe800000000051b,8000000000000000,0000000000000000) = 0000000000000000
943#20: xsnmsubmdp !*-(0123214569900000,8000000000000000,0123214569900000) = 0123214569900000
944#21: xsnmsubmdp !*-(0000000000000000,8000000000000000,7ff0000000000000) = 7ff0000000000000
945#22: xsnmsubmdp !*-(8000000000000000,8000000000000000,7ff7ffffffffffff) = 7fffffffffffffff
946#23: xsnmsubmdp !*-(7ff0000000000000,8000000000000000,7ff8000000000000) = 7ff8000000000000
947#24: xsnmsubmdp !*-(fff0000000000000,0000000000000000,fff0000000000000) = 7ff8000000000000
948#25: xsnmsubmdp !*-(7ff7ffffffffffff,0000000000000000,c0d0650f5a07b353) = 7fffffffffffffff
949#26: xsnmsubmdp !*-(fff7ffffffffffff,0000000000000000,8000000000000000) = ffffffffffffffff
950#27: xsnmsubmdp !*-(7ff8000000000000,0000000000000000,0000000000000000) = 7ff8000000000000
951#28: xsnmsubmdp !*-(fff8000000000000,0000000000000000,0123214569900000) = fff8000000000000
952#29: xsnmsubmdp !*-(8008340000078000,0000000000000000,7ff0000000000000) = 7ff0000000000000
953#30: xsnmsubmdp !*-(c0d0650f5a07b353,0000000000000000,7ff7ffffffffffff) = 7fffffffffffffff
954#31: xsnmsubmdp !*-(41232585a9900000,0000000000000000,7ff8000000000000) = 7ff8000000000000
955#32: xsnmsubmdp !*-(3fd8000000000000,0123214569900000,fff0000000000000) = fff0000000000000
956#33: xsnmsubmdp !*-(404f000000000000,0123214569900000,c0d0650f5a07b353) = c0d0650f5a07b353
957#34: xsnmsubmdp !*-(0018000000b77501,0123214569900000,8000000000000000) = 8000000000000000
958#35: xsnmsubmdp !*-(7fe800000000051b,0123214569900000,0000000000000000) = c11cb1e81e58061b
959#36: xsnmsubmdp !*-(0123214569900000,0123214569900000,404f000000000000) = 404f000000000000
960#37: xsnmsubmdp !*-(0000000000000000,0123214569900000,7ff0000000000000) = 7ff0000000000000
961#38: xsnmsubmdp !*-(8000000000000000,0123214569900000,7ff7ffffffffffff) = 7fffffffffffffff
962#39: xsnmsubmdp !*-(7ff0000000000000,0123214569900000,7ff8000000000000) = 7ff8000000000000
963#40: xsnmsubmdp !*-(fff0000000000000,7ff0000000000000,fff0000000000000) = 7ff8000000000000
964#41: xsnmsubmdp !*-(7ff7ffffffffffff,7ff0000000000000,c0d0650f5a07b353) = 7fffffffffffffff
965#42: xsnmsubmdp !*-(fff7ffffffffffff,7ff0000000000000,8000000000000000) = ffffffffffffffff
966#43: xsnmsubmdp !*-(7ff8000000000000,7ff0000000000000,0000000000000000) = 7ff8000000000000
967#44: xsnmsubmdp !*-(fff8000000000000,7ff0000000000000,0123214569900000) = fff8000000000000
968#45: xsnmsubmdp !*-(8008340000078000,7ff0000000000000,7ff0000000000000) = 7ff0000000000000
969#46: xsnmsubmdp !*-(c0d0650f5a07b353,7ff0000000000000,7ff7ffffffffffff) = 7fffffffffffffff
970#47: xsnmsubmdp !*-(41232585a9900000,7ff0000000000000,7ff8000000000000) = 7ff8000000000000
971#48: xsnmsubmdp !*-(3fd8000000000000,fff7ffffffffffff,fff0000000000000) = ffffffffffffffff
972#49: xsnmsubmdp !*-(404f000000000000,fff7ffffffffffff,c0d0650f5a07b353) = ffffffffffffffff
973#50: xsnmsubmdp !*-(0018000000b77501,fff8000000000000,8000000000000000) = fff8000000000000
974#51: xsnmsubmdp !*-(7fe800000000051b,fff8000000000000,0000000000000000) = fff8000000000000
975#52: xsnmsubmdp !*-(0123214569900000,fff7ffffffffffff,0123214569900000) = ffffffffffffffff
976#53: xsnmsubmdp !*-(0000000000000000,fff7ffffffffffff,7ff0000000000000) = ffffffffffffffff
977#54: xsnmsubmdp !*-(8000000000000000,fff7ffffffffffff,7ff7ffffffffffff) = ffffffffffffffff
978#55: xsnmsubmdp !*-(7ff0000000000000,fff7ffffffffffff,7ff8000000000000) = ffffffffffffffff
979#56: xsnmsubmdp !*-(fff0000000000000,fff8000000000000,fff0000000000000) = fff8000000000000
980#57: xsnmsubmdp !*-(7ff7ffffffffffff,fff8000000000000,c0d0650f5a07b353) = fff8000000000000
981#58: xsnmsubmdp !*-(fff7ffffffffffff,fff8000000000000,8000000000000000) = fff8000000000000
982#59: xsnmsubmdp !*-(7ff8000000000000,41232585a9900000,41382511a2000000) = 7ff8000000000000
983#60: xsnmsubmdp !*-(fff8000000000000,41232585a9900000,41382511a2000000) = fff8000000000000
984#61: xsnmsubmdp !*-(8008340000078000,7ff7ffffffffffff,7ff8000000000000) = 7fffffffffffffff
985#62: xsnmsubmdp !*-(c0d0650f5a07b353,7ff8000000000000,7ff8000000000000) = 7ff8000000000000
986#63: xsnmsubmdp !*-(41232585a9900000,7ff8000000000000,fff8000000000000) = 7ff8000000000000
987
988#0: xvmaddadp *+(fff0000000000000,fff0000000000000,3fd8000000000000) AND *+(c0d0650f5a07b353,fff0000000000000,404f000000000000) => fff0000000000000 fff0000000000000
989#1: xvmaddadp *+(41382511a2000000,41232585a9900000,0018000000b77501) AND *+(0000000000000000,fff0000000000000,7fe800000000051b) => 41382511a2000000 fff0000000000000
990#2: xvmaddadp *+(0123214569900000,fff0000000000000,0123214569900000) AND *+(7ff0000000000000,fff0000000000000,0000000000000000) => fff0000000000000 7ff8000000000000
991#3: xvmaddadp *+(7ff7ffffffffffff,fff0000000000000,8000000000000000) AND *+(7ff8000000000000,fff0000000000000,7ff0000000000000) => 7fffffffffffffff 7ff8000000000000
992#4: xvmaddadp *+(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND *+(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) => 7ff8000000000000 7fffffffffffffff
993#5: xvmaddadp *+(8000000000000000,c0d0650f5a07b353,fff7ffffffffffff) AND *+(0000000000000000,c0d0650f5a07b353,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
994#6: xvmaddadp *+(0123214569900000,c0d0650f5a07b353,fff8000000000000) AND *+(7ff0000000000000,c0d0650f5a07b353,8008340000078000) => fff8000000000000 7ff0000000000000
995#7: xvmaddadp *+(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) AND *+(7ff8000000000000,c0d0650f5a07b353,41232585a9900000) => 7fffffffffffffff 7ff8000000000000
996#8: xvmaddadp *+(fff0000000000000,8000000000000000,404f000000000000) AND *+(c0d0650f5a07b353,8000000000000000,0018000000b77501) => fff0000000000000 c0d0650f5a07b353
997#9: xvmaddadp *+(8000000000000000,8000000000000000,7fe800000000051b) AND *+(0000000000000000,8000000000000000,0123214569900000) => 8000000000000000 0000000000000000
998#10: xvmaddadp *+(0123214569900000,8000000000000000,0000000000000000) AND *+(7ff0000000000000,8000000000000000,8000000000000000) => 0123214569900000 7ff0000000000000
999#11: xvmaddadp *+(7ff7ffffffffffff,8000000000000000,7ff0000000000000) AND *+(7ff8000000000000,8000000000000000,fff0000000000000) => 7fffffffffffffff 7ff8000000000000
1000#12: xvmaddadp *+(fff0000000000000,0000000000000000,7ff7ffffffffffff) AND *+(c0d0650f5a07b353,0000000000000000,fff7ffffffffffff) => 7fffffffffffffff ffffffffffffffff
1001#13: xvmaddadp *+(8000000000000000,0000000000000000,7ff8000000000000) AND *+(0000000000000000,0000000000000000,fff8000000000000) => 7ff8000000000000 fff8000000000000
1002#14: xvmaddadp *+(0123214569900000,0000000000000000,8008340000078000) AND *+(7ff0000000000000,0000000000000000,c0d0650f5a07b353) => 0123214569900000 7ff0000000000000
1003#15: xvmaddadp *+(7ff7ffffffffffff,0000000000000000,3fd8000000000000) AND *+(7ff8000000000000,0000000000000000,404f000000000000) => 7fffffffffffffff 7ff8000000000000
1004#16: xvmaddadp *+(fff0000000000000,0123214569900000,0018000000b77501) AND *+(c0d0650f5a07b353,0123214569900000,7fe800000000051b) => fff0000000000000 411bab9728b78ae5
1005#17: xvmaddadp *+(8000000000000000,0123214569900000,0123214569900000) AND *+(0000000000000000,0123214569900000,0000000000000000) => 0000000000000000 0000000000000000
1006#18: xvmaddadp *+(404f000000000000,0123214569900000,8000000000000000) AND *+(7ff0000000000000,0123214569900000,7ff0000000000000) => 404f000000000000 7ff0000000000000
1007#19: xvmaddadp *+(7ff7ffffffffffff,0123214569900000,fff0000000000000) AND *+(7ff8000000000000,0123214569900000,7ff7ffffffffffff) => 7fffffffffffffff 7ff8000000000000
1008#20: xvmaddadp *+(fff0000000000000,7ff0000000000000,fff7ffffffffffff) AND *+(c0d0650f5a07b353,7ff0000000000000,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1009#21: xvmaddadp *+(8000000000000000,7ff0000000000000,fff8000000000000) AND *+(0000000000000000,7ff0000000000000,8008340000078000) => fff8000000000000 fff0000000000000
1010#22: xvmaddadp *+(0123214569900000,7ff0000000000000,c0d0650f5a07b353) AND *+(7ff0000000000000,7ff0000000000000,41232585a9900000) => fff0000000000000 7ff0000000000000
1011#23: xvmaddadp *+(7ff7ffffffffffff,7ff0000000000000,404f000000000000) AND *+(7ff8000000000000,7ff0000000000000,0018000000b77501) => 7fffffffffffffff 7ff8000000000000
1012#24: xvmaddadp *+(fff0000000000000,fff7ffffffffffff,7fe800000000051b) AND *+(c0d0650f5a07b353,fff7ffffffffffff,0123214569900000) => ffffffffffffffff ffffffffffffffff
1013#25: xvmaddadp *+(8000000000000000,fff8000000000000,0000000000000000) AND *+(0000000000000000,fff8000000000000,8000000000000000) => fff8000000000000 fff8000000000000
1014#26: xvmaddadp *+(0123214569900000,fff7ffffffffffff,7ff0000000000000) AND *+(7ff0000000000000,fff7ffffffffffff,fff0000000000000) => ffffffffffffffff ffffffffffffffff
1015#27: xvmaddadp *+(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND *+(7ff8000000000000,fff7ffffffffffff,fff7ffffffffffff) => ffffffffffffffff ffffffffffffffff
1016#28: xvmaddadp *+(fff0000000000000,fff8000000000000,7ff8000000000000) AND *+(c0d0650f5a07b353,fff8000000000000,fff8000000000000) => fff8000000000000 fff8000000000000
1017#29: xvmaddadp *+(8000000000000000,fff8000000000000,8008340000078000) AND *+(41382511a2000000,41232585a9900000,c0d0650f5a07b353) => fff8000000000000 c2039db3bbaae2d2
1018#30: xvmaddadp *+(41382511a2000000,41232585a9900000,3fd8000000000000) AND *+(7ff8000000000000,7ff7ffffffffffff,404f000000000000) => 413bbc1ab1cb0000 7fffffffffffffff
1019#31: xvmaddadp *+(7ff8000000000000,7ff8000000000000,0018000000b77501) AND *+(fff8000000000000,7ff8000000000000,7fe800000000051b) => 7ff8000000000000 7ff8000000000000
1020
1021#0: xvmaddmdp *+(3fd8000000000000,fff0000000000000,fff0000000000000) AND *+(404f000000000000,fff0000000000000,c0d0650f5a07b353) => fff0000000000000 fff0000000000000
1022#1: xvmaddmdp *+(0018000000b77501,41232585a9900000,41382511a2000000) AND *+(7fe800000000051b,fff0000000000000,0000000000000000) => 41382511a2000000 fff0000000000000
1023#2: xvmaddmdp *+(0123214569900000,fff0000000000000,0123214569900000) AND *+(0000000000000000,fff0000000000000,7ff0000000000000) => fff0000000000000 7ff8000000000000
1024#3: xvmaddmdp *+(8000000000000000,fff0000000000000,7ff7ffffffffffff) AND *+(7ff0000000000000,fff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1025#4: xvmaddmdp *+(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND *+(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) => 7ff8000000000000 7fffffffffffffff
1026#5: xvmaddmdp *+(fff7ffffffffffff,c0d0650f5a07b353,8000000000000000) AND *+(7ff8000000000000,c0d0650f5a07b353,0000000000000000) => ffffffffffffffff 7ff8000000000000
1027#6: xvmaddmdp *+(fff8000000000000,c0d0650f5a07b353,0123214569900000) AND *+(8008340000078000,c0d0650f5a07b353,7ff0000000000000) => fff8000000000000 7ff0000000000000
1028#7: xvmaddmdp *+(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) AND *+(41232585a9900000,c0d0650f5a07b353,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1029#8: xvmaddmdp *+(404f000000000000,8000000000000000,fff0000000000000) AND *+(0018000000b77501,8000000000000000,c0d0650f5a07b353) => fff0000000000000 c0d0650f5a07b353
1030#9: xvmaddmdp *+(7fe800000000051b,8000000000000000,8000000000000000) AND *+(0123214569900000,8000000000000000,0000000000000000) => 8000000000000000 0000000000000000
1031#10: xvmaddmdp *+(0000000000000000,8000000000000000,0123214569900000) AND *+(8000000000000000,8000000000000000,7ff0000000000000) => 0123214569900000 7ff0000000000000
1032#11: xvmaddmdp *+(7ff0000000000000,8000000000000000,7ff7ffffffffffff) AND *+(fff0000000000000,8000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1033#12: xvmaddmdp *+(7ff7ffffffffffff,0000000000000000,fff0000000000000) AND *+(fff7ffffffffffff,0000000000000000,c0d0650f5a07b353) => 7fffffffffffffff ffffffffffffffff
1034#13: xvmaddmdp *+(7ff8000000000000,0000000000000000,8000000000000000) AND *+(fff8000000000000,0000000000000000,0000000000000000) => 7ff8000000000000 fff8000000000000
1035#14: xvmaddmdp *+(8008340000078000,0000000000000000,0123214569900000) AND *+(c0d0650f5a07b353,0000000000000000,7ff0000000000000) => 0123214569900000 7ff0000000000000
1036#15: xvmaddmdp *+(3fd8000000000000,0000000000000000,7ff7ffffffffffff) AND *+(404f000000000000,0000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1037#16: xvmaddmdp *+(0018000000b77501,0123214569900000,fff0000000000000) AND *+(7fe800000000051b,0123214569900000,c0d0650f5a07b353) => fff0000000000000 411bab9728b78ae5
1038#17: xvmaddmdp *+(0123214569900000,0123214569900000,8000000000000000) AND *+(0000000000000000,0123214569900000,0000000000000000) => 0000000000000000 0000000000000000
1039#18: xvmaddmdp *+(8000000000000000,0123214569900000,404f000000000000) AND *+(7ff0000000000000,0123214569900000,7ff0000000000000) => 404f000000000000 7ff0000000000000
1040#19: xvmaddmdp *+(fff0000000000000,0123214569900000,7ff7ffffffffffff) AND *+(7ff7ffffffffffff,0123214569900000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1041#20: xvmaddmdp *+(fff7ffffffffffff,7ff0000000000000,fff0000000000000) AND *+(7ff8000000000000,7ff0000000000000,c0d0650f5a07b353) => ffffffffffffffff 7ff8000000000000
1042#21: xvmaddmdp *+(fff8000000000000,7ff0000000000000,8000000000000000) AND *+(8008340000078000,7ff0000000000000,0000000000000000) => fff8000000000000 fff0000000000000
1043#22: xvmaddmdp *+(c0d0650f5a07b353,7ff0000000000000,0123214569900000) AND *+(41232585a9900000,7ff0000000000000,7ff0000000000000) => fff0000000000000 7ff0000000000000
1044#23: xvmaddmdp *+(404f000000000000,7ff0000000000000,7ff7ffffffffffff) AND *+(0018000000b77501,7ff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1045#24: xvmaddmdp *+(7fe800000000051b,fff7ffffffffffff,fff0000000000000) AND *+(0123214569900000,fff7ffffffffffff,c0d0650f5a07b353) => ffffffffffffffff ffffffffffffffff
1046#25: xvmaddmdp *+(0000000000000000,fff8000000000000,8000000000000000) AND *+(8000000000000000,fff8000000000000,0000000000000000) => fff8000000000000 fff8000000000000
1047#26: xvmaddmdp *+(7ff0000000000000,fff7ffffffffffff,0123214569900000) AND *+(fff0000000000000,fff7ffffffffffff,7ff0000000000000) => ffffffffffffffff ffffffffffffffff
1048#27: xvmaddmdp *+(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND *+(fff7ffffffffffff,fff7ffffffffffff,7ff8000000000000) => ffffffffffffffff ffffffffffffffff
1049#28: xvmaddmdp *+(7ff8000000000000,fff8000000000000,fff0000000000000) AND *+(fff8000000000000,fff8000000000000,c0d0650f5a07b353) => fff8000000000000 fff8000000000000
1050#29: xvmaddmdp *+(8008340000078000,fff8000000000000,8000000000000000) AND *+(c0d0650f5a07b353,41232585a9900000,41382511a2000000) => fff8000000000000 c2039db3bbaae2d2
1051#30: xvmaddmdp *+(3fd8000000000000,41232585a9900000,41382511a2000000) AND *+(404f000000000000,7ff7ffffffffffff,7ff8000000000000) => 413bbc1ab1cb0000 7fffffffffffffff
1052#31: xvmaddmdp *+(0018000000b77501,7ff8000000000000,7ff8000000000000) AND *+(7fe800000000051b,7ff8000000000000,fff8000000000000) => 7ff8000000000000 7ff8000000000000
1053
1054#0: xvmaddasp *+(ff800000,ff800000,3ec00000) AND *+(c683287b,ff800000,42780000) AND *+(49c1288d,49192c2d,00000000) AND *+(00000000,ff800000,7f800000) => ff800000 ff800000 49c1288d ff800000
1055#1: xvmaddasp *+(00000000,ff800000,00000000) AND *+(7f800000,ff800000,00000000) AND *+(7fbfffff,ff800000,80000000) AND *+(7fc00000,ff800000,7f800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1056#2: xvmaddasp *+(ff800000,c683287b,ff800000) AND *+(c683287b,c683287b,7fbfffff) AND *+(80000000,c683287b,ffbfffff) AND *+(00000000,c683287b,7fc00000) => 7fc00000 7fffffff ffffffff 7fc00000
1057#3: xvmaddasp *+(00000000,c683287b,ffc00000) AND *+(7f800000,c683287b,80000000) AND *+(7fbfffff,c683287b,c683287b) AND *+(7fc00000,c683287b,49192c2d) => ffc00000 7f800000 7fffffff 7fc00000
1058#4: xvmaddasp *+(ff800000,80000000,7f800000) AND *+(c683287b,80000000,00000000) AND *+(80000000,80000000,00000000) AND *+(00000000,80000000,80000000) => 7fc00000 c683287b 80000000 00000000
1059#5: xvmaddasp *+(00000000,80000000,7f800000) AND *+(7f800000,80000000,ff800000) AND *+(7fbfffff,80000000,7fbfffff) AND *+(7fc00000,80000000,ffbfffff) => 7fc00000 7fc00000 7fffffff 7fc00000
1060#6: xvmaddasp *+(ff800000,00000000,7fc00000) AND *+(c683287b,00000000,ffc00000) AND *+(80000000,00000000,80000000) AND *+(00000000,00000000,c683287b) => 7fc00000 ffc00000 80000000 00000000
1061#7: xvmaddasp *+(00000000,00000000,00000000) AND *+(7f800000,00000000,7f800000) AND *+(7fbfffff,00000000,00000000) AND *+(7fc00000,00000000,00000000) => 00000000 7fc00000 7fffffff 7fc00000
1062#8: xvmaddasp *+(ff800000,00000000,80000000) AND *+(c683287b,00000000,7f800000) AND *+(80000000,00000000,ff800000) AND *+(00000000,00000000,7fbfffff) => ff800000 7fc00000 7fc00000 7fffffff
1063#9: xvmaddasp *+(42780000,00000000,ffbfffff) AND *+(7f800000,00000000,7fc00000) AND *+(7fbfffff,00000000,ffc00000) AND *+(7fc00000,00000000,80000000) => ffffffff 7fc00000 7fffffff 7fc00000
1064#10: xvmaddasp *+(ff800000,7f800000,42780000) AND *+(c683287b,7f800000,00000000) AND *+(80000000,7f800000,7f800000) AND *+(00000000,7f800000,00000000) => 7fc00000 7fc00000 7f800000 7fc00000
1065#11: xvmaddasp *+(00000000,7f800000,00000000) AND *+(7f800000,7f800000,80000000) AND *+(7fbfffff,7f800000,7f800000) AND *+(7fc00000,7f800000,ff800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1066#12: xvmaddasp *+(ff800000,ffbfffff,7fbfffff) AND *+(c683287b,ffbfffff,ffbfffff) AND *+(80000000,ffc00000,7fc00000) AND *+(00000000,ffc00000,ffc00000) => ffffffff ffffffff ffc00000 ffc00000
1067#13: xvmaddasp *+(00000000,ffbfffff,3ec00000) AND *+(7f800000,ffbfffff,42780000) AND *+(7fbfffff,ffbfffff,00000000) AND *+(7fc00000,ffbfffff,7f800000) => ffffffff ffffffff ffffffff ffffffff
1068#14: xvmaddasp *+(ff800000,ffc00000,00000000) AND *+(c683287b,ffc00000,00000000) AND *+(80000000,ffc00000,80000000) AND *+(49c1288d,49192c2d,7f800000) => ffc00000 ffc00000 ffc00000 7f800000
1069#15: xvmaddasp *+(49c1288d,49192c2d,ff800000) AND *+(7fc00000,7fbfffff,7fbfffff) AND *+(7fc00000,7fc00000,ffbfffff) AND *+(ffc00000,7fc00000,7fc00000) => ff800000 7fffffff 7fc00000 7fc00000
1070
1071#0: xvmaddmsp *+(3ec00000,ff800000,ff800000) AND *+(42780000,ff800000,c683287b) AND *+(00000000,49192c2d,49c1288d) AND *+(7f800000,ff800000,00000000) => ff800000 ff800000 49c1288d ff800000
1072#1: xvmaddmsp *+(00000000,ff800000,00000000) AND *+(00000000,ff800000,7f800000) AND *+(80000000,ff800000,7fbfffff) AND *+(7f800000,ff800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1073#2: xvmaddmsp *+(ff800000,c683287b,ff800000) AND *+(7fbfffff,c683287b,c683287b) AND *+(ffbfffff,c683287b,80000000) AND *+(7fc00000,c683287b,00000000) => 7fc00000 7fffffff ffffffff 7fc00000
1074#3: xvmaddmsp *+(ffc00000,c683287b,00000000) AND *+(80000000,c683287b,7f800000) AND *+(c683287b,c683287b,7fbfffff) AND *+(49192c2d,c683287b,7fc00000) => ffc00000 7f800000 7fffffff 7fc00000
1075#4: xvmaddmsp *+(7f800000,80000000,ff800000) AND *+(00000000,80000000,c683287b) AND *+(00000000,80000000,80000000) AND *+(80000000,80000000,00000000) => 7fc00000 c683287b 80000000 00000000
1076#5: xvmaddmsp *+(7f800000,80000000,00000000) AND *+(ff800000,80000000,7f800000) AND *+(7fbfffff,80000000,7fbfffff) AND *+(ffbfffff,80000000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1077#6: xvmaddmsp *+(7fc00000,00000000,ff800000) AND *+(ffc00000,00000000,c683287b) AND *+(80000000,00000000,80000000) AND *+(c683287b,00000000,00000000) => 7fc00000 ffc00000 80000000 00000000
1078#7: xvmaddmsp *+(00000000,00000000,00000000) AND *+(7f800000,00000000,7f800000) AND *+(00000000,00000000,7fbfffff) AND *+(00000000,00000000,7fc00000) => 00000000 7fc00000 7fffffff 7fc00000
1079#8: xvmaddmsp *+(80000000,00000000,ff800000) AND *+(7f800000,00000000,c683287b) AND *+(ff800000,00000000,80000000) AND *+(7fbfffff,00000000,00000000) => ff800000 7fc00000 7fc00000 7fffffff
1080#9: xvmaddmsp *+(ffbfffff,00000000,42780000) AND *+(7fc00000,00000000,7f800000) AND *+(ffc00000,00000000,7fbfffff) AND *+(80000000,00000000,7fc00000) => ffffffff 7fc00000 7fffffff 7fc00000
1081#10: xvmaddmsp *+(42780000,7f800000,ff800000) AND *+(00000000,7f800000,c683287b) AND *+(7f800000,7f800000,80000000) AND *+(00000000,7f800000,00000000) => 7fc00000 7fc00000 7f800000 7fc00000
1082#11: xvmaddmsp *+(00000000,7f800000,00000000) AND *+(80000000,7f800000,7f800000) AND *+(7f800000,7f800000,7fbfffff) AND *+(ff800000,7f800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1083#12: xvmaddmsp *+(7fbfffff,ffbfffff,ff800000) AND *+(ffbfffff,ffbfffff,c683287b) AND *+(7fc00000,ffc00000,80000000) AND *+(ffc00000,ffc00000,00000000) => ffffffff ffffffff ffc00000 ffc00000
1084#13: xvmaddmsp *+(3ec00000,ffbfffff,00000000) AND *+(42780000,ffbfffff,7f800000) AND *+(00000000,ffbfffff,7fbfffff) AND *+(7f800000,ffbfffff,7fc00000) => ffffffff ffffffff ffffffff ffffffff
1085#14: xvmaddmsp *+(00000000,ffc00000,ff800000) AND *+(00000000,ffc00000,c683287b) AND *+(80000000,ffc00000,80000000) AND *+(7f800000,49192c2d,49c1288d) => ffc00000 ffc00000 ffc00000 7f800000
1086#15: xvmaddmsp *+(ff800000,49192c2d,49c1288d) AND *+(7fbfffff,7fbfffff,7fc00000) AND *+(ffbfffff,7fc00000,7fc00000) AND *+(7fc00000,7fc00000,ffc00000) => ff800000 7fffffff 7fc00000 7fc00000
1087
1088#0: xvnmaddadp !*+(fff0000000000000,fff0000000000000,3fd8000000000000) AND !*+(c0d0650f5a07b353,fff0000000000000,404f000000000000) => 7ff0000000000000 7ff0000000000000
1089#1: xvnmaddadp !*+(41382511a2000000,41232585a9900000,0018000000b77501) AND !*+(0000000000000000,fff0000000000000,7fe800000000051b) => c1382511a2000000 7ff0000000000000
1090#2: xvnmaddadp !*+(0123214569900000,fff0000000000000,0123214569900000) AND !*+(7ff0000000000000,fff0000000000000,0000000000000000) => 7ff0000000000000 7ff8000000000000
1091#3: xvnmaddadp !*+(7ff7ffffffffffff,fff0000000000000,8000000000000000) AND !*+(7ff8000000000000,fff0000000000000,7ff0000000000000) => 7fffffffffffffff 7ff8000000000000
1092#4: xvnmaddadp !*+(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND !*+(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) => 7ff8000000000000 7fffffffffffffff
1093#5: xvnmaddadp !*+(8000000000000000,c0d0650f5a07b353,fff7ffffffffffff) AND !*+(0000000000000000,c0d0650f5a07b353,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1094#6: xvnmaddadp !*+(0123214569900000,c0d0650f5a07b353,fff8000000000000) AND !*+(7ff0000000000000,c0d0650f5a07b353,8008340000078000) => fff8000000000000 fff0000000000000
1095#7: xvnmaddadp !*+(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) AND !*+(7ff8000000000000,c0d0650f5a07b353,41232585a9900000) => 7fffffffffffffff 7ff8000000000000
1096#8: xvnmaddadp !*+(fff0000000000000,8000000000000000,404f000000000000) AND !*+(c0d0650f5a07b353,8000000000000000,0018000000b77501) => 7ff0000000000000 40d0650f5a07b353
1097#9: xvnmaddadp !*+(8000000000000000,8000000000000000,7fe800000000051b) AND !*+(0000000000000000,8000000000000000,0123214569900000) => 0000000000000000 8000000000000000
1098#10: xvnmaddadp !*+(0123214569900000,8000000000000000,0000000000000000) AND !*+(7ff0000000000000,8000000000000000,8000000000000000) => 8123214569900000 fff0000000000000
1099#11: xvnmaddadp !*+(7ff7ffffffffffff,8000000000000000,7ff0000000000000) AND !*+(7ff8000000000000,8000000000000000,fff0000000000000) => 7fffffffffffffff 7ff8000000000000
1100#12: xvnmaddadp !*+(fff0000000000000,0000000000000000,7ff7ffffffffffff) AND !*+(c0d0650f5a07b353,0000000000000000,fff7ffffffffffff) => 7fffffffffffffff ffffffffffffffff
1101#13: xvnmaddadp !*+(8000000000000000,0000000000000000,7ff8000000000000) AND !*+(0000000000000000,0000000000000000,fff8000000000000) => 7ff8000000000000 fff8000000000000
1102#14: xvnmaddadp !*+(0123214569900000,0000000000000000,8008340000078000) AND !*+(7ff0000000000000,0000000000000000,c0d0650f5a07b353) => 8123214569900000 fff0000000000000
1103#15: xvnmaddadp !*+(7ff7ffffffffffff,0000000000000000,3fd8000000000000) AND !*+(7ff8000000000000,0000000000000000,404f000000000000) => 7fffffffffffffff 7ff8000000000000
1104#16: xvnmaddadp !*+(fff0000000000000,0123214569900000,0018000000b77501) AND !*+(c0d0650f5a07b353,0123214569900000,7fe800000000051b) => 7ff0000000000000 c11bab9728b78ae5
1105#17: xvnmaddadp !*+(8000000000000000,0123214569900000,0123214569900000) AND !*+(0000000000000000,0123214569900000,0000000000000000) => 8000000000000000 8000000000000000
1106#18: xvnmaddadp !*+(404f000000000000,0123214569900000,8000000000000000) AND !*+(7ff0000000000000,0123214569900000,7ff0000000000000) => c04f000000000000 fff0000000000000
1107#19: xvnmaddadp !*+(7ff7ffffffffffff,0123214569900000,fff0000000000000) AND !*+(7ff8000000000000,0123214569900000,7ff7ffffffffffff) => 7fffffffffffffff 7ff8000000000000
1108#20: xvnmaddadp !*+(fff0000000000000,7ff0000000000000,fff7ffffffffffff) AND !*+(c0d0650f5a07b353,7ff0000000000000,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1109#21: xvnmaddadp !*+(8000000000000000,7ff0000000000000,fff8000000000000) AND !*+(0000000000000000,7ff0000000000000,8008340000078000) => fff8000000000000 7ff0000000000000
1110#22: xvnmaddadp !*+(0123214569900000,7ff0000000000000,c0d0650f5a07b353) AND !*+(7ff0000000000000,7ff0000000000000,41232585a9900000) => 7ff0000000000000 fff0000000000000
1111#23: xvnmaddadp !*+(7ff7ffffffffffff,7ff0000000000000,404f000000000000) AND !*+(7ff8000000000000,7ff0000000000000,0018000000b77501) => 7fffffffffffffff 7ff8000000000000
1112#24: xvnmaddadp !*+(fff0000000000000,fff7ffffffffffff,7fe800000000051b) AND !*+(c0d0650f5a07b353,fff7ffffffffffff,0123214569900000) => ffffffffffffffff ffffffffffffffff
1113#25: xvnmaddadp !*+(8000000000000000,fff8000000000000,0000000000000000) AND !*+(0000000000000000,fff8000000000000,8000000000000000) => fff8000000000000 fff8000000000000
1114#26: xvnmaddadp !*+(0123214569900000,fff7ffffffffffff,7ff0000000000000) AND !*+(7ff0000000000000,fff7ffffffffffff,fff0000000000000) => ffffffffffffffff ffffffffffffffff
1115#27: xvnmaddadp !*+(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND !*+(7ff8000000000000,fff7ffffffffffff,fff7ffffffffffff) => ffffffffffffffff ffffffffffffffff
1116#28: xvnmaddadp !*+(fff0000000000000,fff8000000000000,7ff8000000000000) AND !*+(c0d0650f5a07b353,fff8000000000000,fff8000000000000) => fff8000000000000 fff8000000000000
1117#29: xvnmaddadp !*+(8000000000000000,fff8000000000000,8008340000078000) AND !*+(41382511a2000000,41232585a9900000,c0d0650f5a07b353) => fff8000000000000 42039db3bbaae2d2
1118#30: xvnmaddadp !*+(41382511a2000000,41232585a9900000,3fd8000000000000) AND !*+(7ff8000000000000,7ff7ffffffffffff,404f000000000000) => c13bbc1ab1cb0000 7fffffffffffffff
1119#31: xvnmaddadp !*+(7ff8000000000000,7ff8000000000000,0018000000b77501) AND !*+(fff8000000000000,7ff8000000000000,7fe800000000051b) => 7ff8000000000000 7ff8000000000000
1120
1121#0: xvnmaddmdp !*+(3fd8000000000000,fff0000000000000,fff0000000000000) AND !*+(404f000000000000,fff0000000000000,c0d0650f5a07b353) => 7ff0000000000000 7ff0000000000000
1122#1: xvnmaddmdp !*+(0018000000b77501,41232585a9900000,41382511a2000000) AND !*+(7fe800000000051b,fff0000000000000,0000000000000000) => c1382511a2000000 7ff0000000000000
1123#2: xvnmaddmdp !*+(0123214569900000,fff0000000000000,0123214569900000) AND !*+(0000000000000000,fff0000000000000,7ff0000000000000) => 7ff0000000000000 7ff8000000000000
1124#3: xvnmaddmdp !*+(8000000000000000,fff0000000000000,7ff7ffffffffffff) AND !*+(7ff0000000000000,fff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1125#4: xvnmaddmdp !*+(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND !*+(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) => 7ff8000000000000 7fffffffffffffff
1126#5: xvnmaddmdp !*+(fff7ffffffffffff,c0d0650f5a07b353,8000000000000000) AND !*+(7ff8000000000000,c0d0650f5a07b353,0000000000000000) => ffffffffffffffff 7ff8000000000000
1127#6: xvnmaddmdp !*+(fff8000000000000,c0d0650f5a07b353,0123214569900000) AND !*+(8008340000078000,c0d0650f5a07b353,7ff0000000000000) => fff8000000000000 fff0000000000000
1128#7: xvnmaddmdp !*+(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) AND !*+(41232585a9900000,c0d0650f5a07b353,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1129#8: xvnmaddmdp !*+(404f000000000000,8000000000000000,fff0000000000000) AND !*+(0018000000b77501,8000000000000000,c0d0650f5a07b353) => 7ff0000000000000 40d0650f5a07b353
1130#9: xvnmaddmdp !*+(7fe800000000051b,8000000000000000,8000000000000000) AND !*+(0123214569900000,8000000000000000,0000000000000000) => 0000000000000000 8000000000000000
1131#10: xvnmaddmdp !*+(0000000000000000,8000000000000000,0123214569900000) AND !*+(8000000000000000,8000000000000000,7ff0000000000000) => 8123214569900000 fff0000000000000
1132#11: xvnmaddmdp !*+(7ff0000000000000,8000000000000000,7ff7ffffffffffff) AND !*+(fff0000000000000,8000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1133#12: xvnmaddmdp !*+(7ff7ffffffffffff,0000000000000000,fff0000000000000) AND !*+(fff7ffffffffffff,0000000000000000,c0d0650f5a07b353) => 7fffffffffffffff ffffffffffffffff
1134#13: xvnmaddmdp !*+(7ff8000000000000,0000000000000000,8000000000000000) AND !*+(fff8000000000000,0000000000000000,0000000000000000) => 7ff8000000000000 fff8000000000000
1135#14: xvnmaddmdp !*+(8008340000078000,0000000000000000,0123214569900000) AND !*+(c0d0650f5a07b353,0000000000000000,7ff0000000000000) => 8123214569900000 fff0000000000000
1136#15: xvnmaddmdp !*+(3fd8000000000000,0000000000000000,7ff7ffffffffffff) AND !*+(404f000000000000,0000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1137#16: xvnmaddmdp !*+(0018000000b77501,0123214569900000,fff0000000000000) AND !*+(7fe800000000051b,0123214569900000,c0d0650f5a07b353) => 7ff0000000000000 c11bab9728b78ae5
1138#17: xvnmaddmdp !*+(0123214569900000,0123214569900000,8000000000000000) AND !*+(0000000000000000,0123214569900000,0000000000000000) => 8000000000000000 8000000000000000
1139#18: xvnmaddmdp !*+(8000000000000000,0123214569900000,404f000000000000) AND !*+(7ff0000000000000,0123214569900000,7ff0000000000000) => c04f000000000000 fff0000000000000
1140#19: xvnmaddmdp !*+(fff0000000000000,0123214569900000,7ff7ffffffffffff) AND !*+(7ff7ffffffffffff,0123214569900000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1141#20: xvnmaddmdp !*+(fff7ffffffffffff,7ff0000000000000,fff0000000000000) AND !*+(7ff8000000000000,7ff0000000000000,c0d0650f5a07b353) => ffffffffffffffff 7ff8000000000000
1142#21: xvnmaddmdp !*+(fff8000000000000,7ff0000000000000,8000000000000000) AND !*+(8008340000078000,7ff0000000000000,0000000000000000) => fff8000000000000 7ff0000000000000
1143#22: xvnmaddmdp !*+(c0d0650f5a07b353,7ff0000000000000,0123214569900000) AND !*+(41232585a9900000,7ff0000000000000,7ff0000000000000) => 7ff0000000000000 fff0000000000000
1144#23: xvnmaddmdp !*+(404f000000000000,7ff0000000000000,7ff7ffffffffffff) AND !*+(0018000000b77501,7ff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1145#24: xvnmaddmdp !*+(7fe800000000051b,fff7ffffffffffff,fff0000000000000) AND !*+(0123214569900000,fff7ffffffffffff,c0d0650f5a07b353) => ffffffffffffffff ffffffffffffffff
1146#25: xvnmaddmdp !*+(0000000000000000,fff8000000000000,8000000000000000) AND !*+(8000000000000000,fff8000000000000,0000000000000000) => fff8000000000000 fff8000000000000
1147#26: xvnmaddmdp !*+(7ff0000000000000,fff7ffffffffffff,0123214569900000) AND !*+(fff0000000000000,fff7ffffffffffff,7ff0000000000000) => ffffffffffffffff ffffffffffffffff
1148#27: xvnmaddmdp !*+(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND !*+(fff7ffffffffffff,fff7ffffffffffff,7ff8000000000000) => ffffffffffffffff ffffffffffffffff
1149#28: xvnmaddmdp !*+(7ff8000000000000,fff8000000000000,fff0000000000000) AND !*+(fff8000000000000,fff8000000000000,c0d0650f5a07b353) => fff8000000000000 fff8000000000000
1150#29: xvnmaddmdp !*+(8008340000078000,fff8000000000000,8000000000000000) AND !*+(c0d0650f5a07b353,41232585a9900000,41382511a2000000) => fff8000000000000 42039db3bbaae2d2
1151#30: xvnmaddmdp !*+(3fd8000000000000,41232585a9900000,41382511a2000000) AND !*+(404f000000000000,7ff7ffffffffffff,7ff8000000000000) => c13bbc1ab1cb0000 7fffffffffffffff
1152#31: xvnmaddmdp !*+(0018000000b77501,7ff8000000000000,7ff8000000000000) AND !*+(7fe800000000051b,7ff8000000000000,fff8000000000000) => 7ff8000000000000 7ff8000000000000
1153
1154#0: xvnmaddasp !*+(ff800000,ff800000,3ec00000) AND !*+(c683287b,ff800000,42780000) AND !*+(49c1288d,49192c2d,00000000) AND !*+(00000000,ff800000,7f800000) => 7f800000 7f800000 c9c1288d 7f800000
1155#1: xvnmaddasp !*+(00000000,ff800000,00000000) AND !*+(7f800000,ff800000,00000000) AND !*+(7fbfffff,ff800000,80000000) AND !*+(7fc00000,ff800000,7f800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1156#2: xvnmaddasp !*+(ff800000,c683287b,ff800000) AND !*+(c683287b,c683287b,7fbfffff) AND !*+(80000000,c683287b,ffbfffff) AND !*+(00000000,c683287b,7fc00000) => 7fc00000 7fffffff ffffffff 7fc00000
1157#3: xvnmaddasp !*+(00000000,c683287b,ffc00000) AND !*+(7f800000,c683287b,80000000) AND !*+(7fbfffff,c683287b,c683287b) AND !*+(7fc00000,c683287b,49192c2d) => ffc00000 ff800000 7fffffff 7fc00000
1158#4: xvnmaddasp !*+(ff800000,80000000,7f800000) AND !*+(c683287b,80000000,00000000) AND !*+(80000000,80000000,00000000) AND !*+(00000000,80000000,80000000) => 7fc00000 4683287b 00000000 80000000
1159#5: xvnmaddasp !*+(00000000,80000000,7f800000) AND !*+(7f800000,80000000,ff800000) AND !*+(7fbfffff,80000000,7fbfffff) AND !*+(7fc00000,80000000,ffbfffff) => 7fc00000 7fc00000 7fffffff 7fc00000
1160#6: xvnmaddasp !*+(ff800000,00000000,7fc00000) AND !*+(c683287b,00000000,ffc00000) AND !*+(80000000,00000000,80000000) AND !*+(00000000,00000000,c683287b) => 7fc00000 ffc00000 00000000 80000000
1161#7: xvnmaddasp !*+(00000000,00000000,00000000) AND !*+(7f800000,00000000,7f800000) AND !*+(7fbfffff,00000000,00000000) AND !*+(7fc00000,00000000,00000000) => 80000000 7fc00000 7fffffff 7fc00000
1162#8: xvnmaddasp !*+(ff800000,00000000,80000000) AND !*+(c683287b,00000000,7f800000) AND !*+(80000000,00000000,ff800000) AND !*+(00000000,00000000,7fbfffff) => 7f800000 7fc00000 7fc00000 7fffffff
1163#9: xvnmaddasp !*+(42780000,00000000,ffbfffff) AND !*+(7f800000,00000000,7fc00000) AND !*+(7fbfffff,00000000,ffc00000) AND !*+(7fc00000,00000000,80000000) => ffffffff 7fc00000 7fffffff 7fc00000
1164#10: xvnmaddasp !*+(ff800000,7f800000,42780000) AND !*+(c683287b,7f800000,00000000) AND !*+(80000000,7f800000,7f800000) AND !*+(00000000,7f800000,00000000) => 7fc00000 7fc00000 ff800000 7fc00000
1165#11: xvnmaddasp !*+(00000000,7f800000,00000000) AND !*+(7f800000,7f800000,80000000) AND !*+(7fbfffff,7f800000,7f800000) AND !*+(7fc00000,7f800000,ff800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1166#12: xvnmaddasp !*+(ff800000,ffbfffff,7fbfffff) AND !*+(c683287b,ffbfffff,ffbfffff) AND !*+(80000000,ffc00000,7fc00000) AND !*+(00000000,ffc00000,ffc00000) => ffffffff ffffffff ffc00000 ffc00000
1167#13: xvnmaddasp !*+(00000000,ffbfffff,3ec00000) AND !*+(7f800000,ffbfffff,42780000) AND !*+(7fbfffff,ffbfffff,00000000) AND !*+(7fc00000,ffbfffff,7f800000) => ffffffff ffffffff ffffffff ffffffff
1168#14: xvnmaddasp !*+(ff800000,ffc00000,00000000) AND !*+(c683287b,ffc00000,00000000) AND !*+(80000000,ffc00000,80000000) AND !*+(49c1288d,49192c2d,7f800000) => ffc00000 ffc00000 ffc00000 ff800000
1169#15: xvnmaddasp !*+(49c1288d,49192c2d,ff800000) AND !*+(7fc00000,7fbfffff,7fbfffff) AND !*+(7fc00000,7fc00000,ffbfffff) AND !*+(ffc00000,7fc00000,7fc00000) => 7f800000 7fffffff 7fc00000 7fc00000
1170
1171#0: xvnmaddmsp !*+(3ec00000,ff800000,ff800000) AND !*+(42780000,ff800000,c683287b) AND !*+(00000000,49192c2d,49c1288d) AND !*+(7f800000,ff800000,00000000) => 7f800000 7f800000 c9c1288d 7f800000
1172#1: xvnmaddmsp !*+(00000000,ff800000,00000000) AND !*+(00000000,ff800000,7f800000) AND !*+(80000000,ff800000,7fbfffff) AND !*+(7f800000,ff800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1173#2: xvnmaddmsp !*+(ff800000,c683287b,ff800000) AND !*+(7fbfffff,c683287b,c683287b) AND !*+(ffbfffff,c683287b,80000000) AND !*+(7fc00000,c683287b,00000000) => 7fc00000 7fffffff ffffffff 7fc00000
1174#3: xvnmaddmsp !*+(ffc00000,c683287b,00000000) AND !*+(80000000,c683287b,7f800000) AND !*+(c683287b,c683287b,7fbfffff) AND !*+(49192c2d,c683287b,7fc00000) => ffc00000 ff800000 7fffffff 7fc00000
1175#4: xvnmaddmsp !*+(7f800000,80000000,ff800000) AND !*+(00000000,80000000,c683287b) AND !*+(00000000,80000000,80000000) AND !*+(80000000,80000000,00000000) => 7fc00000 4683287b 00000000 80000000
1176#5: xvnmaddmsp !*+(7f800000,80000000,00000000) AND !*+(ff800000,80000000,7f800000) AND !*+(7fbfffff,80000000,7fbfffff) AND !*+(ffbfffff,80000000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1177#6: xvnmaddmsp !*+(7fc00000,00000000,ff800000) AND !*+(ffc00000,00000000,c683287b) AND !*+(80000000,00000000,80000000) AND !*+(c683287b,00000000,00000000) => 7fc00000 ffc00000 00000000 80000000
1178#7: xvnmaddmsp !*+(00000000,00000000,00000000) AND !*+(7f800000,00000000,7f800000) AND !*+(00000000,00000000,7fbfffff) AND !*+(00000000,00000000,7fc00000) => 80000000 7fc00000 7fffffff 7fc00000
1179#8: xvnmaddmsp !*+(80000000,00000000,ff800000) AND !*+(7f800000,00000000,c683287b) AND !*+(ff800000,00000000,80000000) AND !*+(7fbfffff,00000000,00000000) => 7f800000 7fc00000 7fc00000 7fffffff
1180#9: xvnmaddmsp !*+(ffbfffff,00000000,42780000) AND !*+(7fc00000,00000000,7f800000) AND !*+(ffc00000,00000000,7fbfffff) AND !*+(80000000,00000000,7fc00000) => ffffffff 7fc00000 7fffffff 7fc00000
1181#10: xvnmaddmsp !*+(42780000,7f800000,ff800000) AND !*+(00000000,7f800000,c683287b) AND !*+(7f800000,7f800000,80000000) AND !*+(00000000,7f800000,00000000) => 7fc00000 7fc00000 ff800000 7fc00000
1182#11: xvnmaddmsp !*+(00000000,7f800000,00000000) AND !*+(80000000,7f800000,7f800000) AND !*+(7f800000,7f800000,7fbfffff) AND !*+(ff800000,7f800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1183#12: xvnmaddmsp !*+(7fbfffff,ffbfffff,ff800000) AND !*+(ffbfffff,ffbfffff,c683287b) AND !*+(7fc00000,ffc00000,80000000) AND !*+(ffc00000,ffc00000,00000000) => ffffffff ffffffff ffc00000 ffc00000
1184#13: xvnmaddmsp !*+(3ec00000,ffbfffff,00000000) AND !*+(42780000,ffbfffff,7f800000) AND !*+(00000000,ffbfffff,7fbfffff) AND !*+(7f800000,ffbfffff,7fc00000) => ffffffff ffffffff ffffffff ffffffff
1185#14: xvnmaddmsp !*+(00000000,ffc00000,ff800000) AND !*+(00000000,ffc00000,c683287b) AND !*+(80000000,ffc00000,80000000) AND !*+(7f800000,49192c2d,49c1288d) => ffc00000 ffc00000 ffc00000 ff800000
1186#15: xvnmaddmsp !*+(ff800000,49192c2d,49c1288d) AND !*+(7fbfffff,7fbfffff,7fc00000) AND !*+(ffbfffff,7fc00000,7fc00000) AND !*+(7fc00000,7fc00000,ffc00000) => 7f800000 7fffffff 7fc00000 7fc00000
1187
1188#0: xvmsubadp *-(fff0000000000000,fff0000000000000,3fd8000000000000) AND *-(c0d0650f5a07b353,fff0000000000000,404f000000000000) => 7ff8000000000000 fff0000000000000
1189#1: xvmsubadp *-(41382511a2000000,41232585a9900000,0018000000b77501) AND *-(0000000000000000,fff0000000000000,7fe800000000051b) => c1382511a2000000 fff0000000000000
1190#2: xvmsubadp *-(0123214569900000,fff0000000000000,0123214569900000) AND *-(7ff0000000000000,fff0000000000000,0000000000000000) => fff0000000000000 7ff8000000000000
1191#3: xvmsubadp *-(7ff7ffffffffffff,fff0000000000000,8000000000000000) AND *-(7ff8000000000000,fff0000000000000,7ff0000000000000) => 7fffffffffffffff 7ff8000000000000
1192#4: xvmsubadp *-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND *-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) => 7ff0000000000000 7fffffffffffffff
1193#5: xvmsubadp *-(8000000000000000,c0d0650f5a07b353,fff7ffffffffffff) AND *-(0000000000000000,c0d0650f5a07b353,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1194#6: xvmsubadp *-(0123214569900000,c0d0650f5a07b353,fff8000000000000) AND *-(7ff0000000000000,c0d0650f5a07b353,8008340000078000) => fff8000000000000 fff0000000000000
1195#7: xvmsubadp *-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) AND *-(7ff8000000000000,c0d0650f5a07b353,41232585a9900000) => 7fffffffffffffff 7ff8000000000000
1196#8: xvmsubadp *-(fff0000000000000,8000000000000000,404f000000000000) AND *-(c0d0650f5a07b353,8000000000000000,0018000000b77501) => 7ff0000000000000 40d0650f5a07b353
1197#9: xvmsubadp *-(8000000000000000,8000000000000000,7fe800000000051b) AND *-(0000000000000000,8000000000000000,0123214569900000) => 0000000000000000 8000000000000000
1198#10: xvmsubadp *-(0123214569900000,8000000000000000,0000000000000000) AND *-(7ff0000000000000,8000000000000000,8000000000000000) => 8123214569900000 fff0000000000000
1199#11: xvmsubadp *-(7ff7ffffffffffff,8000000000000000,7ff0000000000000) AND *-(7ff8000000000000,8000000000000000,fff0000000000000) => 7fffffffffffffff 7ff8000000000000
1200#12: xvmsubadp *-(fff0000000000000,0000000000000000,7ff7ffffffffffff) AND *-(c0d0650f5a07b353,0000000000000000,fff7ffffffffffff) => 7fffffffffffffff ffffffffffffffff
1201#13: xvmsubadp *-(8000000000000000,0000000000000000,7ff8000000000000) AND *-(0000000000000000,0000000000000000,fff8000000000000) => 7ff8000000000000 fff8000000000000
1202#14: xvmsubadp *-(0123214569900000,0000000000000000,8008340000078000) AND *-(7ff0000000000000,0000000000000000,c0d0650f5a07b353) => 8123214569900000 fff0000000000000
1203#15: xvmsubadp *-(7ff7ffffffffffff,0000000000000000,3fd8000000000000) AND *-(7ff8000000000000,0000000000000000,404f000000000000) => 7fffffffffffffff 7ff8000000000000
1204#16: xvmsubadp *-(fff0000000000000,0123214569900000,0018000000b77501) AND *-(c0d0650f5a07b353,0123214569900000,7fe800000000051b) => 7ff0000000000000 411db83913f88150
1205#17: xvmsubadp *-(8000000000000000,0123214569900000,0123214569900000) AND *-(0000000000000000,0123214569900000,0000000000000000) => 0000000000000000 0000000000000000
1206#18: xvmsubadp *-(404f000000000000,0123214569900000,8000000000000000) AND *-(7ff0000000000000,0123214569900000,7ff0000000000000) => c04f000000000000 7ff8000000000000
1207#19: xvmsubadp *-(7ff7ffffffffffff,0123214569900000,fff0000000000000) AND *-(7ff8000000000000,0123214569900000,7ff7ffffffffffff) => 7fffffffffffffff 7ff8000000000000
1208#20: xvmsubadp *-(fff0000000000000,7ff0000000000000,fff7ffffffffffff) AND *-(c0d0650f5a07b353,7ff0000000000000,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1209#21: xvmsubadp *-(8000000000000000,7ff0000000000000,fff8000000000000) AND *-(0000000000000000,7ff0000000000000,8008340000078000) => fff8000000000000 fff0000000000000
1210#22: xvmsubadp *-(0123214569900000,7ff0000000000000,c0d0650f5a07b353) AND *-(7ff0000000000000,7ff0000000000000,41232585a9900000) => fff0000000000000 7ff8000000000000
1211#23: xvmsubadp *-(7ff7ffffffffffff,7ff0000000000000,404f000000000000) AND *-(7ff8000000000000,7ff0000000000000,0018000000b77501) => 7fffffffffffffff 7ff8000000000000
1212#24: xvmsubadp *-(fff0000000000000,fff7ffffffffffff,7fe800000000051b) AND *-(c0d0650f5a07b353,fff7ffffffffffff,0123214569900000) => ffffffffffffffff ffffffffffffffff
1213#25: xvmsubadp *-(8000000000000000,fff8000000000000,0000000000000000) AND *-(0000000000000000,fff8000000000000,8000000000000000) => fff8000000000000 fff8000000000000
1214#26: xvmsubadp *-(0123214569900000,fff7ffffffffffff,7ff0000000000000) AND *-(7ff0000000000000,fff7ffffffffffff,fff0000000000000) => ffffffffffffffff ffffffffffffffff
1215#27: xvmsubadp *-(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND *-(7ff8000000000000,fff7ffffffffffff,fff7ffffffffffff) => ffffffffffffffff ffffffffffffffff
1216#28: xvmsubadp *-(fff0000000000000,fff8000000000000,7ff8000000000000) AND *-(c0d0650f5a07b353,fff8000000000000,fff8000000000000) => fff8000000000000 fff8000000000000
1217#29: xvmsubadp *-(8000000000000000,fff8000000000000,8008340000078000) AND *-(41382511a2000000,41232585a9900000,c0d0650f5a07b353) => fff8000000000000 c2039f360cc502d2
1218#30: xvmsubadp *-(41382511a2000000,41232585a9900000,3fd8000000000000) AND *-(7ff8000000000000,7ff7ffffffffffff,404f000000000000) => c1348e0892350000 7fffffffffffffff
1219#31: xvmsubadp *-(7ff8000000000000,7ff8000000000000,0018000000b77501) AND *-(fff8000000000000,7ff8000000000000,7fe800000000051b) => 7ff8000000000000 7ff8000000000000
1220
1221#0: xvmsubmdp *-(3fd8000000000000,fff0000000000000,fff0000000000000) AND *-(404f000000000000,fff0000000000000,c0d0650f5a07b353) => 7ff8000000000000 fff0000000000000
1222#1: xvmsubmdp *-(0018000000b77501,41232585a9900000,41382511a2000000) AND *-(7fe800000000051b,fff0000000000000,0000000000000000) => c1382511a2000000 fff0000000000000
1223#2: xvmsubmdp *-(0123214569900000,fff0000000000000,0123214569900000) AND *-(0000000000000000,fff0000000000000,7ff0000000000000) => fff0000000000000 7ff8000000000000
1224#3: xvmsubmdp *-(8000000000000000,fff0000000000000,7ff7ffffffffffff) AND *-(7ff0000000000000,fff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1225#4: xvmsubmdp *-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND *-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) => 7ff0000000000000 7fffffffffffffff
1226#5: xvmsubmdp *-(fff7ffffffffffff,c0d0650f5a07b353,8000000000000000) AND *-(7ff8000000000000,c0d0650f5a07b353,0000000000000000) => ffffffffffffffff 7ff8000000000000
1227#6: xvmsubmdp *-(fff8000000000000,c0d0650f5a07b353,0123214569900000) AND *-(8008340000078000,c0d0650f5a07b353,7ff0000000000000) => fff8000000000000 fff0000000000000
1228#7: xvmsubmdp *-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) AND *-(41232585a9900000,c0d0650f5a07b353,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1229#8: xvmsubmdp *-(404f000000000000,8000000000000000,fff0000000000000) AND *-(0018000000b77501,8000000000000000,c0d0650f5a07b353) => 7ff0000000000000 40d0650f5a07b353
1230#9: xvmsubmdp *-(7fe800000000051b,8000000000000000,8000000000000000) AND *-(0123214569900000,8000000000000000,0000000000000000) => 0000000000000000 8000000000000000
1231#10: xvmsubmdp *-(0000000000000000,8000000000000000,0123214569900000) AND *-(8000000000000000,8000000000000000,7ff0000000000000) => 8123214569900000 fff0000000000000
1232#11: xvmsubmdp *-(7ff0000000000000,8000000000000000,7ff7ffffffffffff) AND *-(fff0000000000000,8000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1233#12: xvmsubmdp *-(7ff7ffffffffffff,0000000000000000,fff0000000000000) AND *-(fff7ffffffffffff,0000000000000000,c0d0650f5a07b353) => 7fffffffffffffff ffffffffffffffff
1234#13: xvmsubmdp *-(7ff8000000000000,0000000000000000,8000000000000000) AND *-(fff8000000000000,0000000000000000,0000000000000000) => 7ff8000000000000 fff8000000000000
1235#14: xvmsubmdp *-(8008340000078000,0000000000000000,0123214569900000) AND *-(c0d0650f5a07b353,0000000000000000,7ff0000000000000) => 8123214569900000 fff0000000000000
1236#15: xvmsubmdp *-(3fd8000000000000,0000000000000000,7ff7ffffffffffff) AND *-(404f000000000000,0000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1237#16: xvmsubmdp *-(0018000000b77501,0123214569900000,fff0000000000000) AND *-(7fe800000000051b,0123214569900000,c0d0650f5a07b353) => 7ff0000000000000 411db83913f88150
1238#17: xvmsubmdp *-(0123214569900000,0123214569900000,8000000000000000) AND *-(0000000000000000,0123214569900000,0000000000000000) => 0000000000000000 0000000000000000
1239#18: xvmsubmdp *-(8000000000000000,0123214569900000,404f000000000000) AND *-(7ff0000000000000,0123214569900000,7ff0000000000000) => c04f000000000000 7ff8000000000000
1240#19: xvmsubmdp *-(fff0000000000000,0123214569900000,7ff7ffffffffffff) AND *-(7ff7ffffffffffff,0123214569900000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1241#20: xvmsubmdp *-(fff7ffffffffffff,7ff0000000000000,fff0000000000000) AND *-(7ff8000000000000,7ff0000000000000,c0d0650f5a07b353) => ffffffffffffffff 7ff8000000000000
1242#21: xvmsubmdp *-(fff8000000000000,7ff0000000000000,8000000000000000) AND *-(8008340000078000,7ff0000000000000,0000000000000000) => fff8000000000000 fff0000000000000
1243#22: xvmsubmdp *-(c0d0650f5a07b353,7ff0000000000000,0123214569900000) AND *-(41232585a9900000,7ff0000000000000,7ff0000000000000) => fff0000000000000 7ff8000000000000
1244#23: xvmsubmdp *-(404f000000000000,7ff0000000000000,7ff7ffffffffffff) AND *-(0018000000b77501,7ff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1245#24: xvmsubmdp *-(7fe800000000051b,fff7ffffffffffff,fff0000000000000) AND *-(0123214569900000,fff7ffffffffffff,c0d0650f5a07b353) => ffffffffffffffff ffffffffffffffff
1246#25: xvmsubmdp *-(0000000000000000,fff8000000000000,8000000000000000) AND *-(8000000000000000,fff8000000000000,0000000000000000) => fff8000000000000 fff8000000000000
1247#26: xvmsubmdp *-(7ff0000000000000,fff7ffffffffffff,0123214569900000) AND *-(fff0000000000000,fff7ffffffffffff,7ff0000000000000) => ffffffffffffffff ffffffffffffffff
1248#27: xvmsubmdp *-(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND *-(fff7ffffffffffff,fff7ffffffffffff,7ff8000000000000) => ffffffffffffffff ffffffffffffffff
1249#28: xvmsubmdp *-(7ff8000000000000,fff8000000000000,fff0000000000000) AND *-(fff8000000000000,fff8000000000000,c0d0650f5a07b353) => fff8000000000000 fff8000000000000
1250#29: xvmsubmdp *-(8008340000078000,fff8000000000000,8000000000000000) AND *-(c0d0650f5a07b353,41232585a9900000,41382511a2000000) => fff8000000000000 c2039f360cc502d2
1251#30: xvmsubmdp *-(3fd8000000000000,41232585a9900000,41382511a2000000) AND *-(404f000000000000,7ff7ffffffffffff,7ff8000000000000) => c1348e0892350000 7fffffffffffffff
1252#31: xvmsubmdp *-(0018000000b77501,7ff8000000000000,7ff8000000000000) AND *-(7fe800000000051b,7ff8000000000000,fff8000000000000) => 7ff8000000000000 7ff8000000000000
1253
1254#0: xvmsubasp *-(ff800000,ff800000,3ec00000) AND *-(c683287b,ff800000,42780000) AND *-(49c1288d,49192c2d,00000000) AND *-(00000000,ff800000,7f800000) => 7fc00000 ff800000 c9c1288d ff800000
1255#1: xvmsubasp *-(00000000,ff800000,00000000) AND *-(7f800000,ff800000,00000000) AND *-(7fbfffff,ff800000,80000000) AND *-(7fc00000,ff800000,7f800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1256#2: xvmsubasp *-(ff800000,c683287b,ff800000) AND *-(c683287b,c683287b,7fbfffff) AND *-(80000000,c683287b,ffbfffff) AND *-(00000000,c683287b,7fc00000) => 7f800000 7fffffff ffffffff 7fc00000
1257#3: xvmsubasp *-(00000000,c683287b,ffc00000) AND *-(7f800000,c683287b,80000000) AND *-(7fbfffff,c683287b,c683287b) AND *-(7fc00000,c683287b,49192c2d) => ffc00000 ff800000 7fffffff 7fc00000
1258#4: xvmsubasp *-(ff800000,80000000,7f800000) AND *-(c683287b,80000000,00000000) AND *-(80000000,80000000,00000000) AND *-(00000000,80000000,80000000) => 7fc00000 4683287b 00000000 00000000
1259#5: xvmsubasp *-(00000000,80000000,7f800000) AND *-(7f800000,80000000,ff800000) AND *-(7fbfffff,80000000,7fbfffff) AND *-(7fc00000,80000000,ffbfffff) => 7fc00000 7fc00000 7fffffff 7fc00000
1260#6: xvmsubasp *-(ff800000,00000000,7fc00000) AND *-(c683287b,00000000,ffc00000) AND *-(80000000,00000000,80000000) AND *-(00000000,00000000,c683287b) => 7fc00000 ffc00000 00000000 80000000
1261#7: xvmsubasp *-(00000000,00000000,00000000) AND *-(7f800000,00000000,7f800000) AND *-(7fbfffff,00000000,00000000) AND *-(7fc00000,00000000,00000000) => 00000000 7fc00000 7fffffff 7fc00000
1262#8: xvmsubasp *-(ff800000,00000000,80000000) AND *-(c683287b,00000000,7f800000) AND *-(80000000,00000000,ff800000) AND *-(00000000,00000000,7fbfffff) => 7f800000 7fc00000 7fc00000 7fffffff
1263#9: xvmsubasp *-(42780000,00000000,ffbfffff) AND *-(7f800000,00000000,7fc00000) AND *-(7fbfffff,00000000,ffc00000) AND *-(7fc00000,00000000,80000000) => ffffffff 7fc00000 7fffffff 7fc00000
1264#10: xvmsubasp *-(ff800000,7f800000,42780000) AND *-(c683287b,7f800000,00000000) AND *-(80000000,7f800000,7f800000) AND *-(00000000,7f800000,00000000) => 7f800000 7fc00000 7f800000 7fc00000
1265#11: xvmsubasp *-(00000000,7f800000,00000000) AND *-(7f800000,7f800000,80000000) AND *-(7fbfffff,7f800000,7f800000) AND *-(7fc00000,7f800000,ff800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1266#12: xvmsubasp *-(ff800000,ffbfffff,7fbfffff) AND *-(c683287b,ffbfffff,ffbfffff) AND *-(80000000,ffc00000,7fc00000) AND *-(00000000,ffc00000,ffc00000) => ffffffff ffffffff ffc00000 ffc00000
1267#13: xvmsubasp *-(00000000,ffbfffff,3ec00000) AND *-(7f800000,ffbfffff,42780000) AND *-(7fbfffff,ffbfffff,00000000) AND *-(7fc00000,ffbfffff,7f800000) => ffffffff ffffffff ffffffff ffffffff
1268#14: xvmsubasp *-(ff800000,ffc00000,00000000) AND *-(c683287b,ffc00000,00000000) AND *-(80000000,ffc00000,80000000) AND *-(49c1288d,49192c2d,7f800000) => ffc00000 ffc00000 ffc00000 7f800000
1269#15: xvmsubasp *-(49c1288d,49192c2d,ff800000) AND *-(7fc00000,7fbfffff,7fbfffff) AND *-(7fc00000,7fc00000,ffbfffff) AND *-(ffc00000,7fc00000,7fc00000) => ff800000 7fffffff 7fc00000 7fc00000
1270
1271#0: xvmsubmsp *-(3ec00000,ff800000,ff800000) AND *-(42780000,ff800000,c683287b) AND *-(00000000,49192c2d,49c1288d) AND *-(7f800000,ff800000,00000000) => 7fc00000 ff800000 c9c1288d ff800000
1272#1: xvmsubmsp *-(00000000,ff800000,00000000) AND *-(00000000,ff800000,7f800000) AND *-(80000000,ff800000,7fbfffff) AND *-(7f800000,ff800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1273#2: xvmsubmsp *-(ff800000,c683287b,ff800000) AND *-(7fbfffff,c683287b,c683287b) AND *-(ffbfffff,c683287b,80000000) AND *-(7fc00000,c683287b,00000000) => 7f800000 7fffffff ffffffff 7fc00000
1274#3: xvmsubmsp *-(ffc00000,c683287b,00000000) AND *-(80000000,c683287b,7f800000) AND *-(c683287b,c683287b,7fbfffff) AND *-(49192c2d,c683287b,7fc00000) => ffc00000 ff800000 7fffffff 7fc00000
1275#4: xvmsubmsp *-(7f800000,80000000,ff800000) AND *-(00000000,80000000,c683287b) AND *-(00000000,80000000,80000000) AND *-(80000000,80000000,00000000) => 7fc00000 4683287b 00000000 00000000
1276#5: xvmsubmsp *-(7f800000,80000000,00000000) AND *-(ff800000,80000000,7f800000) AND *-(7fbfffff,80000000,7fbfffff) AND *-(ffbfffff,80000000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1277#6: xvmsubmsp *-(7fc00000,00000000,ff800000) AND *-(ffc00000,00000000,c683287b) AND *-(80000000,00000000,80000000) AND *-(c683287b,00000000,00000000) => 7fc00000 ffc00000 00000000 80000000
1278#7: xvmsubmsp *-(00000000,00000000,00000000) AND *-(7f800000,00000000,7f800000) AND *-(00000000,00000000,7fbfffff) AND *-(00000000,00000000,7fc00000) => 00000000 7fc00000 7fffffff 7fc00000
1279#8: xvmsubmsp *-(80000000,00000000,ff800000) AND *-(7f800000,00000000,c683287b) AND *-(ff800000,00000000,80000000) AND *-(7fbfffff,00000000,00000000) => 7f800000 7fc00000 7fc00000 7fffffff
1280#9: xvmsubmsp *-(ffbfffff,00000000,42780000) AND *-(7fc00000,00000000,7f800000) AND *-(ffc00000,00000000,7fbfffff) AND *-(80000000,00000000,7fc00000) => ffffffff 7fc00000 7fffffff 7fc00000
1281#10: xvmsubmsp *-(42780000,7f800000,ff800000) AND *-(00000000,7f800000,c683287b) AND *-(7f800000,7f800000,80000000) AND *-(00000000,7f800000,00000000) => 7f800000 7fc00000 7f800000 7fc00000
1282#11: xvmsubmsp *-(00000000,7f800000,00000000) AND *-(80000000,7f800000,7f800000) AND *-(7f800000,7f800000,7fbfffff) AND *-(ff800000,7f800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1283#12: xvmsubmsp *-(7fbfffff,ffbfffff,ff800000) AND *-(ffbfffff,ffbfffff,c683287b) AND *-(7fc00000,ffc00000,80000000) AND *-(ffc00000,ffc00000,00000000) => ffffffff ffffffff ffc00000 ffc00000
1284#13: xvmsubmsp *-(3ec00000,ffbfffff,00000000) AND *-(42780000,ffbfffff,7f800000) AND *-(00000000,ffbfffff,7fbfffff) AND *-(7f800000,ffbfffff,7fc00000) => ffffffff ffffffff ffffffff ffffffff
1285#14: xvmsubmsp *-(00000000,ffc00000,ff800000) AND *-(00000000,ffc00000,c683287b) AND *-(80000000,ffc00000,80000000) AND *-(7f800000,49192c2d,49c1288d) => ffc00000 ffc00000 ffc00000 7f800000
1286#15: xvmsubmsp *-(ff800000,49192c2d,49c1288d) AND *-(7fbfffff,7fbfffff,7fc00000) AND *-(ffbfffff,7fc00000,7fc00000) AND *-(7fc00000,7fc00000,ffc00000) => ff800000 7fffffff 7fc00000 7fc00000
1287
1288#0: xvnmsubadp !*-(fff0000000000000,fff0000000000000,3fd8000000000000) AND !*-(c0d0650f5a07b353,fff0000000000000,404f000000000000) => 7ff8000000000000 7ff0000000000000
1289#1: xvnmsubadp !*-(41382511a2000000,41232585a9900000,0018000000b77501) AND !*-(0000000000000000,fff0000000000000,7fe800000000051b) => 41382511a2000000 7ff0000000000000
1290#2: xvnmsubadp !*-(0123214569900000,fff0000000000000,0123214569900000) AND !*-(7ff0000000000000,fff0000000000000,0000000000000000) => 7ff0000000000000 7ff8000000000000
1291#3: xvnmsubadp !*-(7ff7ffffffffffff,fff0000000000000,8000000000000000) AND !*-(7ff8000000000000,fff0000000000000,7ff0000000000000) => 7fffffffffffffff 7ff8000000000000
1292#4: xvnmsubadp !*-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND !*-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) => fff0000000000000 7fffffffffffffff
1293#5: xvnmsubadp !*-(8000000000000000,c0d0650f5a07b353,fff7ffffffffffff) AND !*-(0000000000000000,c0d0650f5a07b353,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1294#6: xvnmsubadp !*-(0123214569900000,c0d0650f5a07b353,fff8000000000000) AND !*-(7ff0000000000000,c0d0650f5a07b353,8008340000078000) => fff8000000000000 7ff0000000000000
1295#7: xvnmsubadp !*-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) AND !*-(7ff8000000000000,c0d0650f5a07b353,41232585a9900000) => 7fffffffffffffff 7ff8000000000000
1296#8: xvnmsubadp !*-(fff0000000000000,8000000000000000,404f000000000000) AND !*-(c0d0650f5a07b353,8000000000000000,0018000000b77501) => fff0000000000000 c0d0650f5a07b353
1297#9: xvnmsubadp !*-(8000000000000000,8000000000000000,7fe800000000051b) AND !*-(0000000000000000,8000000000000000,0123214569900000) => 8000000000000000 0000000000000000
1298#10: xvnmsubadp !*-(0123214569900000,8000000000000000,0000000000000000) AND !*-(7ff0000000000000,8000000000000000,8000000000000000) => 0123214569900000 7ff0000000000000
1299#11: xvnmsubadp !*-(7ff7ffffffffffff,8000000000000000,7ff0000000000000) AND !*-(7ff8000000000000,8000000000000000,fff0000000000000) => 7fffffffffffffff 7ff8000000000000
1300#12: xvnmsubadp !*-(fff0000000000000,0000000000000000,7ff7ffffffffffff) AND !*-(c0d0650f5a07b353,0000000000000000,fff7ffffffffffff) => 7fffffffffffffff ffffffffffffffff
1301#13: xvnmsubadp !*-(8000000000000000,0000000000000000,7ff8000000000000) AND !*-(0000000000000000,0000000000000000,fff8000000000000) => 7ff8000000000000 fff8000000000000
1302#14: xvnmsubadp !*-(0123214569900000,0000000000000000,8008340000078000) AND !*-(7ff0000000000000,0000000000000000,c0d0650f5a07b353) => 0123214569900000 7ff0000000000000
1303#15: xvnmsubadp !*-(7ff7ffffffffffff,0000000000000000,3fd8000000000000) AND !*-(7ff8000000000000,0000000000000000,404f000000000000) => 7fffffffffffffff 7ff8000000000000
1304#16: xvnmsubadp !*-(fff0000000000000,0123214569900000,0018000000b77501) AND !*-(c0d0650f5a07b353,0123214569900000,7fe800000000051b) => fff0000000000000 c11db83913f88150
1305#17: xvnmsubadp !*-(8000000000000000,0123214569900000,0123214569900000) AND !*-(0000000000000000,0123214569900000,0000000000000000) => 8000000000000000 8000000000000000
1306#18: xvnmsubadp !*-(404f000000000000,0123214569900000,8000000000000000) AND !*-(7ff0000000000000,0123214569900000,7ff0000000000000) => 404f000000000000 7ff8000000000000
1307#19: xvnmsubadp !*-(7ff7ffffffffffff,0123214569900000,fff0000000000000) AND !*-(7ff8000000000000,0123214569900000,7ff7ffffffffffff) => 7fffffffffffffff 7ff8000000000000
1308#20: xvnmsubadp !*-(fff0000000000000,7ff0000000000000,fff7ffffffffffff) AND !*-(c0d0650f5a07b353,7ff0000000000000,7ff8000000000000) => ffffffffffffffff 7ff8000000000000
1309#21: xvnmsubadp !*-(8000000000000000,7ff0000000000000,fff8000000000000) AND !*-(0000000000000000,7ff0000000000000,8008340000078000) => fff8000000000000 7ff0000000000000
1310#22: xvnmsubadp !*-(0123214569900000,7ff0000000000000,c0d0650f5a07b353) AND !*-(7ff0000000000000,7ff0000000000000,41232585a9900000) => 7ff0000000000000 7ff8000000000000
1311#23: xvnmsubadp !*-(7ff7ffffffffffff,7ff0000000000000,404f000000000000) AND !*-(7ff8000000000000,7ff0000000000000,0018000000b77501) => 7fffffffffffffff 7ff8000000000000
1312#24: xvnmsubadp !*-(fff0000000000000,fff7ffffffffffff,7fe800000000051b) AND !*-(c0d0650f5a07b353,fff7ffffffffffff,0123214569900000) => ffffffffffffffff ffffffffffffffff
1313#25: xvnmsubadp !*-(8000000000000000,fff8000000000000,0000000000000000) AND !*-(0000000000000000,fff8000000000000,8000000000000000) => fff8000000000000 fff8000000000000
1314#26: xvnmsubadp !*-(0123214569900000,fff7ffffffffffff,7ff0000000000000) AND !*-(7ff0000000000000,fff7ffffffffffff,fff0000000000000) => ffffffffffffffff ffffffffffffffff
1315#27: xvnmsubadp !*-(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND !*-(7ff8000000000000,fff7ffffffffffff,fff7ffffffffffff) => ffffffffffffffff ffffffffffffffff
1316#28: xvnmsubadp !*-(fff0000000000000,fff8000000000000,7ff8000000000000) AND !*-(c0d0650f5a07b353,fff8000000000000,fff8000000000000) => fff8000000000000 fff8000000000000
1317#29: xvnmsubadp !*-(8000000000000000,fff8000000000000,8008340000078000) AND !*-(41382511a2000000,41232585a9900000,c0d0650f5a07b353) => fff8000000000000 42039f360cc502d2
1318#30: xvnmsubadp !*-(41382511a2000000,41232585a9900000,3fd8000000000000) AND !*-(7ff8000000000000,7ff7ffffffffffff,404f000000000000) => 41348e0892350000 7fffffffffffffff
1319#31: xvnmsubadp !*-(7ff8000000000000,7ff8000000000000,0018000000b77501) AND !*-(fff8000000000000,7ff8000000000000,7fe800000000051b) => 7ff8000000000000 7ff8000000000000
1320
1321#0: xvnmsubmdp !*-(3fd8000000000000,fff0000000000000,fff0000000000000) AND !*-(404f000000000000,fff0000000000000,c0d0650f5a07b353) => 7ff8000000000000 7ff0000000000000
1322#1: xvnmsubmdp !*-(0018000000b77501,41232585a9900000,41382511a2000000) AND !*-(7fe800000000051b,fff0000000000000,0000000000000000) => 41382511a2000000 7ff0000000000000
1323#2: xvnmsubmdp !*-(0123214569900000,fff0000000000000,0123214569900000) AND !*-(0000000000000000,fff0000000000000,7ff0000000000000) => 7ff0000000000000 7ff8000000000000
1324#3: xvnmsubmdp !*-(8000000000000000,fff0000000000000,7ff7ffffffffffff) AND !*-(7ff0000000000000,fff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1325#4: xvnmsubmdp !*-(fff0000000000000,c0d0650f5a07b353,fff0000000000000) AND !*-(7ff7ffffffffffff,c0d0650f5a07b353,c0d0650f5a07b353) => fff0000000000000 7fffffffffffffff
1326#5: xvnmsubmdp !*-(fff7ffffffffffff,c0d0650f5a07b353,8000000000000000) AND !*-(7ff8000000000000,c0d0650f5a07b353,0000000000000000) => ffffffffffffffff 7ff8000000000000
1327#6: xvnmsubmdp !*-(fff8000000000000,c0d0650f5a07b353,0123214569900000) AND !*-(8008340000078000,c0d0650f5a07b353,7ff0000000000000) => fff8000000000000 7ff0000000000000
1328#7: xvnmsubmdp !*-(c0d0650f5a07b353,c0d0650f5a07b353,7ff7ffffffffffff) AND !*-(41232585a9900000,c0d0650f5a07b353,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1329#8: xvnmsubmdp !*-(404f000000000000,8000000000000000,fff0000000000000) AND !*-(0018000000b77501,8000000000000000,c0d0650f5a07b353) => fff0000000000000 c0d0650f5a07b353
1330#9: xvnmsubmdp !*-(7fe800000000051b,8000000000000000,8000000000000000) AND !*-(0123214569900000,8000000000000000,0000000000000000) => 8000000000000000 0000000000000000
1331#10: xvnmsubmdp !*-(0000000000000000,8000000000000000,0123214569900000) AND !*-(8000000000000000,8000000000000000,7ff0000000000000) => 0123214569900000 7ff0000000000000
1332#11: xvnmsubmdp !*-(7ff0000000000000,8000000000000000,7ff7ffffffffffff) AND !*-(fff0000000000000,8000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1333#12: xvnmsubmdp !*-(7ff7ffffffffffff,0000000000000000,fff0000000000000) AND !*-(fff7ffffffffffff,0000000000000000,c0d0650f5a07b353) => 7fffffffffffffff ffffffffffffffff
1334#13: xvnmsubmdp !*-(7ff8000000000000,0000000000000000,8000000000000000) AND !*-(fff8000000000000,0000000000000000,0000000000000000) => 7ff8000000000000 fff8000000000000
1335#14: xvnmsubmdp !*-(8008340000078000,0000000000000000,0123214569900000) AND !*-(c0d0650f5a07b353,0000000000000000,7ff0000000000000) => 0123214569900000 7ff0000000000000
1336#15: xvnmsubmdp !*-(3fd8000000000000,0000000000000000,7ff7ffffffffffff) AND !*-(404f000000000000,0000000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1337#16: xvnmsubmdp !*-(0018000000b77501,0123214569900000,fff0000000000000) AND !*-(7fe800000000051b,0123214569900000,c0d0650f5a07b353) => fff0000000000000 c11db83913f88150
1338#17: xvnmsubmdp !*-(0123214569900000,0123214569900000,8000000000000000) AND !*-(0000000000000000,0123214569900000,0000000000000000) => 8000000000000000 8000000000000000
1339#18: xvnmsubmdp !*-(8000000000000000,0123214569900000,404f000000000000) AND !*-(7ff0000000000000,0123214569900000,7ff0000000000000) => 404f000000000000 7ff8000000000000
1340#19: xvnmsubmdp !*-(fff0000000000000,0123214569900000,7ff7ffffffffffff) AND !*-(7ff7ffffffffffff,0123214569900000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1341#20: xvnmsubmdp !*-(fff7ffffffffffff,7ff0000000000000,fff0000000000000) AND !*-(7ff8000000000000,7ff0000000000000,c0d0650f5a07b353) => ffffffffffffffff 7ff8000000000000
1342#21: xvnmsubmdp !*-(fff8000000000000,7ff0000000000000,8000000000000000) AND !*-(8008340000078000,7ff0000000000000,0000000000000000) => fff8000000000000 7ff0000000000000
1343#22: xvnmsubmdp !*-(c0d0650f5a07b353,7ff0000000000000,0123214569900000) AND !*-(41232585a9900000,7ff0000000000000,7ff0000000000000) => 7ff0000000000000 7ff8000000000000
1344#23: xvnmsubmdp !*-(404f000000000000,7ff0000000000000,7ff7ffffffffffff) AND !*-(0018000000b77501,7ff0000000000000,7ff8000000000000) => 7fffffffffffffff 7ff8000000000000
1345#24: xvnmsubmdp !*-(7fe800000000051b,fff7ffffffffffff,fff0000000000000) AND !*-(0123214569900000,fff7ffffffffffff,c0d0650f5a07b353) => ffffffffffffffff ffffffffffffffff
1346#25: xvnmsubmdp !*-(0000000000000000,fff8000000000000,8000000000000000) AND !*-(8000000000000000,fff8000000000000,0000000000000000) => fff8000000000000 fff8000000000000
1347#26: xvnmsubmdp !*-(7ff0000000000000,fff7ffffffffffff,0123214569900000) AND !*-(fff0000000000000,fff7ffffffffffff,7ff0000000000000) => ffffffffffffffff ffffffffffffffff
1348#27: xvnmsubmdp !*-(7ff7ffffffffffff,fff7ffffffffffff,7ff7ffffffffffff) AND !*-(fff7ffffffffffff,fff7ffffffffffff,7ff8000000000000) => ffffffffffffffff ffffffffffffffff
1349#28: xvnmsubmdp !*-(7ff8000000000000,fff8000000000000,fff0000000000000) AND !*-(fff8000000000000,fff8000000000000,c0d0650f5a07b353) => fff8000000000000 fff8000000000000
1350#29: xvnmsubmdp !*-(8008340000078000,fff8000000000000,8000000000000000) AND !*-(c0d0650f5a07b353,41232585a9900000,41382511a2000000) => fff8000000000000 42039f360cc502d2
1351#30: xvnmsubmdp !*-(3fd8000000000000,41232585a9900000,41382511a2000000) AND !*-(404f000000000000,7ff7ffffffffffff,7ff8000000000000) => 41348e0892350000 7fffffffffffffff
1352#31: xvnmsubmdp !*-(0018000000b77501,7ff8000000000000,7ff8000000000000) AND !*-(7fe800000000051b,7ff8000000000000,fff8000000000000) => 7ff8000000000000 7ff8000000000000
1353
1354#0: xvnmsubasp !*-(ff800000,ff800000,3ec00000) AND !*-(c683287b,ff800000,42780000) AND !*-(49c1288d,49192c2d,00000000) AND !*-(00000000,ff800000,7f800000) => 7fc00000 7f800000 49c1288d 7f800000
1355#1: xvnmsubasp !*-(00000000,ff800000,00000000) AND !*-(7f800000,ff800000,00000000) AND !*-(7fbfffff,ff800000,80000000) AND !*-(7fc00000,ff800000,7f800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1356#2: xvnmsubasp !*-(ff800000,c683287b,ff800000) AND !*-(c683287b,c683287b,7fbfffff) AND !*-(80000000,c683287b,ffbfffff) AND !*-(00000000,c683287b,7fc00000) => ff800000 7fffffff ffffffff 7fc00000
1357#3: xvnmsubasp !*-(00000000,c683287b,ffc00000) AND !*-(7f800000,c683287b,80000000) AND !*-(7fbfffff,c683287b,c683287b) AND !*-(7fc00000,c683287b,49192c2d) => ffc00000 7f800000 7fffffff 7fc00000
1358#4: xvnmsubasp !*-(ff800000,80000000,7f800000) AND !*-(c683287b,80000000,00000000) AND !*-(80000000,80000000,00000000) AND !*-(00000000,80000000,80000000) => 7fc00000 c683287b 80000000 80000000
1359#5: xvnmsubasp !*-(00000000,80000000,7f800000) AND !*-(7f800000,80000000,ff800000) AND !*-(7fbfffff,80000000,7fbfffff) AND !*-(7fc00000,80000000,ffbfffff) => 7fc00000 7fc00000 7fffffff 7fc00000
1360#6: xvnmsubasp !*-(ff800000,00000000,7fc00000) AND !*-(c683287b,00000000,ffc00000) AND !*-(80000000,00000000,80000000) AND !*-(00000000,00000000,c683287b) => 7fc00000 ffc00000 80000000 00000000
1361#7: xvnmsubasp !*-(00000000,00000000,00000000) AND !*-(7f800000,00000000,7f800000) AND !*-(7fbfffff,00000000,00000000) AND !*-(7fc00000,00000000,00000000) => 80000000 7fc00000 7fffffff 7fc00000
1362#8: xvnmsubasp !*-(ff800000,00000000,80000000) AND !*-(c683287b,00000000,7f800000) AND !*-(80000000,00000000,ff800000) AND !*-(00000000,00000000,7fbfffff) => ff800000 7fc00000 7fc00000 7fffffff
1363#9: xvnmsubasp !*-(42780000,00000000,ffbfffff) AND !*-(7f800000,00000000,7fc00000) AND !*-(7fbfffff,00000000,ffc00000) AND !*-(7fc00000,00000000,80000000) => ffffffff 7fc00000 7fffffff 7fc00000
1364#10: xvnmsubasp !*-(ff800000,7f800000,42780000) AND !*-(c683287b,7f800000,00000000) AND !*-(80000000,7f800000,7f800000) AND !*-(00000000,7f800000,00000000) => ff800000 7fc00000 ff800000 7fc00000
1365#11: xvnmsubasp !*-(00000000,7f800000,00000000) AND !*-(7f800000,7f800000,80000000) AND !*-(7fbfffff,7f800000,7f800000) AND !*-(7fc00000,7f800000,ff800000) => 7fc00000 7fc00000 7fffffff 7fc00000
1366#12: xvnmsubasp !*-(ff800000,ffbfffff,7fbfffff) AND !*-(c683287b,ffbfffff,ffbfffff) AND !*-(80000000,ffc00000,7fc00000) AND !*-(00000000,ffc00000,ffc00000) => ffffffff ffffffff ffc00000 ffc00000
1367#13: xvnmsubasp !*-(00000000,ffbfffff,3ec00000) AND !*-(7f800000,ffbfffff,42780000) AND !*-(7fbfffff,ffbfffff,00000000) AND !*-(7fc00000,ffbfffff,7f800000) => ffffffff ffffffff ffffffff ffffffff
1368#14: xvnmsubasp !*-(ff800000,ffc00000,00000000) AND !*-(c683287b,ffc00000,00000000) AND !*-(80000000,ffc00000,80000000) AND !*-(49c1288d,49192c2d,7f800000) => ffc00000 ffc00000 ffc00000 ff800000
1369#15: xvnmsubasp !*-(49c1288d,49192c2d,ff800000) AND !*-(7fc00000,7fbfffff,7fbfffff) AND !*-(7fc00000,7fc00000,ffbfffff) AND !*-(ffc00000,7fc00000,7fc00000) => 7f800000 7fffffff 7fc00000 7fc00000
1370
1371#0: xvnmsubmsp !*-(3ec00000,ff800000,ff800000) AND !*-(42780000,ff800000,c683287b) AND !*-(00000000,49192c2d,49c1288d) AND !*-(7f800000,ff800000,00000000) => 7fc00000 7f800000 49c1288d 7f800000
1372#1: xvnmsubmsp !*-(00000000,ff800000,00000000) AND !*-(00000000,ff800000,7f800000) AND !*-(80000000,ff800000,7fbfffff) AND !*-(7f800000,ff800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1373#2: xvnmsubmsp !*-(ff800000,c683287b,ff800000) AND !*-(7fbfffff,c683287b,c683287b) AND !*-(ffbfffff,c683287b,80000000) AND !*-(7fc00000,c683287b,00000000) => ff800000 7fffffff ffffffff 7fc00000
1374#3: xvnmsubmsp !*-(ffc00000,c683287b,00000000) AND !*-(80000000,c683287b,7f800000) AND !*-(c683287b,c683287b,7fbfffff) AND !*-(49192c2d,c683287b,7fc00000) => ffc00000 7f800000 7fffffff 7fc00000
1375#4: xvnmsubmsp !*-(7f800000,80000000,ff800000) AND !*-(00000000,80000000,c683287b) AND !*-(00000000,80000000,80000000) AND !*-(80000000,80000000,00000000) => 7fc00000 c683287b 80000000 80000000
1376#5: xvnmsubmsp !*-(7f800000,80000000,00000000) AND !*-(ff800000,80000000,7f800000) AND !*-(7fbfffff,80000000,7fbfffff) AND !*-(ffbfffff,80000000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1377#6: xvnmsubmsp !*-(7fc00000,00000000,ff800000) AND !*-(ffc00000,00000000,c683287b) AND !*-(80000000,00000000,80000000) AND !*-(c683287b,00000000,00000000) => 7fc00000 ffc00000 80000000 00000000
1378#7: xvnmsubmsp !*-(00000000,00000000,00000000) AND !*-(7f800000,00000000,7f800000) AND !*-(00000000,00000000,7fbfffff) AND !*-(00000000,00000000,7fc00000) => 80000000 7fc00000 7fffffff 7fc00000
1379#8: xvnmsubmsp !*-(80000000,00000000,ff800000) AND !*-(7f800000,00000000,c683287b) AND !*-(ff800000,00000000,80000000) AND !*-(7fbfffff,00000000,00000000) => ff800000 7fc00000 7fc00000 7fffffff
1380#9: xvnmsubmsp !*-(ffbfffff,00000000,42780000) AND !*-(7fc00000,00000000,7f800000) AND !*-(ffc00000,00000000,7fbfffff) AND !*-(80000000,00000000,7fc00000) => ffffffff 7fc00000 7fffffff 7fc00000
1381#10: xvnmsubmsp !*-(42780000,7f800000,ff800000) AND !*-(00000000,7f800000,c683287b) AND !*-(7f800000,7f800000,80000000) AND !*-(00000000,7f800000,00000000) => ff800000 7fc00000 ff800000 7fc00000
1382#11: xvnmsubmsp !*-(00000000,7f800000,00000000) AND !*-(80000000,7f800000,7f800000) AND !*-(7f800000,7f800000,7fbfffff) AND !*-(ff800000,7f800000,7fc00000) => 7fc00000 7fc00000 7fffffff 7fc00000
1383#12: xvnmsubmsp !*-(7fbfffff,ffbfffff,ff800000) AND !*-(ffbfffff,ffbfffff,c683287b) AND !*-(7fc00000,ffc00000,80000000) AND !*-(ffc00000,ffc00000,00000000) => ffffffff ffffffff ffc00000 ffc00000
1384#13: xvnmsubmsp !*-(3ec00000,ffbfffff,00000000) AND !*-(42780000,ffbfffff,7f800000) AND !*-(00000000,ffbfffff,7fbfffff) AND !*-(7f800000,ffbfffff,7fc00000) => ffffffff ffffffff ffffffff ffffffff
1385#14: xvnmsubmsp !*-(00000000,ffc00000,ff800000) AND !*-(00000000,ffc00000,c683287b) AND !*-(80000000,ffc00000,80000000) AND !*-(7f800000,49192c2d,49c1288d) => ffc00000 ffc00000 ffc00000 ff800000
1386#15: xvnmsubmsp !*-(ff800000,49192c2d,49c1288d) AND !*-(7fbfffff,7fbfffff,7fc00000) AND !*-(ffbfffff,7fc00000,7fc00000) AND !*-(7fc00000,7fc00000,ffc00000) => 7f800000 7fffffff 7fc00000 7fc00000
1387
1388
1389Test scalar floating point arithmetic instructions
1390#0: xssqrtdp 3fd8000000000000 => 3fe3988e1409212e
1391#1: xssqrtdp 404f000000000000 => 401f7efbeb8d4f12
1392#2: xssqrtdp 0018000000b77501 => 2003988e14540690
1393#3: xssqrtdp 7fe800000000051b => 5febb67ae8584f9d
1394#4: xssqrtdp 0123214569900000 => 2088bde98d60ebe6
1395#5: xssqrtdp 0000000000000000 => 0000000000000000
1396#6: xssqrtdp 8000000000000000 => 8000000000000000
1397#7: xssqrtdp 7ff0000000000000 => 7ff0000000000000
1398#8: xssqrtdp fff0000000000000 => 7ff8000000000000
1399#9: xssqrtdp 7ff7ffffffffffff => 7fffffffffffffff
1400#10: xssqrtdp fff7ffffffffffff => ffffffffffffffff
1401#11: xssqrtdp 7ff8000000000000 => 7ff8000000000000
1402#12: xssqrtdp fff8000000000000 => fff8000000000000
1403#13: xssqrtdp 8008340000078000 => 7ff8000000000000
1404#14: xssqrtdp c0d0650f5a07b353 => 7ff8000000000000
1405#15: xssqrtdp 41232585a9900000 => 4088c0a9258a4a8b
1406#16: xssqrtdp 41382511a2000000 => 4093a7aa60f34e85
1407
1408#0: xsrdpim 3fd8000000000000 => 0000000000000000
1409#1: xsrdpim 404f000000000000 => 404f000000000000
1410#2: xsrdpim 0018000000b77501 => 0000000000000000
1411#3: xsrdpim 7fe800000000051b => 7fe800000000051b
1412#4: xsrdpim 0123214569900000 => 0000000000000000
1413#5: xsrdpim 0000000000000000 => 0000000000000000
1414#6: xsrdpim 8000000000000000 => 8000000000000000
1415#7: xsrdpim 7ff0000000000000 => 7ff0000000000000
1416#8: xsrdpim fff0000000000000 => fff0000000000000
1417#9: xsrdpim 7ff7ffffffffffff => 7fffffffffffffff
1418#10: xsrdpim fff7ffffffffffff => ffffffffffffffff
1419#11: xsrdpim 7ff8000000000000 => 7ff8000000000000
1420#12: xsrdpim fff8000000000000 => fff8000000000000
1421#13: xsrdpim 8008340000078000 => bff0000000000000
1422#14: xsrdpim c0d0650f5a07b353 => c0d0654000000000
1423#15: xsrdpim 41232585a9900000 => 4123258400000000
1424#16: xsrdpim 41382511a2000000 => 4138251100000000
1425
1426#0: xsrdpip 3fd8000000000000 => 3ff0000000000000
1427#1: xsrdpip 404f000000000000 => 404f000000000000
1428#2: xsrdpip 0018000000b77501 => 3ff0000000000000
1429#3: xsrdpip 7fe800000000051b => 7fe800000000051b
1430#4: xsrdpip 0123214569900000 => 3ff0000000000000
1431#5: xsrdpip 0000000000000000 => 0000000000000000
1432#6: xsrdpip 8000000000000000 => 8000000000000000
1433#7: xsrdpip 7ff0000000000000 => 7ff0000000000000
1434#8: xsrdpip fff0000000000000 => fff0000000000000
1435#9: xsrdpip 7ff7ffffffffffff => 7fffffffffffffff
1436#10: xsrdpip fff7ffffffffffff => ffffffffffffffff
1437#11: xsrdpip 7ff8000000000000 => 7ff8000000000000
1438#12: xsrdpip fff8000000000000 => fff8000000000000
1439#13: xsrdpip 8008340000078000 => 8000000000000000
1440#14: xsrdpip c0d0650f5a07b353 => c0d0650000000000
1441#15: xsrdpip 41232585a9900000 => 4123258600000000
1442#16: xsrdpip 41382511a2000000 => 4138251200000000
1443
1444#0: xstdivdp fff0000000000000,fff0000000000000 => cr e
1445#1: xstdivdp fff0000000000000,c0d0650f5a07b353 => cr e
1446#2: xstdivdp 41232585a9900000,41382511a2000000 => cr 8
1447#3: xstdivdp fff0000000000000,0000000000000000 => cr e
1448#4: xstdivdp fff0000000000000,0123214569900000 => cr e
1449#5: xstdivdp fff0000000000000,7ff0000000000000 => cr e
1450#6: xstdivdp fff0000000000000,7ff7ffffffffffff => cr e
1451#7: xstdivdp fff0000000000000,7ff8000000000000 => cr e
1452#8: xstdivdp c0d0650f5a07b353,fff0000000000000 => cr e
1453#9: xstdivdp c0d0650f5a07b353,c0d0650f5a07b353 => cr 8
1454#10: xstdivdp c0d0650f5a07b353,8000000000000000 => cr e
1455#11: xstdivdp c0d0650f5a07b353,0000000000000000 => cr e
1456#12: xstdivdp c0d0650f5a07b353,0123214569900000 => cr 8
1457#13: xstdivdp c0d0650f5a07b353,7ff0000000000000 => cr e
1458#14: xstdivdp c0d0650f5a07b353,7ff7ffffffffffff => cr a
1459#15: xstdivdp c0d0650f5a07b353,7ff8000000000000 => cr a
1460#16: xstdivdp 8000000000000000,fff0000000000000 => cr e
1461#17: xstdivdp 8000000000000000,c0d0650f5a07b353 => cr 8
1462#18: xstdivdp 8000000000000000,8000000000000000 => cr e
1463#19: xstdivdp 8000000000000000,0000000000000000 => cr e
1464#20: xstdivdp 8000000000000000,0123214569900000 => cr 8
1465#21: xstdivdp 8000000000000000,7ff0000000000000 => cr e
1466#22: xstdivdp 8000000000000000,7ff7ffffffffffff => cr a
1467#23: xstdivdp 8000000000000000,7ff8000000000000 => cr a
1468#24: xstdivdp 0000000000000000,fff0000000000000 => cr e
1469#25: xstdivdp 0000000000000000,c0d0650f5a07b353 => cr 8
1470#26: xstdivdp 0000000000000000,8000000000000000 => cr e
1471#27: xstdivdp 0000000000000000,0000000000000000 => cr e
1472#28: xstdivdp 0000000000000000,0123214569900000 => cr 8
1473#29: xstdivdp 0000000000000000,7ff0000000000000 => cr e
1474#30: xstdivdp 0000000000000000,7ff7ffffffffffff => cr a
1475#31: xstdivdp 0000000000000000,7ff8000000000000 => cr a
1476#32: xstdivdp 0123214569900000,fff0000000000000 => cr e
1477#33: xstdivdp 0123214569900000,c0d0650f5a07b353 => cr a
1478#34: xstdivdp 0123214569900000,8000000000000000 => cr e
1479#35: xstdivdp 0123214569900000,0000000000000000 => cr e
1480#36: xstdivdp 0123214569900000,404f000000000000 => cr a
1481#37: xstdivdp 0123214569900000,7ff0000000000000 => cr e
1482#38: xstdivdp 0123214569900000,7ff7ffffffffffff => cr a
1483#39: xstdivdp 0123214569900000,7ff8000000000000 => cr a
1484#40: xstdivdp 7ff0000000000000,fff0000000000000 => cr e
1485#41: xstdivdp 7ff0000000000000,c0d0650f5a07b353 => cr e
1486#42: xstdivdp 7ff0000000000000,8000000000000000 => cr e
1487#43: xstdivdp 7ff0000000000000,0000000000000000 => cr e
1488#44: xstdivdp 7ff0000000000000,0123214569900000 => cr e
1489#45: xstdivdp 7ff0000000000000,7ff0000000000000 => cr e
1490#46: xstdivdp 7ff0000000000000,7ff7ffffffffffff => cr e
1491#47: xstdivdp 7ff0000000000000,7ff8000000000000 => cr e
1492#48: xstdivdp fff7ffffffffffff,fff0000000000000 => cr e
1493#49: xstdivdp fff7ffffffffffff,c0d0650f5a07b353 => cr a
1494#50: xstdivdp fff8000000000000,8000000000000000 => cr e
1495#51: xstdivdp fff8000000000000,0000000000000000 => cr e
1496#52: xstdivdp fff7ffffffffffff,0123214569900000 => cr a
1497#53: xstdivdp fff7ffffffffffff,7ff0000000000000 => cr e
1498#54: xstdivdp fff7ffffffffffff,7ff7ffffffffffff => cr a
1499#55: xstdivdp fff7ffffffffffff,7ff8000000000000 => cr a
1500#56: xstdivdp fff8000000000000,fff0000000000000 => cr e
1501#57: xstdivdp fff8000000000000,c0d0650f5a07b353 => cr a
1502#58: xstdivdp fff8000000000000,8000000000000000 => cr e
1503#59: xstdivdp 41232585a9900000,41382511a2000000 => cr 8
1504#60: xstdivdp 41232585a9900000,41382511a2000000 => cr 8
1505#61: xstdivdp 7ff7ffffffffffff,7ff8000000000000 => cr a
1506#62: xstdivdp 7ff8000000000000,7ff8000000000000 => cr a
1507#63: xstdivdp 7ff8000000000000,fff8000000000000 => cr a
1508
1509#0: xsmaxdp fff0000000000000,fff0000000000000 => fff0000000000000
1510#1: xsmaxdp fff0000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1511#2: xsmaxdp 41232585a9900000,41382511a2000000 => 41382511a2000000
1512#3: xsmaxdp fff0000000000000,0000000000000000 => 0000000000000000
1513#4: xsmaxdp fff0000000000000,0123214569900000 => 0123214569900000
1514#5: xsmaxdp fff0000000000000,7ff0000000000000 => 7ff0000000000000
1515#6: xsmaxdp fff0000000000000,7ff7ffffffffffff => 7fffffffffffffff
1516#7: xsmaxdp fff0000000000000,7ff8000000000000 => fff0000000000000
1517#8: xsmaxdp c0d0650f5a07b353,fff0000000000000 => c0d0650f5a07b353
1518#9: xsmaxdp c0d0650f5a07b353,c0d0650f5a07b353 => c0d0650f5a07b353
1519#10: xsmaxdp c0d0650f5a07b353,8000000000000000 => 8000000000000000
1520#11: xsmaxdp c0d0650f5a07b353,0000000000000000 => 0000000000000000
1521#12: xsmaxdp c0d0650f5a07b353,0123214569900000 => 0123214569900000
1522#13: xsmaxdp c0d0650f5a07b353,7ff0000000000000 => 7ff0000000000000
1523#14: xsmaxdp c0d0650f5a07b353,7ff7ffffffffffff => 7fffffffffffffff
1524#15: xsmaxdp c0d0650f5a07b353,7ff8000000000000 => c0d0650f5a07b353
1525#16: xsmaxdp 8000000000000000,fff0000000000000 => 8000000000000000
1526#17: xsmaxdp 8000000000000000,c0d0650f5a07b353 => 8000000000000000
1527#18: xsmaxdp 8000000000000000,8000000000000000 => 8000000000000000
1528#19: xsmaxdp 8000000000000000,0000000000000000 => 0000000000000000
1529#20: xsmaxdp 8000000000000000,0123214569900000 => 0123214569900000
1530#21: xsmaxdp 8000000000000000,7ff0000000000000 => 7ff0000000000000
1531#22: xsmaxdp 8000000000000000,7ff7ffffffffffff => 7fffffffffffffff
1532#23: xsmaxdp 8000000000000000,7ff8000000000000 => 8000000000000000
1533#24: xsmaxdp 0000000000000000,fff0000000000000 => 0000000000000000
1534#25: xsmaxdp 0000000000000000,c0d0650f5a07b353 => 0000000000000000
1535#26: xsmaxdp 0000000000000000,8000000000000000 => 0000000000000000
1536#27: xsmaxdp 0000000000000000,0000000000000000 => 0000000000000000
1537#28: xsmaxdp 0000000000000000,0123214569900000 => 0123214569900000
1538#29: xsmaxdp 0000000000000000,7ff0000000000000 => 7ff0000000000000
1539#30: xsmaxdp 0000000000000000,7ff7ffffffffffff => 7fffffffffffffff
1540#31: xsmaxdp 0000000000000000,7ff8000000000000 => 0000000000000000
1541#32: xsmaxdp 0123214569900000,fff0000000000000 => 0123214569900000
1542#33: xsmaxdp 0123214569900000,c0d0650f5a07b353 => 0123214569900000
1543#34: xsmaxdp 0123214569900000,8000000000000000 => 0123214569900000
1544#35: xsmaxdp 0123214569900000,0000000000000000 => 0123214569900000
1545#36: xsmaxdp 0123214569900000,404f000000000000 => 404f000000000000
1546#37: xsmaxdp 0123214569900000,7ff0000000000000 => 7ff0000000000000
1547#38: xsmaxdp 0123214569900000,7ff7ffffffffffff => 7fffffffffffffff
1548#39: xsmaxdp 0123214569900000,7ff8000000000000 => 0123214569900000
1549#40: xsmaxdp 7ff0000000000000,fff0000000000000 => 7ff0000000000000
1550#41: xsmaxdp 7ff0000000000000,c0d0650f5a07b353 => 7ff0000000000000
1551#42: xsmaxdp 7ff0000000000000,8000000000000000 => 7ff0000000000000
1552#43: xsmaxdp 7ff0000000000000,0000000000000000 => 7ff0000000000000
1553#44: xsmaxdp 7ff0000000000000,0123214569900000 => 7ff0000000000000
1554#45: xsmaxdp 7ff0000000000000,7ff0000000000000 => 7ff0000000000000
1555#46: xsmaxdp 7ff0000000000000,7ff7ffffffffffff => 7fffffffffffffff
1556#47: xsmaxdp 7ff0000000000000,7ff8000000000000 => 7ff0000000000000
1557#48: xsmaxdp fff7ffffffffffff,fff0000000000000 => ffffffffffffffff
1558#49: xsmaxdp fff7ffffffffffff,c0d0650f5a07b353 => ffffffffffffffff
1559#50: xsmaxdp fff8000000000000,8000000000000000 => 8000000000000000
1560#51: xsmaxdp fff8000000000000,0000000000000000 => 0000000000000000
1561#52: xsmaxdp fff7ffffffffffff,0123214569900000 => ffffffffffffffff
1562#53: xsmaxdp fff7ffffffffffff,7ff0000000000000 => ffffffffffffffff
1563#54: xsmaxdp fff7ffffffffffff,7ff7ffffffffffff => ffffffffffffffff
1564#55: xsmaxdp fff7ffffffffffff,7ff8000000000000 => ffffffffffffffff
1565#56: xsmaxdp fff8000000000000,fff0000000000000 => fff0000000000000
1566#57: xsmaxdp fff8000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1567#58: xsmaxdp fff8000000000000,8000000000000000 => 8000000000000000
1568#59: xsmaxdp 41232585a9900000,41382511a2000000 => 41382511a2000000
1569#60: xsmaxdp 41232585a9900000,41382511a2000000 => 41382511a2000000
1570#61: xsmaxdp 7ff7ffffffffffff,7ff8000000000000 => 7fffffffffffffff
1571#62: xsmaxdp 7ff8000000000000,7ff8000000000000 => 7ff8000000000000
1572#63: xsmaxdp 7ff8000000000000,fff8000000000000 => 7ff8000000000000
1573
1574#0: xsmindp fff0000000000000,fff0000000000000 => fff0000000000000
1575#1: xsmindp fff0000000000000,c0d0650f5a07b353 => fff0000000000000
1576#2: xsmindp 41232585a9900000,41382511a2000000 => 41232585a9900000
1577#3: xsmindp fff0000000000000,0000000000000000 => fff0000000000000
1578#4: xsmindp fff0000000000000,0123214569900000 => fff0000000000000
1579#5: xsmindp fff0000000000000,7ff0000000000000 => fff0000000000000
1580#6: xsmindp fff0000000000000,7ff7ffffffffffff => 7fffffffffffffff
1581#7: xsmindp fff0000000000000,7ff8000000000000 => fff0000000000000
1582#8: xsmindp c0d0650f5a07b353,fff0000000000000 => fff0000000000000
1583#9: xsmindp c0d0650f5a07b353,c0d0650f5a07b353 => c0d0650f5a07b353
1584#10: xsmindp c0d0650f5a07b353,8000000000000000 => c0d0650f5a07b353
1585#11: xsmindp c0d0650f5a07b353,0000000000000000 => c0d0650f5a07b353
1586#12: xsmindp c0d0650f5a07b353,0123214569900000 => c0d0650f5a07b353
1587#13: xsmindp c0d0650f5a07b353,7ff0000000000000 => c0d0650f5a07b353
1588#14: xsmindp c0d0650f5a07b353,7ff7ffffffffffff => 7fffffffffffffff
1589#15: xsmindp c0d0650f5a07b353,7ff8000000000000 => c0d0650f5a07b353
1590#16: xsmindp 8000000000000000,fff0000000000000 => fff0000000000000
1591#17: xsmindp 8000000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1592#18: xsmindp 8000000000000000,8000000000000000 => 8000000000000000
1593#19: xsmindp 8000000000000000,0000000000000000 => 8000000000000000
1594#20: xsmindp 8000000000000000,0123214569900000 => 8000000000000000
1595#21: xsmindp 8000000000000000,7ff0000000000000 => 8000000000000000
1596#22: xsmindp 8000000000000000,7ff7ffffffffffff => 7fffffffffffffff
1597#23: xsmindp 8000000000000000,7ff8000000000000 => 8000000000000000
1598#24: xsmindp 0000000000000000,fff0000000000000 => fff0000000000000
1599#25: xsmindp 0000000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1600#26: xsmindp 0000000000000000,8000000000000000 => 8000000000000000
1601#27: xsmindp 0000000000000000,0000000000000000 => 0000000000000000
1602#28: xsmindp 0000000000000000,0123214569900000 => 0000000000000000
1603#29: xsmindp 0000000000000000,7ff0000000000000 => 0000000000000000
1604#30: xsmindp 0000000000000000,7ff7ffffffffffff => 7fffffffffffffff
1605#31: xsmindp 0000000000000000,7ff8000000000000 => 0000000000000000
1606#32: xsmindp 0123214569900000,fff0000000000000 => fff0000000000000
1607#33: xsmindp 0123214569900000,c0d0650f5a07b353 => c0d0650f5a07b353
1608#34: xsmindp 0123214569900000,8000000000000000 => 8000000000000000
1609#35: xsmindp 0123214569900000,0000000000000000 => 0000000000000000
1610#36: xsmindp 0123214569900000,404f000000000000 => 0123214569900000
1611#37: xsmindp 0123214569900000,7ff0000000000000 => 0123214569900000
1612#38: xsmindp 0123214569900000,7ff7ffffffffffff => 7fffffffffffffff
1613#39: xsmindp 0123214569900000,7ff8000000000000 => 0123214569900000
1614#40: xsmindp 7ff0000000000000,fff0000000000000 => fff0000000000000
1615#41: xsmindp 7ff0000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1616#42: xsmindp 7ff0000000000000,8000000000000000 => 8000000000000000
1617#43: xsmindp 7ff0000000000000,0000000000000000 => 0000000000000000
1618#44: xsmindp 7ff0000000000000,0123214569900000 => 0123214569900000
1619#45: xsmindp 7ff0000000000000,7ff0000000000000 => 7ff0000000000000
1620#46: xsmindp 7ff0000000000000,7ff7ffffffffffff => 7fffffffffffffff
1621#47: xsmindp 7ff0000000000000,7ff8000000000000 => 7ff0000000000000
1622#48: xsmindp fff7ffffffffffff,fff0000000000000 => ffffffffffffffff
1623#49: xsmindp fff7ffffffffffff,c0d0650f5a07b353 => ffffffffffffffff
1624#50: xsmindp fff8000000000000,8000000000000000 => 8000000000000000
1625#51: xsmindp fff8000000000000,0000000000000000 => 0000000000000000
1626#52: xsmindp fff7ffffffffffff,0123214569900000 => ffffffffffffffff
1627#53: xsmindp fff7ffffffffffff,7ff0000000000000 => ffffffffffffffff
1628#54: xsmindp fff7ffffffffffff,7ff7ffffffffffff => ffffffffffffffff
1629#55: xsmindp fff7ffffffffffff,7ff8000000000000 => ffffffffffffffff
1630#56: xsmindp fff8000000000000,fff0000000000000 => fff0000000000000
1631#57: xsmindp fff8000000000000,c0d0650f5a07b353 => c0d0650f5a07b353
1632#58: xsmindp fff8000000000000,8000000000000000 => 8000000000000000
1633#59: xsmindp 41232585a9900000,41382511a2000000 => 41232585a9900000
1634#60: xsmindp 41232585a9900000,41382511a2000000 => 41232585a9900000
1635#61: xsmindp 7ff7ffffffffffff,7ff8000000000000 => 7fffffffffffffff
1636#62: xsmindp 7ff8000000000000,7ff8000000000000 => 7ff8000000000000
1637#63: xsmindp 7ff8000000000000,fff8000000000000 => 7ff8000000000000
1638
1639#0: xscvdpsxws 3fd8000000000000 => 0000000000000000
1640#1: xscvdpsxws 404f000000000000 => 000000000000003e
1641#2: xscvdpsxws 0018000000b77501 => 0000000000000000
1642#3: xscvdpsxws 7fe800000000051b => 000000007fffffff
1643#4: xscvdpsxws 0123214569900000 => 0000000000000000
1644#5: xscvdpsxws 0000000000000000 => 0000000000000000
1645#6: xscvdpsxws 8000000000000000 => 0000000000000000
1646#7: xscvdpsxws 7ff0000000000000 => 000000007fffffff
1647#8: xscvdpsxws fff0000000000000 => 0000000080000000
1648#9: xscvdpsxws 7ff7ffffffffffff => 0000000080000000
1649#10: xscvdpsxws fff7ffffffffffff => 0000000080000000
1650#11: xscvdpsxws 7ff8000000000000 => 0000000080000000
1651#12: xscvdpsxws fff8000000000000 => 0000000080000000
1652#13: xscvdpsxws 8008340000078000 => 0000000000000000
1653#14: xscvdpsxws c0d0650f5a07b353 => 00000000ffffbe6c
1654#15: xscvdpsxws 41232585a9900000 => 00000000000992c2
1655#16: xscvdpsxws 41382511a2000000 => 0000000000182511
1656
1657#0: xscvdpuxds 3fd8000000000000 => 0000000000000000
1658#1: xscvdpuxds 404f000000000000 => 000000000000003e
1659#2: xscvdpuxds 0018000000b77501 => 0000000000000000
1660#3: xscvdpuxds 7fe800000000051b => ffffffffffffffff
1661#4: xscvdpuxds 0123214569900000 => 0000000000000000
1662#5: xscvdpuxds 0000000000000000 => 0000000000000000
1663#6: xscvdpuxds 8000000000000000 => 0000000000000000
1664#7: xscvdpuxds 7ff0000000000000 => ffffffffffffffff
1665#8: xscvdpuxds fff0000000000000 => 0000000000000000
1666#9: xscvdpuxds 7ff7ffffffffffff => 0000000000000000
1667#10: xscvdpuxds fff7ffffffffffff => 0000000000000000
1668#11: xscvdpuxds 7ff8000000000000 => 0000000000000000
1669#12: xscvdpuxds fff8000000000000 => 0000000000000000
1670#13: xscvdpuxds 8008340000078000 => 0000000000000000
1671#14: xscvdpuxds c0d0650f5a07b353 => 0000000000000000
1672#15: xscvdpuxds 41232585a9900000 => 00000000000992c2
1673#16: xscvdpuxds 41382511a2000000 => 0000000000182511
1674
1675