Mercurial > mplayer.hg
annotate mp3lib/dct64_mmx.c @ 25944:8a1c062707ff
Do not uselessly erase background, OpenGL will take care of drawing everything.
author | reimar |
---|---|
date | Sun, 10 Feb 2008 19:47:54 +0000 |
parents | 2095f98cf0fa |
children | 08d18fe9da52 |
rev | line source |
---|---|
25350
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
1 /* |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
2 * This code was taken from http://www.mpg123.org |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
3 * See ChangeLog of mpg123-0.59s-pre.1 for detail |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
4 * Applied to mplayer by Nick Kurshev <nickols_k@mail.ru> |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
5 */ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
6 #include "mangle.h" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
7 #define real float /* ugly - but only way */ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
8 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
9 void dct64_MMX(short *a,short *b,real *c) |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
10 { |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
11 char tmp[256]; |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
12 __asm __volatile( |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
13 " movl %2,%%eax\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
14 /* Phase 1*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
15 " flds (%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
16 " leal 128+%3,%%edx\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
17 " fadds 124(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
18 " movl %0,%%esi\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
19 " fstps (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
20 " movl %1,%%edi\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
21 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
22 " flds 4(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
23 " movl $"MANGLE(costab_mmx)",%%ebx\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
24 " fadds 120(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
25 " orl %%ecx,%%ecx\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
26 " fstps 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
27 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
28 " flds (%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
29 " leal %3,%%ecx\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
30 " fsubs 124(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
31 " fmuls (%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
32 " fstps 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
33 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
34 " flds 4(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
35 " fsubs 120(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
36 " fmuls 4(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
37 " fstps 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
38 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
39 " flds 8(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
40 " fadds 116(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
41 " fstps 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
42 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
43 " flds 12(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
44 " fadds 112(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
45 " fstps 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
46 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
47 " flds 8(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
48 " fsubs 116(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
49 " fmuls 8(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
50 " fstps 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
51 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
52 " flds 12(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
53 " fsubs 112(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
54 " fmuls 12(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
55 " fstps 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
56 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
57 " flds 16(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
58 " fadds 108(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
59 " fstps 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
60 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
61 " flds 20(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
62 " fadds 104(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
63 " fstps 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
64 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
65 " flds 16(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
66 " fsubs 108(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
67 " fmuls 16(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
68 " fstps 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
69 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
70 " flds 20(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
71 " fsubs 104(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
72 " fmuls 20(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
73 " fstps 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
74 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
75 " flds 24(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
76 " fadds 100(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
77 " fstps 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
78 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
79 " flds 28(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
80 " fadds 96(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
81 " fstps 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
82 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
83 " flds 24(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
84 " fsubs 100(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
85 " fmuls 24(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
86 " fstps 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
87 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
88 " flds 28(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
89 " fsubs 96(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
90 " fmuls 28(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
91 " fstps 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
92 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
93 " flds 32(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
94 " fadds 92(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
95 " fstps 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
96 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
97 " flds 36(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
98 " fadds 88(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
99 " fstps 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
100 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
101 " flds 32(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
102 " fsubs 92(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
103 " fmuls 32(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
104 " fstps 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
105 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
106 " flds 36(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
107 " fsubs 88(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
108 " fmuls 36(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
109 " fstps 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
110 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
111 " flds 40(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
112 " fadds 84(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
113 " fstps 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
114 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
115 " flds 44(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
116 " fadds 80(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
117 " fstps 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
118 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
119 " flds 40(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
120 " fsubs 84(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
121 " fmuls 40(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
122 " fstps 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
123 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
124 " flds 44(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
125 " fsubs 80(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
126 " fmuls 44(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
127 " fstps 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
128 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
129 " flds 48(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
130 " fadds 76(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
131 " fstps 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
132 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
133 " flds 52(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
134 " fadds 72(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
135 " fstps 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
136 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
137 " flds 48(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
138 " fsubs 76(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
139 " fmuls 48(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
140 " fstps 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
141 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
142 " flds 52(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
143 " fsubs 72(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
144 " fmuls 52(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
145 " fstps 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
146 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
147 " flds 56(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
148 " fadds 68(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
149 " fstps 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
150 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
151 " flds 60(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
152 " fadds 64(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
153 " fstps 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
154 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
155 " flds 56(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
156 " fsubs 68(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
157 " fmuls 56(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
158 " fstps 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
159 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
160 " flds 60(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
161 " fsubs 64(%%eax)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
162 " fmuls 60(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
163 " fstps 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
164 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
165 /* Phase 2*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
166 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
167 " flds (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
168 " fadds 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
169 " fstps (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
170 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
171 " flds 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
172 " fadds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
173 " fstps 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
174 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
175 " flds (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
176 " fsubs 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
177 " fmuls 64(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
178 " fstps 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
179 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
180 " flds 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
181 " fsubs 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
182 " fmuls 68(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
183 " fstps 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
184 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
185 " flds 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
186 " fadds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
187 " fstps 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
188 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
189 " flds 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
190 " fadds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
191 " fstps 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
192 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
193 " flds 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
194 " fsubs 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
195 " fmuls 72(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
196 " fstps 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
197 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
198 " flds 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
199 " fsubs 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
200 " fmuls 76(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
201 " fstps 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
202 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
203 " flds 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
204 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
205 " fstps 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
206 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
207 " flds 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
208 " fadds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
209 " fstps 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
210 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
211 " flds 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
212 " fsubs 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
213 " fmuls 80(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
214 " fstps 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
215 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
216 " flds 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
217 " fsubs 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
218 " fmuls 84(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
219 " fstps 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
220 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
221 " flds 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
222 " fadds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
223 " fstps 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
224 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
225 " flds 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
226 " fadds 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
227 " fstps 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
228 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
229 " flds 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
230 " fsubs 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
231 " fmuls 88(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
232 " fstps 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
233 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
234 " flds 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
235 " fsubs 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
236 " fmuls 92(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
237 " fstps 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
238 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
239 /* Phase 3*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
240 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
241 " flds 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
242 " fadds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
243 " fstps 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
244 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
245 " flds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
246 " fadds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
247 " fstps 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
248 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
249 " flds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
250 " fsubs 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
251 " fmuls 64(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
252 " fstps 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
253 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
254 " flds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
255 " fsubs 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
256 " fmuls 68(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
257 " fstps 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
258 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
259 " flds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
260 " fadds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
261 " fstps 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
262 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
263 " flds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
264 " fadds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
265 " fstps 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
266 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
267 " flds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
268 " fsubs 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
269 " fmuls 72(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
270 " fstps 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
271 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
272 " flds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
273 " fsubs 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
274 " fmuls 76(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
275 " fstps 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
276 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
277 " flds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
278 " fadds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
279 " fstps 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
280 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
281 " flds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
282 " fadds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
283 " fstps 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
284 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
285 " flds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
286 " fsubs 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
287 " fmuls 80(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
288 " fstps 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
289 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
290 " flds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
291 " fsubs 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
292 " fmuls 84(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
293 " fstps 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
294 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
295 " flds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
296 " fadds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
297 " fstps 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
298 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
299 " flds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
300 " fadds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
301 " fstps 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
302 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
303 " flds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
304 " fsubs 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
305 " fmuls 88(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
306 " fstps 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
307 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
308 " flds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
309 " fsubs 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
310 " fmuls 92(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
311 " fstps 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
312 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
313 /* Phase 4*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
314 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
315 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
316 " fadds 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
317 " fstps (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
318 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
319 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
320 " fsubs 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
321 " fmuls 96(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
322 " fstps 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
323 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
324 " flds 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
325 " fadds 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
326 " fstps 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
327 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
328 " flds 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
329 " fsubs 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
330 " fmuls 100(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
331 " fstps 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
332 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
333 " flds 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
334 " fadds 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
335 " fstps 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
336 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
337 " flds 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
338 " fsubs 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
339 " fmuls 104(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
340 " fstps 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
341 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
342 " flds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
343 " fadds 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
344 " fstps 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
345 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
346 " flds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
347 " fsubs 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
348 " fmuls 108(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
349 " fstps 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
350 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
351 " flds 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
352 " fadds 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
353 " fstps 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
354 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
355 " flds 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
356 " fsubs 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
357 " fmuls 96(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
358 " fstps 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
359 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
360 " flds 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
361 " fadds 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
362 " fstps 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
363 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
364 " flds 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
365 " fsubs 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
366 " fmuls 100(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
367 " fstps 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
368 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
369 " flds 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
370 " fadds 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
371 " fstps 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
372 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
373 " flds 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
374 " fsubs 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
375 " fmuls 104(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
376 " fstps 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
377 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
378 " flds 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
379 " fadds 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
380 " fstps 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
381 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
382 " flds 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
383 " fsubs 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
384 " fmuls 108(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
385 " fstps 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
386 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
387 " flds 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
388 " fadds 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
389 " fstps 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
390 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
391 " flds 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
392 " fsubs 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
393 " fmuls 96(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
394 " fstps 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
395 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
396 " flds 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
397 " fadds 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
398 " fstps 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
399 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
400 " flds 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
401 " fsubs 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
402 " fmuls 100(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
403 " fstps 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
404 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
405 " flds 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
406 " fadds 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
407 " fstps 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
408 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
409 " flds 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
410 " fsubs 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
411 " fmuls 104(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
412 " fstps 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
413 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
414 " flds 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
415 " fadds 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
416 " fstps 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
417 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
418 " flds 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
419 " fsubs 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
420 " fmuls 108(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
421 " fstps 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
422 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
423 " flds 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
424 " fadds 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
425 " fstps 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
426 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
427 " flds 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
428 " fsubs 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
429 " fmuls 96(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
430 " fstps 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
431 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
432 " flds 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
433 " fadds 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
434 " fstps 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
435 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
436 " flds 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
437 " fsubs 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
438 " fmuls 100(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
439 " fstps 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
440 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
441 " flds 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
442 " fadds 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
443 " fstps 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
444 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
445 " flds 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
446 " fsubs 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
447 " fmuls 104(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
448 " fstps 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
449 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
450 " flds 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
451 " fadds 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
452 " fstps 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
453 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
454 " flds 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
455 " fsubs 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
456 " fmuls 108(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
457 " fstps 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
458 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
459 " flds (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
460 " fadds 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
461 " fstps (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
462 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
463 " flds (%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
464 " fsubs 12(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
465 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
466 " fstps 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
467 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
468 " flds 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
469 " fadds 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
470 " fstps 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
471 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
472 " flds 4(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
473 " fsubs 8(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
474 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
475 " fstps 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
476 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
477 " flds 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
478 " fadds 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
479 " fstps 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
480 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
481 " flds 28(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
482 " fsubs 16(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
483 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
484 " fstps 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
485 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
486 " flds 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
487 " fadds 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
488 " fstps 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
489 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
490 " flds 24(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
491 " fsubs 20(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
492 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
493 " fstps 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
494 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
495 " flds 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
496 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
497 " fstps 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
498 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
499 " flds 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
500 " fsubs 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
501 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
502 " fstps 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
503 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
504 " flds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
505 " fadds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
506 " fstps 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
507 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
508 " flds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
509 " fsubs 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
510 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
511 " fstps 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
512 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
513 " flds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
514 " fadds 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
515 " fstps 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
516 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
517 " flds 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
518 " fsubs 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
519 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
520 " fstps 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
521 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
522 " flds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
523 " fadds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
524 " fstps 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
525 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
526 " flds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
527 " fsubs 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
528 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
529 " fstps 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
530 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
531 " flds 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
532 " fadds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
533 " fstps 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
534 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
535 " flds 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
536 " fsubs 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
537 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
538 " fstps 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
539 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
540 " flds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
541 " fadds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
542 " fstps 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
543 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
544 " flds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
545 " fsubs 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
546 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
547 " fstps 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
548 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
549 " flds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
550 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
551 " fstps 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
552 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
553 " flds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
554 " fsubs 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
555 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
556 " fstps 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
557 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
558 " flds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
559 " fadds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
560 " fstps 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
561 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
562 " flds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
563 " fsubs 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
564 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
565 " fstps 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
566 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
567 " flds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
568 " fadds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
569 " fstps 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
570 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
571 " flds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
572 " fsubs 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
573 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
574 " fstps 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
575 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
576 " flds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
577 " fadds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
578 " fstps 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
579 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
580 " flds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
581 " fsubs 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
582 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
583 " fstps 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
584 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
585 " flds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
586 " fadds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
587 " fstps 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
588 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
589 " flds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
590 " fsubs 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
591 " fmuls 112(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
592 " fstps 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
593 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
594 " flds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
595 " fadds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
596 " fstps 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
597 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
598 " flds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
599 " fsubs 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
600 " fmuls 116(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
601 " fstps 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
602 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
603 /* Phase 5*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
604 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
605 " flds 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
606 " fadds 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
607 " fstps 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
608 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
609 " flds 32(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
610 " fsubs 36(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
611 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
612 " fstps 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
613 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
614 " flds 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
615 " fsubs 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
616 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
617 " fsts 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
618 " fadds 40(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
619 " fadds 44(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
620 " fstps 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
621 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
622 " flds 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
623 " fsubs 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
624 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
625 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
626 " flds 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
627 " fsubs 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
628 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
629 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
630 " fadds 56(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
631 " fadds 60(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
632 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
633 " fadds 48(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
634 " fadds 52(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
635 " fstps 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
636 " fadd %%st(2)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
637 " fstps 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
638 " fsts 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
639 " faddp %%st(1)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
640 " fstps 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
641 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
642 " flds 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
643 " fadds 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
644 " fstps 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
645 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
646 " flds 64(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
647 " fsubs 68(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
648 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
649 " fstps 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
650 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
651 " flds 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
652 " fsubs 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
653 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
654 " fsts 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
655 " fadds 72(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
656 " fadds 76(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
657 " fstps 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
658 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
659 " flds 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
660 " fsubs 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
661 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
662 " fsts 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
663 " fadds 92(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
664 " fadds 88(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
665 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
666 " fadds 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
667 " fadds 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
668 " fstps 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
669 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
670 " flds 80(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
671 " fsubs 84(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
672 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
673 " fadd %%st(0), %%st(1)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
674 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
675 " fstps 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
676 " fstps 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
677 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
678 " flds 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
679 " fadds 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
680 " fstps 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
681 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
682 " flds 96(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
683 " fsubs 100(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
684 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
685 " fstps 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
686 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
687 " flds 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
688 " fsubs 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
689 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
690 " fsts 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
691 " fadds 104(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
692 " fadds 108(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
693 " fstps 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
694 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
695 " flds 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
696 " fsubs 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
697 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
698 " fsts 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
699 " fadds 120(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
700 " fadds 124(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
701 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
702 " fadds 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
703 " fadds 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
704 " fstps 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
705 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
706 " flds 112(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
707 " fsubs 116(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
708 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
709 " fadd %%st(0),%%st(1)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
710 " fadds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
711 " fstps 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
712 " fstps 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
713 " jnz .L01\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
714 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
715 /* Phase 6*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
716 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
717 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
718 " fadds 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
719 " fstps 1024(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
720 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
721 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
722 " fsubs 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
723 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
724 " fsts (%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
725 " fstps (%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
726 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
727 " flds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
728 " fsubs 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
729 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
730 " fsts 512(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
731 " fadds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
732 " fadds 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
733 " fstps 512(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
734 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
735 " flds 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
736 " fsubs 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
737 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
738 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
739 " flds 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
740 " fsubs 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
741 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
742 " fsts 768(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
743 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
744 " fadds 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
745 " fadds 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
746 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
747 " fadds 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
748 " fadds 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
749 " fstps 768(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
750 " fadd %%st(2)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
751 " fstps 256(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
752 " faddp %%st(1)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
753 " fstps 256(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
754 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
755 /* Phase 7*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
756 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
757 " flds 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
758 " fadds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
759 " fstps 896(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
760 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
761 " flds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
762 " fadds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
763 " fstps 640(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
764 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
765 " flds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
766 " fadds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
767 " fstps 384(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
768 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
769 " flds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
770 " fadds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
771 " fstps 128(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
772 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
773 " flds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
774 " fadds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
775 " fstps 128(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
776 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
777 " flds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
778 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
779 " fstps 384(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
780 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
781 " flds 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
782 " fsts 896(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
783 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
784 " fstps 640(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
785 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
786 " flds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
787 " fadds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
788 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
789 " fadds 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
790 " fstps 960(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
791 " fadds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
792 " fstps 832(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
793 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
794 " flds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
795 " fadds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
796 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
797 " fadds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
798 " fstps 704(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
799 " fadds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
800 " fstps 576(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
801 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
802 " flds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
803 " fadds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
804 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
805 " fadds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
806 " fstps 448(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
807 " fadds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
808 " fstps 320(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
809 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
810 " flds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
811 " fadds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
812 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
813 " fadds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
814 " fstps 192(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
815 " fadds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
816 " fstps 64(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
817 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
818 " flds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
819 " fadds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
820 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
821 " fadds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
822 " fstps 64(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
823 " fadds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
824 " fstps 192(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
825 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
826 " flds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
827 " fadds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
828 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
829 " fadds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
830 " fstps 320(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
831 " fadds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
832 " fstps 448(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
833 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
834 " flds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
835 " fadds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
836 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
837 " fadds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
838 " fstps 576(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
839 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
840 " fstps 704(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
841 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
842 " flds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
843 " fsts 960(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
844 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
845 " fstps 832(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
846 " jmp .L_bye\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
847 ".L01:\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
848 /* Phase 8*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
849 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
850 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
851 " fadds 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
852 " fistp 512(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
853 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
854 " flds (%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
855 " fsubs 4(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
856 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
857 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
858 " fistp (%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
859 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
860 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
861 " flds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
862 " fsubs 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
863 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
864 " fist 256(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
865 " fadds 12(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
866 " fadds 8(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
867 " fistp 256(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
868 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
869 " flds 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
870 " fsubs 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
871 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
872 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
873 " flds 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
874 " fsubs 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
875 " fmuls 120(%%ebx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
876 " fist 384(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
877 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
878 " fadds 24(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
879 " fadds 28(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
880 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
881 " fadds 16(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
882 " fadds 20(%%ecx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
883 " fistp 384(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
884 " fadd %%st(2)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
885 " fistp 128(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
886 " faddp %%st(1)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
887 " fistp 128(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
888 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
889 /* Phase 9*/ |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
890 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
891 " flds 32(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
892 " fadds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
893 " fistp 448(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
894 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
895 " flds 48(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
896 " fadds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
897 " fistp 320(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
898 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
899 " flds 40(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
900 " fadds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
901 " fistp 192(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
902 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
903 " flds 56(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
904 " fadds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
905 " fistp 64(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
906 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
907 " flds 36(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
908 " fadds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
909 " fistp 64(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
910 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
911 " flds 52(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
912 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
913 " fistp 192(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
914 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
915 " flds 60(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
916 " fist 448(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
917 " fadds 44(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
918 " fistp 320(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
919 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
920 " flds 96(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
921 " fadds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
922 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
923 " fadds 64(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
924 " fistp 480(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
925 " fadds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
926 " fistp 416(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
927 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
928 " flds 112(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
929 " fadds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
930 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
931 " fadds 80(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
932 " fistp 352(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
933 " fadds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
934 " fistp 288(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
935 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
936 " flds 104(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
937 " fadds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
938 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
939 " fadds 72(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
940 " fistp 224(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
941 " fadds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
942 " fistp 160(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
943 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
944 " flds 120(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
945 " fadds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
946 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
947 " fadds 88(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
948 " fistp 96(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
949 " fadds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
950 " fistp 32(%%esi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
951 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
952 " flds 100(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
953 " fadds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
954 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
955 " fadds 68(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
956 " fistp 32(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
957 " fadds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
958 " fistp 96(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
959 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
960 " flds 116(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
961 " fadds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
962 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
963 " fadds 84(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
964 " fistp 160(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
965 " fadds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
966 " fistp 224(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
967 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
968 " flds 108(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
969 " fadds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
970 " fld %%st(0)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
971 " fadds 76(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
972 " fistp 288(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
973 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
974 " fistp 352(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
975 |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
976 " flds 124(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
977 " fist 480(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
978 " fadds 92(%%edx)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
979 " fistp 416(%%edi)\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
980 " movsw\n\t" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
981 ".L_bye:" |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
982 : |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
983 :"m"(a),"m"(b),"m"(c),"m"(tmp[0]) |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
984 :"memory","%eax","%ebx","%ecx","%edx","%esi","%edi"); |
2095f98cf0fa
cosmetics: Remove ugly and inconsistent uppercasing from filenames.
diego
parents:
diff
changeset
|
985 } |