← Back to branch summary

~bkerensa/ubuntu/raring/valgrind/merge-from-deb

« back to all changes in this revision

Viewing changes to none/tests/ppc64/jm-fp.stdout.exp

  • Committer: Bazaar Package Importer
  • Author(s): Sebastian Dröge
  • Date: 2006-06-26 00:17:17 UTC
  • mto: This revision was merged to the branch mainline in revision 11.
  • Revision ID: james.westby@ubuntu.com-20060626001717-qi51nzty57cb12q6
Tags: upstream-3.2.0
Import upstream version 3.2.0

Show diffs side-by-side

added added

removed removed

Lines of Context:
none/tests/ppc64/jm-fp.stdout.exp
 
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
 
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
 
 
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
 
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
 
 
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
 
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
 
 
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
 
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
 
 
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
 
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
 
 
692
PPC floating point arith insns with one arg:
 
693
        frsp 0010000000000001 => 0000000000000000
 
694
        frsp 00100094e0000359 => 0000000000000000
 
695
        frsp 3fe0000000000001 => 3fe0000000000000
 
696
        frsp 3fe00094e0000359 => 3fe00094e0000000
 
697
        frsp 8010000000000001 => 8000000000000000
 
698
        frsp 80100094e0000359 => 8000000000000000
 
699
        frsp bfe0000000000001 => bfe0000000000000
 
700
        frsp bfe00094e0000359 => bfe00094e0000000
 
701
        frsp 0000000000000000 => 0000000000000000
 
702
        frsp 8000000000000000 => 8000000000000000
 
703
        frsp 7ff0000000000000 => 7ff0000000000000
 
704
        frsp fff0000000000000 => fff0000000000000
 
705
        frsp 7ff7ffffffffffff => 7fffffffe0000000
 
706
        frsp fff7ffffffffffff => ffffffffe0000000
 
707
        frsp 7ff8000000000000 => 7ff8000000000000
 
708
        frsp fff8000000000000 => fff8000000000000
 
709
 
 
710
       fctiw 0010000000000001 => 0000000000000000
 
711
       fctiw 00100094e0000359 => 0000000000000000
 
712
       fctiw 3fe0000000000001 => 0000000000000001
 
713
       fctiw 3fe00094e0000359 => 0000000000000001
 
714
       fctiw 8010000000000001 => 0000000000000000
 
715
       fctiw 80100094e0000359 => 0000000000000000
 
716
       fctiw bfe0000000000001 => 00000000ffffffff
 
717
       fctiw bfe00094e0000359 => 00000000ffffffff
 
718
       fctiw 0000000000000000 => 0000000000000000
 
719
       fctiw 8000000000000000 => 0000000000000000
 
720
       fctiw 7ff0000000000000 => 000000007fffffff
 
721
       fctiw fff0000000000000 => 0000000080000000
 
722
       fctiw 7ff7ffffffffffff => 0000000080000000
 
723
       fctiw fff7ffffffffffff => 0000000080000000
 
724
       fctiw 7ff8000000000000 => 0000000080000000
 
725
       fctiw fff8000000000000 => 0000000080000000
 
726
 
 
727
      fctiwz 0010000000000001 => 0000000000000000
 
728
      fctiwz 00100094e0000359 => 0000000000000000
 
729
      fctiwz 3fe0000000000001 => 0000000000000000
 
730
      fctiwz 3fe00094e0000359 => 0000000000000000
 
731
      fctiwz 8010000000000001 => 0000000000000000
 
732
      fctiwz 80100094e0000359 => 0000000000000000
 
733
      fctiwz bfe0000000000001 => 0000000000000000
 
734
      fctiwz bfe00094e0000359 => 0000000000000000
 
735
      fctiwz 0000000000000000 => 0000000000000000
 
736
      fctiwz 8000000000000000 => 0000000000000000
 
737
      fctiwz 7ff0000000000000 => 000000007fffffff
 
738
      fctiwz fff0000000000000 => 0000000080000000
 
739
      fctiwz 7ff7ffffffffffff => 0000000080000000
 
740
      fctiwz fff7ffffffffffff => 0000000080000000
 
741
      fctiwz 7ff8000000000000 => 0000000080000000
 
742
      fctiwz fff8000000000000 => 0000000080000000
 
743
 
 
744
         fmr 0010000000000001 => 0010000000000001
 
745
         fmr 00100094e0000359 => 00100094e0000359
 
746
         fmr 3fe0000000000001 => 3fe0000000000001
 
747
         fmr 3fe00094e0000359 => 3fe00094e0000359
 
748
         fmr 8010000000000001 => 8010000000000001
 
749
         fmr 80100094e0000359 => 80100094e0000359
 
750
         fmr bfe0000000000001 => bfe0000000000001
 
751
         fmr bfe00094e0000359 => bfe00094e0000359
 
752
         fmr 0000000000000000 => 0000000000000000
 
753
         fmr 8000000000000000 => 8000000000000000
 
754
         fmr 7ff0000000000000 => 7ff0000000000000
 
755
         fmr fff0000000000000 => fff0000000000000
 
756
         fmr 7ff7ffffffffffff => 7ff7ffffffffffff
 
757
         fmr fff7ffffffffffff => fff7ffffffffffff
 
758
         fmr 7ff8000000000000 => 7ff8000000000000
 
759
         fmr fff8000000000000 => fff8000000000000
 
760
 
 
761
        fneg 0010000000000001 => 8010000000000001
 
762
        fneg 00100094e0000359 => 80100094e0000359
 
763
        fneg 3fe0000000000001 => bfe0000000000001
 
764
        fneg 3fe00094e0000359 => bfe00094e0000359
 
765
        fneg 8010000000000001 => 0010000000000001
 
766
        fneg 80100094e0000359 => 00100094e0000359
 
767
        fneg bfe0000000000001 => 3fe0000000000001
 
768
        fneg bfe00094e0000359 => 3fe00094e0000359
 
769
        fneg 0000000000000000 => 8000000000000000
 
770
        fneg 8000000000000000 => 0000000000000000
 
771
        fneg 7ff0000000000000 => fff0000000000000
 
772
        fneg fff0000000000000 => 7ff0000000000000
 
773
        fneg 7ff7ffffffffffff => fff7ffffffffffff
 
774
        fneg fff7ffffffffffff => 7ff7ffffffffffff
 
775
        fneg 7ff8000000000000 => fff8000000000000
 
776
        fneg fff8000000000000 => 7ff8000000000000
 
777
 
 
778
        fabs 0010000000000001 => 0010000000000001
 
779
        fabs 00100094e0000359 => 00100094e0000359
 
780
        fabs 3fe0000000000001 => 3fe0000000000001
 
781
        fabs 3fe00094e0000359 => 3fe00094e0000359
 
782
        fabs 8010000000000001 => 0010000000000001
 
783
        fabs 80100094e0000359 => 00100094e0000359
 
784
        fabs bfe0000000000001 => 3fe0000000000001
 
785
        fabs bfe00094e0000359 => 3fe00094e0000359
 
786
        fabs 0000000000000000 => 0000000000000000
 
