Home | History | Annotate | Download | only in ppc64
      1 Test VSX vector and scalar single argument instructions
      2 #0: xvredp 1/x(3fd8000000000000) ==> PASS); 1/x(404f000000000000) ==> PASS)
      3 #1: xvredp 1/x(0018000000b77501) ==> PASS); 1/x(7fe800000000051b) ==> PASS)
      4 #2: xvredp 1/x(0123214569900000) ==> PASS); 1/x(0000000000000000) ==> PASS)
      5 #3: xvredp 1/x(8000000000000000) ==> PASS); 1/x(7ff0000000000000) ==> PASS)
      6 #4: xvredp 1/x(fff0000000000000) ==> PASS); 1/x(7ff7ffffffffffff) ==> PASS)
      7 #5: xvredp 1/x(fff7ffffffffffff) ==> PASS); 1/x(7ff8000000000000) ==> PASS)
      8 #6: xvredp 1/x(fff8000000000000) ==> PASS); 1/x(8008340000078000) ==> PASS)
      9 #7: xvredp 1/x(c0d0650f5a07b353) ==> PASS); 1/x(41232585a9900000) ==> PASS)
     10 #8: xvredp 1/x(41382511a2000000) ==> PASS); 1/x(40312ef5a9300000) ==> PASS)
     11 
     12 #0: xsredp 1/x(3fd8000000000000) ==> PASS)
     13 #1: xsredp 1/x(404f000000000000) ==> PASS)
     14 #2: xsredp 1/x(0018000000b77501) ==> PASS)
     15 #3: xsredp 1/x(7fe800000000051b) ==> PASS)
     16 #4: xsredp 1/x(0123214569900000) ==> PASS)
     17 #5: xsredp 1/x(0000000000000000) ==> PASS)
     18 #6: xsredp 1/x(8000000000000000) ==> PASS)
     19 #7: xsredp 1/x(7ff0000000000000) ==> PASS)
     20 #8: xsredp 1/x(fff0000000000000) ==> PASS)
     21 #9: xsredp 1/x(7ff7ffffffffffff) ==> PASS)
     22 #10: xsredp 1/x(fff7ffffffffffff) ==> PASS)
     23 #11: xsredp 1/x(7ff8000000000000) ==> PASS)
     24 #12: xsredp 1/x(fff8000000000000) ==> PASS)
     25 #13: xsredp 1/x(8008340000078000) ==> PASS)
     26 #14: xsredp 1/x(c0d0650f5a07b353) ==> PASS)
     27 #15: xsredp 1/x(41232585a9900000) ==> PASS)
     28 #16: xsredp 1/x(41382511a2000000) ==> PASS)
     29 #17: xsredp 1/x(40312ef5a9300000) ==> PASS)
     30 
     31 #0: xvrsqrtedp 1/x-sqrt(3fd8000000000000) ==> PASS); 1/x-sqrt(404f000000000000) ==> PASS)
     32 #1: xvrsqrtedp 1/x-sqrt(0018000000b77501) ==> PASS); 1/x-sqrt(7fe800000000051b) ==> PASS)
     33 #2: xvrsqrtedp 1/x-sqrt(0123214569900000) ==> PASS); 1/x-sqrt(0000000000000000) ==> PASS)
     34 #3: xvrsqrtedp 1/x-sqrt(8000000000000000) ==> PASS); 1/x-sqrt(7ff0000000000000) ==> PASS)
     35 #4: xvrsqrtedp 1/x-sqrt(fff0000000000000) ==> PASS); 1/x-sqrt(7ff7ffffffffffff) ==> PASS)
     36 #5: xvrsqrtedp 1/x-sqrt(fff7ffffffffffff) ==> PASS); 1/x-sqrt(7ff8000000000000) ==> PASS)
     37 #6: xvrsqrtedp 1/x-sqrt(fff8000000000000) ==> PASS); 1/x-sqrt(8008340000078000) ==> PASS)
     38 #7: xvrsqrtedp 1/x-sqrt(c0d0650f5a07b353) ==> PASS); 1/x-sqrt(41232585a9900000) ==> PASS)
     39 #8: xvrsqrtedp 1/x-sqrt(41382511a2000000) ==> PASS); 1/x-sqrt(40312ef5a9300000) ==> PASS)
     40 
     41 #0: xsrsqrtedp 1/x-sqrt(3fd8000000000000) ==> PASS)
     42 #1: xsrsqrtedp 1/x-sqrt(404f000000000000) ==> PASS)
     43 #2: xsrsqrtedp 1/x-sqrt(0018000000b77501) ==> PASS)
     44 #3: xsrsqrtedp 1/x-sqrt(7fe800000000051b) ==> PASS)
     45 #4: xsrsqrtedp 1/x-sqrt(0123214569900000) ==> PASS)
     46 #5: xsrsqrtedp 1/x-sqrt(0000000000000000) ==> PASS)
     47 #6: xsrsqrtedp 1/x-sqrt(8000000000000000) ==> PASS)
     48 #7: xsrsqrtedp 1/x-sqrt(7ff0000000000000) ==> PASS)
     49 #8: xsrsqrtedp 1/x-sqrt(fff0000000000000) ==> PASS)
     50 #9: xsrsqrtedp 1/x-sqrt(7ff7ffffffffffff) ==> PASS)
     51 #10: xsrsqrtedp 1/x-sqrt(fff7ffffffffffff) ==> PASS)
     52 #11: xsrsqrtedp 1/x-sqrt(7ff8000000000000) ==> PASS)
     53 #12: xsrsqrtedp 1/x-sqrt(fff8000000000000) ==> PASS)
     54 #13: xsrsqrtedp 1/x-sqrt(8008340000078000) ==> PASS)
     55 #14: xsrsqrtedp 1/x-sqrt(c0d0650f5a07b353) ==> PASS)
     56 #15: xsrsqrtedp 1/x-sqrt(41232585a9900000) ==> PASS)
     57 #16: xsrsqrtedp 1/x-sqrt(41382511a2000000) ==> PASS)
     58 #17: xsrsqrtedp 1/x-sqrt(40312ef5a9300000) ==> PASS)
     59 
     60 #0: xvrsqrtesp 1/x-sqrt(3ec00000) ==> PASS); 1/x-sqrt(42780000) ==> PASS); 1/x-sqrt(00000000) ==> PASS); 1/x-sqrt(7f800000) ==> PASS)
     61 #1: xvrsqrtesp 1/x-sqrt(00000000) ==> PASS); 1/x-sqrt(00000000) ==> PASS); 1/x-sqrt(80000000) ==> PASS); 1/x-sqrt(7f800000) ==> PASS)
     62 #2: xvrsqrtesp 1/x-sqrt(ff800000) ==> PASS); 1/x-sqrt(7fbfffff) ==> PASS); 1/x-sqrt(ffbfffff) ==> PASS); 1/x-sqrt(7fc00000) ==> PASS)
     63 #3: xvrsqrtesp 1/x-sqrt(ffc00000) ==> PASS); 1/x-sqrt(80000000) ==> PASS); 1/x-sqrt(c683287b) ==> PASS); 1/x-sqrt(49192c2d) ==> PASS)
     64 #4: xvrsqrtesp 1/x-sqrt(49c1288d) ==> PASS); 1/x-sqrt(418977ad) ==> PASS); 1/x-sqrt(428a5faf) ==> PASS); 1/x-sqrt(44bb5fcc) ==> PASS)
     65 
     66 #0: xvsqrtdp sqrt(3fd8000000000000) = 3fe3988e1409212e; sqrt(404f000000000000) = 401f7efbeb8d4f12
     67 #1: xvsqrtdp sqrt(0018000000b77501) = 2003988e14540690; sqrt(7fe800000000051b) = 5febb67ae8584f9d
     68 #2: xvsqrtdp sqrt(0123214569900000) = 2088bde98d60ebe6; sqrt(0000000000000000) = 0000000000000000
     69 #3: xvsqrtdp sqrt(8000000000000000) = 8000000000000000; sqrt(7ff0000000000000) = 7ff0000000000000
     70 #4: xvsqrtdp sqrt(fff0000000000000) = 7ff8000000000000; sqrt(7ff7ffffffffffff) = 7fffffffffffffff
     71 #5: xvsqrtdp sqrt(fff7ffffffffffff) = ffffffffffffffff; sqrt(7ff8000000000000) = 7ff8000000000000
     72 #6: xvsqrtdp sqrt(fff8000000000000) = fff8000000000000; sqrt(8008340000078000) = 7ff8000000000000
     73 #7: xvsqrtdp sqrt(c0d0650f5a07b353) = 7ff8000000000000; sqrt(41232585a9900000) = 4088c0a9258a4a8b
     74 #8: xvsqrtdp sqrt(41382511a2000000) = 4093a7aa60f34e85; sqrt(40312ef5a9300000) = 401094c71dec3a9c
     75 
     76 #0: xvsqrtsp sqrt(3ec00000) = 3f1cc470; sqrt(42780000) = 40fbf7dc; sqrt(00000000) = 00000000; sqrt(7f800000) = 7f800000
     77 #1: xvsqrtsp sqrt(00000000) = 00000000; sqrt(00000000) = 00000000; sqrt(80000000) = 80000000; sqrt(7f800000) = 7f800000
     78 #2: xvsqrtsp sqrt(ff800000) = 7fc00000; sqrt(7fbfffff) = 7ffffffc; sqrt(ffbfffff) = fffffffc; sqrt(7fc00000) = 7fc00000
     79 #3: xvsqrtsp sqrt(ffc00000) = ffc00000; sqrt(80000000) = 80000000; sqrt(c683287b) = 7fc00000; sqrt(49192c2d) = 44460548
     80 #4: xvsqrtsp sqrt(49c1288d) = 449d3d50; sqrt(418977ad) = 4084a638; sqrt(428a5faf) = 410515f8; sqrt(44bb5fcc) = 421ade08
     81 
     82 #0: xscvdpsp conv(3fd8000000000000) = 3ec0000000000000
     83 #1: xscvdpsp conv(404f000000000000) = 4278000000000000
     84 #2: xscvdpsp conv(0018000000b77501) = 0000000000000000
     85 #3: xscvdpsp conv(7fe800000000051b) = 7f80000000000000
     86 #4: xscvdpsp conv(0123214569900000) = 0000000000000000
     87 #5: xscvdpsp conv(0000000000000000) = 0000000000000000
     88 #6: xscvdpsp conv(8000000000000000) = 8000000000000000
     89 #7: xscvdpsp conv(7ff0000000000000) = 7f80000000000000
     90 #8: xscvdpsp conv(fff0000000000000) = ff80000000000000
     91 #9: xscvdpsp conv(7ff7ffffffffffff) = 7fffffff00000000
     92 #10: xscvdpsp conv(fff7ffffffffffff) = ffffffff00000000
     93 #11: xscvdpsp conv(7ff8000000000000) = 7fc0000000000000
     94 #12: xscvdpsp conv(fff8000000000000) = ffc0000000000000
     95 #13: xscvdpsp conv(8008340000078000) = 8000000000000000
     96 #14: xscvdpsp conv(c0d0650f5a07b353) = c683287b00000000
     97 #15: xscvdpsp conv(41232585a9900000) = 49192c2d00000000
     98 #16: xscvdpsp conv(41382511a2000000) = 49c1288d00000000
     99 #17: xscvdpsp conv(40312ef5a9300000) = 418977ad00000000
    100 #18: xscvdpsp conv(40514bf5d2300000) = 428a5faf00000000
    101 #19: xscvdpsp conv(40976bf982440000) = 44bb5fcc00000000
    102 
    103 #0: xscvdpuxws conv(3fd8000000000000) = 0000000000000000
    104 #1: xscvdpuxws conv(404f000000000000) = 000000000000003e
    105 #2: xscvdpuxws conv(0018000000b77501) = 0000000000000000
    106 #3: xscvdpuxws conv(7fe800000000051b) = 00000000ffffffff
    107 #4: xscvdpuxws conv(0123214569900000) = 0000000000000000
    108 #5: xscvdpuxws conv(0000000000000000) = 0000000000000000
    109 #6: xscvdpuxws conv(8000000000000000) = 0000000000000000
    110 #7: xscvdpuxws conv(7ff0000000000000) = 00000000ffffffff
    111 #8: xscvdpuxws conv(fff0000000000000) = 0000000000000000
    112 #9: xscvdpuxws conv(7ff7ffffffffffff) = 0000000000000000
    113 #10: xscvdpuxws conv(fff7ffffffffffff) = 0000000000000000
    114 #11: xscvdpuxws conv(7ff8000000000000) = 0000000000000000
    115 #12: xscvdpuxws conv(fff8000000000000) = 0000000000000000
    116 #13: xscvdpuxws conv(8008340000078000) = 0000000000000000
    117 #14: xscvdpuxws conv(c0d0650f5a07b353) = 0000000000000000
    118 #15: xscvdpuxws conv(41232585a9900000) = 00000000000992c2
    119 #16: xscvdpuxws conv(41382511a2000000) = 0000000000182511
    120 #17: xscvdpuxws conv(40312ef5a9300000) = 0000000000000011
    121 #18: xscvdpuxws conv(40514bf5d2300000) = 0000000000000045
    122 #19: xscvdpuxws conv(40976bf982440000) = 00000000000005da
    123 
    124 #0: xscvspdp conv(3ec00000) = 3fd8000000000000
    125 #1: xscvspdp conv(42780000) = 404f000000000000
    126 #2: xscvspdp conv(00000000) = 0000000000000000
    127 #3: xscvspdp conv(7f800000) = 7ff0000000000000
    128 #4: xscvspdp conv(00000000) = 0000000000000000
    129 #5: xscvspdp conv(00000000) = 0000000000000000
    130 #6: xscvspdp conv(80000000) = 8000000000000000
    131 #7: xscvspdp conv(7f800000) = 7ff0000000000000
    132 #8: xscvspdp conv(ff800000) = fff0000000000000
    133 #9: xscvspdp conv(7fbfffff) = 7fffffffe0000000
    134 #10: xscvspdp conv(ffbfffff) = ffffffffe0000000
    135 #11: xscvspdp conv(7fc00000) = 7ff8000000000000
    136 #12: xscvspdp conv(ffc00000) = fff8000000000000
    137 #13: xscvspdp conv(80000000) = 8000000000000000
    138 #14: xscvspdp conv(c683287b) = c0d0650f60000000
    139 #15: xscvspdp conv(49192c2d) = 41232585a0000000
    140 #16: xscvspdp conv(49c1288d) = 41382511a0000000
    141 #17: xscvspdp conv(418977ad) = 40312ef5a0000000
    142 #18: xscvspdp conv(428a5faf) = 40514bf5e0000000
    143 #19: xscvspdp conv(44bb5fcc) = 40976bf980000000
    144 
    145 #0: xvcvdpsp conv(3fd8000000000000) = 3ec0000000000000; conv(404f000000000000) = 4278000000000000
    146 #1: xvcvdpsp conv(0018000000b77501) = 0000000000000000; conv(7fe800000000051b) = 7f80000000000000
    147 #2: xvcvdpsp conv(0123214569900000) = 0000000000000000; conv(0000000000000000) = 0000000000000000
    148 #3: xvcvdpsp conv(8000000000000000) = 8000000000000000; conv(7ff0000000000000) = 7f80000000000000
    149 #4: xvcvdpsp conv(fff0000000000000) = ff80000000000000; conv(7ff7ffffffffffff) = 7fffffff00000000
    150 #5: xvcvdpsp conv(fff7ffffffffffff) = ffffffff00000000; conv(7ff8000000000000) = 7fc0000000000000
    151 #6: xvcvdpsp conv(fff8000000000000) = ffc0000000000000; conv(8008340000078000) = 8000000000000000
    152 #7: xvcvdpsp conv(c0d0650f5a07b353) = c683287b00000000; conv(41232585a9900000) = 49192c2d00000000
    153 #8: xvcvdpsp conv(41382511a2000000) = 49c1288d00000000; conv(40312ef5a9300000) = 418977ad00000000
    154 #9: xvcvdpsp conv(40514bf5d2300000) = 428a5faf00000000; conv(40976bf982440000) = 44bb5fcc00000000
    155 
    156 #0: xvcvdpuxds conv(3fd8000000000000) = 0000000000000000; conv(404f000000000000) = 000000000000003e
    157 #1: xvcvdpuxds conv(0018000000b77501) = 0000000000000000; conv(7fe800000000051b) = ffffffffffffffff
    158 #2: xvcvdpuxds conv(0123214569900000) = 0000000000000000; conv(0000000000000000) = 0000000000000000
    159 #3: xvcvdpuxds conv(8000000000000000) = 0000000000000000; conv(7ff0000000000000) = ffffffffffffffff
    160 #4: xvcvdpuxds conv(fff0000000000000) = 0000000000000000; conv(7ff7ffffffffffff) = 0000000000000000
    161 #5: xvcvdpuxds conv(fff7ffffffffffff) = 0000000000000000; conv(7ff8000000000000) = 0000000000000000
    162 #6: xvcvdpuxds conv(fff8000000000000) = 0000000000000000; conv(8008340000078000) = 0000000000000000
    163 #7: xvcvdpuxds conv(c0d0650f5a07b353) = 0000000000000000; conv(41232585a9900000) = 00000000000992c2
    164 #8: xvcvdpuxds conv(41382511a2000000) = 0000000000182511; conv(40312ef5a9300000) = 0000000000000011
    165 #9: xvcvdpuxds conv(40514bf5d2300000) = 0000000000000045; conv(40976bf982440000) = 00000000000005da
    166 
    167 #0: xvcvdpuxws conv(3fd8000000000000) = 0000000000000000; conv(404f000000000000) = 0000003e00000000
    168 #1: xvcvdpuxws conv(0018000000b77501) = 0000000000000000; conv(7fe800000000051b) = ffffffff00000000
    169 #2: xvcvdpuxws conv(0123214569900000) = 0000000000000000; conv(0000000000000000) = 0000000000000000
    170 #3: xvcvdpuxws conv(8000000000000000) = 0000000000000000; conv(7ff0000000000000) = ffffffff00000000
    171 #4: xvcvdpuxws conv(fff0000000000000) = 0000000000000000; conv(7ff7ffffffffffff) = 0000000000000000
    172 #5: xvcvdpuxws conv(fff7ffffffffffff) = 0000000000000000; conv(7ff8000000000000) = 0000000000000000
    173 #6: xvcvdpuxws conv(fff8000000000000) = 0000000000000000; conv(8008340000078000) = 0000000000000000
    174 #7: xvcvdpuxws conv(c0d0650f5a07b353) = 0000000000000000; conv(41232585a9900000) = 000992c200000000
    175 #8: xvcvdpuxws conv(41382511a2000000) = 0018251100000000; conv(40312ef5a9300000) = 0000001100000000
    176 #9: xvcvdpuxws conv(40514bf5d2300000) = 0000004500000000; conv(40976bf982440000) = 000005da00000000
    177 
    178 #0: xvcvspdp conv(3ec00000) = 3fd8000000000000; conv(42780000) = 404f000000000000
    179 #1: xvcvspdp conv(00000000) = 0000000000000000; conv(7f800000) = 7ff0000000000000
    180 #2: xvcvspdp conv(00000000) = 0000000000000000; conv(00000000) = 0000000000000000
    181 #3: xvcvspdp conv(80000000) = 8000000000000000; conv(7f800000) = 7ff0000000000000
    182 #4: xvcvspdp conv(ff800000) = fff0000000000000; conv(7fbfffff) = 7fffffffe0000000
    183 #5: xvcvspdp conv(ffbfffff) = ffffffffe0000000; conv(7fc00000) = 7ff8000000000000
    184 #6: xvcvspdp conv(ffc00000) = fff8000000000000; conv(80000000) = 8000000000000000
    185 #7: xvcvspdp conv(c683287b) = c0d0650f60000000; conv(49192c2d) = 41232585a0000000
    186 #8: xvcvspdp conv(49c1288d) = 41382511a0000000; conv(418977ad) = 40312ef5a0000000
    187 #9: xvcvspdp conv(428a5faf) = 40514bf5e0000000; conv(44bb5fcc) = 40976bf980000000
    188 
    189 #0: xvcvspsxds conv(3ec00000) = 0000000000000000; conv(42780000) = 000000000000003e
    190 #1: xvcvspsxds conv(00000000) = 0000000000000000; conv(7f800000) = 7fffffffffffffff
    191 #2: xvcvspsxds conv(00000000) = 0000000000000000; conv(00000000) = 0000000000000000
    192 #3: xvcvspsxds conv(80000000) = 0000000000000000; conv(7f800000) = 7fffffffffffffff
    193 #4: xvcvspsxds conv(ff800000) = 8000000000000000; conv(7fbfffff) = 8000000000000000
    194 #5: xvcvspsxds conv(ffbfffff) = 8000000000000000; conv(7fc00000) = 8000000000000000
    195 #6: xvcvspsxds conv(ffc00000) = 8000000000000000; conv(80000000) = 0000000000000000
    196 #7: xvcvspsxds conv(c683287b) = ffffffffffffbe6c; conv(49192c2d) = 00000000000992c2
    197 #8: xvcvspsxds conv(49c1288d) = 0000000000182511; conv(418977ad) = 0000000000000011
    198 #9: xvcvspsxds conv(428a5faf) = 0000000000000045; conv(44bb5fcc) = 00000000000005da
    199 
    200 #0: xvcvdpsxds conv(3fd8000000000000) = 0000000000000000; conv(404f000000000000) = 000000000000003e
    201 #1: xvcvdpsxds conv(0018000000b77501) = 0000000000000000; conv(7fe800000000051b) = 7fffffffffffffff
    202 #2: xvcvdpsxds conv(0123214569900000) = 0000000000000000; conv(0000000000000000) = 0000000000000000
    203 #3: xvcvdpsxds conv(8000000000000000) = 0000000000000000; conv(7ff0000000000000) = 7fffffffffffffff
    204 #4: xvcvdpsxds conv(fff0000000000000) = 8000000000000000; conv(7ff7ffffffffffff) = 8000000000000000
    205 #5: xvcvdpsxds conv(fff7ffffffffffff) = 8000000000000000; conv(7ff8000000000000) = 8000000000000000
    206 #6: xvcvdpsxds conv(fff8000000000000) = 8000000000000000; conv(8008340000078000) = 0000000000000000
    207 #7: xvcvdpsxds conv(c0d0650f5a07b353) = ffffffffffffbe6c; conv(41232585a9900000) = 00000000000992c2
    208 #8: xvcvdpsxds conv(41382511a2000000) = 0000000000182511; conv(40312ef5a9300000) = 0000000000000011
    209 #9: xvcvdpsxds conv(40514bf5d2300000) = 0000000000000045; conv(40976bf982440000) = 00000000000005da
    210 
    211 #0: xvcvspuxds conv(3ec00000) = 0000000000000000; conv(42780000) = 000000000000003e
    212 #1: xvcvspuxds conv(00000000) = 0000000000000000; conv(7f800000) = ffffffffffffffff
    213 #2: xvcvspuxds conv(00000000) = 0000000000000000; conv(00000000) = 0000000000000000
    214 #3: xvcvspuxds conv(80000000) = 0000000000000000; conv(7f800000) = ffffffffffffffff
    215 #4: xvcvspuxds conv(ff800000) = 0000000000000000; conv(7fbfffff) = 0000000000000000
    216 #5: xvcvspuxds conv(ffbfffff) = 0000000000000000; conv(7fc00000) = 0000000000000000
    217 #6: xvcvspuxds conv(ffc00000) = 0000000000000000; conv(80000000) = 0000000000000000
    218 #7: xvcvspuxds conv(c683287b) = 0000000000000000; conv(49192c2d) = 00000000000992c2
    219 #8: xvcvspuxds conv(49c1288d) = 0000000000182511; conv(418977ad) = 0000000000000011
    220 #9: xvcvspuxds conv(428a5faf) = 0000000000000045; conv(44bb5fcc) = 00000000000005da
    221 
    222 #0: xvcvspuxws conv(3ec00000) = 00000000; conv(42780000) = 0000003e; conv(00000000) = 00000000; conv(7f800000) = ffffffff
    223 #1: xvcvspuxws conv(00000000) = 00000000; conv(00000000) = 00000000; conv(80000000) = 00000000; conv(7f800000) = ffffffff
    224 #2: xvcvspuxws conv(ff800000) = 00000000; conv(7fbfffff) = 00000000; conv(ffbfffff) = 00000000; conv(7fc00000) = 00000000
    225 #3: xvcvspuxws conv(ffc00000) = 00000000; conv(80000000) = 00000000; conv(c683287b) = 00000000; conv(49192c2d) = 000992c2
    226 #4: xvcvspuxws conv(49c1288d) = 00182511; conv(418977ad) = 00000011; conv(428a5faf) = 00000045; conv(44bb5fcc) = 000005da
    227 
    228 #0: xsrdpic round(3fd8000000000000) = 0000000000000000
    229 #1: xsrdpic round(404f000000000000) = 404f000000000000
    230 #2: xsrdpic round(0018000000b77501) = 0000000000000000
    231 #3: xsrdpic round(7fe800000000051b) = 7fe800000000051b
    232 #4: xsrdpic round(0123214569900000) = 0000000000000000
    233 #5: xsrdpic round(0000000000000000) = 0000000000000000
    234 #6: xsrdpic round(8000000000000000) = 8000000000000000
    235 #7: xsrdpic round(7ff0000000000000) = 7ff0000000000000
    236 #8: xsrdpic round(fff0000000000000) = fff0000000000000
    237 #9: xsrdpic round(7ff7ffffffffffff) = 7fffffffffffffff
    238 #10: xsrdpic round(fff7ffffffffffff) = ffffffffffffffff
    239 #11: xsrdpic round(7ff8000000000000) = 7ff8000000000000
    240 #12: xsrdpic round(fff8000000000000) = fff8000000000000
    241 #13: xsrdpic round(8008340000078000) = 8000000000000000
    242 #14: xsrdpic round(c0d0650f5a07b353) = c0d0650000000000
    243 #15: xsrdpic round(41232585a9900000) = 4123258600000000
    244 #16: xsrdpic round(41382511a2000000) = 4138251200000000
    245 #17: xsrdpic round(40312ef5a9300000) = 4031000000000000
    246 #18: xsrdpic round(40514bf5d2300000) = 4051400000000000
    247 #19: xsrdpic round(40976bf982440000) = 40976c0000000000
    248 
    249 #0: xsrdpiz round(3fd8000000000000) = 0000000000000000
    250 #1: xsrdpiz round(404f000000000000) = 404f000000000000
    251 #2: xsrdpiz round(0018000000b77501) = 0000000000000000
    252 #3: xsrdpiz round(7fe800000000051b) = 7fe800000000051b
    253 #4: xsrdpiz round(0123214569900000) = 0000000000000000
    254 #5: xsrdpiz round(0000000000000000) = 0000000000000000
    255 #6: xsrdpiz round(8000000000000000) = 8000000000000000
    256 #7: xsrdpiz round(7ff0000000000000) = 7ff0000000000000
    257 #8: xsrdpiz round(fff0000000000000) = fff0000000000000
    258 #9: xsrdpiz round(7ff7ffffffffffff) = 7fffffffffffffff
    259 #10: xsrdpiz round(fff7ffffffffffff) = ffffffffffffffff
    260 #11: xsrdpiz round(7ff8000000000000) = 7ff8000000000000
    261 #12: xsrdpiz round(fff8000000000000) = fff8000000000000
    262 #13: xsrdpiz round(8008340000078000) = 8000000000000000
    263 #14: xsrdpiz round(c0d0650f5a07b353) = c0d0650000000000
    264 #15: xsrdpiz round(41232585a9900000) = 4123258400000000
    265 #16: xsrdpiz round(41382511a2000000) = 4138251100000000
    266 #17: xsrdpiz round(40312ef5a9300000) = 4031000000000000
    267 #18: xsrdpiz round(40514bf5d2300000) = 4051400000000000
    268 #19: xsrdpiz round(40976bf982440000) = 4097680000000000
    269 
    270 #0: xsrdpi round(3fd8000000000000) = 0000000000000000
    271 #1: xsrdpi round(404f000000000000) = 404f000000000000
    272 #2: xsrdpi round(0018000000b77501) = 0000000000000000
    273 #3: xsrdpi round(7fe800000000051b) = 7fe800000000051b
    274 #4: xsrdpi round(0123214569900000) = 0000000000000000
    275 #5: xsrdpi round(0000000000000000) = 0000000000000000
    276 #6: xsrdpi round(8000000000000000) = 8000000000000000
    277 #7: xsrdpi round(7ff0000000000000) = 7ff0000000000000
    278 #8: xsrdpi round(fff0000000000000) = fff0000000000000
    279 #9: xsrdpi round(7ff7ffffffffffff) = 7fffffffffffffff
    280 #10: xsrdpi round(fff7ffffffffffff) = ffffffffffffffff
    281 #11: xsrdpi round(7ff8000000000000) = 7ff8000000000000
    282 #12: xsrdpi round(fff8000000000000) = fff8000000000000
    283 #13: xsrdpi round(8008340000078000) = 8000000000000000
    284 #14: xsrdpi round(c0d0650f5a07b353) = c0d0650000000000
    285 #15: xsrdpi round(41232585a9900000) = 4123258600000000
    286 #16: xsrdpi round(41382511a2000000) = 4138251200000000
    287 #17: xsrdpi round(40312ef5a9300000) = 4031000000000000
    288 #18: xsrdpi round(40514bf5d2300000) = 4051400000000000
    289 #19: xsrdpi round(40976bf982440000) = 40976c0000000000
    290 
    291 #0: xvabsdp abs(3fd8000000000000) = 3fd8000000000000; abs(404f000000000000) = 404f000000000000
    292 #1: xvabsdp abs(0018000000b77501) = 0018000000b77501; abs(7fe800000000051b) = 7fe800000000051b
    293 #2: xvabsdp abs(0123214569900000) = 0123214569900000; abs(0000000000000000) = 0000000000000000
    294 #3: xvabsdp abs(8000000000000000) = 0000000000000000; abs(7ff0000000000000) = 7ff0000000000000
    295 #4: xvabsdp abs(fff0000000000000) = 7ff0000000000000; abs(7ff7ffffffffffff) = 7ff7ffffffffffff
    296 #5: xvabsdp abs(fff7ffffffffffff) = 7ff7ffffffffffff; abs(7ff8000000000000) = 7ff8000000000000
    297 #6: xvabsdp abs(fff8000000000000) = 7ff8000000000000; abs(8008340000078000) = 0008340000078000
    298 #7: xvabsdp abs(c0d0650f5a07b353) = 40d0650f5a07b353; abs(41232585a9900000) = 41232585a9900000
    299 #8: xvabsdp abs(41382511a2000000) = 41382511a2000000; abs(40312ef5a9300000) = 40312ef5a9300000
    300 #9: xvabsdp abs(40514bf5d2300000) = 40514bf5d2300000; abs(40976bf982440000) = 40976bf982440000
    301 
    302 #0: xvnabsdp nabs(3fd8000000000000) = bfd8000000000000; nabs(404f000000000000) = c04f000000000000
    303 #1: xvnabsdp nabs(0018000000b77501) = 8018000000b77501; nabs(7fe800000000051b) = ffe800000000051b
    304 #2: xvnabsdp nabs(0123214569900000) = 8123214569900000; nabs(0000000000000000) = 8000000000000000
    305 #3: xvnabsdp nabs(8000000000000000) = 8000000000000000; nabs(7ff0000000000000) = fff0000000000000
    306 #4: xvnabsdp nabs(fff0000000000000) = fff0000000000000; nabs(7ff7ffffffffffff) = fff7ffffffffffff
    307 #5: xvnabsdp nabs(fff7ffffffffffff) = fff7ffffffffffff; nabs(7ff8000000000000) = fff8000000000000
    308 #6: xvnabsdp nabs(fff8000000000000) = fff8000000000000; nabs(8008340000078000) = 8008340000078000
    309 #7: xvnabsdp nabs(c0d0650f5a07b353) = c0d0650f5a07b353; nabs(41232585a9900000) = c1232585a9900000
    310 #8: xvnabsdp nabs(41382511a2000000) = c1382511a2000000; nabs(40312ef5a9300000) = c0312ef5a9300000
    311 #9: xvnabsdp nabs(40514bf5d2300000) = c0514bf5d2300000; nabs(40976bf982440000) = c0976bf982440000
    312 
    313 #0: xvnegdp neg(3fd8000000000000) = bfd8000000000000; neg(404f000000000000) = c04f000000000000
    314 #1: xvnegdp neg(0018000000b77501) = 8018000000b77501; neg(7fe800000000051b) = ffe800000000051b
    315 #2: xvnegdp neg(0123214569900000) = 8123214569900000; neg(0000000000000000) = 8000000000000000
    316 #3: xvnegdp neg(8000000000000000) = 0000000000000000; neg(7ff0000000000000) = fff0000000000000
    317 #4: xvnegdp neg(fff0000000000000) = 7ff0000000000000; neg(7ff7ffffffffffff) = fff7ffffffffffff
    318 #5: xvnegdp neg(fff7ffffffffffff) = 7ff7ffffffffffff; neg(7ff8000000000000) = fff8000000000000
    319 #6: xvnegdp neg(fff8000000000000) = 7ff8000000000000; neg(8008340000078000) = 0008340000078000
    320 #7: xvnegdp neg(c0d0650f5a07b353) = 40d0650f5a07b353; neg(41232585a9900000) = c1232585a9900000
    321 #8: xvnegdp neg(41382511a2000000) = c1382511a2000000; neg(40312ef5a9300000) = c0312ef5a9300000
    322 #9: xvnegdp neg(40514bf5d2300000) = c0514bf5d2300000; neg(40976bf982440000) = c0976bf982440000
    323 
    324 #0: xvabssp abs(3ec00000) = 3ec00000; abs(42780000) = 42780000; abs(00000000) = 00000000; abs(7f800000) = 7f800000
    325 #1: xvabssp abs(00000000) = 00000000; abs(00000000) = 00000000; abs(80000000) = 00000000; abs(7f800000) = 7f800000
    326 #2: xvabssp abs(ff800000) = 7f800000; abs(7fbfffff) = 7fbfffff; abs(ffbfffff) = 7fbfffff; abs(7fc00000) = 7fc00000
    327 #3: xvabssp abs(ffc00000) = 7fc00000; abs(80000000) = 00000000; abs(c683287b) = 4683287b; abs(49192c2d) = 49192c2d
    328 #4: xvabssp abs(49c1288d) = 49c1288d; abs(418977ad) = 418977ad; abs(428a5faf) = 428a5faf; abs(44bb5fcc) = 44bb5fcc
    329 
    330 #0: xvnabssp nabs(3ec00000) = bec00000; nabs(42780000) = c2780000; nabs(00000000) = 80000000; nabs(7f800000) = ff800000
    331 #1: xvnabssp nabs(00000000) = 80000000; nabs(00000000) = 80000000; nabs(80000000) = 80000000; nabs(7f800000) = ff800000
    332 #2: xvnabssp nabs(ff800000) = ff800000; nabs(7fbfffff) = ffbfffff; nabs(ffbfffff) = ffbfffff; nabs(7fc00000) = ffc00000
    333 #3: xvnabssp nabs(ffc00000) = ffc00000; nabs(80000000) = 80000000; nabs(c683287b) = c683287b; nabs(49192c2d) = c9192c2d
    334 #4: xvnabssp nabs(49c1288d) = c9c1288d; nabs(418977ad) = c18977ad; nabs(428a5faf) = c28a5faf; nabs(44bb5fcc) = c4bb5fcc
    335 
    336 #0: xvrdpi round(3fd8000000000000) = 0000000000000000; round(404f000000000000) = 404f000000000000
    337 #1: xvrdpi round(0018000000b77501) = 0000000000000000; round(7fe800000000051b) = 7fe800000000051b
    338 #2: xvrdpi round(0123214569900000) = 0000000000000000; round(0000000000000000) = 0000000000000000
    339 #3: xvrdpi round(8000000000000000) = 8000000000000000; round(7ff0000000000000) = 7ff0000000000000
    340 #4: xvrdpi round(fff0000000000000) = fff0000000000000; round(7ff7ffffffffffff) = 7fffffffffffffff
    341 #5: xvrdpi round(fff7ffffffffffff) = ffffffffffffffff; round(7ff8000000000000) = 7ff8000000000000
    342 #6: xvrdpi round(fff8000000000000) = fff8000000000000; round(8008340000078000) = 8000000000000000
    343 #7: xvrdpi round(c0d0650f5a07b353) = c0d0650000000000; round(41232585a9900000) = 4123258600000000
    344 #8: xvrdpi round(41382511a2000000) = 4138251200000000; round(40312ef5a9300000) = 4031000000000000
    345 #9: xvrdpi round(40514bf5d2300000) = 4051400000000000; round(40976bf982440000) = 40976c0000000000
    346 
    347 #0: xvrdpic round(3fd8000000000000) = 0000000000000000; round(404f000000000000) = 404f000000000000
    348 #1: xvrdpic round(0018000000b77501) = 0000000000000000; round(7fe800000000051b) = 7fe800000000051b
    349 #2: xvrdpic round(0123214569900000) = 0000000000000000; round(0000000000000000) = 0000000000000000
    350 #3: xvrdpic round(8000000000000000) = 8000000000000000; round(7ff0000000000000) = 7ff0000000000000
    351 #4: xvrdpic round(fff0000000000000) = fff0000000000000; round(7ff7ffffffffffff) = 7fffffffffffffff
    352 #5: xvrdpic round(fff7ffffffffffff) = ffffffffffffffff; round(7ff8000000000000) = 7ff8000000000000
    353 #6: xvrdpic round(fff8000000000000) = fff8000000000000; round(8008340000078000) = 8000000000000000
    354 #7: xvrdpic round(c0d0650f5a07b353) = c0d0650000000000; round(41232585a9900000) = 4123258600000000
    355 #8: xvrdpic round(41382511a2000000) = 4138251200000000; round(40312ef5a9300000) = 4031000000000000
    356 #9: xvrdpic round(40514bf5d2300000) = 4051400000000000; round(40976bf982440000) = 40976c0000000000
    357 
    358 #0: xvrdpim round(3fd8000000000000) = 0000000000000000; round(404f000000000000) = 404f000000000000
    359 #1: xvrdpim round(0018000000b77501) = 0000000000000000; round(7fe800000000051b) = 7fe800000000051b
    360 #2: xvrdpim round(0123214569900000) = 0000000000000000; round(0000000000000000) = 0000000000000000
    361 #3: xvrdpim round(8000000000000000) = 8000000000000000; round(7ff0000000000000) = 7ff0000000000000
    362 #4: xvrdpim round(fff0000000000000) = fff0000000000000; round(7ff7ffffffffffff) = 7fffffffffffffff
    363 #5: xvrdpim round(fff7ffffffffffff) = ffffffffffffffff; round(7ff8000000000000) = 7ff8000000000000
    364 #6: xvrdpim round(fff8000000000000) = fff8000000000000; round(8008340000078000) = bff0000000000000
    365 #7: xvrdpim round(c0d0650f5a07b353) = c0d0654000000000; round(41232585a9900000) = 4123258400000000
    366 #8: xvrdpim round(41382511a2000000) = 4138251100000000; round(40312ef5a9300000) = 4031000000000000
    367 #9: xvrdpim round(40514bf5d2300000) = 4051400000000000; round(40976bf982440000) = 4097680000000000
    368 
    369 #0: xvrdpip round(3fd8000000000000) = 3ff0000000000000; round(404f000000000000) = 404f000000000000
    370 #1: xvrdpip round(0018000000b77501) = 3ff0000000000000; round(7fe800000000051b) = 7fe800000000051b
    371 #2: xvrdpip round(0123214569900000) = 3ff0000000000000; round(0000000000000000) = 0000000000000000
    372 #3: xvrdpip round(8000000000000000) = 8000000000000000; round(7ff0000000000000) = 7ff0000000000000
    373 #4: xvrdpip round(fff0000000000000) = fff0000000000000; round(7ff7ffffffffffff) = 7fffffffffffffff
    374 #5: xvrdpip round(fff7ffffffffffff) = ffffffffffffffff; round(7ff8000000000000) = 7ff8000000000000
    375 #6: xvrdpip round(fff8000000000000) = fff8000000000000; round(8008340000078000) = 8000000000000000
    376 #7: xvrdpip round(c0d0650f5a07b353) = c0d0650000000000; round(41232585a9900000) = 4123258600000000
    377 #8: xvrdpip round(41382511a2000000) = 4138251200000000; round(40312ef5a9300000) = 4032000000000000
    378 #9: xvrdpip round(40514bf5d2300000) = 4051800000000000; round(40976bf982440000) = 40976c0000000000
    379 
    380 #0: xvrdpiz round(3fd8000000000000) = 0000000000000000; round(404f000000000000) = 404f000000000000
    381 #1: xvrdpiz round(0018000000b77501) = 0000000000000000; round(7fe800000000051b) = 7fe800000000051b
    382 #2: xvrdpiz round(0123214569900000) = 0000000000000000; round(0000000000000000) = 0000000000000000
    383 #3: xvrdpiz round(8000000000000000) = 8000000000000000; round(7ff0000000000000) = 7ff0000000000000
    384 #4: xvrdpiz round(fff0000000000000) = fff0000000000000; round(7ff7ffffffffffff) = 7fffffffffffffff
    385 #5: xvrdpiz round(fff7ffffffffffff) = ffffffffffffffff; round(7ff8000000000000) = 7ff8000000000000
    386 #6: xvrdpiz round(fff8000000000000) = fff8000000000000; round(8008340000078000) = 8000000000000000
    387 #7: xvrdpiz round(c0d0650f5a07b353) = c0d0650000000000; round(41232585a9900000) = 4123258400000000
    388 #8: xvrdpiz round(41382511a2000000) = 4138251100000000; round(40312ef5a9300000) = 4031000000000000
    389 #9: xvrdpiz round(40514bf5d2300000) = 4051400000000000; round(40976bf982440000) = 4097680000000000
    390 
    391 #0: xvrspi round(3ec00000) = 00000000; round(42780000) = 42780000; round(00000000) = 00000000; round(7f800000) = 7f800000
    392 #1: xvrspi round(00000000) = 00000000; round(00000000) = 00000000; round(80000000) = 80000000; round(7f800000) = 7f800000
    393 #2: xvrspi round(ff800000) = ff800000; round(7fbfffff) = 7fffffff; round(ffbfffff) = ffffffff; round(7fc00000) = 7fc00000
    394 #3: xvrspi round(ffc00000) = ffc00000; round(80000000) = 80000000; round(c683287b) = c6832800; round(49192c2d) = 49192c30
    395 #4: xvrspi round(49c1288d) = 49c12890; round(418977ad) = 41880000; round(428a5faf) = 428a0000; round(44bb5fcc) = 44bb6000
    396 
    397 #0: xvrspic round(3ec00000) = 00000000; round(42780000) = 42780000; round(00000000) = 00000000; round(7f800000) = 7f800000
    398 #1: xvrspic round(00000000) = 00000000; round(00000000) = 00000000; round(80000000) = 80000000; round(7f800000) = 7f800000
    399 #2: xvrspic round(ff800000) = ff800000; round(7fbfffff) = 7fffffff; round(ffbfffff) = ffffffff; round(7fc00000) = 7fc00000
    400 #3: xvrspic round(ffc00000) = ffc00000; round(80000000) = 80000000; round(c683287b) = c6832800; round(49192c2d) = 49192c30
    401 #4: xvrspic round(49c1288d) = 49c12890; round(418977ad) = 41880000; round(428a5faf) = 428a0000; round(44bb5fcc) = 44bb6000
    402 
    403 #0: xvrspim round(3ec00000) = 00000000; round(42780000) = 42780000; round(00000000) = 00000000; round(7f800000) = 7f800000
    404 #1: xvrspim round(00000000) = 00000000; round(00000000) = 00000000; round(80000000) = 80000000; round(7f800000) = 7f800000
    405 #2: xvrspim round(ff800000) = ff800000; round(7fbfffff) = 7fffffff; round(ffbfffff) = ffffffff; round(7fc00000) = 7fc00000
    406 #3: xvrspim round(ffc00000) = ffc00000; round(80000000) = 80000000; round(c683287b) = c6832a00; round(49192c2d) = 49192c20
    407 #4: xvrspim round(49c1288d) = 49c12888; round(418977ad) = 41880000; round(428a5faf) = 428a0000; round(44bb5fcc) = 44bb4000
    408 
    409 #0: xvrspip round(3ec00000) = 3f800000; round(42780000) = 42780000; round(00000000) = 00000000; round(7f800000) = 7f800000
    410 #1: xvrspip round(00000000) = 00000000; round(00000000) = 00000000; round(80000000) = 80000000; round(7f800000) = 7f800000
    411 #2: xvrspip round(ff800000) = ff800000; round(7fbfffff) = 7fffffff; round(ffbfffff) = ffffffff; round(7fc00000) = 7fc00000
    412 #3: xvrspip round(ffc00000) = ffc00000; round(80000000) = 80000000; round(c683287b) = c6832800; round(49192c2d) = 49192c30
    413 #4: xvrspip round(49c1288d) = 49c12890; round(418977ad) = 41900000; round(428a5faf) = 428c0000; round(44bb5fcc) = 44bb6000
    414 
    415 #0: xvrspiz round(3ec00000) = 00000000; round(42780000) = 42780000; round(00000000) = 00000000; round(7f800000) = 7f800000
    416 #1: xvrspiz round(00000000) = 00000000; round(00000000) = 00000000; round(80000000) = 80000000; round(7f800000) = 7f800000
    417 #2: xvrspiz round(ff800000) = ff800000; round(7fbfffff) = 7fffffff; round(ffbfffff) = ffffffff; round(7fc00000) = 7fc00000
    418 #3: xvrspiz round(ffc00000) = ffc00000; round(80000000) = 80000000; round(c683287b) = c6832800; round(49192c2d) = 49192c20
    419 #4: xvrspiz round(49c1288d) = 49c12888; round(418977ad) = 41880000; round(428a5faf) = 428a0000; round(44bb5fcc) = 44bb4000
    420 
    421 Test VSX vector integer to float conversion instructions
    422 #0: xvcvsxddp conv(0000000000000000) = 0000000000000000; conv(ffffffff00000000) = c1f0000000000000
    423 #1: xvcvsxddp conv(00000000ffffffff) = 41efffffffe00000; conv(ffffffffffffffff) = bff0000000000000
    424 #2: xvcvsxddp conv(89abcde123456789) = c3dd950c87b72ea6; conv(0102030405060708) = 4370203040506070
    425 #3: xvcvsxddp conv(00000000a0b1c2d3) = 41e416385a600000; conv(1111222233334444) = 43b1112222333344
    426 
    427 #0: xvcvuxddp conv(0000000000000000) = 0000000000000000; conv(ffffffff00000000) = 43efffffffe00000
    428 #1: xvcvuxddp conv(00000000ffffffff) = 41efffffffe00000; conv(ffffffffffffffff) = 43f0000000000000
    429 #2: xvcvuxddp conv(89abcde123456789) = 43e13579bc2468ad; conv(0102030405060708) = 4370203040506070
    430 #3: xvcvuxddp conv(00000000a0b1c2d3) = 41e416385a600000; conv(1111222233334444) = 43b1112222333344
    431 
    432 #0: xvcvsxdsp conv(0000000000000000) = 0000000000000000; conv(ffffffff00000000) = cf80000000000000
    433 #1: xvcvsxdsp conv(00000000ffffffff) = 4f80000000000000; conv(ffffffffffffffff) = bf80000000000000
    434 #2: xvcvsxdsp conv(89abcde123456789) = deeca86400000000; conv(0102030405060708) = 5b81018200000000
    435 #3: xvcvsxdsp conv(00000000a0b1c2d3) = 4f20b1c300000000; conv(1111222233334444) = 5d88891100000000
    436 
    437 #0: xvcvuxdsp conv(0000000000000000) = 0000000000000000; conv(ffffffff00000000) = 5f80000000000000
    438 #1: xvcvuxdsp conv(00000000ffffffff) = 4f80000000000000; conv(ffffffffffffffff) = 5f80000000000000
    439 #2: xvcvuxdsp conv(89abcde123456789) = 5f09abce00000000; conv(0102030405060708) = 5b81018200000000
    440 #3: xvcvuxdsp conv(00000000a0b1c2d3) = 4f20b1c300000000; conv(1111222233334444) = 5d88891100000000
    441 
    442 #0: xvcvsxwdp conv(00000000) = 0000000000000000; conv(ffff0000) = c0f0000000000000
    443 #1: xvcvsxwdp conv(0000ffff) = 40efffe000000000; conv(ffffffff) = bff0000000000000
    444 #2: xvcvsxwdp conv(89a73522) = c1dd9632b7800000; conv(01020304) = 4170203040000000
    445 #3: xvcvsxwdp conv(0000abcd) = 40e579a000000000; conv(11223344) = 41b1223344000000
    446 
    447 #0: xvcvuxwdp conv(00000000) = 0000000000000000; conv(ffff0000) = 41efffe000000000
    448 #1: xvcvuxwdp conv(0000ffff) = 40efffe000000000; conv(ffffffff) = 41efffffffe00000
    449 #2: xvcvuxwdp conv(89a73522) = 41e134e6a4400000; conv(01020304) = 4170203040000000
    450 #3: xvcvuxwdp conv(0000abcd) = 40e579a000000000; conv(11223344) = 41b1223344000000
    451 
    452 #0: xvcvsxwsp conv(00000000) = 00000000; conv(ffff0000) = c7800000; conv(0000ffff) = 477fff00; conv(ffffffff) = bf800000
    453 #1: xvcvsxwsp conv(89a73522) = ceecb196; conv(01020304) = 4b810182; conv(0000abcd) = 472bcd00; conv(11223344) = 4d89119a
    454 
    455 #0: xvcvuxwsp conv(00000000) = 00000000; conv(ffff0000) = 4f7fff00; conv(0000ffff) = 477fff00; conv(ffffffff) = 4f800000
    456 #1: xvcvuxwsp conv(89a73522) = 4f09a735; conv(01020304) = 4b810182; conv(0000abcd) = 472bcd00; conv(11223344) = 4d89119a
    457 
    458 Test div extensions
    459 #0: divdeu: 0x00000000000000040000000000000000 / 0xfffffffffffffffc = 0x0000000000000004; CR=0; XER=0
    460 #1: divdeu: 0x00000000000000040000000000000000 / 0xfffffffffffffffd = 0x0000000000000004; CR=0; XER=0
    461 #2: divdeu: 0x00000000000000040000000000000000 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=0
    462 #3: divdeu: 0x00000000000000040000000000000000 / 0xfffffffffffffffb = 0x0000000000000004; CR=0; XER=0
    463 #4: divdeu: 0x00000000000000030000000000000000 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0
    464 #5: divdeu: 0x80000000000000000000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=0
    465 #6: divdeu: 0x000000000000050c0000000000000000 / 0xffffffffffffffff = 0x000000000000050c; CR=0; XER=0
    466 #7: divdeu: 0x000000000000050c0000000000000000 / 0xfffffffffffff000 = 0x000000000000050c; CR=0; XER=0
    467 #8: divdeu: 0x000000001234fedc0000000000000000 / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0
    468 #9: divdeu: 0xabcd87651234fedc0000000000000000 / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=0
    469 #10: divdeu: 0x000123456789abdc0000000000000000 / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=0
    470 #11: divdeu: 0x00000000000000000000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0
    471 #12: divdeu: 0x00000000000000770000000000000000 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0
    472 
    473 #0: divdeu.: 0x00000000000000040000000000000000 / 0xfffffffffffffffc = 0x0000000000000004; CR=4; XER=0
    474 #1: divdeu.: 0x00000000000000040000000000000000 / 0xfffffffffffffffd = 0x0000000000000004; CR=4; XER=0
    475 #2: divdeu.: 0x00000000000000040000000000000000 / 0x0000000000000004 = 0x0000000000000000; CR=2; XER=0
    476 #3: divdeu.: 0x00000000000000040000000000000000 / 0xfffffffffffffffb = 0x0000000000000004; CR=4; XER=0
    477 #4: divdeu.: 0x00000000000000030000000000000000 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0
    478 #5: divdeu.: 0x80000000000000000000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=2; XER=0
    479 #6: divdeu.: 0x000000000000050c0000000000000000 / 0xffffffffffffffff = 0x000000000000050c; CR=4; XER=0
    480 #7: divdeu.: 0x000000000000050c0000000000000000 / 0xfffffffffffff000 = 0x000000000000050c; CR=4; XER=0
    481 #8: divdeu.: 0x000000001234fedc0000000000000000 / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0
    482 #9: divdeu.: 0xabcd87651234fedc0000000000000000 / 0x00000000a123b893 = 0x0000000000000000; CR=2; XER=0
    483 #10: divdeu.: 0x000123456789abdc0000000000000000 / 0x0000000000000000 = 0x0000000000000000; CR=2; XER=0
    484 #11: divdeu.: 0x00000000000000000000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0
    485 #12: divdeu.: 0x00000000000000770000000000000000 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0
    486 
    487 
    488 #0: divdeuo: 0x00000000000000040000000000000000 / 0xfffffffffffffffc = 0x0000000000000004; CR=0; XER=0
    489 #1: divdeuo: 0x00000000000000040000000000000000 / 0xfffffffffffffffd = 0x0000000000000004; CR=0; XER=0
    490 #2: divdeuo: 0x00000000000000040000000000000000 / 0x0000000000000004 = 0x0000000000000000; CR=0; XER=c0000000
    491 #3: divdeuo: 0x00000000000000040000000000000000 / 0xfffffffffffffffb = 0x0000000000000004; CR=0; XER=0
    492 #4: divdeuo: 0x00000000000000030000000000000000 / 0x0000000000000008 = 0x6000000000000000; CR=0; XER=0
    493 #5: divdeuo: 0x80000000000000000000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=0; XER=c0000000
    494 #6: divdeuo: 0x000000000000050c0000000000000000 / 0xffffffffffffffff = 0x000000000000050c; CR=0; XER=0
    495 #7: divdeuo: 0x000000000000050c0000000000000000 / 0xfffffffffffff000 = 0x000000000000050c; CR=0; XER=0
    496 #8: divdeuo: 0x000000001234fedc0000000000000000 / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=0; XER=0
    497 #9: divdeuo: 0xabcd87651234fedc0000000000000000 / 0x00000000a123b893 = 0x0000000000000000; CR=0; XER=c0000000
    498 #10: divdeuo: 0x000123456789abdc0000000000000000 / 0x0000000000000000 = 0x0000000000000000; CR=0; XER=c0000000
    499 #11: divdeuo: 0x00000000000000000000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=0; XER=0
    500 #12: divdeuo: 0x00000000000000770000000000000000 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=0; XER=0
    501 
    502 #0: divdeuo.: 0x00000000000000040000000000000000 / 0xfffffffffffffffc = 0x0000000000000004; CR=4; XER=0
    503 #1: divdeuo.: 0x00000000000000040000000000000000 / 0xfffffffffffffffd = 0x0000000000000004; CR=4; XER=0
    504 #2: divdeuo.: 0x00000000000000040000000000000000 / 0x0000000000000004 = 0x0000000000000000; CR=3; XER=c0000000
    505 #3: divdeuo.: 0x00000000000000040000000000000000 / 0xfffffffffffffffb = 0x0000000000000004; CR=4; XER=0
    506 #4: divdeuo.: 0x00000000000000030000000000000000 / 0x0000000000000008 = 0x6000000000000000; CR=4; XER=0
    507 #5: divdeuo.: 0x80000000000000000000000000000000 / 0x000000000000000a = 0x0000000000000000; CR=3; XER=c0000000
    508 #6: divdeuo.: 0x000000000000050c0000000000000000 / 0xffffffffffffffff = 0x000000000000050c; CR=4; XER=0
    509 #7: divdeuo.: 0x000000000000050c0000000000000000 / 0xfffffffffffff000 = 0x000000000000050c; CR=4; XER=0
    510 #8: divdeuo.: 0x000000001234fedc0000000000000000 / 0x000000008000a873 = 0x2469cdcc6ad4ce20; CR=4; XER=0
    511 #9: divdeuo.: 0xabcd87651234fedc0000000000000000 / 0x00000000a123b893 = 0x0000000000000000; CR=3; XER=c0000000
    512 #10: divdeuo.: 0x000123456789abdc0000000000000000 / 0x0000000000000000 = 0x0000000000000000; CR=3; XER=c0000000
    513 #11: divdeuo.: 0x00000000000000000000000000000000 / 0x0000000000000002 = 0x0000000000000000; CR=2; XER=0
    514 #12: divdeuo.: 0x00000000000000770000000000000000 / 0x00000000000a3499 = 0x000ba911a321dcca; CR=4; XER=0
    515 
    516 
    517 #0: divwe: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=0; XER=0
    518 #1: divwe: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=0; XER=0
    519 #2: divwe: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=0; XER=0
    520 #3: divwe: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=0; XER=0
    521 #4: divwe: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=0; XER=0
    522 #5: divwe: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=0; XER=0
    523 
    524 #0: divwe.: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=2; XER=0
    525 #1: divwe.: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=2; XER=0
    526 #2: divwe.: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=2; XER=0
    527 #3: divwe.: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=2; XER=0
    528 #4: divwe.: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=2; XER=0
    529 #5: divwe.: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=4; XER=0
    530 
    531 
    532 #0: divweo: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=0; XER=0
    533 #1: divweo: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=0; XER=c0000000
    534 #2: divweo: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=0; XER=c0000000
    535 #3: divweo: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=0; XER=c0000000
    536 #4: divweo: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=0; XER=c0000000
    537 #5: divweo: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=0; XER=0
    538 
    539 #0: divweo.: 0x0000000000000000 / 0x00000002 = 0x00000000; CR=2; XER=0
    540 #1: divweo.: 0x0000000200000000 / 0x00000000 = 0x00000000; CR=3; XER=c0000000
    541 #2: divweo.: 0x7abc123400000000 / 0xf0000000 = 0x00000000; CR=3; XER=c0000000
    542 #3: divweo.: 0xfabc123400000000 / 0x00000005 = 0x00000000; CR=3; XER=c0000000
    543 #4: divweo.: 0x0000004d00000000 / 0x00000042 = 0x00000000; CR=3; XER=c0000000
    544 #5: divweo.: 0x0000000500000000 / 0xfabc1234 = 0xffffff0d; CR=4; XER=0
    545 
    546 
    547 Test ftsqrt instruction
    548 ftsqrt: 3fd8000000000000 ? 8 (CRx)
    549 ftsqrt: 404f000000000000 ? 8 (CRx)
    550 ftsqrt: 0018000000b77501 ? a (CRx)
    551 ftsqrt: 7fe800000000051b ? 8 (CRx)
    552 ftsqrt: 0123214569900000 ? a (CRx)
    553 ftsqrt: 0000000000000000 ? e (CRx)
    554 ftsqrt: 8000000000000000 ? e (CRx)
    555 ftsqrt: 7ff0000000000000 ? e (CRx)
    556 ftsqrt: fff0000000000000 ? e (CRx)
    557 ftsqrt: 7ff7ffffffffffff ? a (CRx)
    558 ftsqrt: fff7ffffffffffff ? a (CRx)
    559 ftsqrt: 7ff8000000000000 ? a (CRx)
    560 ftsqrt: fff8000000000000 ? a (CRx)
    561 ftsqrt: 8008340000078000 ? e (CRx)
    562 ftsqrt: c0d0650f5a07b353 ? a (CRx)
    563 ftsqrt: 41232585a9900000 ? 8 (CRx)
    564 ftsqrt: 41382511a2000000 ? 8 (CRx)
    565 ftsqrt: 40312ef5a9300000 ? 8 (CRx)
    566 ftsqrt: 40514bf5d2300000 ? 8 (CRx)
    567 ftsqrt: 40976bf982440000 ? 8 (CRx)
    568 
    569 Test vector and scalar tdiv and tsqrt instructions
    570 #0: xstsqrtdp test-sqrt(3fd8000000000000) ? 8 (CRx)
    571 #1: xstsqrtdp test-sqrt(404f000000000000) ? 8 (CRx)
    572 #2: xstsqrtdp test-sqrt(0018000000b77501) ? a (CRx)
    573 #3: xstsqrtdp test-sqrt(7fe800000000051b) ? 8 (CRx)
    574 #4: xstsqrtdp test-sqrt(0123214569900000) ? a (CRx)
    575 #5: xstsqrtdp test-sqrt(0000000000000000) ? e (CRx)
    576 #6: xstsqrtdp test-sqrt(8000000000000000) ? e (CRx)
    577 #7: xstsqrtdp test-sqrt(7ff0000000000000) ? e (CRx)
    578 #8: xstsqrtdp test-sqrt(fff0000000000000) ? e (CRx)
    579 #9: xstsqrtdp test-sqrt(7ff7ffffffffffff) ? a (CRx)
    580 #10: xstsqrtdp test-sqrt(fff7ffffffffffff) ? a (CRx)
    581 #11: xstsqrtdp test-sqrt(7ff8000000000000) ? a (CRx)
    582 #12: xstsqrtdp test-sqrt(fff8000000000000) ? a (CRx)
    583 #13: xstsqrtdp test-sqrt(8008340000078000) ? e (CRx)
    584 #14: xstsqrtdp test-sqrt(c0d0650f5a07b353) ? a (CRx)
    585 #15: xstsqrtdp test-sqrt(41232585a9900000) ? 8 (CRx)
    586 #16: xstsqrtdp test-sqrt(41382511a2000000) ? 8 (CRx)
    587 #17: xstsqrtdp test-sqrt(40312ef5a9300000) ? 8 (CRx)
    588 #18: xstsqrtdp test-sqrt(40514bf5d2300000) ? 8 (CRx)
    589 #19: xstsqrtdp test-sqrt(40976bf982440000) ? 8 (CRx)
    590 
    591 #0: xvtsqrtdp test-sqrt(3fd8000000000000); test-sqrt(404f000000000000) ? 8 (CRx)
    592 #1: xvtsqrtdp test-sqrt(0018000000b77501); test-sqrt(7fe800000000051b) ? a (CRx)
    593 #2: xvtsqrtdp test-sqrt(0123214569900000); test-sqrt(0000000000000000) ? e (CRx)
    594 #3: xvtsqrtdp test-sqrt(8000000000000000); test-sqrt(7ff0000000000000) ? e (CRx)
    595 #4: xvtsqrtdp test-sqrt(fff0000000000000); test-sqrt(7ff7ffffffffffff) ? e (CRx)
    596 #5: xvtsqrtdp test-sqrt(fff7ffffffffffff); test-sqrt(7ff8000000000000) ? a (CRx)
    597 #6: xvtsqrtdp test-sqrt(fff8000000000000); test-sqrt(8008340000078000) ? e (CRx)
    598 #7: xvtsqrtdp test-sqrt(c0d0650f5a07b353); test-sqrt(41232585a9900000) ? a (CRx)
    599 #8: xvtsqrtdp test-sqrt(41382511a2000000); test-sqrt(40312ef5a9300000) ? 8 (CRx)
    600 #9: xvtsqrtdp test-sqrt(40514bf5d2300000); test-sqrt(40976bf982440000) ? 8 (CRx)
    601 
    602 #0: xvtsqrtsp test-sqrt(3ec00000); test-sqrt(42780000); test-sqrt(00000000); test-sqrt(7f800000) ? e (CRx)
    603 #1: xvtsqrtsp test-sqrt(00000000); test-sqrt(00000000); test-sqrt(80000000); test-sqrt(7f800000) ? e (CRx)
    604 #2: xvtsqrtsp test-sqrt(ff800000); test-sqrt(7fbfffff); test-sqrt(ffbfffff); test-sqrt(7fc00000) ? e (CRx)
    605 #3: xvtsqrtsp test-sqrt(ffc00000); test-sqrt(80000000); test-sqrt(c683287b); test-sqrt(49192c2d) ? e (CRx)
    606 #4: xvtsqrtsp test-sqrt(49c1288d); test-sqrt(418977ad); test-sqrt(428a5faf); test-sqrt(44bb5fcc) ? 8 (CRx)
    607 
    608 #0: xvtdivdp fff0000000000000 test-div fff0000000000000 AND fff0000000000000 test-div c0d0650f5a07b353 ? cc=e
    609 #1: xvtdivdp 41232585a9900000 test-div 41382511a2000000 AND fff0000000000000 test-div 0000000000000000 ? cc=e
    610 #2: xvtdivdp fff0000000000000 test-div 0123214569900000 AND fff0000000000000 test-div 7ff0000000000000 ? cc=e
    611 #3: xvtdivdp fff0000000000000 test-div 7ff7ffffffffffff AND fff0000000000000 test-div 7ff8000000000000 ? cc=e
    612 #4: xvtdivdp c0d0650f5a07b353 test-div fff0000000000000 AND c0d0650f5a07b353 test-div c0d0650f5a07b353 ? cc=e
    613 #5: xvtdivdp c0d0650f5a07b353 test-div 8000000000000000 AND c0d0650f5a07b353 test-div 0000000000000000 ? cc=e
    614 #6: xvtdivdp c0d0650f5a07b353 test-div 0123214569900000 AND c0d0650f5a07b353 test-div 7ff0000000000000 ? cc=e
    615 #7: xvtdivdp c0d0650f5a07b353 test-div 7ff7ffffffffffff AND c0d0650f5a07b353 test-div 7ff8000000000000 ? cc=a
    616 #8: xvtdivdp 8000000000000000 test-div fff0000000000000 AND 8000000000000000 test-div c0d0650f5a07b353 ? cc=e
    617 #9: xvtdivdp 8000000000000000 test-div 8000000000000000 AND 8000000000000000 test-div 0000000000000000 ? cc=e
    618 #10: xvtdivdp 8000000000000000 test-div 0123214569900000 AND 8000000000000000 test-div 7ff0000000000000 ? cc=e
    619 #11: xvtdivdp 8000000000000000 test-div 7ff7ffffffffffff AND 8000000000000000 test-div 7ff8000000000000 ? cc=a
    620 #12: xvtdivdp 0000000000000000 test-div fff0000000000000 AND 0000000000000000 test-div c0d0650f5a07b353 ? cc=e
    621 #13: xvtdivdp 0000000000000000 test-div 8000000000000000 AND 0000000000000000 test-div 0000000000000000 ? cc=e
    622 #14: xvtdivdp 0000000000000000 test-div 0123214569900000 AND 0000000000000000 test-div 7ff0000000000000 ? cc=e
    623 #15: xvtdivdp 0000000000000000 test-div 7ff7ffffffffffff AND 0000000000000000 test-div 7ff8000000000000 ? cc=a
    624 #16: xvtdivdp 0123214569900000 test-div fff0000000000000 AND 0123214569900000 test-div c0d0650f5a07b353 ? cc=e
    625 #17: xvtdivdp 0123214569900000 test-div 8000000000000000 AND 0123214569900000 test-div 0000000000000000 ? cc=e
    626 #18: xvtdivdp 0123214569900000 test-div 404f000000000000 AND 0123214569900000 test-div 7ff0000000000000 ? cc=e
    627 #19: xvtdivdp 0123214569900000 test-div 7ff7ffffffffffff AND 0123214569900000 test-div 7ff8000000000000 ? cc=a
    628 #20: xvtdivdp 7ff0000000000000 test-div fff0000000000000 AND 7ff0000000000000 test-div c0d0650f5a07b353 ? cc=e
    629 #21: xvtdivdp 7ff0000000000000 test-div 8000000000000000 AND 7ff0000000000000 test-div 0000000000000000 ? cc=e
    630 #22: xvtdivdp 7ff0000000000000 test-div 0123214569900000 AND 7ff0000000000000 test-div 7ff0000000000000 ? cc=e
    631 #23: xvtdivdp 7ff0000000000000 test-div 7ff7ffffffffffff AND 7ff0000000000000 test-div 7ff8000000000000 ? cc=e
    632 #24: xvtdivdp fff7ffffffffffff test-div fff0000000000000 AND fff7ffffffffffff test-div c0d0650f5a07b353 ? cc=e
    633 #25: xvtdivdp fff8000000000000 test-div 8000000000000000 AND fff8000000000000 test-div 0000000000000000 ? cc=e
    634 #26: xvtdivdp fff7ffffffffffff test-div 0123214569900000 AND fff7ffffffffffff test-div 7ff0000000000000 ? cc=e
    635 #27: xvtdivdp fff7ffffffffffff test-div 7ff7ffffffffffff AND fff7ffffffffffff test-div 7ff8000000000000 ? cc=a
    636 #28: xvtdivdp fff8000000000000 test-div fff0000000000000 AND fff8000000000000 test-div c0d0650f5a07b353 ? cc=e
    637 #29: xvtdivdp fff8000000000000 test-div 8000000000000000 AND 41232585a9900000 test-div 41382511a2000000 ? cc=e
    638 #30: xvtdivdp 41232585a9900000 test-div 41382511a2000000 AND 7ff7ffffffffffff test-div 7ff8000000000000 ? cc=a
    639 #31: xvtdivdp 7ff8000000000000 test-div 7ff8000000000000 AND 7ff8000000000000 test-div fff8000000000000 ? cc=a
    640 #32: xvtdivdp 41382511a2000000 test-div 40514bf5d2300000 AND 40312ef5a9300000 test-div 41382511a2000000 ? cc=8
    641 #33: xvtdivdp 40976bf982440000 test-div 40976bf982440000 AND 40976bf982440000 test-div 40514bf5d2300000 ? cc=8
    642 
    643 #0: xvtdivsp ff800000 test-div ff800000 AND ff800000 test-div c683287b AND 49192c2d test-div 49c1288d AND ff800000 test-div 00000000 ? cc=e
    644 #1: xvtdivsp ff800000 test-div 00000000 AND ff800000 test-div 7f800000 AND ff800000 test-div 7fbfffff AND ff800000 test-div 7fc00000 ? cc=e
    645 #2: xvtdivsp c683287b test-div ff800000 AND c683287b test-div c683287b AND c683287b test-div 80000000 AND c683287b test-div 00000000 ? cc=e
    646 #3: xvtdivsp c683287b test-div 00000000 AND c683287b test-div 7f800000 AND c683287b test-div 7fbfffff AND c683287b test-div 7fc00000 ? cc=e
    647 #4: xvtdivsp 80000000 test-div ff800000 AND 80000000 test-div c683287b AND 80000000 test-div 80000000 AND 80000000 test-div 00000000 ? cc=e
    648 #5: xvtdivsp 80000000 test-div 00000000 AND 80000000 test-div 7f800000 AND 80000000 test-div 7fbfffff AND 80000000 test-div 7fc00000 ? cc=e
    649 #6: xvtdivsp 00000000 test-div ff800000 AND 00000000 test-div c683287b AND 00000000 test-div 80000000 AND 00000000 test-div 00000000 ? cc=e
    650 #7: xvtdivsp 00000000 test-div 00000000 AND 00000000 test-div 7f800000 AND 00000000 test-div 7fbfffff AND 00000000 test-div 7fc00000 ? cc=e
    651 #8: xvtdivsp 00000000 test-div ff800000 AND 00000000 test-div c683287b AND 00000000 test-div 80000000 AND 00000000 test-div 00000000 ? cc=e
    652 #9: xvtdivsp 00000000 test-div 42780000 AND 00000000 test-div 7f800000 AND 00000000 test-div 7fbfffff AND 00000000 test-div 7fc00000 ? cc=e
    653 #10: xvtdivsp 7f800000 test-div ff800000 AND 7f800000 test-div c683287b AND 7f800000 test-div 80000000 AND 7f800000 test-div 00000000 ? cc=e
    654 #11: xvtdivsp 7f800000 test-div 00000000 AND 7f800000 test-div 7f800000 AND 7f800000 test-div 7fbfffff AND 7f800000 test-div 7fc00000 ? cc=e
    655 #12: xvtdivsp ffbfffff test-div ff800000 AND ffbfffff test-div c683287b AND ffc00000 test-div 80000000 AND ffc00000 test-div 00000000 ? cc=e
    656 #13: xvtdivsp ffbfffff test-div 00000000 AND ffbfffff test-div 7f800000 AND ffbfffff test-div 7fbfffff AND ffbfffff test-div 7fc00000 ? cc=e
    657 #14: xvtdivsp ffc00000 test-div ff800000 AND ffc00000 test-div c683287b AND ffc00000 test-div 80000000 AND 49192c2d test-div 49c1288d ? cc=e
    658 #15: xvtdivsp 49192c2d test-div 49c1288d AND 7fbfffff test-div 7fc00000 AND 7fc00000 test-div 7fc00000 AND 7fc00000 test-div ffc00000 ? cc=a
    659 #16: xvtdivsp 49c1288d test-div 428a5faf AND 418977ad test-div 49c1288d AND 44bb5fcc test-div 44bb5fcc AND 44bb5fcc test-div 428a5faf ? cc=8
    660 
    661 Test popcntw instruction
    662 popcntw: 0x9182736405504536 => 0x0000000d0000000b
    663 
    664