LXR qemu/tests/tcg/xtensa/test_fp0

   1#include "macros.inc"
   2
   3test_suite fp0_conv
   4
   5#if XCHAL_HAVE_FP
   6
   7.macro movfp fr, v
   8    movi    a2, \v
   9    wfr     \fr, a2
  10.endm
  11
  12.macro test_ftoi_ex op, r0, fr0, v, c, r
  13    movi    a2, 0
  14    wur     a2, fsr
  15    movfp   \fr0, \v
  16    \op     \r0, \fr0, \c
  17    dump    \r0
  18    movi    a3, \r
  19    assert  eq, \r0, a3
  20    rur     a2, fsr
  21    assert  eqi, a2, 0
  22.endm
  23
  24.macro test_ftoi op, r0, fr0, v, c, r
  25    movi    a2, 0
  26    wur     a2, fcr
  27    test_ftoi_ex \op, \r0, \fr0, \v, \c, \r
  28    movi    a2, 0x7c
  29    wur     a2, fcr
  30    test_ftoi_ex \op, \r0, \fr0, \v, \c, \r
  31.endm
  32
  33
  34.macro test_itof_ex op, fr0, ar0, v, c, r
  35    movi    a2, 0
  36    wur     a2, fsr
  37    movi    \ar0, \v
  38    \op     \fr0, \ar0, \c
  39
  40    rfr     a2, \fr0
  41    dump    a2
  42    movi    a3, \r
  43    assert  eq, a2, a3
  44    rur     a2, fsr
  45    assert  eqi, a2, 0
  46.endm
  47
  48.macro test_itof_rm op, fr0, ar0, v, c, rm, r
  49    movi    a2, \rm
  50    wur     a2, fcr
  51    test_itof_ex \op, \fr0, \ar0, \v, \c, \r
  52    movi    a2, (\rm) | 0x7c
  53    wur     a2, fcr
  54    test_itof_ex \op, \fr0, \ar0, \v, \c, \r
  55.endm
  56
  57.macro test_itof op, fr0, ar0, v, c, r0, r1, r2, r3
  58    test_itof_rm \op, \fr0, \ar0, \v, \c, 0, \r0
  59    test_itof_rm \op, \fr0, \ar0, \v, \c, 1, \r1
  60    test_itof_rm \op, \fr0, \ar0, \v, \c, 2, \r2
  61    test_itof_rm \op, \fr0, \ar0, \v, \c, 3, \r3
  62.endm
  63
  64test round_s
  65    movi    a2, 1
  66    wsr     a2, cpenable
  67
  68    /* NaN */
  69    test_ftoi round.s, a2, f0, 0xffc00001, 0, 0x7fffffff
  70    test_ftoi round.s, a2, f0, 0xff800001, 0, 0x7fffffff
  71
  72    /* -inf */
  73    test_ftoi round.s, a2, f0, 0xff800000, 0, 0x80000000
  74
  75    /* negative overflow */
  76    test_ftoi round.s, a2, f0, 0xceffffff, 1, 0x80000000
  77    test_ftoi round.s, a2, f0, 0xcf000000, 0, 0x80000000
  78    test_ftoi round.s, a2, f0, 0xceffffff, 0, 0x80000080
  79
  80    /* negative */
  81    test_ftoi round.s, a2, f0, 0xbfa00000, 1, -2 /* -1.25 * 2 */
  82    test_ftoi round.s, a2, f0, 0xbfc00000, 0, -2 /* -1.5 */
  83    test_ftoi round.s, a2, f0, 0xbf800000, 1, -2 /* -1 * 2 */
  84    test_ftoi round.s, a2, f0, 0xbf800000, 0, -1 /* -1 */
  85    test_ftoi round.s, a2, f0, 0xbf400000, 0, -1 /* -0.75 */
  86    test_ftoi round.s, a2, f0, 0xbf000000, 0, 0  /* -0.5 */
  87
  88    /* positive */
  89    test_ftoi round.s, a2, f0, 0x3f000000, 0, 0 /* 0.5 */
  90    test_ftoi round.s, a2, f0, 0x3f400000, 0, 1 /* 0.75 */
  91    test_ftoi round.s, a2, f0, 0x3f800000, 0, 1 /* 1 */
  92    test_ftoi round.s, a2, f0, 0x3f800000, 1, 2 /* 1 * 2 */
  93    test_ftoi round.s, a2, f0, 0x3fc00000, 0, 2 /* 1.5 */
  94    test_ftoi round.s, a2, f0, 0x3fa00000, 1, 2 /* 1.25 * 2 */
  95
  96    /* positive overflow */
  97    test_ftoi round.s, a2, f0, 0x4effffff, 0, 0x7fffff80
  98    test_ftoi round.s, a2, f0, 0x4f000000, 0, 0x7fffffff
  99    test_ftoi round.s, a2, f0, 0x4effffff, 1, 0x7fffffff
 100
 101    /* +inf */
 102    test_ftoi round.s, a2, f0, 0x7f800000, 0, 0x7fffffff
 103
 104    /* NaN */
 105    test_ftoi round.s, a2, f0, 0x7f800001, 0, 0x7fffffff
 106    test_ftoi round.s, a2, f0, 0x7fc00000, 0, 0x7fffffff
 107test_end
 108
 109test trunc_s
 110    /* NaN */
 111    test_ftoi trunc.s, a2, f0, 0xffc00001, 0, 0x7fffffff
 112    test_ftoi trunc.s, a2, f0, 0xff800001, 0, 0x7fffffff
 113
 114    /* -inf */
 115    test_ftoi trunc.s, a2, f0, 0xff800000, 0, 0x80000000
 116
 117    /* negative overflow */
 118    test_ftoi trunc.s, a2, f0, 0xceffffff, 1, 0x80000000
 119    test_ftoi trunc.s, a2, f0, 0xcf000000, 0, 0x80000000
 120    test_ftoi trunc.s, a2, f0, 0xceffffff, 0, 0x80000080
 121
 122    /* negative */
 123    test_ftoi trunc.s, a2, f0, 0xbfa00000, 1, -2 /* -1.25 * 2 */
 124    test_ftoi trunc.s, a2, f0, 0xbfc00000, 0, -1 /* -1.5 */
 125    test_ftoi trunc.s, a2, f0, 0xbf800000, 1, -2 /* -1 * 2 */
 126    test_ftoi trunc.s, a2, f0, 0xbf800000, 0, -1 /* -1 */
 127    test_ftoi trunc.s, a2, f0, 0xbf400000, 0, 0  /* -0.75 */
 128    test_ftoi trunc.s, a2, f0, 0xbf000000, 0, 0  /* -0.5 */
 129
 130    /* positive */
 131    test_ftoi trunc.s, a2, f0, 0x3f000000, 0, 0 /* 0.5 */
 132    test_ftoi trunc.s, a2, f0, 0x3f400000, 0, 0 /* 0.75 */
 133    test_ftoi trunc.s, a2, f0, 0x3f800000, 0, 1 /* 1 */
 134    test_ftoi trunc.s, a2, f0, 0x3f800000, 1, 2 /* 1 * 2 */
 135    test_ftoi trunc.s, a2, f0, 0x3fc00000, 0, 1 /* 1.5 */
 136    test_ftoi trunc.s, a2, f0, 0x3fa00000, 1, 2 /* 1.25 * 2 */
 137
 138    /* positive overflow */
 139    test_ftoi trunc.s, a2, f0, 0x4effffff, 0, 0x7fffff80
 140    test_ftoi trunc.s, a2, f0, 0x4f000000, 0, 0x7fffffff
 141    test_ftoi trunc.s, a2, f0, 0x4effffff, 1, 0x7fffffff
 142
 143    /* +inf */
 144    test_ftoi trunc.s, a2, f0, 0x7f800000, 0, 0x7fffffff
 145
 146    /* NaN */
 147    test_ftoi trunc.s, a2, f0, 0x7f800001, 0, 0x7fffffff
 148    test_ftoi trunc.s, a2, f0, 0x7fc00000, 0, 0x7fffffff
 149test_end
 150
 151test floor_s
 152    /* NaN */
 153    test_ftoi floor.s, a2, f0, 0xffc00001, 0, 0x7fffffff
 154    test_ftoi floor.s, a2, f0, 0xff800001, 0, 0x7fffffff
 155
 156    /* -inf */
 157    test_ftoi floor.s, a2, f0, 0xff800000, 0, 0x80000000
 158
 159    /* negative overflow */
 160    test_ftoi floor.s, a2, f0, 0xceffffff, 1, 0x80000000
 161    test_ftoi floor.s, a2, f0, 0xcf000000, 0, 0x80000000
 162    test_ftoi floor.s, a2, f0, 0xceffffff, 0, 0x80000080
 163
 164    /* negative */
 165    test_ftoi floor.s, a2, f0, 0xbfa00000, 1, -3 /* -1.25 * 2 */
 166    test_ftoi floor.s, a2, f0, 0xbfc00000, 0, -2 /* -1.5 */
 167    test_ftoi floor.s, a2, f0, 0xbf800000, 1, -2 /* -1 * 2 */
 168    test_ftoi floor.s, a2, f0, 0xbf800000, 0, -1 /* -1 */
 169    test_ftoi floor.s, a2, f0, 0xbf400000, 0, -1 /* -0.75 */
 170    test_ftoi floor.s, a2, f0, 0xbf000000, 0, -1 /* -0.5 */
 171
 172    /* positive */
 173    test_ftoi floor.s, a2, f0, 0x3f000000, 0, 0 /* 0.5 */
 174    test_ftoi floor.s, a2, f0, 0x3f400000, 0, 0 /* 0.75 */
 175    test_ftoi floor.s, a2, f0, 0x3f800000, 0, 1 /* 1 */
 176    test_ftoi floor.s, a2, f0, 0x3f800000, 1, 2 /* 1 * 2 */
 177    test_ftoi floor.s, a2, f0, 0x3fc00000, 0, 1 /* 1.5 */
 178    test_ftoi floor.s, a2, f0, 0x3fa00000, 1, 2 /* 1.25 * 2 */
 179
 180    /* positive overflow */
 181    test_ftoi floor.s, a2, f0, 0x4effffff, 0, 0x7fffff80
 182    test_ftoi floor.s, a2, f0, 0x4f000000, 0, 0x7fffffff
 183    test_ftoi floor.s, a2, f0, 0x4effffff, 1, 0x7fffffff
 184
 185    /* +inf */
 186    test_ftoi floor.s, a2, f0, 0x7f800000, 0, 0x7fffffff
 187
 188    /* NaN */
 189    test_ftoi floor.s, a2, f0, 0x7f800001, 0, 0x7fffffff
 190    test_ftoi floor.s, a2, f0, 0x7fc00000, 0, 0x7fffffff
 191test_end
 192
 193test ceil_s
 194    /* NaN */
 195    test_ftoi ceil.s, a2, f0, 0xffc00001, 0, 0x7fffffff
 196    test_ftoi ceil.s, a2, f0, 0xff800001, 0, 0x7fffffff
 197
 198    /* -inf */
 199    test_ftoi ceil.s, a2, f0, 0xff800000, 0, 0x80000000
 200
 201    /* negative overflow */
 202    test_ftoi ceil.s, a2, f0, 0xceffffff, 1, 0x80000000
 203    test_ftoi ceil.s, a2, f0, 0xcf000000, 0, 0x80000000
 204    test_ftoi ceil.s, a2, f0, 0xceffffff, 0, 0x80000080
 205
 206    /* negative */
 207    test_ftoi ceil.s, a2, f0, 0xbfa00000, 1, -2 /* -1.25 * 2 */
 208    test_ftoi ceil.s, a2, f0, 0xbfc00000, 0, -1 /* -1.5 */
 209    test_ftoi ceil.s, a2, f0, 0xbf800000, 1, -2 /* -1 * 2 */
 210    test_ftoi ceil.s, a2, f0, 0xbf800000, 0, -1 /* -1 */
 211    test_ftoi ceil.s, a2, f0, 0xbf400000, 0, 0  /* -0.75 */
 212    test_ftoi ceil.s, a2, f0, 0xbf000000, 0, 0  /* -0.5 */
 213
 214    /* positive */
 215    test_ftoi ceil.s, a2, f0, 0x3f000000, 0, 1 /* 0.5 */
 216    test_ftoi ceil.s, a2, f0, 0x3f400000, 0, 1 /* 0.75 */
 217    test_ftoi ceil.s, a2, f0, 0x3f800000, 0, 1 /* 1 */
 218    test_ftoi ceil.s, a2, f0, 0x3f800000, 1, 2 /* 1 * 2 */
 219    test_ftoi ceil.s, a2, f0, 0x3fc00000, 0, 2 /* 1.5 */
 220    test_ftoi ceil.s, a2, f0, 0x3fa00000, 1, 3 /* 1.25 * 2 */
 221
 222    /* positive overflow */
 223    test_ftoi ceil.s, a2, f0, 0x4effffff, 0, 0x7fffff80
 224    test_ftoi ceil.s, a2, f0, 0x4f000000, 0, 0x7fffffff
 225    test_ftoi ceil.s, a2, f0, 0x4effffff, 1, 0x7fffffff
 226
 227    /* +inf */
 228    test_ftoi ceil.s, a2, f0, 0x7f800000, 0, 0x7fffffff
 229
 230    /* NaN */
 231    test_ftoi ceil.s, a2, f0, 0x7f800001, 0, 0x7fffffff
 232    test_ftoi ceil.s, a2, f0, 0x7fc00000, 0, 0x7fffffff
 233test_end
 234
 235test utrunc_s
 236    /* NaN */
 237    test_ftoi utrunc.s, a2, f0, 0xffc00001, 0, 0xffffffff
 238    test_ftoi utrunc.s, a2, f0, 0xff800001, 0, 0xffffffff
 239
 240    /* -inf */
 241    test_ftoi utrunc.s, a2, f0, 0xff800000, 0, 0x80000000
 242
 243    /* negative overflow */
 244    test_ftoi utrunc.s, a2, f0, 0xceffffff, 1, 0x80000000
 245    test_ftoi utrunc.s, a2, f0, 0xcf000000, 0, 0x80000000
 246    test_ftoi utrunc.s, a2, f0, 0xceffffff, 0, 0x80000080
 247
 248    /* negative */
 249    test_ftoi utrunc.s, a2, f0, 0xbfa00000, 1, -2 /* -1.25 * 2 */
 250    test_ftoi utrunc.s, a2, f0, 0xbfc00000, 0, -1 /* -1.5 */
 251    test_ftoi utrunc.s, a2, f0, 0xbf800000, 1, -2 /* -1 * 2 */
 252    test_ftoi utrunc.s, a2, f0, 0xbf800000, 0, -1 /* -1 */
 253    test_ftoi utrunc.s, a2, f0, 0xbf400000, 0, 0  /* -0.75 */
 254    test_ftoi utrunc.s, a2, f0, 0xbf000000, 0, 0  /* -0.5 */
 255
 256    /* positive */
 257    test_ftoi utrunc.s, a2, f0, 0x3f000000, 0, 0 /* 0.5 */
 258    test_ftoi utrunc.s, a2, f0, 0x3f400000, 0, 0 /* 0.75 */
 259    test_ftoi utrunc.s, a2, f0, 0x3f800000, 0, 1 /* 1 */
 260    test_ftoi utrunc.s, a2, f0, 0x3f800000, 1, 2 /* 1 * 2 */
 261    test_ftoi utrunc.s, a2, f0, 0x3fc00000, 0, 1 /* 1.5 */
 262    test_ftoi utrunc.s, a2, f0, 0x3fa00000, 1, 2 /* 1.25 * 2 */
 263
 264    /* positive overflow */
 265    test_ftoi utrunc.s, a2, f0, 0x4effffff, 0, 0x7fffff80
 266    test_ftoi utrunc.s, a2, f0, 0x4f000000, 0, 0x80000000
 267    test_ftoi utrunc.s, a2, f0, 0x4effffff, 1, 0xffffff00
 268    test_ftoi utrunc.s, a2, f0, 0x4f800000, 1, 0xffffffff
 269
 270    /* +inf */
 271    test_ftoi utrunc.s, a2, f0, 0x7f800000, 0, 0xffffffff
 272
 273    /* NaN */
 274    test_ftoi utrunc.s, a2, f0, 0x7f800001, 0, 0xffffffff
 275    test_ftoi utrunc.s, a2, f0, 0x7fc00000, 0, 0xffffffff
 276test_end
 277
 278test float_s
 279    test_itof float.s, f0, a2, -1, 0, \
 280        0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
 281    test_itof float.s, f0, a2, 0, 0, 0, 0, 0, 0
 282    test_itof float.s, f0, a2, 1, 1, \
 283        0x3f000000, 0x3f000000, 0x3f000000, 0x3f000000
 284    test_itof float.s, f0, a2, 1, 0, \
 285        0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
 286    test_itof float.s, f0, a2, 0x7fffffff, 0, \
 287        0x4f000000, 0x4effffff, 0x4f000000, 0x4effffff
 288test_end
 289
 290test ufloat_s
 291    test_itof ufloat.s, f0, a2, 0, 0, 0, 0, 0, 0
 292    test_itof ufloat.s, f0, a2, 1, 1, \
 293        0x3f000000, 0x3f000000, 0x3f000000, 0x3f000000
 294    test_itof ufloat.s, f0, a2, 1, 0, \
 295        0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
 296    test_itof ufloat.s, f0, a2, 0x7fffffff, 0, \
 297        0x4f000000, 0x4effffff, 0x4f000000, 0x4effffff
 298    test_itof ufloat.s, f0, a2, 0xffffffff, 0, \
 299        0x4f800000, 0x4f7fffff, 0x4f800000, 0x4f7fffff
 300test_end
 301
 302#endif
 303
 304test_suite_end
 305