787
        fabs 8000000000000000 => 0000000000000000
 
788
        fabs 7ff0000000000000 => 7ff0000000000000
 
789
        fabs fff0000000000000 => 7ff0000000000000
 
790
        fabs 7ff7ffffffffffff => 7ff7ffffffffffff
 
791
        fabs fff7ffffffffffff => 7ff7ffffffffffff
 
792
        fabs 7ff8000000000000 => 7ff8000000000000
 
793
        fabs fff8000000000000 => 7ff8000000000000
 
794
 
 
795
       fnabs 0010000000000001 => 8010000000000001
 
796
       fnabs 00100094e0000359 => 80100094e0000359
 
797
       fnabs 3fe0000000000001 => bfe0000000000001
 
798
       fnabs 3fe00094e0000359 => bfe00094e0000359
 
799
       fnabs 8010000000000001 => 8010000000000001
 
800
       fnabs 80100094e0000359 => 80100094e0000359
 
801
       fnabs bfe0000000000001 => bfe0000000000001
 
802
       fnabs bfe00094e0000359 => bfe00094e0000359
 
803
       fnabs 0000000000000000 => 8000000000000000
 
804
       fnabs 8000000000000000 => 8000000000000000
 
805
       fnabs 7ff0000000000000 => fff0000000000000
 
806
       fnabs fff0000000000000 => fff0000000000000
 
807
       fnabs 7ff7ffffffffffff => fff7ffffffffffff
 
808
       fnabs fff7ffffffffffff => fff7ffffffffffff
 
809
       fnabs 7ff8000000000000 => fff8000000000000
 
810
       fnabs fff8000000000000 => fff8000000000000
 
811
 
 
812
       fsqrt 0010000000000001 => 2000000000000000
 
813
       fsqrt 00100094e0000359 => 2000004a6f52dd4a
 
814
       fsqrt 3fe0000000000001 => 3fe6a09e667f3bcd
 
815
       fsqrt 3fe00094e0000359 => 3fe6a107aacb50df
 
816
       fsqrt 8010000000000001 => 7ff8000000000000
 
817
       fsqrt 80100094e0000359 => 7ff8000000000000
 
818
       fsqrt bfe0000000000001 => 7ff8000000000000
 
819
       fsqrt bfe00094e0000359 => 7ff8000000000000
 
820
       fsqrt 0000000000000000 => 0000000000000000
 
821
       fsqrt 8000000000000000 => 8000000000000000
 
822
       fsqrt 7ff0000000000000 => 7ff0000000000000
 
823
       fsqrt fff0000000000000 => 7ff8000000000000
 
824
       fsqrt 7ff7ffffffffffff => 7fffffffffffffff
 
825
       fsqrt fff7ffffffffffff => ffffffffffffffff
 
826
       fsqrt 7ff8000000000000 => 7ff8000000000000
 
827
       fsqrt fff8000000000000 => fff8000000000000
 
828
 
 
829
       fcfid 0010000000000001 => 4330000000000001
 
830
       fcfid 00100094e0000359 => 43300094e0000359
 
831
       fcfid 3fe0000000000001 => 43cff00000000000
 
832
       fcfid 3fe00094e0000359 => 43cff0004a700002
 
833
       fcfid 8010000000000001 => c3dffc0000000000
 
834
       fcfid 80100094e0000359 => c3dffbffdac7ffff
 
835
       fcfid bfe0000000000001 => c3d0080000000000
 
836
       fcfid bfe00094e0000359 => c3d007ffdac7ffff
 
837
       fcfid 0000000000000000 => 0000000000000000
 
838
       fcfid 8000000000000000 => c3e0000000000000
 
839
       fcfid 7ff0000000000000 => 43dffc0000000000
 
840
       fcfid fff0000000000000 => c330000000000000
 
841
       fcfid 7ff7ffffffffffff => 43dffe0000000000
 
842
       fcfid fff7ffffffffffff => c320000000000002
 
843
       fcfid 7ff8000000000000 => 43dffe0000000000
 
844
       fcfid fff8000000000000 => c320000000000000
 
845
 
 
846
       fctid 0010000000000001 => 0000000000000000
 
847
       fctid 00100094e0000359 => 0000000000000000
 
848
       fctid 3fe0000000000001 => 0000000000000001
 
849
       fctid 3fe00094e0000359 => 0000000000000001
 
850
       fctid 8010000000000001 => 0000000000000000
 
851
       fctid 80100094e0000359 => 0000000000000000
 
852
       fctid bfe0000000000001 => ffffffffffffffff
 
853
       fctid bfe00094e0000359 => ffffffffffffffff
 
854
       fctid 0000000000000000 => 0000000000000000
 
855
       fctid 8000000000000000 => 0000000000000000
 
856
       fctid 7ff0000000000000 => 7fffffffffffffff
 
857
       fctid fff0000000000000 => 8000000000000000
 
858
       fctid 7ff7ffffffffffff => 8000000000000000
 
859
       fctid fff7ffffffffffff => 8000000000000000
 
860
       fctid 7ff8000000000000 => 8000000000000000
 
861
       fctid fff8000000000000 => 8000000000000000
 
862
 
 
863
      fctidz 0010000000000001 => 0000000000000000
 
864
      fctidz 00100094e0000359 => 0000000000000000
 
865
      fctidz 3fe0000000000001 => 0000000000000000
 
866
      fctidz 3fe00094e0000359 => 0000000000000000
 
867
      fctidz 8010000000000001 => 0000000000000000
 
868
      fctidz 80100094e0000359 => 0000000000000000
 
869
      fctidz bfe0000000000001 => 0000000000000000
 
870
      fctidz bfe00094e0000359 => 0000000000000000
 
871
      fctidz 0000000000000000 => 0000000000000000
 
872
      fctidz 8000000000000000 => 0000000000000000
 
873
      fctidz 7ff0000000000000 => 7fffffffffffffff
 
874
      fctidz fff0000000000000 => 8000000000000000
 
875
      fctidz 7ff7ffffffffffff => 8000000000000000
 
876
      fctidz fff7ffffffffffff => 8000000000000000
 
877
      fctidz 7ff8000000000000 => 8000000000000000
 
878
      fctidz fff8000000000000 => 8000000000000000
 
879
 
 
880
PPC floating point arith insns
 
881
    with one arg with flags update:
 
882
       frsp. 0010000000000001 => 0000000000000000
 
883
       frsp. 00100094e0000359 => 0000000000000000
 
884
       frsp. 3fe0000000000001 => 3fe0000000000000
 
885
       frsp. 3fe00094e0000359 => 3fe00094e0000000
 
886
       frsp. 8010000000000001 => 8000000000000000
 
887
       frsp. 80100094e0000359 => 8000000000000000
 
888
       frsp. bfe0000000000001 => bfe0000000000000
 
889
       frsp. bfe00094e0000359 => bfe00094e0000000
 
890
       frsp. 0000000000000000 => 0000000000000000
 
891
       frsp. 8000000000000000 => 8000000000000000
 
892
       frsp. 7ff0000000000000 => 7ff0000000000000
 
