prop-src/T3.s

   1         .file   "T3.cc"
   2 gcc2_compiled.:
   3 ___gnu_compiled_cplusplus:
   4 .text
   5         .align 4
   6 .globl _eval__FRC3Exp
   7 _eval__FRC3Exp:
   8         pushl %ebp
   9         movl %esp,%ebp
  10         subl $4,%esp
  11         pushl %esi
  12         pushl %ebx
  13         movl 8(%ebp),%esi
  14         movl (%esi),%edx
  15         movswl 8(%edx),%eax
  16         addl %esi,%eax
  17         pushl %eax
  18         movl 12(%edx),%eax
  19         call *%eax
  20         addl $4,%esp
  21         testl %eax,%eax
  22         je L71
  23         movl (%esi),%edx
  24         movswl 48(%edx),%eax
  25         addl %esi,%eax
  26         pushl %eax
  27         movl 52(%edx),%eax
  28         call *%eax
  29         jmp L79
  30         .align 4,0x90
  31 L71:
  32         movl (%esi),%edx
  33         movswl 16(%edx),%eax
  34         addl %esi,%eax
  35         pushl %eax
  36         movl 20(%edx),%eax
  37         call *%eax
  38         addl $4,%esp
  39         testl %eax,%eax
  40         je L73
  41         movl (%esi),%edx
  42         pushl $0
  43         movswl 56(%edx),%eax
  44         addl %esi,%eax
  45         pushl %eax
  46         movl 60(%edx),%eax
  47         call *%eax
  48         pushl %eax
  49         call _eval__FRC3Exp
  50         movl %eax,%ebx
  51         movl (%esi),%edx
  52         pushl $1
  53         movswl 56(%edx),%eax
  54         addl %esi,%eax
  55         pushl %eax
  56         movl 60(%edx),%eax
  57         call *%eax
  58         pushl %eax
  59         call _eval__FRC3Exp
  60         addl %eax,%ebx
  61         jmp L80
  62         .align 4,0x90
  63 L73:
  64         movl (%esi),%edx
  65         movswl 24(%edx),%eax
  66         addl %esi,%eax
  67         pushl %eax
  68         movl 28(%edx),%eax
  69         call *%eax
  70         addl $4,%esp
  71         testl %eax,%eax
  72         je L75
  73         movl (%esi),%edx
  74         pushl $0
  75         movswl 56(%edx),%eax
  76         addl %esi,%eax
  77         pushl %eax
  78         movl 60(%edx),%eax
  79         call *%eax
  80         pushl %eax
  81         call _eval__FRC3Exp
  82         movl %eax,%ebx
  83         movl (%esi),%edx
  84         pushl $1
  85         movswl 56(%edx),%eax
  86         addl %esi,%eax
  87         pushl %eax
  88         movl 60(%edx),%eax
  89         call *%eax
  90         pushl %eax
  91         call _eval__FRC3Exp
  92         subl %eax,%ebx
  93         jmp L80
  94         .align 4,0x90
  95 L75:
  96         movl (%esi),%edx
  97         movswl 32(%edx),%eax
  98         addl %esi,%eax
  99         pushl %eax
 100         movl 36(%edx),%eax
 101         call *%eax
 102         addl $4,%esp
 103         testl %eax,%eax
 104         jne L77
 105         movl (%esi),%edx
 106         pushl $0
 107         movswl 56(%edx),%eax
 108         addl %esi,%eax
 109         pushl %eax
 110         movl 60(%edx),%edx
 111         movl %edx,-4(%ebp)
 112         call *%edx
 113         movl %eax,-4(%ebp)
 114         pushl %eax
 115         call _eval__FRC3Exp
 116         movl %eax,%ebx
 117         movl (%esi),%edx
 118         pushl $1
 119         movswl 56(%edx),%eax
 120         addl %eax,%esi
 121         movl %esi,-4(%ebp)
 122         pushl %esi
 123         movl 60(%edx),%edx
 124         movl %edx,-4(%ebp)
 125         call *%edx
 126         movl %eax,-4(%ebp)
 127         pushl %eax
 128         call _eval__FRC3Exp
 129         movl %eax,-4(%ebp)
 130         movl %ebx,%eax
 131         cltd
 132         idivl -4(%ebp)
 133         movl %eax,%ecx
 134         jmp L79
 135         .align 4,0x90
 136 L77:
 137         movl (%esi),%edx
 138         pushl $0
 139         movswl 56(%edx),%eax
 140         addl %esi,%eax
 141         pushl %eax
 142         movl 60(%edx),%eax
 143         call *%eax
 144         pushl %eax
 145         call _eval__FRC3Exp
 146         movl %eax,%ebx
 147         movl (%esi),%edx
 148         pushl $1
 149         movswl 56(%edx),%eax
 150         addl %esi,%eax
 151         pushl %eax
 152         movl 60(%edx),%eax
 153         call *%eax
 154         pushl %eax
 155         call _eval__FRC3Exp
 156         imull %eax,%ebx
 157 L80:
 158         movl %ebx,%eax
 159 L79:
 160         leal -12(%ebp),%esp
 161         popl %ebx
 162         popl %esi
 163         movl %ebp,%esp
 164         popl %ebp
 165         ret
 166         .align 4
 167 .globl _simplify__FG3Exp
 168 _simplify__FG3Exp:
 169         pushl %ebp
 170         movl %esp,%ebp
 171         leal 8(%ebp),%eax
 172         pushl %eax
 173         call __T_3co_X1_rewrite__FR3Exp
 174         movl %ebp,%esp
 175         popl %ebp
 176         ret
 177         .align 4
 178 .globl __T_3co_X1_rewrite__FR3Exp
 179 __T_3co_X1_rewrite__FR3Exp:
 180         pushl %ebp
 181         movl %esp,%ebp
 182         subl $48,%esp
 183         pushl %esi
 184         pushl %ebx
 185         movl 8(%ebp),%esi
 186         leal -44(%ebp),%ebx
 187         pushl %ebx
 188         call ___4BURS
 189         movl $__vt$9_T_3co_X1,-12(%ebp)
 190         addl $4,%esp
 191         pushl $0
 192         leal -48(%ebp),%eax
 193         pushl %eax
 194         pushl %esi
 195         pushl %ebx
 196         call _labeler__9_T_3co_X1R3ExpRii
 197         addl $16,%esp
 198         movl $__vt$9_T_3co_X1,-12(%ebp)
 199         pushl $2
 200         pushl %ebx
 201         call __$_4BURS
 202         leal -56(%ebp),%esp
 203         popl %ebx
 204         popl %esi
 205         movl %ebp,%esp
 206         popl %ebp
 207         ret
 208         .align 4
 209 .globl _labeler__9_T_3co_X1R3ExpRii
 210 _labeler__9_T_3co_X1R3ExpRii:
 211         pushl %ebp
 212         movl %esp,%ebp
 213         movl 16(%ebp),%eax
 214         movl $1,(%eax)
 215         movl %ebp,%esp
 216         popl %ebp
 217         ret
 218         .align 4
 219 __$_9_T_3co_X1:
 220         pushl %ebp
 221         movl %esp,%ebp
 222         movl 8(%ebp),%eax
 223         movl $__vt$9_T_3co_X1,32(%eax)
 224         movl 12(%ebp),%edx
 225         pushl %edx
 226         pushl %eax
 227         call __$_4BURS
 228         movl %ebp,%esp
 229         popl %ebp
 230         ret
 231         .align 4
 232 ___cl__9_T_3co_X1R3Exp:
 233         pushl %ebp
 234         movl %esp,%ebp
 235         subl $4,%esp
 236         pushl $0
 237         leal -4(%ebp),%eax
 238         pushl %eax
 239         movl 12(%ebp),%edx
 240         pushl %edx
 241         movl 8(%ebp),%edx
 242         pushl %edx
 243         call _labeler__9_T_3co_X1R3ExpRii
 244         movl %ebp,%esp
 245         popl %ebp
 246         ret
 247         .align 2
 248 __vt$9_T_3co_X1:
 249         .word 0
 250         .word 0
 251         .long 4
 252         .word 0
 253         .word 0
 254         .long __$_9_T_3co_X1
 255         .word 0
 256         .word 0
 257         .long _no_cover__4BURS
 258         .word 0
 259         .word 0
 260         .long _clear__4BURS
 261         .word 0
 262         .word 0
 263         .long ___cl__9_T_3co_X1R3Exp
 264         .align 1
 265 __T_3co_X1_theta_1:
 266         .word 0
 267         .word 0
 268         .word 0
 269         .word 2
 270         .align 1
 271 __T_3co_X1_theta_2:
 272         .word 0
 273         .word 0
 274         .word 0
 275         .word 3
 276         .align 1
 277 __T_3co_X1_theta_3:
 278         .word 0
 279         .word 0
 280         .word 0
 281         .word 4
 282         .align 1
 283 __T_3co_X1_theta_4:
 284         .word 0
 285         .word 0
 286         .word 0
 287         .word 5
 288         .align 1
 289 __T_3co_X1_mu_1_0:
 290         .word 0
 291         .word 1
 292         .word 0
 293         .word 0
 294         .word 0
 295         .word 0
 296         .align 1
 297 __T_3co_X1_mu_1_1:
 298         .word 0
 299         .word 1
 300         .word 0
 301         .word 0
 302         .word 0
 303         .word 0
 304         .align 1
 305 __T_3co_X1_mu_2_0:
 306         .word 0
 307         .word 1
 308         .word 0
 309         .word 0
 310         .word 0
 311         .word 0
 312         .align 1
 313 __T_3co_X1_mu_2_1:
 314         .word 0
 315         .word 1
 316         .word 0
 317         .word 0
 318         .word 0
 319         .word 0
 320         .align 1
 321 __T_3co_X1_mu_3_0:
 322         .word 0
 323         .word 1
 324         .word 0
 325         .word 0
 326         .word 0
 327         .word 0
 328         .align 1
 329 __T_3co_X1_mu_3_1:
 330         .word 0
 331         .word 1
 332         .word 0
 333         .word 0
 334         .word 0
 335         .word 0
 336         .align 1
 337 __T_3co_X1_mu_4_0:
 338         .word 0
 339         .word 1
 340         .word 0
 341         .word 0
 342         .word 0
 343         .word 0
 344         .align 1
 345 __T_3co_X1_mu_4_1:
 346         .word 0
 347         .word 1
 348         .word 0
 349         .word 0
 350         .word 0
 351         .word 0