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