893
       frsp. fff0000000000000 => fff0000000000000
 
894
       frsp. 7ff7ffffffffffff => 7fffffffe0000000
 
895
       frsp. fff7ffffffffffff => ffffffffe0000000
 
896
       frsp. 7ff8000000000000 => 7ff8000000000000
 
897
       frsp. fff8000000000000 => fff8000000000000
 
898
 
 
899
      fctiw. 0010000000000001 => 0000000000000000
 
900
      fctiw. 00100094e0000359 => 0000000000000000
 
901
      fctiw. 3fe0000000000001 => 0000000000000001
 
902
      fctiw. 3fe00094e0000359 => 0000000000000001
 
903
      fctiw. 8010000000000001 => 0000000000000000
 
904
      fctiw. 80100094e0000359 => 0000000000000000
 
905
      fctiw. bfe0000000000001 => 00000000ffffffff
 
906
      fctiw. bfe00094e0000359 => 00000000ffffffff
 
907
      fctiw. 0000000000000000 => 0000000000000000
 
908
      fctiw. 8000000000000000 => 0000000000000000
 
909
      fctiw. 7ff0000000000000 => 000000007fffffff
 
910
      fctiw. fff0000000000000 => 0000000080000000
 
911
      fctiw. 7ff7ffffffffffff => 0000000080000000
 
912
      fctiw. fff7ffffffffffff => 0000000080000000
 
913
      fctiw. 7ff8000000000000 => 0000000080000000
 
914
      fctiw. fff8000000000000 => 0000000080000000
 
915
 
 
916
     fctiwz. 0010000000000001 => 0000000000000000
 
917
     fctiwz. 00100094e0000359 => 0000000000000000
 
918
     fctiwz. 3fe0000000000001 => 0000000000000000
 
919
     fctiwz. 3fe00094e0000359 => 0000000000000000
 
920
     fctiwz. 8010000000000001 => 0000000000000000
 
921
     fctiwz. 80100094e0000359 => 0000000000000000
 
922
     fctiwz. bfe0000000000001 => 0000000000000000
 
923
     fctiwz. bfe00094e0000359 => 0000000000000000
 
924
     fctiwz. 0000000000000000 => 0000000000000000
 
925
     fctiwz. 8000000000000000 => 0000000000000000
 
926
     fctiwz. 7ff0000000000000 => 000000007fffffff
 
927
     fctiwz. fff0000000000000 => 0000000080000000
 
928
     fctiwz. 7ff7ffffffffffff => 0000000080000000
 
929
     fctiwz. fff7ffffffffffff => 0000000080000000
 
930
     fctiwz. 7ff8000000000000 => 0000000080000000
 
931
     fctiwz. fff8000000000000 => 0000000080000000
 
932
 
 
933
        fmr. 0010000000000001 => 0010000000000001
 
934
        fmr. 00100094e0000359 => 00100094e0000359
 
935
        fmr. 3fe0000000000001 => 3fe0000000000001
 
936
        fmr. 3fe00094e0000359 => 3fe00094e0000359
 
937
        fmr. 8010000000000001 => 8010000000000001
 
938
        fmr. 80100094e0000359 => 80100094e0000359
 
939
        fmr. bfe0000000000001 => bfe0000000000001
 
940
        fmr. bfe00094e0000359 => bfe00094e0000359
 
941
        fmr. 0000000000000000 => 0000000000000000
 
942
        fmr. 8000000000000000 => 8000000000000000
 
943
        fmr. 7ff0000000000000 => 7ff0000000000000
 
944
        fmr. fff0000000000000 => fff0000000000000
 
945
        fmr. 7ff7ffffffffffff => 7ff7ffffffffffff
 
946
        fmr. fff7ffffffffffff => fff7ffffffffffff
 
947
        fmr. 7ff8000000000000 => 7ff8000000000000
 
948
        fmr. fff8000000000000 => fff8000000000000
 
949
 
 
950
       fneg. 0010000000000001 => 8010000000000001
 
951
       fneg. 00100094e0000359 => 80100094e0000359
 
952
       fneg. 3fe0000000000001 => bfe0000000000001
 
953
       fneg. 3fe00094e0000359 => bfe00094e0000359
 
954
       fneg. 8010000000000001 => 0010000000000001
 
955
       fneg. 80100094e0000359 => 00100094e0000359
 
956
       fneg. bfe0000000000001 => 3fe0000000000001
 
957
       fneg. bfe00094e0000359 => 3fe00094e0000359
 
958
       fneg. 0000000000000000 => 8000000000000000
 
959
       fneg. 8000000000000000 => 0000000000000000
 
960
       fneg. 7ff0000000000000 => fff0000000000000
 
961
       fneg. fff0000000000000 => 7ff0000000000000
 
962
       fneg. 7ff7ffffffffffff => fff7ffffffffffff
 
963
       fneg. fff7ffffffffffff => 7ff7ffffffffffff
 
964
       fneg. 7ff8000000000000 => fff8000000000000
 
965
       fneg. fff8000000000000 => 7ff8000000000000
 
966
 
 
967
       fabs. 0010000000000001 => 0010000000000001
 
968
       fabs. 00100094e0000359 => 00100094e0000359
 
969
       fabs. 3fe0000000000001 => 3fe0000000000001
 
970
       fabs. 3fe00094e0000359 => 3fe00094e0000359
 
971
       fabs. 8010000000000001 => 0010000000000001
 
972
       fabs. 80100094e0000359 => 00100094e0000359
 
973
       fabs. bfe0000000000001 => 3fe0000000000001
 
974
       fabs. bfe00094e0000359 => 3fe00094e0000359
 
975
       fabs. 0000000000000000 => 0000000000000000
 
976
       fabs. 8000000000000000 => 0000000000000000
 
977
       fabs. 7ff0000000000000 => 7ff0000000000000
 
978
       fabs. fff0000000000000 => 7ff0000000000000
 
979
       fabs. 7ff7ffffffffffff => 7ff7ffffffffffff
 
980
       fabs. fff7ffffffffffff => 7ff7ffffffffffff
 
981
       fabs. 7ff8000000000000 => 7ff8000000000000
 
982
       fabs. fff8000000000000 => 7ff8000000000000
 
983
 
 
984
      fnabs. 0010000000000001 => 8010000000000001
 
985
      fnabs. 00100094e0000359 => 80100094e0000359
 
986
      fnabs. 3fe0000000000001 => bfe0000000000001
 
987
      fnabs. 3fe00094e0000359 => bfe00094e0000359
 
988
      fnabs. 8010000000000001 => 8010000000000001
 
989
      fnabs. 80100094e0000359 => 80100094e0000359
 
990
      fnabs. bfe0000000000001 => bfe0000000000001
 
991
      fnabs. bfe00094e0000359 => bfe00094e0000359
 
992
      fnabs. 0000000000000000 => 8000000000000000
 
993
      fnabs. 8000000000000000 => 8000000000000000
 
994
      fnabs. 7ff0000000000000 => fff0000000000000
 
995
      fnabs. fff0000000000000 => fff0000000000000
 
