deps/lightning/check/cvt.tst

   1 .data   12
   2 ok:
   3 .c      "ok\n"
   4
   5 #if __WORDSIZE == 32
   6 #  define w7f           0x7fffffff
   7 #  define w80           0x80000000
   8 #  define w81           0x80000001
   9 #  define wff           0xffffffff
  10 #  define LEXTII2(N, R0, R1)
  11 #  define LEXTIC2(N, R0)
  12 #else
  13 #  define w7f           0x7fffffffffffffff
  14 #  define w80           0x8000000000000000
  15 #  define w81           0x8000000000000001
  16 #  define wff           0xffffffffffffffff
  17 #  define i7f           wff
  18 #  define ui7f          0xffffffff
  19 #  define i80           0
  20 #  define ui80          0
  21 #  define i81           1
  22 #  define ui81          1
  23 #  define iff           wff
  24 #  define uiff          0xffffffff
  25 #  define LEXTII2(N, R0, R1)                                    \
  26         EXTII2(N, i, R0, R1)                                    \
  27         EXTII2(N, ui, R0, R1)
  28 #  define LEXTIC2(N, R0)                                        \
  29         EXTIC2(N, i, R0)                                        \
  30         EXTIC2(N, ui, R0)
  31 #endif
  32 #define c7f             wff
  33 #define uc7f            0xff
  34 #define s7f             wff
  35 #define us7f            0xffff
  36 #define c80             0
  37 #define uc80            0
  38 #define s80             0
  39 #define us80            0
  40 #define c81             1
  41 #define uc81            1
  42 #define s81             1
  43 #define us81            1
  44 #define cff             wff
  45 #define ucff            0xff
  46 #define sff             wff
  47 #define usff            0xffff
  48
  49 #define EXTII2(N, T, R0, R1)                                    \
  50         movi %R0 w##N                                           \
  51         extr_##T %R1 %R0                                        \
  52         beqi T##_##R0##_##R1##_##N %R1 T##N                     \
  53         calli @abort                                            \
  54 T##_##R0##_##R1##_##N:
  55 #define EXTII1(N, R0, R1)                                       \
  56         EXTII2(N, c, R0, R1)                                    \
  57         EXTII2(N, uc, R0, R1)                                   \
  58         EXTII2(N, s, R0, R1)                                    \
  59         EXTII2(N, us, R0, R1)                                   \
  60         LEXTII2(N, R0, R1)
  61 #define EXTII0(R0, R1)                                          \
  62         EXTII1(7f, R0, R1)                                      \
  63         EXTII1(80, R0, R1)                                      \
  64         EXTII1(81, R0, R1)                                      \
  65         EXTII1(ff, R0, R1)
  66
  67 #define EXTIC2(N, T, R0)                                        \
  68         movi %R0 w##N                                           \
  69         extr_##T %R0 %R0                                        \
  70         beqi T##_##R0##_##N %R0 T##N                            \
  71         calli @abort                                            \
  72 T##_##R0##_##N:
  73 #define EXTIC1(N, R0)                                           \
  74         EXTIC2(N, c, R0)                                        \
  75         EXTIC2(N, uc, R0)                                       \
  76         EXTIC2(N, s, R0)                                        \
  77         EXTIC2(N, us, R0)                                       \
  78         LEXTIC2(N, R0)
  79 #define EXTIC0(R0)                                              \
  80         EXTIC1(7f, R0)                                          \
  81         EXTIC1(80, R0)                                          \
  82         EXTIC1(81, R0)                                          \
  83         EXTIC1(ff, R0)
  84
  85 #define EXTII(V0, V1, V2, R0, R1, R2)                           \
  86         EXTII0(V0, V1)                                          \
  87         EXTII0(V0, V2)                                          \
  88         EXTII0(V0, R0)                                          \
  89         EXTII0(V0, R1)                                          \
  90         EXTII0(V0, R2)                                          \
  91         EXTII0(V1, V0)                                          \
  92         EXTII0(V1, V2)                                          \
  93         EXTII0(V1, R0)                                          \
  94         EXTII0(V1, R1)                                          \
  95         EXTII0(V1, R2)                                          \
  96         EXTII0(V2, V0)                                          \
  97         EXTII0(V2, V1)                                          \
  98         EXTII0(V2, R0)                                          \
  99         EXTII0(V2, R1)                                          \
 100         EXTII0(V2, R2)                                          \
 101         EXTII0(R0, V0)                                          \
 102         EXTII0(R0, V1)                                          \
 103         EXTII0(R0, V2)                                          \
 104         EXTII0(R0, R1)                                          \
 105         EXTII0(R0, R2)                                          \
 106         EXTII0(R1, V0)                                          \
 107         EXTII0(R1, V1)                                          \
 108         EXTII0(R1, V2)                                          \
 109         EXTII0(R1, R0)                                          \
 110         EXTII0(R1, R2)                                          \
 111         EXTII0(R2, V0)                                          \
 112         EXTII0(R2, V1)                                          \
 113         EXTII0(R2, V2)                                          \
 114         EXTII0(R2, R0)                                          \
 115         EXTII0(R2, R1)                                          \
 116         EXTIC0(V0)                                              \
 117         EXTIC0(V1)                                              \
 118         EXTIC0(V2)                                              \
 119         EXTIC0(R0)                                              \
 120         EXTIC0(R1)                                              \
 121         EXTIC0(R2)
 122
 123 #define EXIF1(N, V, R0, R1)                                     \
 124         movi %R0 V                                              \
 125         extr_f %R1 %R0                                          \
 126         beqi_f wf##_##R0##_##R1##_##N %R1 V                     \
 127 wf##_##R0##_##R1##_##N:
 128 #define EXIF0(R0, R1)                                           \
 129         EXIF1(0, -1, R0, R1)                                    \
 130         EXIF1(1, 64, R0, R1)
 131 #define EXIF(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)    \
 132         EXIF0(V0, F0)                                           \
 133         EXIF0(V1, F1)                                           \
 134         EXIF0(V2, F2)                                           \
 135         EXIF0(R0, F3)                                           \
 136         EXIF0(R1, F4)                                           \
 137         EXIF0(R2, F5)
 138 #define EXID1(N, V, R0, R1)                                     \
 139         movi %R0 V                                              \
 140         extr_d %R1 %R0                                          \
 141         beqi_d wd##_##R0##_##R1##_##N %R1 V                     \
 142 wd##_##R0##_##R1##_##N:
 143 #define EXID0(R0, R1)                                           \
 144         EXID1(0, -1, R0, R1)                                    \
 145         EXID1(1, 64, R0, R1)
 146 #define EXID(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)    \
 147         EXID0(V0, F0)                                           \
 148         EXID0(V1, F1)                                           \
 149         EXID0(V2, F2)                                           \
 150         EXID0(R0, F3)                                           \
 151         EXID0(R1, F4)                                           \
 152         EXID0(R2, F5)
 153
 154 #define EXFI1(N, V, R0, R1)                                     \
 155         movi_f %R1 V                                            \
 156         truncr_f %R0 %R1                                        \
 157         beqi fi##_##R0##_##R1##_##N %R0 V                       \
 158         calli @abort                                            \
 159 fi##_##R0##_##R1##_##N:
 160 #define EXFI0(R0, R1)                                           \
 161         EXFI1(0,   42, R0, R1)                                  \
 162         EXFI1(1, -128, R0, R1)
 163 #define EXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)    \
 164         EXFI0(V0, F5)                                           \
 165         EXFI0(V1, F4)                                           \
 166         EXFI0(V2, F3)                                           \
 167         EXFI0(R0, F2)                                           \
 168         EXFI0(R1, F1)                                           \
 169         EXFI0(R2, F0)
 170 #define EXDI1(N, V, R0, R1)                                     \
 171         movi_d %R1 V                                            \
 172         truncr_d %R0 %R1                                        \
 173         beqi di##_##R0##_##R1##_##N %R0 V                       \
 174         calli @abort                                            \
 175 di##_##R0##_##R1##_##N:
 176 #define EXDI0(R0, R1)                                           \
 177         EXDI1(0,   42, R0, R1)                                  \
 178         EXDI1(1, -128, R0, R1)
 179 #define EXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)    \
 180         EXDI0(V0, F5)                                           \
 181         EXDI0(V1, F4)                                           \
 182         EXDI0(V2, F3)                                           \
 183         EXDI0(R0, F2)                                           \
 184         EXDI0(R1, F1)                                           \
 185         EXDI0(R2, F0)
 186
 187 #define LEXFI1(N, V, R0, R1)                                    \
 188         movi_f %R1 V                                            \
 189         truncr_f_i %R0 %R1                                      \
 190         andi %R0 %R0 0xffffffff                                 \
 191         beqi lfi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff)      \
 192         calli @abort                                            \
 193 lfi##_##R0##_##R1##_##N:
 194 #define LEXFI0(R0, R1)                                          \
 195         LEXFI1(0,   42, R0, R1)                                 \
 196         LEXFI1(1, -128, R0, R1)
 197 #define LEXFI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)   \
 198         LEXFI0(V0, F5)                                          \
 199         LEXFI0(V1, F4)                                          \
 200         LEXFI0(V2, F3)                                          \
 201         LEXFI0(R0, F2)                                          \
 202         LEXFI0(R1, F1)                                          \
 203         LEXFI0(R2, F0)
 204 #define LEXDI1(N, V, R0, R1)                                    \
 205         movi_d %R1 V                                            \
 206         truncr_d_i %R0 %R1                                      \
 207         andi %R0 %R0 0xffffffff                                 \
 208         beqi ldi##_##R0##_##R1##_##N %R0 $(V & 0xffffffff)      \
 209         calli @abort                                            \
 210 ldi##_##R0##_##R1##_##N:
 211 #define LEXDI0(R0, R1)                                          \
 212         LEXDI1(0,   42, R0, R1)                                 \
 213         LEXDI1(1, -128, R0, R1)
 214 #define LEXDI(V0, V1, V2, R0, R1, R2, F0, F1, F2, F3, F4, F5)   \
 215         LEXDI0(V0, F5)                                          \
 216         LEXDI0(V1, F4)                                          \
 217         LEXDI0(V2, F3)                                          \
 218         LEXDI0(R0, F2)                                          \
 219         LEXDI0(R1, F1)                                          \
 220         LEXDI0(R2, F0)
 221
 222 #define EXTFD2(V, R0, R1)                                       \
 223         movi_f %R0 V                                            \
 224         extr_f_d %R1 %R0                                        \
 225         beqi_d fd##_##R0##_##R1 %R1 V                           \
 226         calli @abort                                            \
 227 fd##_##R0##_##R1:
 228 #define EXTFD1(R0, R1)                                          \
 229         EXTFD2(1.25, R0, R1)
 230 #define EXTFDC2(V, R0)                                          \
 231         movi_f %R0 V                                            \
 232         extr_f_d %R0 %R0                                        \
 233         beqi_d fdc##_##R0 %R0 V                                 \
 234         calli @abort                                            \
 235 fdc##_##R0:
 236 #define EXTFDC1(R0)                                             \
 237         EXTFDC2(-0.75, R0)
 238 #define EXTFD(R0, R1, R2, R3, R4, R5)                           \
 239         EXTFD1(R0, R1)                                          \
 240         EXTFD1(R0, R2)                                          \
 241         EXTFD1(R0, R3)                                          \
 242         EXTFD1(R0, R4)                                          \
 243         EXTFD1(R0, R5)                                          \
 244         EXTFDC1(R0)                                             \
 245         EXTFDC1(R1)                                             \
 246         EXTFDC1(R2)                                             \
 247         EXTFDC1(R3)                                             \
 248         EXTFDC1(R4)                                             \
 249         EXTFDC1(R5)
 250
 251 #define EXTDF2(V, R0, R1)                                       \
 252         movi_d %R0 V                                            \
 253         extr_d_f %R1 %R0                                        \
 254         beqi_f df##_##R0##_##R1 %R1 V                           \
 255         calli @abort                                            \
 256 df##_##R0##_##R1:
 257 #define EXTDF1(R0, R1)                                          \
 258         EXTDF2(1.25, R0, R1)
 259 #define EXTDFC2(V, R0)                                          \
 260         movi_d %R0 V                                            \
 261         extr_d_f %R0 %R0                                        \
 262         beqi_f dfc##_##R0 %R0 V                                 \
 263         calli @abort                                            \
 264 dfc##_##R0:
 265 #define EXTDFC1(R0)                                             \
 266         EXTDFC2(-0.75, R0)
 267 #define EXTDF(R0, R1, R2, R3, R4, R5)                           \
 268         EXTDF1(R0, R1)                                          \
 269         EXTDF1(R0, R2)                                          \
 270         EXTDF1(R0, R3)                                          \
 271         EXTDF1(R0, R4)                                          \
 272         EXTDF1(R0, R5)                                          \
 273         EXTDFC1(R0)                                             \
 274         EXTDFC1(R1)                                             \
 275         EXTDFC1(R2)                                             \
 276         EXTDFC1(R3)                                             \
 277         EXTDFC1(R4)                                             \
 278         EXTDFC1(R5)
 279
 280 .code
 281         prolog
 282
 283         /* simple sequence for easier disassembly reading and encoding check */
 284         movi %r0 w7f
 285         extr_c %r1 %r0
 286         beqi xc %r1 c7f
 287         calli @abort
 288 xc:
 289         movi %r0 w7f
 290         extr_uc %r1 %r0
 291         beqi xuc %r1 uc7f
 292         calli @abort
 293 xuc:
 294         movi %r0 w7f
 295         extr_s %r1 %r0
 296         beqi xs %r1 s7f
 297         calli @abort
 298 xs:
 299         movi %r0 w7f
 300         extr_us %r1 %r0
 301         beqi xus %r1 us7f
 302         calli @abort
 303 xus:
 304 #if __WORDSIZE == 64
 305         movi %r0 w7f
 306         extr_i %r1 %r0
 307         beqi xi %r1 i7f
 308         calli @abort
 309 xi:
 310         movi %r0 w7f
 311         extr_ui %r1 %r0
 312         beqi xui %r1 ui7f
 313         calli @abort
 314 xui:
 315 #endif
 316         movi %r0 -2
 317         extr_f %f0 %r0
 318         beqi_f xif %f0 -2
 319         calli @abort
 320 xif:
 321         movi %r0 32
 322         extr_d %f0 %r0
 323         beqi_d xid %f0 32
 324         calli @abort
 325 xid:
 326         movi_f %f0 -128
 327         truncr_f %r0 %f0
 328         beqi xfi %r0 -128
 329         calli @abort
 330 xfi:
 331         movi_d %f0 -128
 332         truncr_d %r0 %f0
 333         beqi xdi %r0 -128
 334         calli @abort
 335 xdi:
 336 #if __WORDSIZE == 64
 337         movi_f %f0 -128
 338         truncr_f_i %r0 %f0
 339         andi %r0 %r0 0xffffffff
 340         beqi yfi %r0 $(-128 & 0xffffffff)
 341         calli @abort
 342 yfi:
 343         movi_d %f0 -128
 344         truncr_d_i %r0 %f0
 345         andi %r0 %r0 0xffffffff
 346         beqi ydi %r0 $(-128 & 0xffffffff)
 347         calli @abort
 348 ydi:
 349 #endif
 350         movi_f %f0 0.5
 351         extr_f_d %f1 %f0
 352         beqi_d xfd %f1 0.5
 353         calli @abort
 354 xfd:
 355         movi_d %f0 0.5
 356         extr_d_f %f1 %f0
 357         beqi_f xdf %f1 0.5
 358         calli @abort
 359 xdf:
 360
 361         EXTII(v0, v1, v2, r0, r1, r2)
 362         EXIF(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 363         EXID(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 364         EXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 365 #if __WORDSIZE == 64
 366         LEXFI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 367         LEXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 368 #endif
 369         EXDI(v0, v1, v2, r0, r1, r2, f0, f1, f2, f3, f4, f5)
 370         EXTFD(f0, f1, f2, f3, f4, f5)
 371         EXTDF(f0, f1, f2, f3, f4, f5)
 372
 373         // just to know did not abort
 374         prepare
 375                 pushargi ok
 376                 ellipsis
 377         finishi @printf
 378
 379         ret
 380         epilog