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
863       fcfid 0010000000000001 => 4330000000000001
864       fcfid 00100094e0000359 => 43300094e0000359
865       fcfid 3fe0000000000001 => 43cff00000000000
866       fcfid 3fe00094e0000359 => 43cff0004a700002
867       fcfid 8010000000000001 => c3dffc0000000000
868       fcfid 80100094e0000359 => c3dffbffdac7ffff
869       fcfid bfe0000000000001 => c3d0080000000000
870       fcfid bfe00094e0000359 => c3d007ffdac7ffff
871       fcfid 0000000000000000 => 0000000000000000
872       fcfid 8000000000000000 => c3e0000000000000
873       fcfid 7ff0000000000000 => 43dffc0000000000
874       fcfid fff0000000000000 => c330000000000000
875       fcfid 7ff7ffffffffffff => 43dffe0000000000
876       fcfid fff7ffffffffffff => c320000000000002
877       fcfid 7ff8000000000000 => 43dffe0000000000
878       fcfid fff8000000000000 => c320000000000000
879
880       fctid 0010000000000001 => 0000000000000000
881       fctid 00100094e0000359 => 0000000000000000
882       fctid 3fe0000000000001 => 0000000000000001
883       fctid 3fe00094e0000359 => 0000000000000001
884       fctid 8010000000000001 => 0000000000000000
885       fctid 80100094e0000359 => 0000000000000000
886       fctid bfe0000000000001 => ffffffffffffffff
887       fctid bfe00094e0000359 => ffffffffffffffff
888       fctid 0000000000000000 => 0000000000000000
889       fctid 8000000000000000 => 0000000000000000
890       fctid 7ff0000000000000 => 7fffffffffffffff
891       fctid fff0000000000000 => 8000000000000000
892       fctid 7ff7ffffffffffff => 8000000000000000
893       fctid fff7ffffffffffff => 8000000000000000
894       fctid 7ff8000000000000 => 8000000000000000
895       fctid fff8000000000000 => 8000000000000000
896
897      fctidz 0010000000000001 => 0000000000000000
898      fctidz 00100094e0000359 => 0000000000000000
899      fctidz 3fe0000000000001 => 0000000000000000
900      fctidz 3fe00094e0000359 => 0000000000000000
901      fctidz 8010000000000001 => 0000000000000000
902      fctidz 80100094e0000359 => 0000000000000000
903      fctidz bfe0000000000001 => 0000000000000000
904      fctidz bfe00094e0000359 => 0000000000000000
905      fctidz 0000000000000000 => 0000000000000000
906      fctidz 8000000000000000 => 0000000000000000
907      fctidz 7ff0000000000000 => 7fffffffffffffff
908      fctidz fff0000000000000 => 8000000000000000
909      fctidz 7ff7ffffffffffff => 8000000000000000
910      fctidz fff7ffffffffffff => 8000000000000000
911      fctidz 7ff8000000000000 => 8000000000000000
912      fctidz fff8000000000000 => 8000000000000000
913
914PPC floating point arith insns
915    with one arg with flags update:
916       fres. 0010000000000001 => 7ff0000000000000
917       fres. 00100094e0000359 => 7ff0000000000000
918       fres. 3fe0000000000001 => 4000000000000000
919       fres. 3fe00094e0000359 => 3ffff00000000000
920       fres. 8010000000000001 => fff0000000000000
921       fres. 80100094e0000359 => fff0000000000000
922       fres. bfe0000000000001 => c000000000000000
923       fres. bfe00094e0000359 => bffff00000000000
924       fres. 0000000000000000 => 7ff0000000000000
925       fres. 8000000000000000 => fff0000000000000
926       fres. 7ff0000000000000 => 0000000000000000
927       fres. fff0000000000000 => 8000000000000000
928       fres. 7ff7ffffffffffff => 7ffff00000000000
929       fres. fff7ffffffffffff => fffff00000000000
930       fres. 7ff8000000000000 => 7ff8000000000000
931       fres. fff8000000000000 => fff8000000000000
932
933    frsqrte. 0010000000000001 => 5fdf000000000000
934    frsqrte. 00100094e0000359 => 5fdf000000000000
935    frsqrte. 3fe0000000000001 => 3ff6000000000000
936    frsqrte. 3fe00094e0000359 => 3ff6000000000000
937    frsqrte. 8010000000000001 => 7ff8000000000000
938    frsqrte. 80100094e0000359 => 7ff8000000000000
939    frsqrte. bfe0000000000001 => 7ff8000000000000
940    frsqrte. bfe00094e0000359 => 7ff8000000000000
941    frsqrte. 0000000000000000 => 7ff0000000000000
942    frsqrte. 8000000000000000 => fff0000000000000
943    frsqrte. 7ff0000000000000 => 0000000000000000
944    frsqrte. fff0000000000000 => 7ff8000000000000
945    frsqrte. 7ff7ffffffffffff => 7fff000000000000
946    frsqrte. fff7ffffffffffff => ffff000000000000
947    frsqrte. 7ff8000000000000 => 7ff8000000000000
948    frsqrte. fff8000000000000 => fff8000000000000
949
950       frsp. 0010000000000001 => 0000000000000000
951       frsp. 00100094e0000359 => 0000000000000000
952       frsp. 3fe0000000000001 => 3fe0000000000000
953       frsp. 3fe00094e0000359 => 3fe00094e0000000
954       frsp. 8010000000000001 => 8000000000000000
955       frsp. 80100094e0000359 => 8000000000000000
956       frsp. bfe0000000000001 => bfe0000000000000
957       frsp. bfe00094e0000359 => bfe00094e0000000
958       frsp. 0000000000000000 => 0000000000000000
959       frsp. 8000000000000000 => 8000000000000000
960       frsp. 7ff0000000000000 => 7ff0000000000000
961       frsp. fff0000000000000 => fff0000000000000
962       frsp. 7ff7ffffffffffff => 7fffffffe0000000
963       frsp. fff7ffffffffffff => ffffffffe0000000
964       frsp. 7ff8000000000000 => 7ff8000000000000
965       frsp. fff8000000000000 => fff8000000000000
966
967      fctiw. 0010000000000001 => 0000000000000000
968      fctiw. 00100094e0000359 => 0000000000000000
969      fctiw. 3fe0000000000001 => 0000000000000001
970      fctiw. 3fe00094e0000359 => 0000000000000001
971      fctiw. 8010000000000001 => 0000000000000000
972      fctiw. 80100094e0000359 => 0000000000000000
973      fctiw. bfe0000000000001 => 00000000ffffffff
974      fctiw. bfe00094e0000359 => 00000000ffffffff
975      fctiw. 0000000000000000 => 0000000000000000
976      fctiw. 8000000000000000 => 0000000000000000
977      fctiw. 7ff0000000000000 => 000000007fffffff
978      fctiw. fff0000000000000 => 0000000080000000
979      fctiw. 7ff7ffffffffffff => 0000000080000000
980      fctiw. fff7ffffffffffff => 0000000080000000
981      fctiw. 7ff8000000000000 => 0000000080000000
982      fctiw. fff8000000000000 => 0000000080000000
983
984     fctiwz. 0010000000000001 => 0000000000000000
985     fctiwz. 00100094e0000359 => 0000000000000000
986     fctiwz. 3fe0000000000001 => 0000000000000000
987     fctiwz. 3fe00094e0000359 => 0000000000000000
988     fctiwz. 8010000000000001 => 0000000000000000
989     fctiwz. 80100094e0000359 => 0000000000000000
990     fctiwz. bfe0000000000001 => 0000000000000000
991     fctiwz. bfe00094e0000359 => 0000000000000000
992     fctiwz. 0000000000000000 => 0000000000000000
993     fctiwz. 8000000000000000 => 0000000000000000
994     fctiwz. 7ff0000000000000 => 000000007fffffff
995     fctiwz. fff0000000000000 => 0000000080000000
996     fctiwz. 7ff7ffffffffffff => 0000000080000000
997     fctiwz. fff7ffffffffffff => 0000000080000000
998     fctiwz. 7ff8000000000000 => 0000000080000000
999     fctiwz. fff8000000000000 => 0000000080000000
1000
1001        fmr. 0010000000000001 => 0010000000000001
1002        fmr. 00100094e0000359 => 00100094e0000359
1003        fmr. 3fe0000000000001 => 3fe0000000000001
1004        fmr. 3fe00094e0000359 => 3fe00094e0000359
1005        fmr. 8010000000000001 => 8010000000000001
1006        fmr. 80100094e0000359 => 80100094e0000359
1007        fmr. bfe0000000000001 => bfe0000000000001
1008        fmr. bfe00094e0000359 => bfe00094e0000359
1009        fmr. 0000000000000000 => 0000000000000000
1010        fmr. 8000000000000000 => 8000000000000000
1011        fmr. 7ff0000000000000 => 7ff0000000000000
1012        fmr. fff0000000000000 => fff0000000000000
1013        fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
1014        fmr. fff7ffffffffffff => fff7ffffffffffff
1015        fmr. 7ff8000000000000 => 7ff8000000000000
1016        fmr. fff8000000000000 => fff8000000000000
1017
1018       fneg. 0010000000000001 => 8010000000000001
1019       fneg. 00100094e0000359 => 80100094e0000359
1020       fneg. 3fe0000000000001 => bfe0000000000001
1021       fneg. 3fe00094e0000359 => bfe00094e0000359
1022       fneg. 8010000000000001 => 0010000000000001
1023       fneg. 80100094e0000359 => 00100094e0000359
1024       fneg. bfe0000000000001 => 3fe0000000000001
1025       fneg. bfe00094e0000359 => 3fe00094e0000359
1026       fneg. 0000000000000000 => 8000000000000000
1027       fneg. 8000000000000000 => 0000000000000000
1028       fneg. 7ff0000000000000 => fff0000000000000
1029       fneg. fff0000000000000 => 7ff0000000000000
1030       fneg. 7ff7ffffffffffff => fff7ffffffffffff
1031       fneg. fff7ffffffffffff => 7ff7ffffffffffff
1032       fneg. 7ff8000000000000 => fff8000000000000
1033       fneg. fff8000000000000 => 7ff8000000000000
1034
1035       fabs. 0010000000000001 => 0010000000000001
1036       fabs. 00100094e0000359 => 00100094e0000359
1037       fabs. 3fe0000000000001 => 3fe0000000000001
1038       fabs. 3fe00094e0000359 => 3fe00094e0000359
1039       fabs. 8010000000000001 => 0010000000000001
1040       fabs. 80100094e0000359 => 00100094e0000359
1041       fabs. bfe0000000000001 => 3fe0000000000001
1042       fabs. bfe00094e0000359 => 3fe00094e0000359
1043       fabs. 0000000000000000 => 0000000000000000
1044       fabs. 8000000000000000 => 0000000000000000
1045       fabs. 7ff0000000000000 => 7ff0000000000000
1046       fabs. fff0000000000000 => 7ff0000000000000
1047       fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
1048       fabs. fff7ffffffffffff => 7ff7ffffffffffff
1049       fabs. 7ff8000000000000 => 7ff8000000000000
1050       fabs. fff8000000000000 => 7ff8000000000000
1051
1052      fnabs. 0010000000000001 => 8010000000000001
1053      fnabs. 00100094e0000359 => 80100094e0000359
1054      fnabs. 3fe0000000000001 => bfe0000000000001
1055      fnabs. 3fe00094e0000359 => bfe00094e0000359
1056      fnabs. 8010000000000001 => 8010000000000001
1057      fnabs. 80100094e0000359 => 80100094e0000359
1058      fnabs. bfe0000000000001 => bfe0000000000001
1059      fnabs. bfe00094e0000359 => bfe00094e0000359
1060      fnabs. 0000000000000000 => 8000000000000000
1061      fnabs. 8000000000000000 => 8000000000000000
1062      fnabs. 7ff0000000000000 => fff0000000000000
1063      fnabs. fff0000000000000 => fff0000000000000
1064      fnabs. 7ff7ffffffffffff => fff7ffffffffffff
1065      fnabs. fff7ffffffffffff => fff7ffffffffffff
1066      fnabs. 7ff8000000000000 => fff8000000000000
1067      fnabs. fff8000000000000 => fff8000000000000
1068
1069      fcfid. 0010000000000001 => 4330000000000001
1070      fcfid. 00100094e0000359 => 43300094e0000359
1071      fcfid. 3fe0000000000001 => 43cff00000000000
1072      fcfid. 3fe00094e0000359 => 43cff0004a700002
1073      fcfid. 8010000000000001 => c3dffc0000000000
1074      fcfid. 80100094e0000359 => c3dffbffdac7ffff
1075      fcfid. bfe0000000000001 => c3d0080000000000
1076      fcfid. bfe00094e0000359 => c3d007ffdac7ffff
1077      fcfid. 0000000000000000 => 0000000000000000
1078      fcfid. 8000000000000000 => c3e0000000000000
1079      fcfid. 7ff0000000000000 => 43dffc0000000000
1080      fcfid. fff0000000000000 => c330000000000000
1081      fcfid. 7ff7ffffffffffff => 43dffe0000000000
1082      fcfid. fff7ffffffffffff => c320000000000002
1083      fcfid. 7ff8000000000000 => 43dffe0000000000
1084      fcfid. fff8000000000000 => c320000000000000
1085
1086      fctid. 0010000000000001 => 0000000000000000
1087      fctid. 00100094e0000359 => 0000000000000000
1088      fctid. 3fe0000000000001 => 0000000000000001
1089      fctid. 3fe00094e0000359 => 0000000000000001
1090      fctid. 8010000000000001 => 0000000000000000
1091      fctid. 80100094e0000359 => 0000000000000000
1092      fctid. bfe0000000000001 => ffffffffffffffff
1093      fctid. bfe00094e0000359 => ffffffffffffffff
1094      fctid. 0000000000000000 => 0000000000000000
1095      fctid. 8000000000000000 => 0000000000000000
1096      fctid. 7ff0000000000000 => 7fffffffffffffff
1097      fctid. fff0000000000000 => 8000000000000000
1098      fctid. 7ff7ffffffffffff => 8000000000000000
1099      fctid. fff7ffffffffffff => 8000000000000000
1100      fctid. 7ff8000000000000 => 8000000000000000
1101      fctid. fff8000000000000 => 8000000000000000
1102
1103     fctidz. 0010000000000001 => 0000000000000000
1104     fctidz. 00100094e0000359 => 0000000000000000
1105     fctidz. 3fe0000000000001 => 0000000000000000
1106     fctidz. 3fe00094e0000359 => 0000000000000000
1107     fctidz. 8010000000000001 => 0000000000000000
1108     fctidz. 80100094e0000359 => 0000000000000000
1109     fctidz. bfe0000000000001 => 0000000000000000
1110     fctidz. bfe00094e0000359 => 0000000000000000
1111     fctidz. 0000000000000000 => 0000000000000000
1112     fctidz. 8000000000000000 => 0000000000000000
1113     fctidz. 7ff0000000000000 => 7fffffffffffffff
1114     fctidz. fff0000000000000 => 8000000000000000
1115     fctidz. 7ff7ffffffffffff => 8000000000000000
1116     fctidz. fff7ffffffffffff => 8000000000000000
1117     fctidz. 7ff8000000000000 => 8000000000000000
1118     fctidz. fff8000000000000 => 8000000000000000
1119
1120PPC floating point status register manipulation insns:
1121PPC floating point status register manipulation insns
1122  with flags update:
1123PPC float load insns
1124    with one register + one 16 bits immediate args with flags update:
1125         lfs 0010000000000001, 65416 => 37e0000000000000,    0
1126         lfs 00100094e0000359, 65424 => 37e0009400000000,    0
1127         lfs 3fe0000000000001, 65432 => 3ffc000000000000,    0
1128         lfs 3fe00094e0000359, 65440 => 3ffc001280000000,    0
1129         lfs 8010000000000001, 65448 => b7e0000000000000,    0
1130         lfs 80100094e0000359, 65456 => b7e0009400000000,    0
1131         lfs bfe0000000000001, 65464 => bffc000000000000,    0
1132         lfs bfe00094e0000359, 65472 => bffc001280000000,    0
1133         lfs 0000000000000000, 65480 => 0000000000000000,    0
1134         lfs 8000000000000000, 65488 => 8000000000000000,    0
1135         lfs 7ff0000000000000, 65496 => 7ffe000000000000,    0
1136         lfs fff0000000000000, 65504 => fffe000000000000,    0
1137         lfs 7ff7ffffffffffff, 65512 => 7ffeffffe0000000,    0
1138         lfs fff7ffffffffffff, 65520 => fffeffffe0000000,    0
1139         lfs 7ff8000000000000, 65528 => 7fff000000000000,    0
1140         lfs 0010000000000001,    0 => 37e0000000000000,    0
1141         lfs 00100094e0000359,    8 => 37e0009400000000,    0
1142         lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
1143         lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
1144         lfs 8010000000000001,   32 => b7e0000000000000,    0
1145         lfs 80100094e0000359,   40 => b7e0009400000000,    0
1146         lfs bfe0000000000001,   48 => bffc000000000000,    0
1147         lfs bfe00094e0000359,   56 => bffc001280000000,    0
1148         lfs 0000000000000000,   64 => 0000000000000000,    0
1149         lfs 8000000000000000,   72 => 8000000000000000,    0
1150         lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
1151         lfs fff0000000000000,   88 => fffe000000000000,    0
1152         lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
1153         lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
1154         lfs 7ff8000000000000,  112 => 7fff000000000000,    0
1155         lfs fff8000000000000,  120 => ffff000000000000,    0
1156
1157        lfsu 0010000000000001, 65416 => 37e0000000000000, -120
1158        lfsu 00100094e0000359, 65424 => 37e0009400000000, -112
1159        lfsu 3fe0000000000001, 65432 => 3ffc000000000000, -104
1160        lfsu 3fe00094e0000359, 65440 => 3ffc001280000000,  -96
1161        lfsu 8010000000000001, 65448 => b7e0000000000000,  -88
1162        lfsu 80100094e0000359, 65456 => b7e0009400000000,  -80
1163        lfsu bfe0000000000001, 65464 => bffc000000000000,  -72
1164        lfsu bfe00094e0000359, 65472 => bffc001280000000,  -64
1165        lfsu 0000000000000000, 65480 => 0000000000000000,  -56
1166        lfsu 8000000000000000, 65488 => 8000000000000000,  -48
1167        lfsu 7ff0000000000000, 65496 => 7ffe000000000000,  -40
1168        lfsu fff0000000000000, 65504 => fffe000000000000,  -32
1169        lfsu 7ff7ffffffffffff, 65512 => 7ffeffffe0000000,  -24
1170        lfsu fff7ffffffffffff, 65520 => fffeffffe0000000,  -16
1171        lfsu 7ff8000000000000, 65528 => 7fff000000000000,   -8
1172        lfsu 0010000000000001,    0 => 37e0000000000000,    0
1173        lfsu 00100094e0000359,    8 => 37e0009400000000,    8
1174        lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
1175        lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
1176        lfsu 8010000000000001,   32 => b7e0000000000000,   32
1177        lfsu 80100094e0000359,   40 => b7e0009400000000,   40
1178        lfsu bfe0000000000001,   48 => bffc000000000000,   48
1179        lfsu bfe00094e0000359,   56 => bffc001280000000,   56
1180        lfsu 0000000000000000,   64 => 0000000000000000,   64
1181        lfsu 8000000000000000,   72 => 8000000000000000,   72
1182        lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
1183        lfsu fff0000000000000,   88 => fffe000000000000,   88
1184        lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
1185        lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
1186        lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
1187        lfsu fff8000000000000,  120 => ffff000000000000,  120
1188
1189         lfd 0010000000000001, 65416 => 0010000000000001,    0
1190         lfd 00100094e0000359, 65424 => 00100094e0000359,    0
1191         lfd 3fe0000000000001, 65432 => 3fe0000000000001,    0
1192         lfd 3fe00094e0000359, 65440 => 3fe00094e0000359,    0
1193         lfd 8010000000000001, 65448 => 8010000000000001,    0
1194         lfd 80100094e0000359, 65456 => 80100094e0000359,    0
1195         lfd bfe0000000000001, 65464 => bfe0000000000001,    0
1196         lfd bfe00094e0000359, 65472 => bfe00094e0000359,    0
1197         lfd 0000000000000000, 65480 => 0000000000000000,    0
1198         lfd 8000000000000000, 65488 => 8000000000000000,    0
1199         lfd 7ff0000000000000, 65496 => 7ff0000000000000,    0
1200         lfd fff0000000000000, 65504 => fff0000000000000,    0
1201         lfd 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,    0
1202         lfd fff7ffffffffffff, 65520 => fff7ffffffffffff,    0
1203         lfd 7ff8000000000000, 65528 => 7ff8000000000000,    0
1204         lfd 0010000000000001,    0 => 0010000000000001,    0
1205         lfd 00100094e0000359,    8 => 00100094e0000359,    0
1206         lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1207         lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1208         lfd 8010000000000001,   32 => 8010000000000001,    0
1209         lfd 80100094e0000359,   40 => 80100094e0000359,    0
1210         lfd bfe0000000000001,   48 => bfe0000000000001,    0
1211         lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1212         lfd 0000000000000000,   64 => 0000000000000000,    0
1213         lfd 8000000000000000,   72 => 8000000000000000,    0
1214         lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1215         lfd fff0000000000000,   88 => fff0000000000000,    0
1216         lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1217         lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1218         lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1219         lfd fff8000000000000,  120 => fff8000000000000,    0
1220
1221        lfdu 0010000000000001, 65416 => 0010000000000001, -120
1222        lfdu 00100094e0000359, 65424 => 00100094e0000359, -112
1223        lfdu 3fe0000000000001, 65432 => 3fe0000000000001, -104
1224        lfdu 3fe00094e0000359, 65440 => 3fe00094e0000359,  -96
1225        lfdu 8010000000000001, 65448 => 8010000000000001,  -88
1226        lfdu 80100094e0000359, 65456 => 80100094e0000359,  -80
1227        lfdu bfe0000000000001, 65464 => bfe0000000000001,  -72
1228        lfdu bfe00094e0000359, 65472 => bfe00094e0000359,  -64
1229        lfdu 0000000000000000, 65480 => 0000000000000000,  -56
1230        lfdu 8000000000000000, 65488 => 8000000000000000,  -48
1231        lfdu 7ff0000000000000, 65496 => 7ff0000000000000,  -40
1232        lfdu fff0000000000000, 65504 => fff0000000000000,  -32
1233        lfdu 7ff7ffffffffffff, 65512 => 7ff7ffffffffffff,  -24
1234        lfdu fff7ffffffffffff, 65520 => fff7ffffffffffff,  -16
1235        lfdu 7ff8000000000000, 65528 => 7ff8000000000000,   -8
1236        lfdu 0010000000000001,    0 => 0010000000000001,    0
1237        lfdu 00100094e0000359,    8 => 00100094e0000359,    8
1238        lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1239        lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1240        lfdu 8010000000000001,   32 => 8010000000000001,   32
1241        lfdu 80100094e0000359,   40 => 80100094e0000359,   40
1242        lfdu bfe0000000000001,   48 => bfe0000000000001,   48
1243        lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1244        lfdu 0000000000000000,   64 => 0000000000000000,   64
1245        lfdu 8000000000000000,   72 => 8000000000000000,   72
1246        lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1247        lfdu fff0000000000000,   88 => fff0000000000000,   88
1248        lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1249        lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1250        lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1251        lfdu fff8000000000000,  120 => fff8000000000000,  120
1252
1253PPC float load insns with two register args:
1254        lfsx 0010000000000001, -120 => 37e0000000000000,    0
1255        lfsx 00100094e0000359, -112 => 37e0009400000000,    0
1256        lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
1257        lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
1258        lfsx 8010000000000001,  -88 => b7e0000000000000,    0
1259        lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
1260        lfsx bfe0000000000001,  -72 => bffc000000000000,    0
1261        lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
1262        lfsx 0000000000000000,  -56 => 0000000000000000,    0
1263        lfsx 8000000000000000,  -48 => 8000000000000000,    0
1264        lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
1265        lfsx fff0000000000000,  -32 => fffe000000000000,    0
1266        lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
1267        lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
1268        lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
1269        lfsx 0010000000000001,    0 => 37e0000000000000,    0
1270        lfsx 00100094e0000359,    8 => 37e0009400000000,    0
1271        lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
1272        lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
1273        lfsx 8010000000000001,   32 => b7e0000000000000,    0
1274        lfsx 80100094e0000359,   40 => b7e0009400000000,    0
1275        lfsx bfe0000000000001,   48 => bffc000000000000,    0
1276        lfsx bfe00094e0000359,   56 => bffc001280000000,    0
1277        lfsx 0000000000000000,   64 => 0000000000000000,    0
1278        lfsx 8000000000000000,   72 => 8000000000000000,    0
1279        lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
1280        lfsx fff0000000000000,   88 => fffe000000000000,    0
1281        lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
1282        lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
1283        lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
1284        lfsx fff8000000000000,  120 => ffff000000000000,    0
1285
1286       lfsux 0010000000000001, -120 => 37e0000000000000, -120
1287       lfsux 00100094e0000359, -112 => 37e0009400000000, -112
1288       lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
1289       lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
1290       lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
1291       lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
1292       lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
1293       lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
1294       lfsux 0000000000000000,  -56 => 0000000000000000,  -56
1295       lfsux 8000000000000000,  -48 => 8000000000000000,  -48
1296       lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
1297       lfsux fff0000000000000,  -32 => fffe000000000000,  -32
1298       lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
1299       lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
1300       lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
1301       lfsux 0010000000000001,    0 => 37e0000000000000,    0
1302       lfsux 00100094e0000359,    8 => 37e0009400000000,    8
1303       lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
1304       lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
1305       lfsux 8010000000000001,   32 => b7e0000000000000,   32
1306       lfsux 80100094e0000359,   40 => b7e0009400000000,   40
1307       lfsux bfe0000000000001,   48 => bffc000000000000,   48
1308       lfsux bfe00094e0000359,   56 => bffc001280000000,   56
1309       lfsux 0000000000000000,   64 => 0000000000000000,   64
1310       lfsux 8000000000000000,   72 => 8000000000000000,   72
1311       lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
1312       lfsux fff0000000000000,   88 => fffe000000000000,   88
1313       lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
1314       lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
1315       lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
1316       lfsux fff8000000000000,  120 => ffff000000000000,  120
1317
1318        lfdx 0010000000000001, -120 => 0010000000000001,    0
1319        lfdx 00100094e0000359, -112 => 00100094e0000359,    0
1320        lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
1321        lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1322        lfdx 8010000000000001,  -88 => 8010000000000001,    0
1323        lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
1324        lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
1325        lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
1326        lfdx 0000000000000000,  -56 => 0000000000000000,    0
1327        lfdx 8000000000000000,  -48 => 8000000000000000,    0
1328        lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
1329        lfdx fff0000000000000,  -32 => fff0000000000000,    0
1330        lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1331        lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1332        lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
1333        lfdx 0010000000000001,    0 => 0010000000000001,    0
1334        lfdx 00100094e0000359,    8 => 00100094e0000359,    0
1335        lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1336        lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1337        lfdx 8010000000000001,   32 => 8010000000000001,    0
1338        lfdx 80100094e0000359,   40 => 80100094e0000359,    0
1339        lfdx bfe0000000000001,   48 => bfe0000000000001,    0
1340        lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1341        lfdx 0000000000000000,   64 => 0000000000000000,    0
1342        lfdx 8000000000000000,   72 => 8000000000000000,    0
1343        lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1344        lfdx fff0000000000000,   88 => fff0000000000000,    0
1345        lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1346        lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1347        lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1348        lfdx fff8000000000000,  120 => fff8000000000000,    0
1349
1350       lfdux 0010000000000001, -120 => 0010000000000001, -120
1351       lfdux 00100094e0000359, -112 => 00100094e0000359, -112
1352       lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
1353       lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1354       lfdux 8010000000000001,  -88 => 8010000000000001,  -88
1355       lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
1356       lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
1357       lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1358       lfdux 0000000000000000,  -56 => 0000000000000000,  -56
1359       lfdux 8000000000000000,  -48 => 8000000000000000,  -48
1360       lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1361       lfdux fff0000000000000,  -32 => fff0000000000000,  -32
1362       lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1363       lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1364       lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1365       lfdux 0010000000000001,    0 => 0010000000000001,    0
1366       lfdux 00100094e0000359,    8 => 00100094e0000359,    8
1367       lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1368       lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1369       lfdux 8010000000000001,   32 => 8010000000000001,   32
1370       lfdux 80100094e0000359,   40 => 80100094e0000359,   40
1371       lfdux bfe0000000000001,   48 => bfe0000000000001,   48
1372       lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1373       lfdux 0000000000000000,   64 => 0000000000000000,   64
1374       lfdux 8000000000000000,   72 => 8000000000000000,   72
1375       lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1376       lfdux fff0000000000000,   88 => fff0000000000000,   88
1377       lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1378       lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1379       lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1380       lfdux fff8000000000000,  120 => fff8000000000000,  120
1381
1382PPC float store insns
1383    with one register + one 16 bits immediate args with flags update:
1384         stfs 0010000000000001,  -56 => 0000000000000000,    0
1385         stfs 00100094e0000359,  -48 => 0000000000000000,    0
1386         stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
1387         stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
1388         stfs 8010000000000001,  -24 => 8000000000000000,    0
1389         stfs 80100094e0000359,  -16 => 8000000000000000,    0
1390         stfs bfe0000000000001,   -8 => bf00000000000000,    0
1391         stfs 0010000000000001,    0 => 0000000000000000,    0
1392         stfs 00100094e0000359,    8 => 0000000000000000,    0
1393         stfs 3fe0000000000001,   16 => 3f00000000000000,    0
1394         stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
1395         stfs 8010000000000001,   32 => 8000000000000000,    0
1396         stfs 80100094e0000359,   40 => 8000000000000000,    0
1397         stfs bfe0000000000001,   48 => bf00000000000000,    0
1398         stfs bfe00094e0000359,   56 => bf0004a700000000,    0
1399
1400        stfsu 0010000000000001,  -56 => 0000000000000000,  -56
1401        stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
1402        stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
1403        stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
1404        stfsu 8010000000000001,  -24 => 8000000000000000,  -24
1405        stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
1406        stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
1407        stfsu 0010000000000001,    0 => 0000000000000000,    0
1408        stfsu 00100094e0000359,    8 => 0000000000000000,    8
1409        stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
1410        stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
1411        stfsu 8010000000000001,   32 => 8000000000000000,   32
1412        stfsu 80100094e0000359,   40 => 8000000000000000,   40
1413        stfsu bfe0000000000001,   48 => bf00000000000000,   48
1414        stfsu bfe00094e0000359,   56 => bf0004a700000000,   56
1415
1416         stfd 0010000000000001, -120 => 0010000000000001,    0
1417         stfd 00100094e0000359, -112 => 00100094e0000359,    0
1418         stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
1419         stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
1420         stfd 8010000000000001,  -88 => 8010000000000001,    0
1421         stfd 80100094e0000359,  -80 => 80100094e0000359,    0
1422         stfd bfe0000000000001,  -72 => bfe0000000000001,    0
1423         stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
1424         stfd 0000000000000000,  -56 => 0000000000000000,    0
1425         stfd 8000000000000000,  -48 => 8000000000000000,    0
1426         stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
1427         stfd fff0000000000000,  -32 => fff0000000000000,    0
1428         stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
1429         stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
1430         stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
1431         stfd 0010000000000001,    0 => 0010000000000001,    0
1432         stfd 00100094e0000359,    8 => 00100094e0000359,    0
1433         stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
1434         stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1435         stfd 8010000000000001,   32 => 8010000000000001,    0
1436         stfd 80100094e0000359,   40 => 80100094e0000359,    0
1437         stfd bfe0000000000001,   48 => bfe0000000000001,    0
1438         stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
1439         stfd 0000000000000000,   64 => 0000000000000000,    0
1440         stfd 8000000000000000,   72 => 8000000000000000,    0
1441         stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
1442         stfd fff0000000000000,   88 => fff0000000000000,    0
1443         stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1444         stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1445         stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
1446         stfd fff8000000000000,  120 => fff8000000000000,    0
1447
1448        stfdu 0010000000000001, -120 => 0010000000000001, -120
1449        stfdu 00100094e0000359, -112 => 00100094e0000359, -112
1450        stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
1451        stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
1452        stfdu 8010000000000001,  -88 => 8010000000000001,  -88
1453        stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
1454        stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
1455        stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
1456        stfdu 0000000000000000,  -56 => 0000000000000000,  -56
1457        stfdu 8000000000000000,  -48 => 8000000000000000,  -48
1458        stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
1459        stfdu fff0000000000000,  -32 => fff0000000000000,  -32
1460        stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
1461        stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
1462        stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
1463        stfdu 0010000000000001,    0 => 0010000000000001,    0
1464        stfdu 00100094e0000359,    8 => 00100094e0000359,    8
1465        stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
1466        stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1467        stfdu 8010000000000001,   32 => 8010000000000001,   32
1468        stfdu 80100094e0000359,   40 => 80100094e0000359,   40
1469        stfdu bfe0000000000001,   48 => bfe0000000000001,   48
1470        stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
1471        stfdu 0000000000000000,   64 => 0000000000000000,   64
1472        stfdu 8000000000000000,   72 => 8000000000000000,   72
1473        stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
1474        stfdu fff0000000000000,   88 => fff0000000000000,   88
1475        stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1476        stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1477        stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
1478        stfdu fff8000000000000,  120 => fff8000000000000,  120
1479
1480PPC float store insns with three register args:
1481        stfsx 0010000000000001,    0 => 0000000000000000,    0
1482        stfsx 00100094e0000359,    8 => 0000000000000000,    0
1483        stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
1484        stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
1485        stfsx 8010000000000001,   32 => 8000000000000000,    0
1486        stfsx 80100094e0000359,   40 => 8000000000000000,    0
1487        stfsx bfe0000000000001,   48 => bf00000000000000,    0
1488        stfsx bfe00094e0000359,   56 => bf0004a700000000,    0
1489
1490       stfsux 0010000000000001,    0 => 0000000000000000,    0
1491       stfsux 00100094e0000359,    8 => 0000000000000000,    8
1492       stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
1493       stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
1494       stfsux 8010000000000001,   32 => 8000000000000000,   32
1495       stfsux 80100094e0000359,   40 => 8000000000000000,   40
1496       stfsux bfe0000000000001,   48 => bf00000000000000,   48
1497       stfsux bfe00094e0000359,   56 => bf0004a700000000,   56
1498
1499        stfdx 0010000000000001,    0 => 0010000000000001,    0
1500        stfdx 00100094e0000359,    8 => 00100094e0000359,    0
1501        stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
1502        stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
1503        stfdx 8010000000000001,   32 => 8010000000000001,    0
1504        stfdx 80100094e0000359,   40 => 80100094e0000359,    0
1505        stfdx bfe0000000000001,   48 => bfe0000000000001,    0
1506        stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
1507        stfdx 0000000000000000,   64 => 0000000000000000,    0
1508        stfdx 8000000000000000,   72 => 8000000000000000,    0
1509        stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
1510        stfdx fff0000000000000,   88 => fff0000000000000,    0
1511        stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
1512        stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
1513        stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
1514        stfdx fff8000000000000,  120 => fff8000000000000,    0
1515
1516       stfdux 0010000000000001,    0 => 0010000000000001,    0
1517       stfdux 00100094e0000359,    8 => 00100094e0000359,    8
1518       stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
1519       stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
1520       stfdux 8010000000000001,   32 => 8010000000000001,   32
1521       stfdux 80100094e0000359,   40 => 80100094e0000359,   40
1522       stfdux bfe0000000000001,   48 => bfe0000000000001,   48
1523       stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
1524       stfdux 0000000000000000,   64 => 0000000000000000,   64
1525       stfdux 8000000000000000,   72 => 8000000000000000,   72
1526       stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
1527       stfdux fff0000000000000,   88 => fff0000000000000,   88
1528       stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
1529       stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
1530       stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
1531       stfdux fff8000000000000,  120 => fff8000000000000,  120
1532
1533All done. Tested 77 different instructions
1534