996
      fnabs. 7ff7ffffffffffff => fff7ffffffffffff
 
997
      fnabs. fff7ffffffffffff => fff7ffffffffffff
 
998
      fnabs. 7ff8000000000000 => fff8000000000000
 
999
      fnabs. fff8000000000000 => fff8000000000000
 
1000
 
 
1001
      fcfid. 0010000000000001 => 4330000000000001
 
1002
      fcfid. 00100094e0000359 => 43300094e0000359
 
1003
      fcfid. 3fe0000000000001 => 43cff00000000000
 
1004
      fcfid. 3fe00094e0000359 => 43cff0004a700002
 
1005
      fcfid. 8010000000000001 => c3dffc0000000000
 
1006
      fcfid. 80100094e0000359 => c3dffbffdac7ffff
 
1007
      fcfid. bfe0000000000001 => c3d0080000000000
 
1008
      fcfid. bfe00094e0000359 => c3d007ffdac7ffff
 
1009
      fcfid. 0000000000000000 => 0000000000000000
 
1010
      fcfid. 8000000000000000 => c3e0000000000000
 
1011
      fcfid. 7ff0000000000000 => 43dffc0000000000
 
1012
      fcfid. fff0000000000000 => c330000000000000
 
1013
      fcfid. 7ff7ffffffffffff => 43dffe0000000000
 
1014
      fcfid. fff7ffffffffffff => c320000000000002
 
1015
      fcfid. 7ff8000000000000 => 43dffe0000000000
 
1016
      fcfid. fff8000000000000 => c320000000000000
 
1017
 
 
1018
      fctid. 0010000000000001 => 0000000000000000
 
1019
      fctid. 00100094e0000359 => 0000000000000000
 
1020
      fctid. 3fe0000000000001 => 0000000000000001
 
1021
      fctid. 3fe00094e0000359 => 0000000000000001
 
1022
      fctid. 8010000000000001 => 0000000000000000
 
1023
      fctid. 80100094e0000359 => 0000000000000000
 
1024
      fctid. bfe0000000000001 => ffffffffffffffff
 
1025
      fctid. bfe00094e0000359 => ffffffffffffffff
 
1026
      fctid. 0000000000000000 => 0000000000000000
 
1027
      fctid. 8000000000000000 => 0000000000000000
 
1028
      fctid. 7ff0000000000000 => 7fffffffffffffff
 
1029
      fctid. fff0000000000000 => 8000000000000000
 
1030
      fctid. 7ff7ffffffffffff => 8000000000000000
 
1031
      fctid. fff7ffffffffffff => 8000000000000000
 
1032
      fctid. 7ff8000000000000 => 8000000000000000
 
1033
      fctid. fff8000000000000 => 8000000000000000
 
1034
 
 
1035
     fctidz. 0010000000000001 => 0000000000000000
 
1036
     fctidz. 00100094e0000359 => 0000000000000000
 
1037
     fctidz. 3fe0000000000001 => 0000000000000000
 
1038
     fctidz. 3fe00094e0000359 => 0000000000000000
 
1039
     fctidz. 8010000000000001 => 0000000000000000
 
1040
     fctidz. 80100094e0000359 => 0000000000000000
 
1041
     fctidz. bfe0000000000001 => 0000000000000000
 
1042
     fctidz. bfe00094e0000359 => 0000000000000000
 
1043
     fctidz. 0000000000000000 => 0000000000000000
 
1044
     fctidz. 8000000000000000 => 0000000000000000
 
1045
     fctidz. 7ff0000000000000 => 7fffffffffffffff
 
1046
     fctidz. fff0000000000000 => 8000000000000000
 
1047
     fctidz. 7ff7ffffffffffff => 8000000000000000
 
1048
     fctidz. fff7ffffffffffff => 8000000000000000
 
1049
     fctidz. 7ff8000000000000 => 8000000000000000
 
1050
     fctidz. fff8000000000000 => 8000000000000000
 
1051
 
 
1052
PPC floating point status register manipulation insns:
 
1053
PPC floating point status register manipulation insns
 
1054
  with flags update:
 
1055
PPC float load insns
 
1056
    with one register + one 16 bits immediate args with flags update:
 
1057
         lfs 0010000000000001, -120 => 37e0000000000000,    0
 
1058
         lfs 00100094e0000359, -112 => 37e0009400000000,    0
 
1059
         lfs 3fe0000000000001, -104 => 3ffc000000000000,    0
 
1060
         lfs 3fe00094e0000359,  -96 => 3ffc001280000000,    0
 
1061
         lfs 8010000000000001,  -88 => b7e0000000000000,    0
 
1062
         lfs 80100094e0000359,  -80 => b7e0009400000000,    0
 
1063
         lfs bfe0000000000001,  -72 => bffc000000000000,    0
 
1064
         lfs bfe00094e0000359,  -64 => bffc001280000000,    0
 
1065
         lfs 0000000000000000,  -56 => 0000000000000000,    0
 
1066
         lfs 8000000000000000,  -48 => 8000000000000000,    0
 
1067
         lfs 7ff0000000000000,  -40 => 7ffe000000000000,    0
 
1068
         lfs fff0000000000000,  -32 => fffe000000000000,    0
 
1069
         lfs 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
 
1070
         lfs fff7ffffffffffff,  -16 => fffeffffe0000000,    0
 
1071
         lfs 7ff8000000000000,   -8 => 7fff000000000000,    0
 
1072
         lfs 0010000000000001,    0 => 37e0000000000000,    0
 
1073
         lfs 00100094e0000359,    8 => 37e0009400000000,    0
 
1074
         lfs 3fe0000000000001,   16 => 3ffc000000000000,    0
 
1075
         lfs 3fe00094e0000359,   24 => 3ffc001280000000,    0
 
1076
         lfs 8010000000000001,   32 => b7e0000000000000,    0
 
1077
         lfs 80100094e0000359,   40 => b7e0009400000000,    0
 
1078
         lfs bfe0000000000001,   48 => bffc000000000000,    0
 
1079
         lfs bfe00094e0000359,   56 => bffc001280000000,    0
 
1080
         lfs 0000000000000000,   64 => 0000000000000000,    0
 
1081
         lfs 8000000000000000,   72 => 8000000000000000,    0
 
1082
         lfs 7ff0000000000000,   80 => 7ffe000000000000,    0
 
1083
         lfs fff0000000000000,   88 => fffe000000000000,    0
 
1084
         lfs 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
 
1085
         lfs fff7ffffffffffff,  104 => fffeffffe0000000,    0
 
1086
         lfs 7ff8000000000000,  112 => 7fff000000000000,    0
 
1087
         lfs fff8000000000000,  120 => ffff000000000000,    0
 
1088
 
 
1089
        lfsu 0010000000000001, -120 => 37e0000000000000, -120
 
1090
        lfsu 00100094e0000359, -112 => 37e0009400000000, -112
 
1091
        lfsu 3fe0000000000001, -104 => 3ffc000000000000, -104
 
1092
        lfsu 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
 
