Add bug 494246 to NEWS
[valgrind.git] / none / tests / ppc64 / jm-fp.stdout.exp-LE
blob578c6739fc1d747860b400b7c75f3a155d253877
1 PPC floating point arith insns with three args:
2         fsel 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
3         fsel 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
4         fsel 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
5         fsel 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
6         fsel 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
7         fsel 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
8         fsel 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
9         fsel 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
10         fsel bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
11         fsel bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
12         fsel bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
13         fsel bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
15        fmadd 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
16        fmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
17        fmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
18        fmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
19        fmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
20        fmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
21        fmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
22        fmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
23        fmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
24        fmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
25        fmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
26        fmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
28       fmadds 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
29       fmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
30       fmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
31       fmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
32       fmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
33       fmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
34       fmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
35       fmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
36       fmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
37       fmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
38       fmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
39       fmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
41        fmsub 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
42        fmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
43        fmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
44        fmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
45        fmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
46        fmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
47        fmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
48        fmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
49        fmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
50        fmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
51        fmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
52        fmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
54       fmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
55       fmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
56       fmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
57       fmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
58       fmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
59       fmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
60       fmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
61       fmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
62       fmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
63       fmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
64       fmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
65       fmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
67       fnmadd 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
68       fnmadd 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
69       fnmadd 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
70       fnmadd 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
71       fnmadd 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
72       fnmadd 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
73       fnmadd 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
74       fnmadd 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
75       fnmadd bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
76       fnmadd bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
77       fnmadd bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
78       fnmadd bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
80      fnmadds 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
81      fnmadds 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
82      fnmadds 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
83      fnmadds 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
84      fnmadds 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
85      fnmadds 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
86      fnmadds 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
87      fnmadds 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
88      fnmadds bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
89      fnmadds bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
90      fnmadds bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
91      fnmadds bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
93       fnmsub 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
94       fnmsub 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
95       fnmsub 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
96       fnmsub 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
97       fnmsub 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
98       fnmsub 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
99       fnmsub 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
100       fnmsub 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
101       fnmsub bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
102       fnmsub bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
103       fnmsub bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
104       fnmsub bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
106      fnmsubs 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
107      fnmsubs 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
108      fnmsubs 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
109      fnmsubs 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
110      fnmsubs 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
111      fnmsubs 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
112      fnmsubs 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
113      fnmsubs 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
114      fnmsubs bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
115      fnmsubs bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
116      fnmsubs bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
117      fnmsubs bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
119 PPC floating point arith insns
120     with three args with flags update:
121        fsel. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
122        fsel. 0010000000000001, 0010000000000001, bfe00094e0000359 => 0010000000000000
123        fsel. 0010000000000001, 80100094e0000359, 0010000000000001 => 80100094e0000300
124        fsel. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
125        fsel. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0010000000000000
126        fsel. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 0010000000000000
127        fsel. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80100094e0000300
128        fsel. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 80100094e0000300
129        fsel. bfe0000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
130        fsel. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
131        fsel. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
132        fsel. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
134       fmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
135       fmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
136       fmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
137       fmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
138       fmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0018004a70000100
139       fmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
140       fmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0007ff6b1d4b5e00
141       fmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
142       fmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 0008000000000000
143       fmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
144       fmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0018004a70000100
145       fmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
147      fmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
148      fmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
149      fmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
150      fmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
151      fmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
152      fmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
153      fmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
154      fmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
155      fmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
156      fmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
157      fmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
158      fmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
160       fmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
161       fmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
162       fmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
163       fmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
164       fmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8007ffb58ffffe00
165       fmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
166       fmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 80180094e2b4a100
167       fmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
168       fmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 8018000000000000
169       fmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
170       fmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8007ffb58ffffe00
171       fmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
173      fmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
174      fmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
175      fmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
176      fmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
177      fmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
178      fmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
179      fmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
180      fmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
181      fmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
182      fmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
183      fmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
184      fmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
186      fnmadd. 0010000000000001, 0010000000000001, 0010000000000001 => 8010000000000000
187      fnmadd. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
188      fnmadd. 0010000000000001, 80100094e0000359, 0010000000000001 => 8010000000000000
189      fnmadd. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
190      fnmadd. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8018004a70000100
191      fnmadd. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
192      fnmadd. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8007ff6b1d4b5e00
193      fnmadd. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
194      fnmadd. bfe0000000000001, 0010000000000001, 0010000000000001 => 8008000000000000
195      fnmadd. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000300
196      fnmadd. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8018004a70000100
197      fnmadd. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000300
199     fnmadds. 0010000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
200     fnmadds. 0010000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
201     fnmadds. 0010000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
202     fnmadds. 0010000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
203     fnmadds. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 8000000000000000
204     fnmadds. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
205     fnmadds. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 8000000000000000
206     fnmadds. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
207     fnmadds. bfe0000000000001, 0010000000000001, 0010000000000001 => 8000000000000000
208     fnmadds. bfe0000000000001, 0010000000000001, bfe00094e0000359 => 3fe00094e0000000
209     fnmadds. bfe0000000000001, 80100094e0000359, 0010000000000001 => 8000000000000000
210     fnmadds. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => 3fe00094e0000000
212      fnmsub. 0010000000000001, 0010000000000001, 0010000000000001 => 0010000000000000
213      fnmsub. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
214      fnmsub. 0010000000000001, 80100094e0000359, 0010000000000001 => 0010000000000000
215      fnmsub. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
216      fnmsub. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0007ffb58ffffe00
217      fnmsub. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
218      fnmsub. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 00180094e2b4a100
219      fnmsub. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
220      fnmsub. bfe0000000000001, 0010000000000001, 0010000000000001 => 0018000000000000
221      fnmsub. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000300
222      fnmsub. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0007ffb58ffffe00
223      fnmsub. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000300
225     fnmsubs. 0010000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
226     fnmsubs. 0010000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
227     fnmsubs. 0010000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
228     fnmsubs. 0010000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
229     fnmsubs. 3fe00094e0000359, 0010000000000001, 0010000000000001 => 0000000000000000
230     fnmsubs. 3fe00094e0000359, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
231     fnmsubs. 3fe00094e0000359, 80100094e0000359, 0010000000000001 => 0000000000000000
232     fnmsubs. 3fe00094e0000359, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
233     fnmsubs. bfe0000000000001, 0010000000000001, 0010000000000001 => 0000000000000000
234     fnmsubs. bfe0000000000001, 0010000000000001, bfe00094e0000359 => bfe00094e0000000
235     fnmsubs. bfe0000000000001, 80100094e0000359, 0010000000000001 => 0000000000000000
236     fnmsubs. bfe0000000000001, 80100094e0000359, bfe00094e0000359 => bfe00094e0000000
238 PPC floating point arith insns with two args:
239         fadd 0010000000000001, 0010000000000001 => 0020000000000001
240         fadd 0010000000000001, 80100094e0000359 => 80000094e0000358
241         fadd 0010000000000001, 7ff0000000000000 => 7ff0000000000000
242         fadd 0010000000000001, fff8000000000000 => fff8000000000000
243         fadd 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
244         fadd 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
245         fadd 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
246         fadd 3fe00094e0000359, fff8000000000000 => fff8000000000000
247         fadd bfe0000000000001, 0010000000000001 => bfe0000000000001
248         fadd bfe0000000000001, 80100094e0000359 => bfe0000000000001
249         fadd bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
250         fadd bfe0000000000001, fff8000000000000 => fff8000000000000
251         fadd 8000000000000000, 0010000000000001 => 0010000000000001
252         fadd 8000000000000000, 80100094e0000359 => 80100094e0000359
253         fadd 8000000000000000, 7ff0000000000000 => 7ff0000000000000
254         fadd 8000000000000000, fff8000000000000 => fff8000000000000
255         fadd 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
256         fadd 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
257         fadd 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
258         fadd 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
259         fadd fff8000000000000, 0010000000000001 => fff8000000000000
260         fadd fff8000000000000, 80100094e0000359 => fff8000000000000
261         fadd fff8000000000000, 7ff0000000000000 => fff8000000000000
262         fadd fff8000000000000, fff8000000000000 => fff8000000000000
264        fadds 0010000000000001, 0010000000000001 => 0000000000000000
265        fadds 0010000000000001, 80100094e0000359 => 8000000000000000
266        fadds 0010000000000001, 7ff0000000000000 => 7ff0000000000000
267        fadds 0010000000000001, fff8000000000000 => fff8000000000000
268        fadds 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
269        fadds 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
270        fadds 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
271        fadds 3fe00094e0000359, fff8000000000000 => fff8000000000000
272        fadds bfe0000000000001, 0010000000000001 => bfe0000000000000
273        fadds bfe0000000000001, 80100094e0000359 => bfe0000000000000
274        fadds bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
275        fadds bfe0000000000001, fff8000000000000 => fff8000000000000
276        fadds 8000000000000000, 0010000000000001 => 0000000000000000
277        fadds 8000000000000000, 80100094e0000359 => 8000000000000000
278        fadds 8000000000000000, 7ff0000000000000 => 7ff0000000000000
279        fadds 8000000000000000, fff8000000000000 => fff8000000000000
280        fadds 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
281        fadds 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
282        fadds 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
283        fadds 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
284        fadds fff8000000000000, 0010000000000001 => fff8000000000000
285        fadds fff8000000000000, 80100094e0000359 => fff8000000000000
286        fadds fff8000000000000, 7ff0000000000000 => fff8000000000000
287        fadds fff8000000000000, fff8000000000000 => fff8000000000000
289         fsub 0010000000000001, 0010000000000001 => 0000000000000000
290         fsub 0010000000000001, 80100094e0000359 => 0020004a700001ad
291         fsub 0010000000000001, 7ff0000000000000 => fff0000000000000
292         fsub 0010000000000001, fff8000000000000 => fff8000000000000
293         fsub 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
294         fsub 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
295         fsub 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
296         fsub 3fe00094e0000359, fff8000000000000 => fff8000000000000
297         fsub bfe0000000000001, 0010000000000001 => bfe0000000000001
298         fsub bfe0000000000001, 80100094e0000359 => bfe0000000000001
299         fsub bfe0000000000001, 7ff0000000000000 => fff0000000000000
300         fsub bfe0000000000001, fff8000000000000 => fff8000000000000
301         fsub 8000000000000000, 0010000000000001 => 8010000000000001
302         fsub 8000000000000000, 80100094e0000359 => 00100094e0000359
303         fsub 8000000000000000, 7ff0000000000000 => fff0000000000000
304         fsub 8000000000000000, fff8000000000000 => fff8000000000000
305         fsub 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
306         fsub 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
307         fsub 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
308         fsub 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
309         fsub fff8000000000000, 0010000000000001 => fff8000000000000
310         fsub fff8000000000000, 80100094e0000359 => fff8000000000000
311         fsub fff8000000000000, 7ff0000000000000 => fff8000000000000
312         fsub fff8000000000000, fff8000000000000 => fff8000000000000
314        fsubs 0010000000000001, 0010000000000001 => 0000000000000000
315        fsubs 0010000000000001, 80100094e0000359 => 0000000000000000
316        fsubs 0010000000000001, 7ff0000000000000 => fff0000000000000
317        fsubs 0010000000000001, fff8000000000000 => fff8000000000000
318        fsubs 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
319        fsubs 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
320        fsubs 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
321        fsubs 3fe00094e0000359, fff8000000000000 => fff8000000000000
322        fsubs bfe0000000000001, 0010000000000001 => bfe0000000000000
323        fsubs bfe0000000000001, 80100094e0000359 => bfe0000000000000
324        fsubs bfe0000000000001, 7ff0000000000000 => fff0000000000000
325        fsubs bfe0000000000001, fff8000000000000 => fff8000000000000
326        fsubs 8000000000000000, 0010000000000001 => 8000000000000000
327        fsubs 8000000000000000, 80100094e0000359 => 0000000000000000
328        fsubs 8000000000000000, 7ff0000000000000 => fff0000000000000
329        fsubs 8000000000000000, fff8000000000000 => fff8000000000000
330        fsubs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
331        fsubs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
332        fsubs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
333        fsubs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
334        fsubs fff8000000000000, 0010000000000001 => fff8000000000000
335        fsubs fff8000000000000, 80100094e0000359 => fff8000000000000
336        fsubs fff8000000000000, 7ff0000000000000 => fff8000000000000
337        fsubs fff8000000000000, fff8000000000000 => fff8000000000000
339         fmul 0010000000000001, 0010000000000001 => 0000000000000000
340         fmul 0010000000000001, 80100094e0000359 => 8000000000000000
341         fmul 0010000000000001, 7ff0000000000000 => 7ff0000000000000
342         fmul 0010000000000001, fff8000000000000 => fff8000000000000
343         fmul 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
344         fmul 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
345         fmul 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
346         fmul 3fe00094e0000359, fff8000000000000 => fff8000000000000
347         fmul bfe0000000000001, 0010000000000001 => 8008000000000001
348         fmul bfe0000000000001, 80100094e0000359 => 0008004a700001ad
349         fmul bfe0000000000001, 7ff0000000000000 => fff0000000000000
350         fmul bfe0000000000001, fff8000000000000 => fff8000000000000
351         fmul 8000000000000000, 0010000000000001 => 8000000000000000
352         fmul 8000000000000000, 80100094e0000359 => 0000000000000000
353         fmul 8000000000000000, 7ff0000000000000 => 7ff8000000000000
354         fmul 8000000000000000, fff8000000000000 => fff8000000000000
355         fmul 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
356         fmul 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
357         fmul 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
358         fmul 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
359         fmul fff8000000000000, 0010000000000001 => fff8000000000000
360         fmul fff8000000000000, 80100094e0000359 => fff8000000000000
361         fmul fff8000000000000, 7ff0000000000000 => fff8000000000000
362         fmul fff8000000000000, fff8000000000000 => fff8000000000000
364        fmuls 0010000000000001, 0010000000000001 => 0000000000000000
365        fmuls 0010000000000001, 80100094e0000359 => 8000000000000000
366        fmuls 0010000000000001, 7ff0000000000000 => 7ff0000000000000
367        fmuls 0010000000000001, fff8000000000000 => fff8000000000000
368        fmuls 3fe00094e0000359, 0010000000000001 => 0000000000000000
369        fmuls 3fe00094e0000359, 80100094e0000359 => 8000000000000000
370        fmuls 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
371        fmuls 3fe00094e0000359, fff8000000000000 => fff8000000000000
372        fmuls bfe0000000000001, 0010000000000001 => 8000000000000000
373        fmuls bfe0000000000001, 80100094e0000359 => 0000000000000000
374        fmuls bfe0000000000001, 7ff0000000000000 => fff0000000000000
375        fmuls bfe0000000000001, fff8000000000000 => fff8000000000000
376        fmuls 8000000000000000, 0010000000000001 => 8000000000000000
377        fmuls 8000000000000000, 80100094e0000359 => 0000000000000000
378        fmuls 8000000000000000, 7ff0000000000000 => 7ff8000000000000
379        fmuls 8000000000000000, fff8000000000000 => fff8000000000000
380        fmuls 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
381        fmuls 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
382        fmuls 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
383        fmuls 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
384        fmuls fff8000000000000, 0010000000000001 => fff8000000000000
385        fmuls fff8000000000000, 80100094e0000359 => fff8000000000000
386        fmuls fff8000000000000, 7ff0000000000000 => fff8000000000000
387        fmuls fff8000000000000, fff8000000000000 => fff8000000000000
389         fdiv 0010000000000001, 0010000000000001 => 3ff0000000000000
390         fdiv 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
391         fdiv 0010000000000001, 7ff0000000000000 => 0000000000000000
392         fdiv 0010000000000001, fff8000000000000 => fff8000000000000
393         fdiv 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
394         fdiv 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
395         fdiv 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
396         fdiv 3fe00094e0000359, fff8000000000000 => fff8000000000000
397         fdiv bfe0000000000001, 0010000000000001 => ffc0000000000000
398         fdiv bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
399         fdiv bfe0000000000001, 7ff0000000000000 => 8000000000000000
400         fdiv bfe0000000000001, fff8000000000000 => fff8000000000000
401         fdiv 8000000000000000, 0010000000000001 => 8000000000000000
402         fdiv 8000000000000000, 80100094e0000359 => 0000000000000000
403         fdiv 8000000000000000, 7ff0000000000000 => 8000000000000000
404         fdiv 8000000000000000, fff8000000000000 => fff8000000000000
405         fdiv 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
406         fdiv 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
407         fdiv 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
408         fdiv 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
409         fdiv fff8000000000000, 0010000000000001 => fff8000000000000
410         fdiv fff8000000000000, 80100094e0000359 => fff8000000000000
411         fdiv fff8000000000000, 7ff0000000000000 => fff8000000000000
412         fdiv fff8000000000000, fff8000000000000 => fff8000000000000
414        fdivs 0010000000000001, 0010000000000001 => 3ff0000000000000
415        fdivs 0010000000000001, 80100094e0000359 => bfeffed640000000
416        fdivs 0010000000000001, 7ff0000000000000 => 0000000000000000
417        fdivs 0010000000000001, fff8000000000000 => fff8000000000000
418        fdivs 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
419        fdivs 3fe00094e0000359, 80100094e0000359 => fff0000000000000
420        fdivs 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
421        fdivs 3fe00094e0000359, fff8000000000000 => fff8000000000000
422        fdivs bfe0000000000001, 0010000000000001 => fff0000000000000
423        fdivs bfe0000000000001, 80100094e0000359 => 7ff0000000000000
424        fdivs bfe0000000000001, 7ff0000000000000 => 8000000000000000
425        fdivs bfe0000000000001, fff8000000000000 => fff8000000000000
426        fdivs 8000000000000000, 0010000000000001 => 8000000000000000
427        fdivs 8000000000000000, 80100094e0000359 => 0000000000000000
428        fdivs 8000000000000000, 7ff0000000000000 => 8000000000000000
429        fdivs 8000000000000000, fff8000000000000 => fff8000000000000
430        fdivs 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
431        fdivs 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
432        fdivs 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
433        fdivs 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
434        fdivs fff8000000000000, 0010000000000001 => fff8000000000000
435        fdivs fff8000000000000, 80100094e0000359 => fff8000000000000
436        fdivs fff8000000000000, 7ff0000000000000 => fff8000000000000
437        fdivs fff8000000000000, fff8000000000000 => fff8000000000000
439 PPC floating point arith insns
440     with two args with flags update:
441        fadd. 0010000000000001, 0010000000000001 => 0020000000000001
442        fadd. 0010000000000001, 80100094e0000359 => 80000094e0000358
443        fadd. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
444        fadd. 0010000000000001, fff8000000000000 => fff8000000000000
445        fadd. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
446        fadd. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
447        fadd. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
448        fadd. 3fe00094e0000359, fff8000000000000 => fff8000000000000
449        fadd. bfe0000000000001, 0010000000000001 => bfe0000000000001
450        fadd. bfe0000000000001, 80100094e0000359 => bfe0000000000001
451        fadd. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
452        fadd. bfe0000000000001, fff8000000000000 => fff8000000000000
453        fadd. 8000000000000000, 0010000000000001 => 0010000000000001
454        fadd. 8000000000000000, 80100094e0000359 => 80100094e0000359
455        fadd. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
456        fadd. 8000000000000000, fff8000000000000 => fff8000000000000
457        fadd. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
458        fadd. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
459        fadd. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
460        fadd. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
461        fadd. fff8000000000000, 0010000000000001 => fff8000000000000
462        fadd. fff8000000000000, 80100094e0000359 => fff8000000000000
463        fadd. fff8000000000000, 7ff0000000000000 => fff8000000000000
464        fadd. fff8000000000000, fff8000000000000 => fff8000000000000
466       fadds. 0010000000000001, 0010000000000001 => 0000000000000000
467       fadds. 0010000000000001, 80100094e0000359 => 8000000000000000
468       fadds. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
469       fadds. 0010000000000001, fff8000000000000 => fff8000000000000
470       fadds. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
471       fadds. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
472       fadds. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
473       fadds. 3fe00094e0000359, fff8000000000000 => fff8000000000000
474       fadds. bfe0000000000001, 0010000000000001 => bfe0000000000000
475       fadds. bfe0000000000001, 80100094e0000359 => bfe0000000000000
476       fadds. bfe0000000000001, 7ff0000000000000 => 7ff0000000000000
477       fadds. bfe0000000000001, fff8000000000000 => fff8000000000000
478       fadds. 8000000000000000, 0010000000000001 => 0000000000000000
479       fadds. 8000000000000000, 80100094e0000359 => 8000000000000000
480       fadds. 8000000000000000, 7ff0000000000000 => 7ff0000000000000
481       fadds. 8000000000000000, fff8000000000000 => fff8000000000000
482       fadds. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
483       fadds. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
484       fadds. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
485       fadds. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
486       fadds. fff8000000000000, 0010000000000001 => fff8000000000000
487       fadds. fff8000000000000, 80100094e0000359 => fff8000000000000
488       fadds. fff8000000000000, 7ff0000000000000 => fff8000000000000
489       fadds. fff8000000000000, fff8000000000000 => fff8000000000000
491        fsub. 0010000000000001, 0010000000000001 => 0000000000000000
492        fsub. 0010000000000001, 80100094e0000359 => 0020004a700001ad
493        fsub. 0010000000000001, 7ff0000000000000 => fff0000000000000
494        fsub. 0010000000000001, fff8000000000000 => fff8000000000000
495        fsub. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000359
496        fsub. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000359
497        fsub. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
498        fsub. 3fe00094e0000359, fff8000000000000 => fff8000000000000
499        fsub. bfe0000000000001, 0010000000000001 => bfe0000000000001
500        fsub. bfe0000000000001, 80100094e0000359 => bfe0000000000001
501        fsub. bfe0000000000001, 7ff0000000000000 => fff0000000000000
502        fsub. bfe0000000000001, fff8000000000000 => fff8000000000000
503        fsub. 8000000000000000, 0010000000000001 => 8010000000000001
504        fsub. 8000000000000000, 80100094e0000359 => 00100094e0000359
505        fsub. 8000000000000000, 7ff0000000000000 => fff0000000000000
506        fsub. 8000000000000000, fff8000000000000 => fff8000000000000
507        fsub. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
508        fsub. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
509        fsub. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
510        fsub. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
511        fsub. fff8000000000000, 0010000000000001 => fff8000000000000
512        fsub. fff8000000000000, 80100094e0000359 => fff8000000000000
513        fsub. fff8000000000000, 7ff0000000000000 => fff8000000000000
514        fsub. fff8000000000000, fff8000000000000 => fff8000000000000
516       fsubs. 0010000000000001, 0010000000000001 => 0000000000000000
517       fsubs. 0010000000000001, 80100094e0000359 => 0000000000000000
518       fsubs. 0010000000000001, 7ff0000000000000 => fff0000000000000
519       fsubs. 0010000000000001, fff8000000000000 => fff8000000000000
520       fsubs. 3fe00094e0000359, 0010000000000001 => 3fe00094e0000000
521       fsubs. 3fe00094e0000359, 80100094e0000359 => 3fe00094e0000000
522       fsubs. 3fe00094e0000359, 7ff0000000000000 => fff0000000000000
523       fsubs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
524       fsubs. bfe0000000000001, 0010000000000001 => bfe0000000000000
525       fsubs. bfe0000000000001, 80100094e0000359 => bfe0000000000000
526       fsubs. bfe0000000000001, 7ff0000000000000 => fff0000000000000
527       fsubs. bfe0000000000001, fff8000000000000 => fff8000000000000
528       fsubs. 8000000000000000, 0010000000000001 => 8000000000000000
529       fsubs. 8000000000000000, 80100094e0000359 => 0000000000000000
530       fsubs. 8000000000000000, 7ff0000000000000 => fff0000000000000
531       fsubs. 8000000000000000, fff8000000000000 => fff8000000000000
532       fsubs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
533       fsubs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
534       fsubs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
535       fsubs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
536       fsubs. fff8000000000000, 0010000000000001 => fff8000000000000
537       fsubs. fff8000000000000, 80100094e0000359 => fff8000000000000
538       fsubs. fff8000000000000, 7ff0000000000000 => fff8000000000000
539       fsubs. fff8000000000000, fff8000000000000 => fff8000000000000
541        fmul. 0010000000000001, 0010000000000001 => 0000000000000000
542        fmul. 0010000000000001, 80100094e0000359 => 8000000000000000
543        fmul. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
544        fmul. 0010000000000001, fff8000000000000 => fff8000000000000
545        fmul. 3fe00094e0000359, 0010000000000001 => 0008004a700001ad
546        fmul. 3fe00094e0000359, 80100094e0000359 => 80080094e2b4a179
547        fmul. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
548        fmul. 3fe00094e0000359, fff8000000000000 => fff8000000000000
549        fmul. bfe0000000000001, 0010000000000001 => 8008000000000001
550        fmul. bfe0000000000001, 80100094e0000359 => 0008004a700001ad
551        fmul. bfe0000000000001, 7ff0000000000000 => fff0000000000000
552        fmul. bfe0000000000001, fff8000000000000 => fff8000000000000
553        fmul. 8000000000000000, 0010000000000001 => 8000000000000000
554        fmul. 8000000000000000, 80100094e0000359 => 0000000000000000
555        fmul. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
556        fmul. 8000000000000000, fff8000000000000 => fff8000000000000
557        fmul. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
558        fmul. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
559        fmul. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
560        fmul. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
561        fmul. fff8000000000000, 0010000000000001 => fff8000000000000
562        fmul. fff8000000000000, 80100094e0000359 => fff8000000000000
563        fmul. fff8000000000000, 7ff0000000000000 => fff8000000000000
564        fmul. fff8000000000000, fff8000000000000 => fff8000000000000
566       fmuls. 0010000000000001, 0010000000000001 => 0000000000000000
567       fmuls. 0010000000000001, 80100094e0000359 => 8000000000000000
568       fmuls. 0010000000000001, 7ff0000000000000 => 7ff0000000000000
569       fmuls. 0010000000000001, fff8000000000000 => fff8000000000000
570       fmuls. 3fe00094e0000359, 0010000000000001 => 0000000000000000
571       fmuls. 3fe00094e0000359, 80100094e0000359 => 8000000000000000
572       fmuls. 3fe00094e0000359, 7ff0000000000000 => 7ff0000000000000
573       fmuls. 3fe00094e0000359, fff8000000000000 => fff8000000000000
574       fmuls. bfe0000000000001, 0010000000000001 => 8000000000000000
575       fmuls. bfe0000000000001, 80100094e0000359 => 0000000000000000
576       fmuls. bfe0000000000001, 7ff0000000000000 => fff0000000000000
577       fmuls. bfe0000000000001, fff8000000000000 => fff8000000000000
578       fmuls. 8000000000000000, 0010000000000001 => 8000000000000000
579       fmuls. 8000000000000000, 80100094e0000359 => 0000000000000000
580       fmuls. 8000000000000000, 7ff0000000000000 => 7ff8000000000000
581       fmuls. 8000000000000000, fff8000000000000 => fff8000000000000
582       fmuls. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
583       fmuls. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
584       fmuls. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
585       fmuls. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
586       fmuls. fff8000000000000, 0010000000000001 => fff8000000000000
587       fmuls. fff8000000000000, 80100094e0000359 => fff8000000000000
588       fmuls. fff8000000000000, 7ff0000000000000 => fff8000000000000
589       fmuls. fff8000000000000, fff8000000000000 => fff8000000000000
591        fdiv. 0010000000000001, 0010000000000001 => 3ff0000000000000
592        fdiv. 0010000000000001, 80100094e0000359 => bfeffed64ad20d22
593        fdiv. 0010000000000001, 7ff0000000000000 => 0000000000000000
594        fdiv. 0010000000000001, fff8000000000000 => fff8000000000000
595        fdiv. 3fe00094e0000359, 0010000000000001 => 7fc00094e0000358
596        fdiv. 3fe00094e0000359, 80100094e0000359 => ffc0000000000000
597        fdiv. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
598        fdiv. 3fe00094e0000359, fff8000000000000 => fff8000000000000
599        fdiv. bfe0000000000001, 0010000000000001 => ffc0000000000000
600        fdiv. bfe0000000000001, 80100094e0000359 => 7fbffed64ad20d22
601        fdiv. bfe0000000000001, 7ff0000000000000 => 8000000000000000
602        fdiv. bfe0000000000001, fff8000000000000 => fff8000000000000
603        fdiv. 8000000000000000, 0010000000000001 => 8000000000000000
604        fdiv. 8000000000000000, 80100094e0000359 => 0000000000000000
605        fdiv. 8000000000000000, 7ff0000000000000 => 8000000000000000
606        fdiv. 8000000000000000, fff8000000000000 => fff8000000000000
607        fdiv. 7ff7ffffffffffff, 0010000000000001 => 7fffffffffffffff
608        fdiv. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffffffffff
609        fdiv. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffffffffff
610        fdiv. 7ff7ffffffffffff, fff8000000000000 => 7fffffffffffffff
611        fdiv. fff8000000000000, 0010000000000001 => fff8000000000000
612        fdiv. fff8000000000000, 80100094e0000359 => fff8000000000000
613        fdiv. fff8000000000000, 7ff0000000000000 => fff8000000000000
614        fdiv. fff8000000000000, fff8000000000000 => fff8000000000000
616       fdivs. 0010000000000001, 0010000000000001 => 3ff0000000000000
617       fdivs. 0010000000000001, 80100094e0000359 => bfeffed640000000
618       fdivs. 0010000000000001, 7ff0000000000000 => 0000000000000000
619       fdivs. 0010000000000001, fff8000000000000 => fff8000000000000
620       fdivs. 3fe00094e0000359, 0010000000000001 => 7ff0000000000000
621       fdivs. 3fe00094e0000359, 80100094e0000359 => fff0000000000000
622       fdivs. 3fe00094e0000359, 7ff0000000000000 => 0000000000000000
623       fdivs. 3fe00094e0000359, fff8000000000000 => fff8000000000000
624       fdivs. bfe0000000000001, 0010000000000001 => fff0000000000000
625       fdivs. bfe0000000000001, 80100094e0000359 => 7ff0000000000000
626       fdivs. bfe0000000000001, 7ff0000000000000 => 8000000000000000
627       fdivs. bfe0000000000001, fff8000000000000 => fff8000000000000
628       fdivs. 8000000000000000, 0010000000000001 => 8000000000000000
629       fdivs. 8000000000000000, 80100094e0000359 => 0000000000000000
630       fdivs. 8000000000000000, 7ff0000000000000 => 8000000000000000
631       fdivs. 8000000000000000, fff8000000000000 => fff8000000000000
632       fdivs. 7ff7ffffffffffff, 0010000000000001 => 7fffffffe0000000
633       fdivs. 7ff7ffffffffffff, 80100094e0000359 => 7fffffffe0000000
634       fdivs. 7ff7ffffffffffff, 7ff0000000000000 => 7fffffffe0000000
635       fdivs. 7ff7ffffffffffff, fff8000000000000 => 7fffffffe0000000
636       fdivs. fff8000000000000, 0010000000000001 => fff8000000000000
637       fdivs. fff8000000000000, 80100094e0000359 => fff8000000000000
638       fdivs. fff8000000000000, 7ff0000000000000 => fff8000000000000
639       fdivs. fff8000000000000, fff8000000000000 => fff8000000000000
641 PPC floating point compare insns (two args):
642        fcmpo 0010000000000001, 0010000000000001 => fff8000000000000
643        fcmpo 0010000000000001, 80100094e0000359 => fff8000000000000
644        fcmpo 0010000000000001, 7ff0000000000000 => fff8000000000000
645        fcmpo 0010000000000001, fff8000000000000 => fff8000000000000
646        fcmpo 3fe00094e0000359, 0010000000000001 => fff8000000000000
647        fcmpo 3fe00094e0000359, 80100094e0000359 => fff8000000000000
648        fcmpo 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
649        fcmpo 3fe00094e0000359, fff8000000000000 => fff8000000000000
650        fcmpo bfe0000000000001, 0010000000000001 => fff8000000000000
651        fcmpo bfe0000000000001, 80100094e0000359 => fff8000000000000
652        fcmpo bfe0000000000001, 7ff0000000000000 => fff8000000000000
653        fcmpo bfe0000000000001, fff8000000000000 => fff8000000000000
654        fcmpo 8000000000000000, 0010000000000001 => fff8000000000000
655        fcmpo 8000000000000000, 80100094e0000359 => fff8000000000000
656        fcmpo 8000000000000000, 7ff0000000000000 => fff8000000000000
657        fcmpo 8000000000000000, fff8000000000000 => fff8000000000000
658        fcmpo 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
659        fcmpo 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
660        fcmpo 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
661        fcmpo 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
662        fcmpo fff8000000000000, 0010000000000001 => fff8000000000000
663        fcmpo fff8000000000000, 80100094e0000359 => fff8000000000000
664        fcmpo fff8000000000000, 7ff0000000000000 => fff8000000000000
665        fcmpo fff8000000000000, fff8000000000000 => fff8000000000000
667        fcmpu 0010000000000001, 0010000000000001 => fff8000000000000
668        fcmpu 0010000000000001, 80100094e0000359 => fff8000000000000
669        fcmpu 0010000000000001, 7ff0000000000000 => fff8000000000000
670        fcmpu 0010000000000001, fff8000000000000 => fff8000000000000
671        fcmpu 3fe00094e0000359, 0010000000000001 => fff8000000000000
672        fcmpu 3fe00094e0000359, 80100094e0000359 => fff8000000000000
673        fcmpu 3fe00094e0000359, 7ff0000000000000 => fff8000000000000
674        fcmpu 3fe00094e0000359, fff8000000000000 => fff8000000000000
675        fcmpu bfe0000000000001, 0010000000000001 => fff8000000000000
676        fcmpu bfe0000000000001, 80100094e0000359 => fff8000000000000
677        fcmpu bfe0000000000001, 7ff0000000000000 => fff8000000000000
678        fcmpu bfe0000000000001, fff8000000000000 => fff8000000000000
679        fcmpu 8000000000000000, 0010000000000001 => fff8000000000000
680        fcmpu 8000000000000000, 80100094e0000359 => fff8000000000000
681        fcmpu 8000000000000000, 7ff0000000000000 => fff8000000000000
682        fcmpu 8000000000000000, fff8000000000000 => fff8000000000000
683        fcmpu 7ff7ffffffffffff, 0010000000000001 => fff8000000000000
684        fcmpu 7ff7ffffffffffff, 80100094e0000359 => fff8000000000000
685        fcmpu 7ff7ffffffffffff, 7ff0000000000000 => fff8000000000000
686        fcmpu 7ff7ffffffffffff, fff8000000000000 => fff8000000000000
687        fcmpu fff8000000000000, 0010000000000001 => fff8000000000000
688        fcmpu fff8000000000000, 80100094e0000359 => fff8000000000000
689        fcmpu fff8000000000000, 7ff0000000000000 => fff8000000000000
690        fcmpu fff8000000000000, fff8000000000000 => fff8000000000000
692 PPC floating point arith insns with one arg:
693         fres 0010000000000001 => 7ff0000000000000
694         fres 00100094e0000359 => 7ff0000000000000
695         fres 3fe0000000000001 => 3ffff00000000000
696         fres 3fe00094e0000359 => 3ffff00000000000
697         fres 8010000000000001 => fff0000000000000
698         fres 80100094e0000359 => fff0000000000000
699         fres bfe0000000000001 => bffff00000000000
700         fres bfe00094e0000359 => bffff00000000000
701         fres 0000000000000000 => 7ff0000000000000
702         fres 8000000000000000 => fff0000000000000
703         fres 7ff0000000000000 => 0000000000000000
704         fres fff0000000000000 => 8000000000000000
705         fres 7ff7ffffffffffff => 7ffff00000000000
706         fres fff7ffffffffffff => fffff00000000000
707         fres 7ff8000000000000 => 7ff8000000000000
708         fres fff8000000000000 => fff8000000000000
710      frsqrte 0010000000000001 => 5fdf000000000000
711      frsqrte 00100094e0000359 => 5fdf000000000000
712      frsqrte 3fe0000000000001 => 3ff6000000000000
713      frsqrte 3fe00094e0000359 => 3ff6000000000000
714      frsqrte 8010000000000001 => 7ff8000000000000
715      frsqrte 80100094e0000359 => 7ff8000000000000
716      frsqrte bfe0000000000001 => 7ff8000000000000
717      frsqrte bfe00094e0000359 => 7ff8000000000000
718      frsqrte 0000000000000000 => 7ff0000000000000
719      frsqrte 8000000000000000 => fff0000000000000
720      frsqrte 7ff0000000000000 => 0000000000000000
721      frsqrte fff0000000000000 => 7ff8000000000000
722      frsqrte 7ff7ffffffffffff => 7fff000000000000
723      frsqrte fff7ffffffffffff => ffff000000000000
724      frsqrte 7ff8000000000000 => 7ff8000000000000
725      frsqrte fff8000000000000 => fff8000000000000
727         frsp 0010000000000001 => 0000000000000000
728         frsp 00100094e0000359 => 0000000000000000
729         frsp 3fe0000000000001 => 3fe0000000000000
730         frsp 3fe00094e0000359 => 3fe00094e0000000
731         frsp 8010000000000001 => 8000000000000000
732         frsp 80100094e0000359 => 8000000000000000
733         frsp bfe0000000000001 => bfe0000000000000
734         frsp bfe00094e0000359 => bfe00094e0000000
735         frsp 0000000000000000 => 0000000000000000
736         frsp 8000000000000000 => 8000000000000000
737         frsp 7ff0000000000000 => 7ff0000000000000
738         frsp fff0000000000000 => fff0000000000000
739         frsp 7ff7ffffffffffff => 7fffffffe0000000
740         frsp fff7ffffffffffff => ffffffffe0000000
741         frsp 7ff8000000000000 => 7ff8000000000000
742         frsp fff8000000000000 => fff8000000000000
744        fctiw 0010000000000001 => 0000000000000000
745        fctiw 00100094e0000359 => 0000000000000000
746        fctiw 3fe0000000000001 => 0000000000000001
747        fctiw 3fe00094e0000359 => 0000000000000001
748        fctiw 8010000000000001 => 0000000000000000
749        fctiw 80100094e0000359 => 0000000000000000
750        fctiw bfe0000000000001 => 00000000ffffffff
751        fctiw bfe00094e0000359 => 00000000ffffffff
752        fctiw 0000000000000000 => 0000000000000000
753        fctiw 8000000000000000 => 0000000000000000
754        fctiw 7ff0000000000000 => 000000007fffffff
755        fctiw fff0000000000000 => 0000000080000000
756        fctiw 7ff7ffffffffffff => 0000000080000000
757        fctiw fff7ffffffffffff => 0000000080000000
758        fctiw 7ff8000000000000 => 0000000080000000
759        fctiw fff8000000000000 => 0000000080000000
761       fctiwz 0010000000000001 => 0000000000000000
762       fctiwz 00100094e0000359 => 0000000000000000
763       fctiwz 3fe0000000000001 => 0000000000000000
764       fctiwz 3fe00094e0000359 => 0000000000000000
765       fctiwz 8010000000000001 => 0000000000000000
766       fctiwz 80100094e0000359 => 0000000000000000
767       fctiwz bfe0000000000001 => 0000000000000000
768       fctiwz bfe00094e0000359 => 0000000000000000
769       fctiwz 0000000000000000 => 0000000000000000
770       fctiwz 8000000000000000 => 0000000000000000
771       fctiwz 7ff0000000000000 => 000000007fffffff
772       fctiwz fff0000000000000 => 0000000080000000
773       fctiwz 7ff7ffffffffffff => 0000000080000000
774       fctiwz fff7ffffffffffff => 0000000080000000
775       fctiwz 7ff8000000000000 => 0000000080000000
776       fctiwz fff8000000000000 => 0000000080000000
778          fmr 0010000000000001 => 0010000000000001
779          fmr 00100094e0000359 => 00100094e0000359
780          fmr 3fe0000000000001 => 3fe0000000000001
781          fmr 3fe00094e0000359 => 3fe00094e0000359
782          fmr 8010000000000001 => 8010000000000001
783          fmr 80100094e0000359 => 80100094e0000359
784          fmr bfe0000000000001 => bfe0000000000001
785          fmr bfe00094e0000359 => bfe00094e0000359
786          fmr 0000000000000000 => 0000000000000000
787          fmr 8000000000000000 => 8000000000000000
788          fmr 7ff0000000000000 => 7ff0000000000000
789          fmr fff0000000000000 => fff0000000000000
790          fmr 7ff7ffffffffffff => 7ff7ffffffffffff
791          fmr fff7ffffffffffff => fff7ffffffffffff
792          fmr 7ff8000000000000 => 7ff8000000000000
793          fmr fff8000000000000 => fff8000000000000
795         fneg 0010000000000001 => 8010000000000001
796         fneg 00100094e0000359 => 80100094e0000359
797         fneg 3fe0000000000001 => bfe0000000000001
798         fneg 3fe00094e0000359 => bfe00094e0000359
799         fneg 8010000000000001 => 0010000000000001
800         fneg 80100094e0000359 => 00100094e0000359
801         fneg bfe0000000000001 => 3fe0000000000001
802         fneg bfe00094e0000359 => 3fe00094e0000359
803         fneg 0000000000000000 => 8000000000000000
804         fneg 8000000000000000 => 0000000000000000
805         fneg 7ff0000000000000 => fff0000000000000
806         fneg fff0000000000000 => 7ff0000000000000
807         fneg 7ff7ffffffffffff => fff7ffffffffffff
808         fneg fff7ffffffffffff => 7ff7ffffffffffff
809         fneg 7ff8000000000000 => fff8000000000000
810         fneg fff8000000000000 => 7ff8000000000000
812         fabs 0010000000000001 => 0010000000000001
813         fabs 00100094e0000359 => 00100094e0000359
814         fabs 3fe0000000000001 => 3fe0000000000001
815         fabs 3fe00094e0000359 => 3fe00094e0000359
816         fabs 8010000000000001 => 0010000000000001
817         fabs 80100094e0000359 => 00100094e0000359
818         fabs bfe0000000000001 => 3fe0000000000001
819         fabs bfe00094e0000359 => 3fe00094e0000359
820         fabs 0000000000000000 => 0000000000000000
821         fabs 8000000000000000 => 0000000000000000
822         fabs 7ff0000000000000 => 7ff0000000000000
823         fabs fff0000000000000 => 7ff0000000000000
824         fabs 7ff7ffffffffffff => 7ff7ffffffffffff
825         fabs fff7ffffffffffff => 7ff7ffffffffffff
826         fabs 7ff8000000000000 => 7ff8000000000000
827         fabs fff8000000000000 => 7ff8000000000000
829        fnabs 0010000000000001 => 8010000000000001
830        fnabs 00100094e0000359 => 80100094e0000359
831        fnabs 3fe0000000000001 => bfe0000000000001
832        fnabs 3fe00094e0000359 => bfe00094e0000359
833        fnabs 8010000000000001 => 8010000000000001
834        fnabs 80100094e0000359 => 80100094e0000359
835        fnabs bfe0000000000001 => bfe0000000000001
836        fnabs bfe00094e0000359 => bfe00094e0000359
837        fnabs 0000000000000000 => 8000000000000000
838        fnabs 8000000000000000 => 8000000000000000
839        fnabs 7ff0000000000000 => fff0000000000000
840        fnabs fff0000000000000 => fff0000000000000
841        fnabs 7ff7ffffffffffff => fff7ffffffffffff
842        fnabs fff7ffffffffffff => fff7ffffffffffff
843        fnabs 7ff8000000000000 => fff8000000000000
844        fnabs fff8000000000000 => fff8000000000000
846        fsqrt 0010000000000001 => 2000000000000000
847        fsqrt 00100094e0000359 => 2000004a6f52dd4a
848        fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd
849        fsqrt 3fe00094e0000359 => 3fe6a107aacb50df
850        fsqrt 8010000000000001 => 7ff8000000000000
851        fsqrt 80100094e0000359 => 7ff8000000000000
852        fsqrt bfe0000000000001 => 7ff8000000000000
853        fsqrt bfe00094e0000359 => 7ff8000000000000
854        fsqrt 0000000000000000 => 0000000000000000
855        fsqrt 8000000000000000 => 8000000000000000
856        fsqrt 7ff0000000000000 => 7ff0000000000000
857        fsqrt fff0000000000000 => 7ff8000000000000
858        fsqrt 7ff7ffffffffffff => 7fffffffffffffff
859        fsqrt fff7ffffffffffff => ffffffffffffffff
860        fsqrt 7ff8000000000000 => 7ff8000000000000
861        fsqrt fff8000000000000 => fff8000000000000
863        fcfid 0010000000000001 => 4330000000000001
864        fcfid 00100094e0000359 => 43300094e0000359
865        fcfid 3fe0000000000001 => 43cff00000000000
866        fcfid 3fe00094e0000359 => 43cff0004a700002
867        fcfid 8010000000000001 => c3dffc0000000000
868        fcfid 80100094e0000359 => c3dffbffdac7ffff
869        fcfid bfe0000000000001 => c3d0080000000000
870        fcfid bfe00094e0000359 => c3d007ffdac7ffff
871        fcfid 0000000000000000 => 0000000000000000
872        fcfid 8000000000000000 => c3e0000000000000
873        fcfid 7ff0000000000000 => 43dffc0000000000
874        fcfid fff0000000000000 => c330000000000000
875        fcfid 7ff7ffffffffffff => 43dffe0000000000
876        fcfid fff7ffffffffffff => c320000000000002
877        fcfid 7ff8000000000000 => 43dffe0000000000
878        fcfid fff8000000000000 => c320000000000000
880        fctid 0010000000000001 => 0000000000000000
881        fctid 00100094e0000359 => 0000000000000000
882        fctid 3fe0000000000001 => 0000000000000001
883        fctid 3fe00094e0000359 => 0000000000000001
884        fctid 8010000000000001 => 0000000000000000
885        fctid 80100094e0000359 => 0000000000000000
886        fctid bfe0000000000001 => ffffffffffffffff
887        fctid bfe00094e0000359 => ffffffffffffffff
888        fctid 0000000000000000 => 0000000000000000
889        fctid 8000000000000000 => 0000000000000000
890        fctid 7ff0000000000000 => 7fffffffffffffff
891        fctid fff0000000000000 => 8000000000000000
892        fctid 7ff7ffffffffffff => 8000000000000000
893        fctid fff7ffffffffffff => 8000000000000000
894        fctid 7ff8000000000000 => 8000000000000000
895        fctid fff8000000000000 => 8000000000000000
897       fctidz 0010000000000001 => 0000000000000000
898       fctidz 00100094e0000359 => 0000000000000000
899       fctidz 3fe0000000000001 => 0000000000000000
900       fctidz 3fe00094e0000359 => 0000000000000000
901       fctidz 8010000000000001 => 0000000000000000
902       fctidz 80100094e0000359 => 0000000000000000
903       fctidz bfe0000000000001 => 0000000000000000
904       fctidz bfe00094e0000359 => 0000000000000000
905       fctidz 0000000000000000 => 0000000000000000
906       fctidz 8000000000000000 => 0000000000000000
907       fctidz 7ff0000000000000 => 7fffffffffffffff
908       fctidz fff0000000000000 => 8000000000000000
909       fctidz 7ff7ffffffffffff => 8000000000000000
910       fctidz fff7ffffffffffff => 8000000000000000
911       fctidz 7ff8000000000000 => 8000000000000000
912       fctidz fff8000000000000 => 8000000000000000
914 PPC floating point arith insns
915     with one arg with flags update:
916        fres. 0010000000000001 => 7ff0000000000000
917        fres. 00100094e0000359 => 7ff0000000000000
918        fres. 3fe0000000000001 => 3ffff00000000000
919        fres. 3fe00094e0000359 => 3ffff00000000000
920        fres. 8010000000000001 => fff0000000000000
921        fres. 80100094e0000359 => fff0000000000000
922        fres. bfe0000000000001 => bffff00000000000
923        fres. bfe00094e0000359 => bffff00000000000
924        fres. 0000000000000000 => 7ff0000000000000
925        fres. 8000000000000000 => fff0000000000000
926        fres. 7ff0000000000000 => 0000000000000000
927        fres. fff0000000000000 => 8000000000000000
928        fres. 7ff7ffffffffffff => 7ffff00000000000
929        fres. fff7ffffffffffff => fffff00000000000
930        fres. 7ff8000000000000 => 7ff8000000000000
931        fres. fff8000000000000 => fff8000000000000
933     frsqrte. 0010000000000001 => 5fdf000000000000
934     frsqrte. 00100094e0000359 => 5fdf000000000000
935     frsqrte. 3fe0000000000001 => 3ff6000000000000
936     frsqrte. 3fe00094e0000359 => 3ff6000000000000
937     frsqrte. 8010000000000001 => 7ff8000000000000
938     frsqrte. 80100094e0000359 => 7ff8000000000000
939     frsqrte. bfe0000000000001 => 7ff8000000000000
940     frsqrte. bfe00094e0000359 => 7ff8000000000000
941     frsqrte. 0000000000000000 => 7ff0000000000000
942     frsqrte. 8000000000000000 => fff0000000000000
943     frsqrte. 7ff0000000000000 => 0000000000000000
944     frsqrte. fff0000000000000 => 7ff8000000000000
945     frsqrte. 7ff7ffffffffffff => 7fff000000000000
946     frsqrte. fff7ffffffffffff => ffff000000000000
947     frsqrte. 7ff8000000000000 => 7ff8000000000000
948     frsqrte. fff8000000000000 => fff8000000000000
950        frsp. 0010000000000001 => 0000000000000000
951        frsp. 00100094e0000359 => 0000000000000000
952        frsp. 3fe0000000000001 => 3fe0000000000000
953        frsp. 3fe00094e0000359 => 3fe00094e0000000
954        frsp. 8010000000000001 => 8000000000000000
955        frsp. 80100094e0000359 => 8000000000000000
956        frsp. bfe0000000000001 => bfe0000000000000
957        frsp. bfe00094e0000359 => bfe00094e0000000
958        frsp. 0000000000000000 => 0000000000000000
959        frsp. 8000000000000000 => 8000000000000000
960        frsp. 7ff0000000000000 => 7ff0000000000000
961        frsp. fff0000000000000 => fff0000000000000
962        frsp. 7ff7ffffffffffff => 7fffffffe0000000
963        frsp. fff7ffffffffffff => ffffffffe0000000
964        frsp. 7ff8000000000000 => 7ff8000000000000
965        frsp. fff8000000000000 => fff8000000000000
967       fctiw. 0010000000000001 => 0000000000000000
968       fctiw. 00100094e0000359 => 0000000000000000
969       fctiw. 3fe0000000000001 => 0000000000000001
970       fctiw. 3fe00094e0000359 => 0000000000000001
971       fctiw. 8010000000000001 => 0000000000000000
972       fctiw. 80100094e0000359 => 0000000000000000
973       fctiw. bfe0000000000001 => 00000000ffffffff
974       fctiw. bfe00094e0000359 => 00000000ffffffff
975       fctiw. 0000000000000000 => 0000000000000000
976       fctiw. 8000000000000000 => 0000000000000000
977       fctiw. 7ff0000000000000 => 000000007fffffff
978       fctiw. fff0000000000000 => 0000000080000000
979       fctiw. 7ff7ffffffffffff => 0000000080000000
980       fctiw. fff7ffffffffffff => 0000000080000000
981       fctiw. 7ff8000000000000 => 0000000080000000
982       fctiw. fff8000000000000 => 0000000080000000
984      fctiwz. 0010000000000001 => 0000000000000000
985      fctiwz. 00100094e0000359 => 0000000000000000
986      fctiwz. 3fe0000000000001 => 0000000000000000
987      fctiwz. 3fe00094e0000359 => 0000000000000000
988      fctiwz. 8010000000000001 => 0000000000000000
989      fctiwz. 80100094e0000359 => 0000000000000000
990      fctiwz. bfe0000000000001 => 0000000000000000
991      fctiwz. bfe00094e0000359 => 0000000000000000
992      fctiwz. 0000000000000000 => 0000000000000000
993      fctiwz. 8000000000000000 => 0000000000000000
994      fctiwz. 7ff0000000000000 => 000000007fffffff
995      fctiwz. fff0000000000000 => 0000000080000000
996      fctiwz. 7ff7ffffffffffff => 0000000080000000
997      fctiwz. fff7ffffffffffff => 0000000080000000
998      fctiwz. 7ff8000000000000 => 0000000080000000
999      fctiwz. fff8000000000000 => 0000000080000000
1001         fmr. 0010000000000001 => 0010000000000001
1002         fmr. 00100094e0000359 => 00100094e0000359
1003         fmr. 3fe0000000000001 => 3fe0000000000001
1004         fmr. 3fe00094e0000359 => 3fe00094e0000359
1005         fmr. 8010000000000001 => 8010000000000001
1006         fmr. 80100094e0000359 => 80100094e0000359
1007         fmr. bfe0000000000001 => bfe0000000000001
1008         fmr. bfe00094e0000359 => bfe00094e0000359
1009         fmr. 0000000000000000 => 0000000000000000
1010         fmr. 8000000000000000 => 8000000000000000
1011         fmr. 7ff0000000000000 => 7ff0000000000000
1012         fmr. fff0000000000000 => fff0000000000000
1013         fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
1014         fmr. fff7ffffffffffff => fff7ffffffffffff
1015         fmr. 7ff8000000000000 => 7ff8000000000000
1016         fmr. fff8000000000000 => fff8000000000000
1018        fneg. 0010000000000001 => 8010000000000001
1019        fneg. 00100094e0000359 => 80100094e0000359
1020        fneg. 3fe0000000000001 => bfe0000000000001
1021        fneg. 3fe00094e0000359 => bfe00094e0000359
1022        fneg. 8010000000000001 => 0010000000000001
1023        fneg. 80100094e0000359 => 00100094e0000359
1024        fneg. bfe0000000000001 => 3fe0000000000001
1025        fneg. bfe00094e0000359 => 3fe00094e0000359
1026        fneg. 0000000000000000 => 8000000000000000
1027        fneg. 8000000000000000 => 0000000000000000
1028        fneg. 7ff0000000000000 => fff0000000000000
1029        fneg. fff0000000000000 => 7ff0000000000000
1030        fneg. 7ff7ffffffffffff => fff7ffffffffffff
1031        fneg. fff7ffffffffffff => 7ff7ffffffffffff
1032        fneg. 7ff8000000000000 => fff8000000000000
1033        fneg. fff8000000000000 => 7ff8000000000000
1035        fabs. 0010000000000001 => 0010000000000001
1036        fabs. 00100094e0000359 => 00100094e0000359
1037        fabs. 3fe0000000000001 => 3fe0000000000001
1038        fabs. 3fe00094e0000359 => 3fe00094e0000359
1039        fabs. 8010000000000001 => 0010000000000001
1040        fabs. 80100094e0000359 => 00100094e0000359
1041        fabs. bfe0000000000001 => 3fe0000000000001
1042        fabs. bfe00094e0000359 => 3fe00094e0000359
1043        fabs. 0000000000000000 => 0000000000000000
1044        fabs. 8000000000000000 => 0000000000000000
1045        fabs. 7ff0000000000000 => 7ff0000000000000
1046        fabs. fff0000000000000 => 7ff0000000000000
1047        fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
1048        fabs. fff7ffffffffffff => 7ff7ffffffffffff
1049        fabs. 7ff8000000000000 => 7ff8000000000000
1050        fabs. fff8000000000000 => 7ff8000000000000
1052       fnabs. 0010000000000001 => 8010000000000001
1053       fnabs. 00100094e0000359 => 80100094e0000359
1054       fnabs. 3fe0000000000001 => bfe0000000000001
1055       fnabs. 3fe00094e0000359 => bfe00094e0000359
1056       fnabs. 8010000000000001 => 8010000000000001
1057       fnabs. 80100094e0000359 => 80100094e0000359
1058       fnabs. bfe0000000000001 => bfe0000000000001
1059       fnabs. bfe00094e0000359 => bfe00094e0000359
1060       fnabs. 0000000000000000 => 8000000000000000
1061       fnabs. 8000000000000000 => 8000000000000000
1062       fnabs. 7ff0000000000000 => fff0000000000000
1063       fnabs. fff0000000000000 => fff0000000000000
1064       fnabs. 7ff7ffffffffffff => fff7ffffffffffff
1065       fnabs. fff7ffffffffffff => fff7ffffffffffff
1066       fnabs. 7ff8000000000000 => fff8000000000000
1067       fnabs. fff8000000000000 => fff8000000000000
1069       fcfid. 0010000000000001 => 4330000000000001
1070       fcfid. 00100094e0000359 => 43300094e0000359
1071       fcfid. 3fe0000000000001 => 43cff00000000000
1072       fcfid. 3fe00094e0000359 => 43cff0004a700002
1073       fcfid. 8010000000000001 => c3dffc0000000000
1074       fcfid. 80100094e0000359 => c3dffbffdac7ffff
1075       fcfid. bfe0000000000001 => c3d0080000000000
1076       fcfid. bfe00094e0000359 => c3d007ffdac7ffff
1077       fcfid. 0000000000000000 => 0000000000000000
1078       fcfid. 8000000000000000 => c3e0000000000000
1079       fcfid. 7ff0000000000000 => 43dffc0000000000
1080       fcfid. fff0000000000000 => c330000000000000
1081       fcfid. 7ff7ffffffffffff => 43dffe0000000000
1082       fcfid. fff7ffffffffffff => c320000000000002
1083       fcfid. 7ff8000000000000 => 43dffe0000000000
1084       fcfid. fff8000000000000 => c320000000000000
1086       fctid. 0010000000000001 => 0000000000000000
1087       fctid. 00100094e0000359 => 0000000000000000
1088       fctid. 3fe0000000000001 => 0000000000000001
1089       fctid. 3fe00094e0000359 => 0000000000000001
1090       fctid. 8010000000000001 => 0000000000000000
1091       fctid. 80100094e0000359 => 0000000000000000
1092       fctid. bfe0000000000001 => ffffffffffffffff
1093       fctid. bfe00094e0000359 => ffffffffffffffff
1094       fctid. 0000000000000000 => 0000000000000000
1095       fctid. 8000000000000000 => 0000000000000000
1096       fctid. 7ff0000000000000 => 7fffffffffffffff
1097       fctid. fff0000000000000 => 8000000000000000
1098       fctid. 7ff7ffffffffffff => 8000000000000000
1099       fctid. fff7ffffffffffff => 8000000000000000
1100       fctid. 7ff8000000000000 => 8000000000000000
1101       fctid. fff8000000000000 => 8000000000000000
1103      fctidz. 0010000000000001 => 0000000000000000
1104      fctidz. 00100094e0000359 => 0000000000000000
1105      fctidz. 3fe0000000000001 => 0000000000000000
1106      fctidz. 3fe00094e0000359 => 0000000000000000
1107      fctidz. 8010000000000001 => 0000000000000000
1108      fctidz. 80100094e0000359 => 0000000000000000
1109      fctidz. bfe0000000000001 => 0000000000000000
1110      fctidz. bfe00094e0000359 => 0000000000000000
1111      fctidz. 0000000000000000 => 0000000000000000
1112      fctidz. 8000000000000000 => 0000000000000000
1113      fctidz. 7ff0000000000000 => 7fffffffffffffff
1114      fctidz. fff0000000000000 => 8000000000000000
1115      fctidz. 7ff7ffffffffffff => 8000000000000000
1116      fctidz. fff7ffffffffffff => 8000000000000000
1117      fctidz. 7ff8000000000000 => 8000000000000000
1118      fctidz. fff8000000000000 => 8000000000000000
1120 PPC floating point status register manipulation insns:
1121 PPC floating point status register manipulation insns
1122   with flags update:
1123 PPC float load insns
1124     with one register + one 16 bits immediate args with flags update:
1125          lfs 0010000000000001, 65416 => 36a0000000000000,    0
1126          lfs 00100094e0000359, 65424 => c400006b20000000,    0
1127          lfs 3fe0000000000001, 65432 => 36a0000000000000,    0
1128          lfs 3fe00094e0000359, 65440 => c400006b20000000,    0
1129          lfs 8010000000000001, 65448 => 36a0000000000000,    0
1130          lfs 80100094e0000359, 65456 => c400006b20000000,    0
1131          lfs bfe0000000000001, 65464 => 36a0000000000000,    0
1132          lfs bfe00094e0000359, 65472 => c400006b20000000,    0
1133          lfs 0000000000000000, 65480 => 0000000000000000,    0
1134          lfs 8000000000000000, 65488 => 0000000000000000,    0
1135          lfs 7ff0000000000000, 65496 => 0000000000000000,    0
1136          lfs fff0000000000000, 65504 => 0000000000000000,    0
1137          lfs 7ff7ffffffffffff, 65512 => ffffffffe0000000,    0
1138          lfs fff7ffffffffffff, 65520 => ffffffffe0000000,    0
1139          lfs 7ff8000000000000, 65528 => 0000000000000000,    0
1140          lfs 0010000000000001,    0 => 36a0000000000000,    0
1141          lfs 00100094e0000359,    8 => c400006b20000000,    0
1142          lfs 3fe0000000000001,   16 => 36a0000000000000,    0
1143          lfs 3fe00094e0000359,   24 => c400006b20000000,    0
1144          lfs 8010000000000001,   32 => 36a0000000000000,    0
1145          lfs 80100094e0000359,   40 => c400006b20000000,    0
1146          lfs bfe0000000000001,   48 => 36a0000000000000,    0
1147          lfs bfe00094e0000359,   56 => c400006b20000000,    0
1148          lfs 0000000000000000,   64 => 0000000000000000,    0
1149          lfs 8000000000000000,   72 => 0000000000000000,    0
1150          lfs 7ff0000000000000,   80 => 0000000000000000,    0
1151          lfs fff0000000000000,   88 => 0000000000000000,    0
1152          lfs 7ff7ffffffffffff,   96 => ffffffffe0000000,    0
1153          lfs fff7ffffffffffff,  104 => ffffffffe0000000,    0
1154          lfs 7ff8000000000000,  112 => 0000000000000000,    0
1155          lfs fff8000000000000,  120 => 0000000000000000,    0
1157         lfsu 0010000000000001, 65416 => 36a0000000000000, -120
1158         lfsu 00100094e0000359, 65424 => c400006b20000000, -112
1159         lfsu 3fe0000000000001, 65432 => 36a0000000000000, -104
1160         lfsu 3fe00094e0000359, 65440 => c400006b20000000,  -96
1161         lfsu 8010000000000001, 65448 => 36a0000000000000,  -88
1162         lfsu 80100094e0000359, 65456 => c400006b20000000,  -80
1163         lfsu bfe0000000000001, 65464 => 36a0000000000000,  -72
1164         lfsu bfe00094e0000359, 65472 => c400006b20000000,  -64
1165         lfsu 0000000000000000, 65480 => 0000000000000000,  -56
1166         lfsu 8000000000000000, 65488 => 0000000000000000,  -48
1167         lfsu 7ff0000000000000, 65496 => 0000000000000000,  -40
1168         lfsu fff0000000000000, 65504 => 0000000000000000,  -32
1169         lfsu 7ff7ffffffffffff, 65512 => ffffffffe0000000,  -24
1170         lfsu fff7ffffffffffff, 65520 => ffffffffe0000000,  -16
1171         lfsu 7ff8000000000000, 65528 => 0000000000000000,   -8
1172         lfsu 0010000000000001,    0 => 36a0000000000000,    0
1173         lfsu 00100094e0000359,    8 => c400006b20000000,    8
1174         lfsu 3fe0000000000001,   16 => 36a0000000000000,   16
1175         lfsu 3fe00094e0000359,   24 => c400006b20000000,   24
1176         lfsu 8010000000000001,   32 => 36a0000000000000,   32
1177         lfsu 80100094e0000359,   40 => c400006b20000000,   40
1178         lfsu bfe0000000000001,   48 => 36a0000000000000,   48
1179         lfsu bfe00094e0000359,   56 => c400006b20000000,   56
1180         lfsu 0000000000000000,   64 => 0000000000000000,   64
1181         lfsu 8000000000000000,   72 => 0000000000000000,   72
1182         lfsu 7ff0000000000000,   80 => 0000000000000000,   80
1183         lfsu fff0000000000000,   88 => 0000000000000000,   88
1184         lfsu 7ff7ffffffffffff,   96 => ffffffffe0000000,   96
1185         lfsu fff7ffffffffffff,  104 => ffffffffe0000000,  104
1186         lfsu 7ff8000000000000,  112 => 0000000000000000,  112
1187         lfsu fff8000000000000,  120 => 0000000000000000,  120
1189          lfd 0010000000000001, 65416 => 0010000000000001,    0
1190          lfd 00100094e0000359, 65424 => 00100094e0000359,    0
1191          lfd 3fe0000000000001, 65432 => 3fe0000000000001,    0
1192          lfd 3fe00094e0000359, 65440 => 3fe00094e0000359,    0
1193          lfd 8010000000000001, 65448 => 8010000000000001,    0
1194          lfd 80100094e0000359, 65456 => 80100094e0000359,    0
1195          lfd bfe0000000000001, 65464 => bfe0000000000001,    0
1196          lfd bfe00094e0000359, 65472 => bfe00094e0000359,    0
1197          lfd 0000000000000000, 65480 => 0000000000000000,    0
1198          lfd 8000000000000000, 65488 => 8000000000000000,    0
1199          lfd 7ff0000000000000, 65496 => 7ff0000000000000,    0
1200          lfd fff0000000000000, 65504 => fff0000000000000,    0
1201          lfd 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,    0
1202          lfd fff7ffffffffffff, 65520 => fff7ffffffffffff,    0
1203          lfd 7ff8000000000000, 65528 => 7ff8000000000000,    0
1204          lfd 0010000000000001,    0 => 0010000000000001,    0
1205          lfd 00100094e0000359,    8 => 00100094e0000359,    0
1206          lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1207          lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1208          lfd 8010000000000001,   32 => 8010000000000001,    0
1209          lfd 80100094e0000359,   40 => 80100094e0000359,    0
1210          lfd bfe0000000000001,   48 => bfe0000000000001,    0
1211          lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1212          lfd 0000000000000000,   64 => 0000000000000000,    0
1213          lfd 8000000000000000,   72 => 8000000000000000,    0
1214          lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1215          lfd fff0000000000000,   88 => fff0000000000000,    0
1216          lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1217          lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1218          lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1219          lfd fff8000000000000,  120 => fff8000000000000,    0
1221         lfdu 0010000000000001, 65416 => 0010000000000001, -120
1222         lfdu 00100094e0000359, 65424 => 00100094e0000359, -112
1223         lfdu 3fe0000000000001, 65432 => 3fe0000000000001, -104
1224         lfdu 3fe00094e0000359, 65440 => 3fe00094e0000359,  -96
1225         lfdu 8010000000000001, 65448 => 8010000000000001,  -88
1226         lfdu 80100094e0000359, 65456 => 80100094e0000359,  -80
1227         lfdu bfe0000000000001, 65464 => bfe0000000000001,  -72
1228         lfdu bfe00094e0000359, 65472 => bfe00094e0000359,  -64
1229         lfdu 0000000000000000, 65480 => 0000000000000000,  -56
1230         lfdu 8000000000000000, 65488 => 8000000000000000,  -48
1231         lfdu 7ff0000000000000, 65496 => 7ff0000000000000,  -40
1232         lfdu fff0000000000000, 65504 => fff0000000000000,  -32
1233         lfdu 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,  -24
1234         lfdu fff7ffffffffffff, 65520 => fff7ffffffffffff,  -16
1235         lfdu 7ff8000000000000, 65528 => 7ff8000000000000,   -8
1236         lfdu 0010000000000001,    0 => 0010000000000001,    0
1237         lfdu 00100094e0000359,    8 => 00100094e0000359,    8
1238         lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1239         lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1240         lfdu 8010000000000001,   32 => 8010000000000001,   32
1241         lfdu 80100094e0000359,   40 => 80100094e0000359,   40
1242         lfdu bfe0000000000001,   48 => bfe0000000000001,   48
1243         lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1244         lfdu 0000000000000000,   64 => 0000000000000000,   64
1245         lfdu 8000000000000000,   72 => 8000000000000000,   72
1246         lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1247         lfdu fff0000000000000,   88 => fff0000000000000,   88
1248         lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1249         lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1250         lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1251         lfdu fff8000000000000,  120 => fff8000000000000,  120
1253 PPC float load insns with two register args:
1254         lfsx 0010000000000001, -120 => 36a0000000000000,    0
1255         lfsx 00100094e0000359, -112 => c400006b20000000,    0
1256         lfsx 3fe0000000000001, -104 => 36a0000000000000,    0
1257         lfsx 3fe00094e0000359,  -96 => c400006b20000000,    0
1258         lfsx 8010000000000001,  -88 => 36a0000000000000,    0
1259         lfsx 80100094e0000359,  -80 => c400006b20000000,    0
1260         lfsx bfe0000000000001,  -72 => 36a0000000000000,    0
1261         lfsx bfe00094e0000359,  -64 => c400006b20000000,    0
1262         lfsx 0000000000000000,  -56 => 0000000000000000,    0
1263         lfsx 8000000000000000,  -48 => 0000000000000000,    0
1264         lfsx 7ff0000000000000,  -40 => 0000000000000000,    0
1265         lfsx fff0000000000000,  -32 => 0000000000000000,    0
1266         lfsx 7ff7ffffffffffff,  -24 => ffffffffe0000000,    0
1267         lfsx fff7ffffffffffff,  -16 => ffffffffe0000000,    0
1268         lfsx 7ff8000000000000,   -8 => 0000000000000000,    0
1269         lfsx 0010000000000001,    0 => 36a0000000000000,    0
1270         lfsx 00100094e0000359,    8 => c400006b20000000,    0
1271         lfsx 3fe0000000000001,   16 => 36a0000000000000,    0
1272         lfsx 3fe00094e0000359,   24 => c400006b20000000,    0
1273         lfsx 8010000000000001,   32 => 36a0000000000000,    0
1274         lfsx 80100094e0000359,   40 => c400006b20000000,    0
1275         lfsx bfe0000000000001,   48 => 36a0000000000000,    0
1276         lfsx bfe00094e0000359,   56 => c400006b20000000,    0
1277         lfsx 0000000000000000,   64 => 0000000000000000,    0
1278         lfsx 8000000000000000,   72 => 0000000000000000,    0
1279         lfsx 7ff0000000000000,   80 => 0000000000000000,    0
1280         lfsx fff0000000000000,   88 => 0000000000000000,    0
1281         lfsx 7ff7ffffffffffff,   96 => ffffffffe0000000,    0
1282         lfsx fff7ffffffffffff,  104 => ffffffffe0000000,    0
1283         lfsx 7ff8000000000000,  112 => 0000000000000000,    0
1284         lfsx fff8000000000000,  120 => 0000000000000000,    0
1286        lfsux 0010000000000001, -120 => 36a0000000000000, -120
1287        lfsux 00100094e0000359, -112 => c400006b20000000, -112
1288        lfsux 3fe0000000000001, -104 => 36a0000000000000, -104
1289        lfsux 3fe00094e0000359,  -96 => c400006b20000000,  -96
1290        lfsux 8010000000000001,  -88 => 36a0000000000000,  -88
1291        lfsux 80100094e0000359,  -80 => c400006b20000000,  -80
1292        lfsux bfe0000000000001,  -72 => 36a0000000000000,  -72
1293        lfsux bfe00094e0000359,  -64 => c400006b20000000,  -64
1294        lfsux 0000000000000000,  -56 => 0000000000000000,  -56
1295        lfsux 8000000000000000,  -48 => 0000000000000000,  -48
1296        lfsux 7ff0000000000000,  -40 => 0000000000000000,  -40
1297        lfsux fff0000000000000,  -32 => 0000000000000000,  -32
1298        lfsux 7ff7ffffffffffff,  -24 => ffffffffe0000000,  -24
1299        lfsux fff7ffffffffffff,  -16 => ffffffffe0000000,  -16
1300        lfsux 7ff8000000000000,   -8 => 0000000000000000,   -8
1301        lfsux 0010000000000001,    0 => 36a0000000000000,    0
1302        lfsux 00100094e0000359,    8 => c400006b20000000,    8
1303        lfsux 3fe0000000000001,   16 => 36a0000000000000,   16
1304        lfsux 3fe00094e0000359,   24 => c400006b20000000,   24
1305        lfsux 8010000000000001,   32 => 36a0000000000000,   32
1306        lfsux 80100094e0000359,   40 => c400006b20000000,   40
1307        lfsux bfe0000000000001,   48 => 36a0000000000000,   48
1308        lfsux bfe00094e0000359,   56 => c400006b20000000,   56
1309        lfsux 0000000000000000,   64 => 0000000000000000,   64
1310        lfsux 8000000000000000,   72 => 0000000000000000,   72
1311        lfsux 7ff0000000000000,   80 => 0000000000000000,   80
1312        lfsux fff0000000000000,   88 => 0000000000000000,   88
1313        lfsux 7ff7ffffffffffff,   96 => ffffffffe0000000,   96
1314        lfsux fff7ffffffffffff,  104 => ffffffffe0000000,  104
1315        lfsux 7ff8000000000000,  112 => 0000000000000000,  112
1316        lfsux fff8000000000000,  120 => 0000000000000000,  120
1318         lfdx 0010000000000001, -120 => 0010000000000001,    0
1319         lfdx 00100094e0000359, -112 => 00100094e0000359,    0
1320         lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
1321         lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1322         lfdx 8010000000000001,  -88 => 8010000000000001,    0
1323         lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
1324         lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
1325         lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
1326         lfdx 0000000000000000,  -56 => 0000000000000000,    0
1327         lfdx 8000000000000000,  -48 => 8000000000000000,    0
1328         lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
1329         lfdx fff0000000000000,  -32 => fff0000000000000,    0
1330         lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1331         lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1332         lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
1333         lfdx 0010000000000001,    0 => 0010000000000001,    0
1334         lfdx 00100094e0000359,    8 => 00100094e0000359,    0
1335         lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1336         lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1337         lfdx 8010000000000001,   32 => 8010000000000001,    0
1338         lfdx 80100094e0000359,   40 => 80100094e0000359,    0
1339         lfdx bfe0000000000001,   48 => bfe0000000000001,    0
1340         lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1341         lfdx 0000000000000000,   64 => 0000000000000000,    0
1342         lfdx 8000000000000000,   72 => 8000000000000000,    0
1343         lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1344         lfdx fff0000000000000,   88 => fff0000000000000,    0
1345         lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1346         lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1347         lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1348         lfdx fff8000000000000,  120 => fff8000000000000,    0
1350        lfdux 0010000000000001, -120 => 0010000000000001, -120
1351        lfdux 00100094e0000359, -112 => 00100094e0000359, -112
1352        lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
1353        lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1354        lfdux 8010000000000001,  -88 => 8010000000000001,  -88
1355        lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
1356        lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
1357        lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1358        lfdux 0000000000000000,  -56 => 0000000000000000,  -56
1359        lfdux 8000000000000000,  -48 => 8000000000000000,  -48
1360        lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1361        lfdux fff0000000000000,  -32 => fff0000000000000,  -32
1362        lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1363        lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1364        lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1365        lfdux 0010000000000001,    0 => 0010000000000001,    0
1366        lfdux 00100094e0000359,    8 => 00100094e0000359,    8
1367        lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1368        lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1369        lfdux 8010000000000001,   32 => 8010000000000001,   32
1370        lfdux 80100094e0000359,   40 => 80100094e0000359,   40
1371        lfdux bfe0000000000001,   48 => bfe0000000000001,   48
1372        lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1373        lfdux 0000000000000000,   64 => 0000000000000000,   64
1374        lfdux 8000000000000000,   72 => 8000000000000000,   72
1375        lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1376        lfdux fff0000000000000,   88 => fff0000000000000,   88
1377        lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1378        lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1379        lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1380        lfdux fff8000000000000,  120 => fff8000000000000,  120
1382 PPC float store insns
1383     with one register + one 16 bits immediate args with flags update:
1384          stfs 0010000000000001,  -56 => 0000000000000000,    0
1385          stfs 00100094e0000359,  -48 => 0000000000000000,    0
1386          stfs 3fe0000000000001,  -40 => 000000003f000000,    0
1387          stfs 3fe00094e0000359,  -32 => 000000003f0004a7,    0
1388          stfs 8010000000000001,  -24 => 0000000080000000,    0
1389          stfs 80100094e0000359,  -16 => 0000000080000000,    0
1390          stfs bfe0000000000001,   -8 => 00000000bf000000,    0
1391          stfs 0010000000000001,    0 => 0000000000000000,    0
1392          stfs 00100094e0000359,    8 => 0000000000000000,    0
1393          stfs 3fe0000000000001,   16 => 000000003f000000,    0
1394          stfs 3fe00094e0000359,   24 => 000000003f0004a7,    0
1395          stfs 8010000000000001,   32 => 0000000080000000,    0
1396          stfs 80100094e0000359,   40 => 0000000080000000,    0
1397          stfs bfe0000000000001,   48 => 00000000bf000000,    0
1398          stfs bfe00094e0000359,   56 => 00000000bf0004a7,    0
1400         stfsu 0010000000000001,  -56 => 0000000000000000,  -56
1401         stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
1402         stfsu 3fe0000000000001,  -40 => 000000003f000000,  -40
1403         stfsu 3fe00094e0000359,  -32 => 000000003f0004a7,  -32
1404         stfsu 8010000000000001,  -24 => 0000000080000000,  -24
1405         stfsu 80100094e0000359,  -16 => 0000000080000000,  -16
1406         stfsu bfe0000000000001,   -8 => 00000000bf000000,   -8
1407         stfsu 0010000000000001,    0 => 0000000000000000,    0
1408         stfsu 00100094e0000359,    8 => 0000000000000000,    8
1409         stfsu 3fe0000000000001,   16 => 000000003f000000,   16
1410         stfsu 3fe00094e0000359,   24 => 000000003f0004a7,   24
1411         stfsu 8010000000000001,   32 => 0000000080000000,   32
1412         stfsu 80100094e0000359,   40 => 0000000080000000,   40
1413         stfsu bfe0000000000001,   48 => 00000000bf000000,   48
1414         stfsu bfe00094e0000359,   56 => 00000000bf0004a7,   56
1416          stfd 0010000000000001, -120 => 0010000000000001,    0
1417          stfd 00100094e0000359, -112 => 00100094e0000359,    0
1418          stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
1419          stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1420          stfd 8010000000000001,  -88 => 8010000000000001,    0
1421          stfd 80100094e0000359,  -80 => 80100094e0000359,    0
1422          stfd bfe0000000000001,  -72 => bfe0000000000001,    0
1423          stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
1424          stfd 0000000000000000,  -56 => 0000000000000000,    0
1425          stfd 8000000000000000,  -48 => 8000000000000000,    0
1426          stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
1427          stfd fff0000000000000,  -32 => fff0000000000000,    0
1428          stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1429          stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1430          stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
1431          stfd 0010000000000001,    0 => 0010000000000001,    0
1432          stfd 00100094e0000359,    8 => 00100094e0000359,    0
1433          stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1434          stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1435          stfd 8010000000000001,   32 => 8010000000000001,    0
1436          stfd 80100094e0000359,   40 => 80100094e0000359,    0
1437          stfd bfe0000000000001,   48 => bfe0000000000001,    0
1438          stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1439          stfd 0000000000000000,   64 => 0000000000000000,    0
1440          stfd 8000000000000000,   72 => 8000000000000000,    0
1441          stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1442          stfd fff0000000000000,   88 => fff0000000000000,    0
1443          stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1444          stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1445          stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1446          stfd fff8000000000000,  120 => fff8000000000000,    0
1448         stfdu 0010000000000001, -120 => 0010000000000001, -120
1449         stfdu 00100094e0000359, -112 => 00100094e0000359, -112
1450         stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
1451         stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1452         stfdu 8010000000000001,  -88 => 8010000000000001,  -88
1453         stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
1454         stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
1455         stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1456         stfdu 0000000000000000,  -56 => 0000000000000000,  -56
1457         stfdu 8000000000000000,  -48 => 8000000000000000,  -48
1458         stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1459         stfdu fff0000000000000,  -32 => fff0000000000000,  -32
1460         stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1461         stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1462         stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1463         stfdu 0010000000000001,    0 => 0010000000000001,    0
1464         stfdu 00100094e0000359,    8 => 00100094e0000359,    8
1465         stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1466         stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1467         stfdu 8010000000000001,   32 => 8010000000000001,   32
1468         stfdu 80100094e0000359,   40 => 80100094e0000359,   40
1469         stfdu bfe0000000000001,   48 => bfe0000000000001,   48
1470         stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1471         stfdu 0000000000000000,   64 => 0000000000000000,   64
1472         stfdu 8000000000000000,   72 => 8000000000000000,   72
1473         stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1474         stfdu fff0000000000000,   88 => fff0000000000000,   88
1475         stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1476         stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1477         stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1478         stfdu fff8000000000000,  120 => fff8000000000000,  120
1480 PPC float store insns with three register args:
1481         stfsx 0010000000000001,    0 => 0000000000000000,    0
1482         stfsx 00100094e0000359,    8 => 0000000000000000,    0
1483         stfsx 3fe0000000000001,   16 => 000000003f000000,    0
1484         stfsx 3fe00094e0000359,   24 => 000000003f0004a7,    0
1485         stfsx 8010000000000001,   32 => 0000000080000000,    0
1486         stfsx 80100094e0000359,   40 => 0000000080000000,    0
1487         stfsx bfe0000000000001,   48 => 00000000bf000000,    0
1488         stfsx bfe00094e0000359,   56 => 00000000bf0004a7,    0
1490        stfsux 0010000000000001,    0 => 0000000000000000,    0
1491        stfsux 00100094e0000359,    8 => 0000000000000000,    8
1492        stfsux 3fe0000000000001,   16 => 000000003f000000,   16
1493        stfsux 3fe00094e0000359,   24 => 000000003f0004a7,   24
1494        stfsux 8010000000000001,   32 => 0000000080000000,   32
1495        stfsux 80100094e0000359,   40 => 0000000080000000,   40
1496        stfsux bfe0000000000001,   48 => 00000000bf000000,   48
1497        stfsux bfe00094e0000359,   56 => 00000000bf0004a7,   56
1499         stfdx 0010000000000001,    0 => 0010000000000001,    0
1500         stfdx 00100094e0000359,    8 => 00100094e0000359,    0
1501         stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1502         stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1503         stfdx 8010000000000001,   32 => 8010000000000001,    0
1504         stfdx 80100094e0000359,   40 => 80100094e0000359,    0
1505         stfdx bfe0000000000001,   48 => bfe0000000000001,    0
1506         stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1507         stfdx 0000000000000000,   64 => 0000000000000000,    0
1508         stfdx 8000000000000000,   72 => 8000000000000000,    0
1509         stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1510         stfdx fff0000000000000,   88 => fff0000000000000,    0
1511         stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1512         stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1513         stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1514         stfdx fff8000000000000,  120 => fff8000000000000,    0
1516        stfdux 0010000000000001,    0 => 0010000000000001,    0
1517        stfdux 00100094e0000359,    8 => 00100094e0000359,    8
1518        stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1519        stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1520        stfdux 8010000000000001,   32 => 8010000000000001,   32
1521        stfdux 80100094e0000359,   40 => 80100094e0000359,   40
1522        stfdux bfe0000000000001,   48 => bfe0000000000001,   48
1523        stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1524        stfdux 0000000000000000,   64 => 0000000000000000,   64
1525        stfdux 8000000000000000,   72 => 8000000000000000,   72
1526        stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1527        stfdux fff0000000000000,   88 => fff0000000000000,   88
1528        stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1529        stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1530        stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1531        stfdux fff8000000000000,  120 => fff8000000000000,  120
1533 All done. Tested 77 different instructions