jm-fp.stdout.exp revision 663860b1408516d02ebfcb3a9999a134e6cfb223
1PPC 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
14
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
27
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
40
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
53
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
66
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
79
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
92
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
105
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
118
119PPC 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
133
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
146
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
159
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
172
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
185
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
198
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
211
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
224
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
237
238PPC 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
263
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
288
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
313
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
338
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
363
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
388
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
413
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
438
439PPC 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
465
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
490
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
515
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
540
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
565
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
590
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
615
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
640
641PPC 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
666
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
691
692PPC floating point arith insns with one arg:
693        fres 0010000000000001 => 7ff0000000000000
694        fres 00100094e0000359 => 7ff0000000000000
695        fres 3fe0000000000001 => 4000000000000000
696        fres 3fe00094e0000359 => 3ffff00000000000
697        fres 8010000000000001 => fff0000000000000
698        fres 80100094e0000359 => fff0000000000000
699        fres bfe0000000000001 => c000000000000000
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
709
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
726
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
743
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
760
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
777
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
794
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
811
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
828
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
845
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
862
863PPC floating point arith insns
864    with one arg with flags update:
865       fres. 0010000000000001 => 7ff0000000000000
866       fres. 00100094e0000359 => 7ff0000000000000
867       fres. 3fe0000000000001 => 4000000000000000
868       fres. 3fe00094e0000359 => 3ffff00000000000
869       fres. 8010000000000001 => fff0000000000000
870       fres. 80100094e0000359 => fff0000000000000
871       fres. bfe0000000000001 => c000000000000000
872       fres. bfe00094e0000359 => bffff00000000000
873       fres. 0000000000000000 => 7ff0000000000000
874       fres. 8000000000000000 => fff0000000000000
875       fres. 7ff0000000000000 => 0000000000000000
876       fres. fff0000000000000 => 8000000000000000
877       fres. 7ff7ffffffffffff => 7ffff00000000000
878       fres. fff7ffffffffffff => fffff00000000000
879       fres. 7ff8000000000000 => 7ff8000000000000
880       fres. fff8000000000000 => fff8000000000000
881
882    frsqrte. 0010000000000001 => 5fdf000000000000
883    frsqrte. 00100094e0000359 => 5fdf000000000000
884    frsqrte. 3fe0000000000001 => 3ff6000000000000
885    frsqrte. 3fe00094e0000359 => 3ff6000000000000
886    frsqrte. 8010000000000001 => 7ff8000000000000
887    frsqrte. 80100094e0000359 => 7ff8000000000000
888    frsqrte. bfe0000000000001 => 7ff8000000000000
889    frsqrte. bfe00094e0000359 => 7ff8000000000000
890    frsqrte. 0000000000000000 => 7ff0000000000000
891    frsqrte. 8000000000000000 => fff0000000000000
892    frsqrte. 7ff0000000000000 => 0000000000000000
893    frsqrte. fff0000000000000 => 7ff8000000000000
894    frsqrte. 7ff7ffffffffffff => 7fff000000000000
895    frsqrte. fff7ffffffffffff => ffff000000000000
896    frsqrte. 7ff8000000000000 => 7ff8000000000000
897    frsqrte. fff8000000000000 => fff8000000000000
898
899       frsp. 0010000000000001 => 0000000000000000
900       frsp. 00100094e0000359 => 0000000000000000
901       frsp. 3fe0000000000001 => 3fe0000000000000
902       frsp. 3fe00094e0000359 => 3fe00094e0000000
903       frsp. 8010000000000001 => 8000000000000000
904       frsp. 80100094e0000359 => 8000000000000000
905       frsp. bfe0000000000001 => bfe0000000000000
906       frsp. bfe00094e0000359 => bfe00094e0000000
907       frsp. 0000000000000000 => 0000000000000000
908       frsp. 8000000000000000 => 8000000000000000
909       frsp. 7ff0000000000000 => 7ff0000000000000
910       frsp. fff0000000000000 => fff0000000000000
911       frsp. 7ff7ffffffffffff => 7fffffffe0000000
912       frsp. fff7ffffffffffff => ffffffffe0000000
913       frsp. 7ff8000000000000 => 7ff8000000000000
914       frsp. fff8000000000000 => fff8000000000000
915
916      fctiw. 0010000000000001 => 0000000000000000
917      fctiw. 00100094e0000359 => 0000000000000000
918      fctiw. 3fe0000000000001 => 0000000000000001
919      fctiw. 3fe00094e0000359 => 0000000000000001
920      fctiw. 8010000000000001 => 0000000000000000
921      fctiw. 80100094e0000359 => 0000000000000000
922      fctiw. bfe0000000000001 => 00000000ffffffff
923      fctiw. bfe00094e0000359 => 00000000ffffffff
924      fctiw. 0000000000000000 => 0000000000000000
925      fctiw. 8000000000000000 => 0000000000000000
926      fctiw. 7ff0000000000000 => 000000007fffffff
927      fctiw. fff0000000000000 => 0000000080000000
928      fctiw. 7ff7ffffffffffff => 0000000080000000
929      fctiw. fff7ffffffffffff => 0000000080000000
930      fctiw. 7ff8000000000000 => 0000000080000000
931      fctiw. fff8000000000000 => 0000000080000000
932
933     fctiwz. 0010000000000001 => 0000000000000000
934     fctiwz. 00100094e0000359 => 0000000000000000
935     fctiwz. 3fe0000000000001 => 0000000000000000
936     fctiwz. 3fe00094e0000359 => 0000000000000000
937     fctiwz. 8010000000000001 => 0000000000000000
938     fctiwz. 80100094e0000359 => 0000000000000000
939     fctiwz. bfe0000000000001 => 0000000000000000
940     fctiwz. bfe00094e0000359 => 0000000000000000
941     fctiwz. 0000000000000000 => 0000000000000000
942     fctiwz. 8000000000000000 => 0000000000000000
943     fctiwz. 7ff0000000000000 => 000000007fffffff
944     fctiwz. fff0000000000000 => 0000000080000000
945     fctiwz. 7ff7ffffffffffff => 0000000080000000
946     fctiwz. fff7ffffffffffff => 0000000080000000
947     fctiwz. 7ff8000000000000 => 0000000080000000
948     fctiwz. fff8000000000000 => 0000000080000000
949
950        fmr. 0010000000000001 => 0010000000000001
951        fmr. 00100094e0000359 => 00100094e0000359
952        fmr. 3fe0000000000001 => 3fe0000000000001
953        fmr. 3fe00094e0000359 => 3fe00094e0000359
954        fmr. 8010000000000001 => 8010000000000001
955        fmr. 80100094e0000359 => 80100094e0000359
956        fmr. bfe0000000000001 => bfe0000000000001
957        fmr. bfe00094e0000359 => bfe00094e0000359
958        fmr. 0000000000000000 => 0000000000000000
959        fmr. 8000000000000000 => 8000000000000000
960        fmr. 7ff0000000000000 => 7ff0000000000000
961        fmr. fff0000000000000 => fff0000000000000
962        fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
963        fmr. fff7ffffffffffff => fff7ffffffffffff
964        fmr. 7ff8000000000000 => 7ff8000000000000
965        fmr. fff8000000000000 => fff8000000000000
966
967       fneg. 0010000000000001 => 8010000000000001
968       fneg. 00100094e0000359 => 80100094e0000359
969       fneg. 3fe0000000000001 => bfe0000000000001
970       fneg. 3fe00094e0000359 => bfe00094e0000359
971       fneg. 8010000000000001 => 0010000000000001
972       fneg. 80100094e0000359 => 00100094e0000359
973       fneg. bfe0000000000001 => 3fe0000000000001
974       fneg. bfe00094e0000359 => 3fe00094e0000359
975       fneg. 0000000000000000 => 8000000000000000
976       fneg. 8000000000000000 => 0000000000000000
977       fneg. 7ff0000000000000 => fff0000000000000
978       fneg. fff0000000000000 => 7ff0000000000000
979       fneg. 7ff7ffffffffffff => fff7ffffffffffff
980       fneg. fff7ffffffffffff => 7ff7ffffffffffff
981       fneg. 7ff8000000000000 => fff8000000000000
982       fneg. fff8000000000000 => 7ff8000000000000
983
984       fabs. 0010000000000001 => 0010000000000001
985       fabs. 00100094e0000359 => 00100094e0000359
986       fabs. 3fe0000000000001 => 3fe0000000000001
987       fabs. 3fe00094e0000359 => 3fe00094e0000359
988       fabs. 8010000000000001 => 0010000000000001
989       fabs. 80100094e0000359 => 00100094e0000359
990       fabs. bfe0000000000001 => 3fe0000000000001
991       fabs. bfe00094e0000359 => 3fe00094e0000359
992       fabs. 0000000000000000 => 0000000000000000
993       fabs. 8000000000000000 => 0000000000000000
994       fabs. 7ff0000000000000 => 7ff0000000000000
995       fabs. fff0000000000000 => 7ff0000000000000
996       fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
997       fabs. fff7ffffffffffff => 7ff7ffffffffffff
998       fabs. 7ff8000000000000 => 7ff8000000000000
999       fabs. fff8000000000000 => 7ff8000000000000
1000
1001      fnabs. 0010000000000001 => 8010000000000001
1002      fnabs. 00100094e0000359 => 80100094e0000359
1003      fnabs. 3fe0000000000001 => bfe0000000000001
1004      fnabs. 3fe00094e0000359 => bfe00094e0000359
1005      fnabs. 8010000000000001 => 8010000000000001
1006      fnabs. 80100094e0000359 => 80100094e0000359
1007      fnabs. bfe0000000000001 => bfe0000000000001
1008      fnabs. bfe00094e0000359 => bfe00094e0000359
1009      fnabs. 0000000000000000 => 8000000000000000
1010      fnabs. 8000000000000000 => 8000000000000000
1011      fnabs. 7ff0000000000000 => fff0000000000000
1012      fnabs. fff0000000000000 => fff0000000000000
1013      fnabs. 7ff7ffffffffffff => fff7ffffffffffff
1014      fnabs. fff7ffffffffffff => fff7ffffffffffff
1015      fnabs. 7ff8000000000000 => fff8000000000000
1016      fnabs. fff8000000000000 => fff8000000000000
1017
1018PPC floating point status register manipulation insns:
1019PPC floating point status register manipulation insns
1020  with flags update:
1021PPC float load insns
1022    with one register + one 16 bits immediate args with flags update:
1023         lfs 0010000000000001, -120 => 37e0000000000000,    0
1024         lfs 00100094e0000359, -112 => 37e0009400000000,    0
1025         lfs 3fe0000000000001, -104 => 3ffc000000000000,    0
1026         lfs 3fe00094e0000359,  -96 => 3ffc001280000000,    0
1027         lfs 8010000000000001,  -88 => b7e0000000000000,    0
1028         lfs 80100094e0000359,  -80 => b7e0009400000000,    0
1029         lfs bfe0000000000001,  -72 => bffc000000000000,    0
1030         lfs bfe00094e0000359,  -64 => bffc001280000000,    0
1031         lfs 0000000000000000,  -56 => 0000000000000000,    0
1032         lfs 8000000000000000,  -48 => 8000000000000000,    0
1033         lfs 7ff0000000000000,  -40 => 7ffe000000000000,    0
1034         lfs fff0000000000000,  -32 => fffe000000000000,    0
1035         lfs 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
1036         lfs fff7ffffffffffff,  -16 => fffeffffe0000000,    0
1037         lfs 7ff8000000000000,   -8 => 7fff000000000000,    0
1038         lfs 0010000000000001,    0 => 37e0000000000000,    0
1039         lfs 00100094e0000359,    8 => 37e0009400000000,    0
1040         lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
1041         lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
1042         lfs 8010000000000001,   32 => b7e0000000000000,    0
1043         lfs 80100094e0000359,   40 => b7e0009400000000,    0
1044         lfs bfe0000000000001,   48 => bffc000000000000,    0
1045         lfs bfe00094e0000359,   56 => bffc001280000000,    0
1046         lfs 0000000000000000,   64 => 0000000000000000,    0
1047         lfs 8000000000000000,   72 => 8000000000000000,    0
1048         lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
1049         lfs fff0000000000000,   88 => fffe000000000000,    0
1050         lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
1051         lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
1052         lfs 7ff8000000000000,  112 => 7fff000000000000,    0
1053         lfs fff8000000000000,  120 => ffff000000000000,    0
1054
1055        lfsu 0010000000000001, -120 => 37e0000000000000, -120
1056        lfsu 00100094e0000359, -112 => 37e0009400000000, -112
1057        lfsu 3fe0000000000001, -104 => 3ffc000000000000, -104
1058        lfsu 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
1059        lfsu 8010000000000001,  -88 => b7e0000000000000,  -88
1060        lfsu 80100094e0000359,  -80 => b7e0009400000000,  -80
1061        lfsu bfe0000000000001,  -72 => bffc000000000000,  -72
1062        lfsu bfe00094e0000359,  -64 => bffc001280000000,  -64
1063        lfsu 0000000000000000,  -56 => 0000000000000000,  -56
1064        lfsu 8000000000000000,  -48 => 8000000000000000,  -48
1065        lfsu 7ff0000000000000,  -40 => 7ffe000000000000,  -40
1066        lfsu fff0000000000000,  -32 => fffe000000000000,  -32
1067        lfsu 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
1068        lfsu fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
1069        lfsu 7ff8000000000000,   -8 => 7fff000000000000,   -8
1070        lfsu 0010000000000001,    0 => 37e0000000000000,    0
1071        lfsu 00100094e0000359,    8 => 37e0009400000000,    8
1072        lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
1073        lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
1074        lfsu 8010000000000001,   32 => b7e0000000000000,   32
1075        lfsu 80100094e0000359,   40 => b7e0009400000000,   40
1076        lfsu bfe0000000000001,   48 => bffc000000000000,   48
1077        lfsu bfe00094e0000359,   56 => bffc001280000000,   56
1078        lfsu 0000000000000000,   64 => 0000000000000000,   64
1079        lfsu 8000000000000000,   72 => 8000000000000000,   72
1080        lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
1081        lfsu fff0000000000000,   88 => fffe000000000000,   88
1082        lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
1083        lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
1084        lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
1085        lfsu fff8000000000000,  120 => ffff000000000000,  120
1086
1087         lfd 0010000000000001, -120 => 0010000000000001,    0
1088         lfd 00100094e0000359, -112 => 00100094e0000359,    0
1089         lfd 3fe0000000000001, -104 => 3fe0000000000001,    0
1090         lfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1091         lfd 8010000000000001,  -88 => 8010000000000001,    0
1092         lfd 80100094e0000359,  -80 => 80100094e0000359,    0
1093         lfd bfe0000000000001,  -72 => bfe0000000000001,    0
1094         lfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
1095         lfd 0000000000000000,  -56 => 0000000000000000,    0
1096         lfd 8000000000000000,  -48 => 8000000000000000,    0
1097         lfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
1098         lfd fff0000000000000,  -32 => fff0000000000000,    0
1099         lfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1100         lfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1101         lfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
1102         lfd 0010000000000001,    0 => 0010000000000001,    0
1103         lfd 00100094e0000359,    8 => 00100094e0000359,    0
1104         lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1105         lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1106         lfd 8010000000000001,   32 => 8010000000000001,    0
1107         lfd 80100094e0000359,   40 => 80100094e0000359,    0
1108         lfd bfe0000000000001,   48 => bfe0000000000001,    0
1109         lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1110         lfd 0000000000000000,   64 => 0000000000000000,    0
1111         lfd 8000000000000000,   72 => 8000000000000000,    0
1112         lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1113         lfd fff0000000000000,   88 => fff0000000000000,    0
1114         lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1115         lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1116         lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1117         lfd fff8000000000000,  120 => fff8000000000000,    0
1118
1119        lfdu 0010000000000001, -120 => 0010000000000001, -120
1120        lfdu 00100094e0000359, -112 => 00100094e0000359, -112
1121        lfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
1122        lfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1123        lfdu 8010000000000001,  -88 => 8010000000000001,  -88
1124        lfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
1125        lfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
1126        lfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1127        lfdu 0000000000000000,  -56 => 0000000000000000,  -56
1128        lfdu 8000000000000000,  -48 => 8000000000000000,  -48
1129        lfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1130        lfdu fff0000000000000,  -32 => fff0000000000000,  -32
1131        lfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1132        lfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1133        lfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1134        lfdu 0010000000000001,    0 => 0010000000000001,    0
1135        lfdu 00100094e0000359,    8 => 00100094e0000359,    8
1136        lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1137        lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1138        lfdu 8010000000000001,   32 => 8010000000000001,   32
1139        lfdu 80100094e0000359,   40 => 80100094e0000359,   40
1140        lfdu bfe0000000000001,   48 => bfe0000000000001,   48
1141        lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1142        lfdu 0000000000000000,   64 => 0000000000000000,   64
1143        lfdu 8000000000000000,   72 => 8000000000000000,   72
1144        lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1145        lfdu fff0000000000000,   88 => fff0000000000000,   88
1146        lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1147        lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1148        lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1149        lfdu fff8000000000000,  120 => fff8000000000000,  120
1150
1151PPC float load insns with two register args:
1152        lfsx 0010000000000001, -120 => 37e0000000000000,    0
1153        lfsx 00100094e0000359, -112 => 37e0009400000000,    0
1154        lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
1155        lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
1156        lfsx 8010000000000001,  -88 => b7e0000000000000,    0
1157        lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
1158        lfsx bfe0000000000001,  -72 => bffc000000000000,    0
1159        lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
1160        lfsx 0000000000000000,  -56 => 0000000000000000,    0
1161        lfsx 8000000000000000,  -48 => 8000000000000000,    0
1162        lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
1163        lfsx fff0000000000000,  -32 => fffe000000000000,    0
1164        lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
1165        lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
1166        lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
1167        lfsx 0010000000000001,    0 => 37e0000000000000,    0
1168        lfsx 00100094e0000359,    8 => 37e0009400000000,    0
1169        lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
1170        lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
1171        lfsx 8010000000000001,   32 => b7e0000000000000,    0
1172        lfsx 80100094e0000359,   40 => b7e0009400000000,    0
1173        lfsx bfe0000000000001,   48 => bffc000000000000,    0
1174        lfsx bfe00094e0000359,   56 => bffc001280000000,    0
1175        lfsx 0000000000000000,   64 => 0000000000000000,    0
1176        lfsx 8000000000000000,   72 => 8000000000000000,    0
1177        lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
1178        lfsx fff0000000000000,   88 => fffe000000000000,    0
1179        lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
1180        lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
1181        lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
1182        lfsx fff8000000000000,  120 => ffff000000000000,    0
1183
1184       lfsux 0010000000000001, -120 => 37e0000000000000, -120
1185       lfsux 00100094e0000359, -112 => 37e0009400000000, -112
1186       lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
1187       lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
1188       lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
1189       lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
1190       lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
1191       lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
1192       lfsux 0000000000000000,  -56 => 0000000000000000,  -56
1193       lfsux 8000000000000000,  -48 => 8000000000000000,  -48
1194       lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
1195       lfsux fff0000000000000,  -32 => fffe000000000000,  -32
1196       lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
1197       lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
1198       lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
1199       lfsux 0010000000000001,    0 => 37e0000000000000,    0
1200       lfsux 00100094e0000359,    8 => 37e0009400000000,    8
1201       lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
1202       lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
1203       lfsux 8010000000000001,   32 => b7e0000000000000,   32
1204       lfsux 80100094e0000359,   40 => b7e0009400000000,   40
1205       lfsux bfe0000000000001,   48 => bffc000000000000,   48
1206       lfsux bfe00094e0000359,   56 => bffc001280000000,   56
1207       lfsux 0000000000000000,   64 => 0000000000000000,   64
1208       lfsux 8000000000000000,   72 => 8000000000000000,   72
1209       lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
1210       lfsux fff0000000000000,   88 => fffe000000000000,   88
1211       lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
1212       lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
1213       lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
1214       lfsux fff8000000000000,  120 => ffff000000000000,  120
1215
1216        lfdx 0010000000000001, -120 => 0010000000000001,    0
1217        lfdx 00100094e0000359, -112 => 00100094e0000359,    0
1218        lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
1219        lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1220        lfdx 8010000000000001,  -88 => 8010000000000001,    0
1221        lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
1222        lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
1223        lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
1224        lfdx 0000000000000000,  -56 => 0000000000000000,    0
1225        lfdx 8000000000000000,  -48 => 8000000000000000,    0
1226        lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
1227        lfdx fff0000000000000,  -32 => fff0000000000000,    0
1228        lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1229        lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1230        lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
1231        lfdx 0010000000000001,    0 => 0010000000000001,    0
1232        lfdx 00100094e0000359,    8 => 00100094e0000359,    0
1233        lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1234        lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1235        lfdx 8010000000000001,   32 => 8010000000000001,    0
1236        lfdx 80100094e0000359,   40 => 80100094e0000359,    0
1237        lfdx bfe0000000000001,   48 => bfe0000000000001,    0
1238        lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1239        lfdx 0000000000000000,   64 => 0000000000000000,    0
1240        lfdx 8000000000000000,   72 => 8000000000000000,    0
1241        lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1242        lfdx fff0000000000000,   88 => fff0000000000000,    0
1243        lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1244        lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1245        lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1246        lfdx fff8000000000000,  120 => fff8000000000000,    0
1247
1248       lfdux 0010000000000001, -120 => 0010000000000001, -120
1249       lfdux 00100094e0000359, -112 => 00100094e0000359, -112
1250       lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
1251       lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1252       lfdux 8010000000000001,  -88 => 8010000000000001,  -88
1253       lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
1254       lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
1255       lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1256       lfdux 0000000000000000,  -56 => 0000000000000000,  -56
1257       lfdux 8000000000000000,  -48 => 8000000000000000,  -48
1258       lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1259       lfdux fff0000000000000,  -32 => fff0000000000000,  -32
1260       lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1261       lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1262       lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1263       lfdux 0010000000000001,    0 => 0010000000000001,    0
1264       lfdux 00100094e0000359,    8 => 00100094e0000359,    8
1265       lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1266       lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1267       lfdux 8010000000000001,   32 => 8010000000000001,   32
1268       lfdux 80100094e0000359,   40 => 80100094e0000359,   40
1269       lfdux bfe0000000000001,   48 => bfe0000000000001,   48
1270       lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1271       lfdux 0000000000000000,   64 => 0000000000000000,   64
1272       lfdux 8000000000000000,   72 => 8000000000000000,   72
1273       lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1274       lfdux fff0000000000000,   88 => fff0000000000000,   88
1275       lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1276       lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1277       lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1278       lfdux fff8000000000000,  120 => fff8000000000000,  120
1279
1280PPC float store insns
1281    with one register + one 16 bits immediate args with flags update:
1282         stfs 0010000000000001,  -56 => 0000000000000000,    0
1283         stfs 00100094e0000359,  -48 => 0000000000000000,    0
1284         stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
1285         stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
1286         stfs 8010000000000001,  -24 => 8000000000000000,    0
1287         stfs 80100094e0000359,  -16 => 8000000000000000,    0
1288         stfs bfe0000000000001,   -8 => bf00000000000000,    0
1289         stfs 0010000000000001,    0 => 0000000000000000,    0
1290         stfs 00100094e0000359,    8 => 0000000000000000,    0
1291         stfs 3fe0000000000001,   16 => 3f00000000000000,    0
1292         stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
1293         stfs 8010000000000001,   32 => 8000000000000000,    0
1294         stfs 80100094e0000359,   40 => 8000000000000000,    0
1295         stfs bfe0000000000001,   48 => bf00000000000000,    0
1296         stfs bfe00094e0000359,   56 => bf0004a700000000,    0
1297
1298        stfsu 0010000000000001,  -56 => 0000000000000000,  -56
1299        stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
1300        stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
1301        stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
1302        stfsu 8010000000000001,  -24 => 8000000000000000,  -24
1303        stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
1304        stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
1305        stfsu 0010000000000001,    0 => 0000000000000000,    0
1306        stfsu 00100094e0000359,    8 => 0000000000000000,    8
1307        stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
1308        stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
1309        stfsu 8010000000000001,   32 => 8000000000000000,   32
1310        stfsu 80100094e0000359,   40 => 8000000000000000,   40
1311        stfsu bfe0000000000001,   48 => bf00000000000000,   48
1312        stfsu bfe00094e0000359,   56 => bf0004a700000000,   56
1313
1314         stfd 0010000000000001, -120 => 0010000000000001,    0
1315         stfd 00100094e0000359, -112 => 00100094e0000359,    0
1316         stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
1317         stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1318         stfd 8010000000000001,  -88 => 8010000000000001,    0
1319         stfd 80100094e0000359,  -80 => 80100094e0000359,    0
1320         stfd bfe0000000000001,  -72 => bfe0000000000001,    0
1321         stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
1322         stfd 0000000000000000,  -56 => 0000000000000000,    0
1323         stfd 8000000000000000,  -48 => 8000000000000000,    0
1324         stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
1325         stfd fff0000000000000,  -32 => fff0000000000000,    0
1326         stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1327         stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1328         stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
1329         stfd 0010000000000001,    0 => 0010000000000001,    0
1330         stfd 00100094e0000359,    8 => 00100094e0000359,    0
1331         stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1332         stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1333         stfd 8010000000000001,   32 => 8010000000000001,    0
1334         stfd 80100094e0000359,   40 => 80100094e0000359,    0
1335         stfd bfe0000000000001,   48 => bfe0000000000001,    0
1336         stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1337         stfd 0000000000000000,   64 => 0000000000000000,    0
1338         stfd 8000000000000000,   72 => 8000000000000000,    0
1339         stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1340         stfd fff0000000000000,   88 => fff0000000000000,    0
1341         stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1342         stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1343         stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1344         stfd fff8000000000000,  120 => fff8000000000000,    0
1345
1346        stfdu 0010000000000001, -120 => 0010000000000001, -120
1347        stfdu 00100094e0000359, -112 => 00100094e0000359, -112
1348        stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
1349        stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1350        stfdu 8010000000000001,  -88 => 8010000000000001,  -88
1351        stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
1352        stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
1353        stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1354        stfdu 0000000000000000,  -56 => 0000000000000000,  -56
1355        stfdu 8000000000000000,  -48 => 8000000000000000,  -48
1356        stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1357        stfdu fff0000000000000,  -32 => fff0000000000000,  -32
1358        stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1359        stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1360        stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1361        stfdu 0010000000000001,    0 => 0010000000000001,    0
1362        stfdu 00100094e0000359,    8 => 00100094e0000359,    8
1363        stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1364        stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1365        stfdu 8010000000000001,   32 => 8010000000000001,   32
1366        stfdu 80100094e0000359,   40 => 80100094e0000359,   40
1367        stfdu bfe0000000000001,   48 => bfe0000000000001,   48
1368        stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1369        stfdu 0000000000000000,   64 => 0000000000000000,   64
1370        stfdu 8000000000000000,   72 => 8000000000000000,   72
1371        stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1372        stfdu fff0000000000000,   88 => fff0000000000000,   88
1373        stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1374        stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1375        stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1376        stfdu fff8000000000000,  120 => fff8000000000000,  120
1377
1378PPC float store insns with three register args:
1379        stfsx 0010000000000001,    0 => 0000000000000000,    0
1380        stfsx 00100094e0000359,    8 => 0000000000000000,    0
1381        stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
1382        stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
1383        stfsx 8010000000000001,   32 => 8000000000000000,    0
1384        stfsx 80100094e0000359,   40 => 8000000000000000,    0
1385        stfsx bfe0000000000001,   48 => bf00000000000000,    0
1386        stfsx bfe00094e0000359,   56 => bf0004a700000000,    0
1387
1388       stfsux 0010000000000001,    0 => 0000000000000000,    0
1389       stfsux 00100094e0000359,    8 => 0000000000000000,    8
1390       stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
1391       stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
1392       stfsux 8010000000000001,   32 => 8000000000000000,   32
1393       stfsux 80100094e0000359,   40 => 8000000000000000,   40
1394       stfsux bfe0000000000001,   48 => bf00000000000000,   48
1395       stfsux bfe00094e0000359,   56 => bf0004a700000000,   56
1396
1397        stfdx 0010000000000001,    0 => 0010000000000001,    0
1398        stfdx 00100094e0000359,    8 => 00100094e0000359,    0
1399        stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1400        stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1401        stfdx 8010000000000001,   32 => 8010000000000001,    0
1402        stfdx 80100094e0000359,   40 => 80100094e0000359,    0
1403        stfdx bfe0000000000001,   48 => bfe0000000000001,    0
1404        stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1405        stfdx 0000000000000000,   64 => 0000000000000000,    0
1406        stfdx 8000000000000000,   72 => 8000000000000000,    0
1407        stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1408        stfdx fff0000000000000,   88 => fff0000000000000,    0
1409        stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1410        stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1411        stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1412        stfdx fff8000000000000,  120 => fff8000000000000,    0
1413
1414       stfdux 0010000000000001,    0 => 0010000000000001,    0
1415       stfdux 00100094e0000359,    8 => 00100094e0000359,    8
1416       stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1417       stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1418       stfdux 8010000000000001,   32 => 8010000000000001,   32
1419       stfdux 80100094e0000359,   40 => 80100094e0000359,   40
1420       stfdux bfe0000000000001,   48 => bfe0000000000001,   48
1421       stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1422       stfdux 0000000000000000,   64 => 0000000000000000,   64
1423       stfdux 8000000000000000,   72 => 8000000000000000,   72
1424       stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1425       stfdux fff0000000000000,   88 => fff0000000000000,   88
1426       stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1427       stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1428       stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1429       stfdux fff8000000000000,  120 => fff8000000000000,  120
1430
1431All done. Tested 71 different instructions
1432