1093
        lfsu 8010000000000001,  -88 => b7e0000000000000,  -88
 
1094
        lfsu 80100094e0000359,  -80 => b7e0009400000000,  -80
 
1095
        lfsu bfe0000000000001,  -72 => bffc000000000000,  -72
 
1096
        lfsu bfe00094e0000359,  -64 => bffc001280000000,  -64
 
1097
        lfsu 0000000000000000,  -56 => 0000000000000000,  -56
 
1098
        lfsu 8000000000000000,  -48 => 8000000000000000,  -48
 
1099
        lfsu 7ff0000000000000,  -40 => 7ffe000000000000,  -40
 
1100
        lfsu fff0000000000000,  -32 => fffe000000000000,  -32
 
1101
        lfsu 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
 
1102
        lfsu fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
 
1103
        lfsu 7ff8000000000000,   -8 => 7fff000000000000,   -8
 
1104
        lfsu 0010000000000001,    0 => 37e0000000000000,    0
 
1105
        lfsu 00100094e0000359,    8 => 37e0009400000000,    8
 
1106
        lfsu 3fe0000000000001,   16 => 3ffc000000000000,   16
 
1107
        lfsu 3fe00094e0000359,   24 => 3ffc001280000000,   24
 
1108
        lfsu 8010000000000001,   32 => b7e0000000000000,   32
 
1109
        lfsu 80100094e0000359,   40 => b7e0009400000000,   40
 
1110
        lfsu bfe0000000000001,   48 => bffc000000000000,   48
 
1111
        lfsu bfe00094e0000359,   56 => bffc001280000000,   56
 
1112
        lfsu 0000000000000000,   64 => 0000000000000000,   64
 
1113
        lfsu 8000000000000000,   72 => 8000000000000000,   72
 
1114
        lfsu 7ff0000000000000,   80 => 7ffe000000000000,   80
 
1115
        lfsu fff0000000000000,   88 => fffe000000000000,   88
 
1116
        lfsu 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
 
1117
        lfsu fff7ffffffffffff,  104 => fffeffffe0000000,  104
 
1118
        lfsu 7ff8000000000000,  112 => 7fff000000000000,  112
 
1119
        lfsu fff8000000000000,  120 => ffff000000000000,  120
 
1120
 
 
1121
         lfd 0010000000000001, -120 => 0010000000000001,    0
 
1122
         lfd 00100094e0000359, -112 => 00100094e0000359,    0
 
1123
         lfd 3fe0000000000001, -104 => 3fe0000000000001,    0
 
1124
         lfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
 
1125
         lfd 8010000000000001,  -88 => 8010000000000001,    0
 
1126
         lfd 80100094e0000359,  -80 => 80100094e0000359,    0
 
1127
         lfd bfe0000000000001,  -72 => bfe0000000000001,    0
 
1128
         lfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
 
1129
         lfd 0000000000000000,  -56 => 0000000000000000,    0
 
1130
         lfd 8000000000000000,  -48 => 8000000000000000,    0
 
1131
         lfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
 
1132
         lfd fff0000000000000,  -32 => fff0000000000000,    0
 
1133
         lfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
 
1134
         lfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
 
1135
         lfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
 
1136
         lfd 0010000000000001,    0 => 0010000000000001,    0
 
1137
         lfd 00100094e0000359,    8 => 00100094e0000359,    0
 
1138
         lfd 3fe0000000000001,   16 => 3fe0000000000001,    0
 
1139
         lfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
 
1140
         lfd 8010000000000001,   32 => 8010000000000001,    0
 
1141
         lfd 80100094e0000359,   40 => 80100094e0000359,    0
 
1142
         lfd bfe0000000000001,   48 => bfe0000000000001,    0
 
1143
         lfd bfe00094e0000359,   56 => bfe00094e0000359,    0
 
1144
         lfd 0000000000000000,   64 => 0000000000000000,    0
 
1145
         lfd 8000000000000000,   72 => 8000000000000000,    0
 
1146
         lfd 7ff0000000000000,   80 => 7ff0000000000000,    0
 
1147
         lfd fff0000000000000,   88 => fff0000000000000,    0
 
1148
         lfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
 
1149
         lfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
 
1150
         lfd 7ff8000000000000,  112 => 7ff8000000000000,    0
 
1151
         lfd fff8000000000000,  120 => fff8000000000000,    0
 
1152
 
 
1153
        lfdu 0010000000000001, -120 => 0010000000000001, -120
 
1154
        lfdu 00100094e0000359, -112 => 00100094e0000359, -112
 
1155
        lfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
 
1156
        lfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
 
1157
        lfdu 8010000000000001,  -88 => 8010000000000001,  -88
 
1158
        lfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
 
1159
        lfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
 
1160
        lfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
 
1161
        lfdu 0000000000000000,  -56 => 0000000000000000,  -56
 
1162
        lfdu 8000000000000000,  -48 => 8000000000000000,  -48
 
1163
        lfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
 
1164
        lfdu fff0000000000000,  -32 => fff0000000000000,  -32
 
1165
        lfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
 
1166
        lfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
 
1167
        lfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
 
1168
        lfdu 0010000000000001,    0 => 0010000000000001,    0
 
1169
        lfdu 00100094e0000359,    8 => 00100094e0000359,    8
 
1170
        lfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
 
1171
        lfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
 
1172
        lfdu 8010000000000001,   32 => 8010000000000001,   32
 
1173
        lfdu 80100094e0000359,   40 => 80100094e0000359,   40
 
1174
        lfdu bfe0000000000001,   48 => bfe0000000000001,   48
 
1175
        lfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
 
1176
        lfdu 0000000000000000,   64 => 0000000000000000,   64
 
1177
        lfdu 8000000000000000,   72 => 8000000000000000,   72
 
1178
        lfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
 
1179
        lfdu fff0000000000000,   88 => fff0000000000000,   88
 
1180
        lfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
 
1181
        lfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
 
1182
        lfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
 
1183
        lfdu fff8000000000000,  120 => fff8000000000000,  120
 
1184
 
 
1185
PPC float load insns with two register args:
 
1186
        lfsx 0010000000000001, -120 => 37e0000000000000,    0
 
1187
        lfsx 00100094e0000359, -112 => 37e0009400000000,    0
 
1188
        lfsx 3fe0000000000001, -104 => 3ffc000000000000,    0
 
1189
        lfsx 3fe00094e0000359,  -96 => 3ffc001280000000,    0
 
1190
        lfsx 8010000000000001,  -88 => b7e0000000000000,    0
 
1191
        lfsx 80100094e0000359,  -80 => b7e0009400000000,    0
 
1192
        lfsx bfe0000000000001,  -72 => bffc000000000000,    0
 
1193
        lfsx bfe00094e0000359,  -64 => bffc001280000000,    0
 
1194
        lfsx 0000000000000000,  -56 => 0000000000000000,    0
 
1195
        lfsx 8000000000000000,  -48 => 8000000000000000,    0
 
1196
        lfsx 7ff0000000000000,  -40 => 7ffe000000000000,    0
 
1197
        lfsx fff0000000000000,  -32 => fffe000000000000,    0
 
1198
        lfsx 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,    0
 
1199
        lfsx fff7ffffffffffff,  -16 => fffeffffe0000000,    0
 
1200
        lfsx 7ff8000000000000,   -8 => 7fff000000000000,    0
 
1201
        lfsx 0010000000000001,    0 => 37e0000000000000,    0
 
1202
        lfsx 00100094e0000359,    8 => 37e0009400000000,    0
 
1203
        lfsx 3fe0000000000001,   16 => 3ffc000000000000,    0
 
1204
        lfsx 3fe00094e0000359,   24 => 3ffc001280000000,    0
 
1205
        lfsx 8010000000000001,   32 => b7e0000000000000,    0
 
1206
        lfsx 80100094e0000359,   40 => b7e0009400000000,    0
 
1207
        lfsx bfe0000000000001,   48 => bffc000000000000,    0
 
1208
        lfsx bfe00094e0000359,   56 => bffc001280000000,    0
 
1209
        lfsx 0000000000000000,   64 => 0000000000000000,    0
 
1210
        lfsx 8000000000000000,   72 => 8000000000000000,    0
 
1211
        lfsx 7ff0000000000000,   80 => 7ffe000000000000,    0
 
1212
        lfsx fff0000000000000,   88 => fffe000000000000,    0
 
1213
        lfsx 7ff7ffffffffffff,   96 => 7ffeffffe0000000,    0
 
1214
        lfsx fff7ffffffffffff,  104 => fffeffffe0000000,    0
 
1215
        lfsx 7ff8000000000000,  112 => 7fff000000000000,    0
 
1216
        lfsx fff8000000000000,  120 => ffff000000000000,    0
 
1217
 
 
1218
       lfsux 0010000000000001, -120 => 37e0000000000000, -120
 
1219
       lfsux 00100094e0000359, -112 => 37e0009400000000, -112
 
1220
       lfsux 3fe0000000000001, -104 => 3ffc000000000000, -104
 
1221
       lfsux 3fe00094e0000359,  -96 => 3ffc001280000000,  -96
 
1222
       lfsux 8010000000000001,  -88 => b7e0000000000000,  -88
 
1223
       lfsux 80100094e0000359,  -80 => b7e0009400000000,  -80
 
1224
       lfsux bfe0000000000001,  -72 => bffc000000000000,  -72
 
1225
       lfsux bfe00094e0000359,  -64 => bffc001280000000,  -64
 
1226
       lfsux 0000000000000000,  -56 => 0000000000000000,  -56
 
1227
       lfsux 8000000000000000,  -48 => 8000000000000000,  -48
 
1228
       lfsux 7ff0000000000000,  -40 => 7ffe000000000000,  -40
 
1229
       lfsux fff0000000000000,  -32 => fffe000000000000,  -32
 
1230
       lfsux 7ff7ffffffffffff,  -24 => 7ffeffffe0000000,  -24
 
1231
       lfsux fff7ffffffffffff,  -16 => fffeffffe0000000,  -16
 
1232
       lfsux 7ff8000000000000,   -8 => 7fff000000000000,   -8
 
1233
       lfsux 0010000000000001,    0 => 37e0000000000000,    0
 
1234
       lfsux 00100094e0000359,    8 => 37e0009400000000,    8
 
1235
       lfsux 3fe0000000000001,   16 => 3ffc000000000000,   16
 
1236
       lfsux 3fe00094e0000359,   24 => 3ffc001280000000,   24
 
1237
       lfsux 8010000000000001,   32 => b7e0000000000000,   32
 
1238
       lfsux 80100094e0000359,   40 => b7e0009400000000,   40
 
1239
       lfsux bfe0000000000001,   48 => bffc000000000000,   48
 
1240
       lfsux bfe00094e0000359,   56 => bffc001280000000,   56
 
1241
       lfsux 0000000000000000,   64 => 0000000000000000,   64
 
1242
       lfsux 8000000000000000,   72 => 8000000000000000,   72
 
1243
       lfsux 7ff0000000000000,   80 => 7ffe000000000000,   80
 
1244
       lfsux fff0000000000000,   88 => fffe000000000000,   88
 
1245
       lfsux 7ff7ffffffffffff,   96 => 7ffeffffe0000000,   96
 
1246
       lfsux fff7ffffffffffff,  104 => fffeffffe0000000,  104
 
1247
       lfsux 7ff8000000000000,  112 => 7fff000000000000,  112
 
1248
       lfsux fff8000000000000,  120 => ffff000000000000,  120
 
1249
 
 
1250
        lfdx 0010000000000001, -120 => 0010000000000001,    0
 
1251
        lfdx 00100094e0000359, -112 => 00100094e0000359,    0
 
1252
        lfdx 3fe0000000000001, -104 => 3fe0000000000001,    0
 
1253
        lfdx 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
 
1254
        lfdx 8010000000000001,  -88 => 8010000000000001,    0
 
1255
        lfdx 80100094e0000359,  -80 => 80100094e0000359,    0
 
1256
        lfdx bfe0000000000001,  -72 => bfe0000000000001,    0
 
1257
        lfdx bfe00094e0000359,  -64 => bfe00094e0000359,    0
 
1258
        lfdx 0000000000000000,  -56 => 0000000000000000,    0
 
1259
        lfdx 8000000000000000,  -48 => 8000000000000000,    0
 
1260
        lfdx 7ff0000000000000,  -40 => 7ff0000000000000,    0
 
1261
        lfdx fff0000000000000,  -32 => fff0000000000000,    0
 
1262
        lfdx 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
 
1263
        lfdx fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
 
1264
        lfdx 7ff8000000000000,   -8 => 7ff8000000000000,    0
 
1265
        lfdx 0010000000000001,    0 => 0010000000000001,    0
 
1266
        lfdx 00100094e0000359,    8 => 00100094e0000359,    0
 
1267
        lfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
 
1268
        lfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
 
1269
        lfdx 8010000000000001,   32 => 8010000000000001,    0
 
1270
        lfdx 80100094e0000359,   40 => 80100094e0000359,    0
 
1271
        lfdx bfe0000000000001,   48 => bfe0000000000001,    0
 
1272
        lfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
 
1273
        lfdx 0000000000000000,   64 => 0000000000000000,    0
 
1274
        lfdx 8000000000000000,   72 => 8000000000000000,    0
 
1275
        lfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
 
1276
        lfdx fff0000000000000,   88 => fff0000000000000,    0
 
1277
        lfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
 
1278
        lfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
 
1279
        lfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
 
1280
        lfdx fff8000000000000,  120 => fff8000000000000,    0
 
1281
 
 
1282
       lfdux 0010000000000001, -120 => 0010000000000001, -120
 
1283
       lfdux 00100094e0000359, -112 => 00100094e0000359, -112
 
1284
       lfdux 3fe0000000000001, -104 => 3fe0000000000001, -104
 
1285
       lfdux 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
 
1286
       lfdux 8010000000000001,  -88 => 8010000000000001,  -88
 
1287
       lfdux 80100094e0000359,  -80 => 80100094e0000359,  -80
 
1288
       lfdux bfe0000000000001,  -72 => bfe0000000000001,  -72
 
1289
       lfdux bfe00094e0000359,  -64 => bfe00094e0000359,  -64
 
1290
       lfdux 0000000000000000,  -56 => 0000000000000000,  -56
 
1291
       lfdux 8000000000000000,  -48 => 8000000000000000,  -48
 
1292
       lfdux 7ff0000000000000,  -40 => 7ff0000000000000,  -40
 
1293
       lfdux fff0000000000000,  -32 => fff0000000000000,  -32
 
1294
       lfdux 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
 
1295
       lfdux fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
 
1296
       lfdux 7ff8000000000000,   -8 => 7ff8000000000000,   -8
 
1297
       lfdux 0010000000000001,    0 => 0010000000000001,    0
 
1298
       lfdux 00100094e0000359,    8 => 00100094e0000359,    8
 
1299
       lfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
 
1300
       lfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
 
1301
       lfdux 8010000000000001,   32 => 8010000000000001,   32
 
1302
       lfdux 80100094e0000359,   40 => 80100094e0000359,   40
 
1303
       lfdux bfe0000000000001,   48 => bfe0000000000001,   48
 
1304
       lfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
 
1305
       lfdux 0000000000000000,   64 => 0000000000000000,   64
 
1306
       lfdux 8000000000000000,   72 => 8000000000000000,   72
 
1307
       lfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
 
1308
       lfdux fff0000000000000,   88 => fff0000000000000,   88
 
1309
       lfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
 
1310
       lfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
 
1311
       lfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
 
1312
       lfdux fff8000000000000,  120 => fff8000000000000,  120
 
1313
 
 
1314
PPC float store insns
 
1315
    with one register + one 16 bits immediate args with flags update:
 
1316
         stfs 0010000000000001,  -56 => 0000000000000000,    0
 
1317
         stfs 00100094e0000359,  -48 => 0000000000000000,    0
 
1318
         stfs 3fe0000000000001,  -40 => 3f00000000000000,    0
 
1319
         stfs 3fe00094e0000359,  -32 => 3f0004a700000000,    0
 
1320
         stfs 8010000000000001,  -24 => 8000000000000000,    0
 
1321
         stfs 80100094e0000359,  -16 => 8000000000000000,    0
 
1322
         stfs bfe0000000000001,   -8 => bf00000000000000,    0
 
1323
         stfs 0010000000000001,    0 => 0000000000000000,    0
 
1324
         stfs 00100094e0000359,    8 => 0000000000000000,    0
 
1325
         stfs 3fe0000000000001,   16 => 3f00000000000000,    0
 
1326
         stfs 3fe00094e0000359,   24 => 3f0004a700000000,    0
 
1327
         stfs 8010000000000001,   32 => 8000000000000000,    0
 
1328
         stfs 80100094e0000359,   40 => 8000000000000000,    0
 
1329
         stfs bfe0000000000001,   48 => bf00000000000000,    0
 
1330
         stfs bfe00094e0000359,   56 => bf0004a700000000,    0
 
1331
 
 
1332
        stfsu 0010000000000001,  -56 => 0000000000000000,  -56
 
1333
        stfsu 00100094e0000359,  -48 => 0000000000000000,  -48
 
1334
        stfsu 3fe0000000000001,  -40 => 3f00000000000000,  -40
 
1335
        stfsu 3fe00094e0000359,  -32 => 3f0004a700000000,  -32
 
1336
        stfsu 8010000000000001,  -24 => 8000000000000000,  -24
 
1337
        stfsu 80100094e0000359,  -16 => 8000000000000000,  -16
 
1338
        stfsu bfe0000000000001,   -8 => bf00000000000000,   -8
 
1339
        stfsu 0010000000000001,    0 => 0000000000000000,    0
 
1340
        stfsu 00100094e0000359,    8 => 0000000000000000,    8
 
1341
        stfsu 3fe0000000000001,   16 => 3f00000000000000,   16
 
1342
        stfsu 3fe00094e0000359,   24 => 3f0004a700000000,   24
 
1343
        stfsu 8010000000000001,   32 => 8000000000000000,   32
 
1344
        stfsu 80100094e0000359,   40 => 8000000000000000,   40
 
1345
        stfsu bfe0000000000001,   48 => bf00000000000000,   48
 
1346
        stfsu bfe00094e0000359,   56 => bf0004a700000000,   56
 
1347
 
 
1348
         stfd 0010000000000001, -120 => 0010000000000001,    0
 
1349
         stfd 00100094e0000359, -112 => 00100094e0000359,    0
 
1350
         stfd 3fe0000000000001, -104 => 3fe0000000000001,    0
 
1351
         stfd 3fe00094e0000359,  -96 => 3fe00094e0000359,    0
 
1352
         stfd 8010000000000001,  -88 => 8010000000000001,    0
 
1353
         stfd 80100094e0000359,  -80 => 80100094e0000359,    0
 
1354
         stfd bfe0000000000001,  -72 => bfe0000000000001,    0
 
1355
         stfd bfe00094e0000359,  -64 => bfe00094e0000359,    0
 
1356
         stfd 0000000000000000,  -56 => 0000000000000000,    0
 
1357
         stfd 8000000000000000,  -48 => 8000000000000000,    0
 
1358
         stfd 7ff0000000000000,  -40 => 7ff0000000000000,    0
 
1359
         stfd fff0000000000000,  -32 => fff0000000000000,    0
 
1360
         stfd 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,    0
 
1361
         stfd fff7ffffffffffff,  -16 => fff7ffffffffffff,    0
 
1362
         stfd 7ff8000000000000,   -8 => 7ff8000000000000,    0
 
1363
         stfd 0010000000000001,    0 => 0010000000000001,    0
 
1364
         stfd 00100094e0000359,    8 => 00100094e0000359,    0
 
1365
         stfd 3fe0000000000001,   16 => 3fe0000000000001,    0
 
1366
         stfd 3fe00094e0000359,   24 => 3fe00094e0000359,    0
 
1367
         stfd 8010000000000001,   32 => 8010000000000001,    0
 
1368
         stfd 80100094e0000359,   40 => 80100094e0000359,    0
 
1369
         stfd bfe0000000000001,   48 => bfe0000000000001,    0
 
1370
         stfd bfe00094e0000359,   56 => bfe00094e0000359,    0
 
1371
         stfd 0000000000000000,   64 => 0000000000000000,    0
 
1372
         stfd 8000000000000000,   72 => 8000000000000000,    0
 
1373
         stfd 7ff0000000000000,   80 => 7ff0000000000000,    0
 
1374
         stfd fff0000000000000,   88 => fff0000000000000,    0
 
1375
         stfd 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
 
1376
         stfd fff7ffffffffffff,  104 => fff7ffffffffffff,    0
 
1377
         stfd 7ff8000000000000,  112 => 7ff8000000000000,    0
 
1378
         stfd fff8000000000000,  120 => fff8000000000000,    0
 
1379
 
 
1380
        stfdu 0010000000000001, -120 => 0010000000000001, -120
 
1381
        stfdu 00100094e0000359, -112 => 00100094e0000359, -112
 
1382
        stfdu 3fe0000000000001, -104 => 3fe0000000000001, -104
 
1383
        stfdu 3fe00094e0000359,  -96 => 3fe00094e0000359,  -96
 
1384
        stfdu 8010000000000001,  -88 => 8010000000000001,  -88
 
1385
        stfdu 80100094e0000359,  -80 => 80100094e0000359,  -80
 
1386
        stfdu bfe0000000000001,  -72 => bfe0000000000001,  -72
 
1387
        stfdu bfe00094e0000359,  -64 => bfe00094e0000359,  -64
 
1388
        stfdu 0000000000000000,  -56 => 0000000000000000,  -56
 
1389
        stfdu 8000000000000000,  -48 => 8000000000000000,  -48
 
1390
        stfdu 7ff0000000000000,  -40 => 7ff0000000000000,  -40
 
1391
        stfdu fff0000000000000,  -32 => fff0000000000000,  -32
 
1392
        stfdu 7ff7ffffffffffff,  -24 => 7ff7ffffffffffff,  -24
 
1393
        stfdu fff7ffffffffffff,  -16 => fff7ffffffffffff,  -16
 
1394
        stfdu 7ff8000000000000,   -8 => 7ff8000000000000,   -8
 
1395
        stfdu 0010000000000001,    0 => 0010000000000001,    0
 
1396
        stfdu 00100094e0000359,    8 => 00100094e0000359,    8
 
1397
        stfdu 3fe0000000000001,   16 => 3fe0000000000001,   16
 
1398
        stfdu 3fe00094e0000359,   24 => 3fe00094e0000359,   24
 
1399
        stfdu 8010000000000001,   32 => 8010000000000001,   32
 
1400
        stfdu 80100094e0000359,   40 => 80100094e0000359,   40
 
1401
        stfdu bfe0000000000001,   48 => bfe0000000000001,   48
 
1402
        stfdu bfe00094e0000359,   56 => bfe00094e0000359,   56
 
1403
        stfdu 0000000000000000,   64 => 0000000000000000,   64
 
1404
        stfdu 8000000000000000,   72 => 8000000000000000,   72
 
1405
        stfdu 7ff0000000000000,   80 => 7ff0000000000000,   80
 
1406
        stfdu fff0000000000000,   88 => fff0000000000000,   88
 
1407
        stfdu 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
 
1408
        stfdu fff7ffffffffffff,  104 => fff7ffffffffffff,  104
 
1409
        stfdu 7ff8000000000000,  112 => 7ff8000000000000,  112
 
1410
        stfdu fff8000000000000,  120 => fff8000000000000,  120
 
1411
 
 
1412
PPC float store insns with three register args:
 
1413
        stfsx 0010000000000001,    0 => 0000000000000000,    0
 
1414
        stfsx 00100094e0000359,    8 => 0000000000000000,    0
 
1415
        stfsx 3fe0000000000001,   16 => 3f00000000000000,    0
 
1416
        stfsx 3fe00094e0000359,   24 => 3f0004a700000000,    0
 
1417
        stfsx 8010000000000001,   32 => 8000000000000000,    0
 
1418
        stfsx 80100094e0000359,   40 => 8000000000000000,    0
 
1419
        stfsx bfe0000000000001,   48 => bf00000000000000,    0
 
1420
        stfsx bfe00094e0000359,   56 => bf0004a700000000,    0
 
1421
 
 
1422
       stfsux 0010000000000001,    0 => 0000000000000000,    0
 
1423
       stfsux 00100094e0000359,    8 => 0000000000000000,    8
 
1424
       stfsux 3fe0000000000001,   16 => 3f00000000000000,   16
 
1425
       stfsux 3fe00094e0000359,   24 => 3f0004a700000000,   24
 
1426
       stfsux 8010000000000001,   32 => 8000000000000000,   32
 
1427
       stfsux 80100094e0000359,   40 => 8000000000000000,   40
 
1428
       stfsux bfe0000000000001,   48 => bf00000000000000,   48
 
1429
       stfsux bfe00094e0000359,   56 => bf0004a700000000,   56
 
1430
 
 
1431
        stfdx 0010000000000001,    0 => 0010000000000001,    0
 
1432
        stfdx 00100094e0000359,    8 => 00100094e0000359,    0
 
1433
        stfdx 3fe0000000000001,   16 => 3fe0000000000001,    0
 
1434
        stfdx 3fe00094e0000359,   24 => 3fe00094e0000359,    0
 
1435
        stfdx 8010000000000001,   32 => 8010000000000001,    0
 
1436
        stfdx 80100094e0000359,   40 => 80100094e0000359,    0
 
1437
        stfdx bfe0000000000001,   48 => bfe0000000000001,    0
 
1438
        stfdx bfe00094e0000359,   56 => bfe00094e0000359,    0
 
1439
        stfdx 0000000000000000,   64 => 0000000000000000,    0
 
1440
        stfdx 8000000000000000,   72 => 8000000000000000,    0
 
1441
        stfdx 7ff0000000000000,   80 => 7ff0000000000000,    0
 
1442
        stfdx fff0000000000000,   88 => fff0000000000000,    0
 
1443
        stfdx 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,    0
 
1444
        stfdx fff7ffffffffffff,  104 => fff7ffffffffffff,    0
 
1445
        stfdx 7ff8000000000000,  112 => 7ff8000000000000,    0
 
1446
        stfdx fff8000000000000,  120 => fff8000000000000,    0
 
1447
 
 
1448
       stfdux 0010000000000001,    0 => 0010000000000001,    0
 
1449
       stfdux 00100094e0000359,    8 => 00100094e0000359,    8
 
1450
       stfdux 3fe0000000000001,   16 => 3fe0000000000001,   16
 
1451
       stfdux 3fe00094e0000359,   24 => 3fe00094e0000359,   24
 
1452
       stfdux 8010000000000001,   32 => 8010000000000001,   32
 
1453
       stfdux 80100094e0000359,   40 => 80100094e0000359,   40
 
1454
       stfdux bfe0000000000001,   48 => bfe0000000000001,   48
 
1455
       stfdux bfe00094e0000359,   56 => bfe00094e0000359,   56
 
1456
       stfdux 0000000000000000,   64 => 0000000000000000,   64
 
1457
       stfdux 8000000000000000,   72 => 8000000000000000,   72
 
1458
       stfdux 7ff0000000000000,   80 => 7ff0000000000000,   80
 
1459
       stfdux fff0000000000000,   88 => fff0000000000000,   88
 
1460
       stfdux 7ff7ffffffffffff,   96 => 7ff7ffffffffffff,   96
 
1461
       stfdux fff7ffffffffffff,  104 => fff7ffffffffffff,  104
 
1462
       stfdux 7ff8000000000000,  112 => 7ff8000000000000,  112
 
1463
       stfdux fff8000000000000,  120 => fff8000000000000,  120
 
1464
 
 
1465
All done. Tested 73 different instructions