_f64_kat_vectors.nx source

1// _f64_kat_vectors.nx -- GENERATED by _f64_oracle_gen.py (hardware-IEEE oracle). 2// DO NOT HAND-EDIT. 1217 vectors. Regenerate: python _f64_oracle_gen.py 3import "nx_syscalls.nx" 4 5func f64_kat_fill_0(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 6 ops[0]=1; av[0]=0x0000000000000000; bv[0]=0x0000000000000000; ev[0]=0x0000000000000000 7 ops[1]=1; av[1]=0x0000000000000000; bv[1]=0x8000000000000000; ev[1]=0x0000000000000000 8 ops[2]=1; av[2]=0x0000000000000000; bv[2]=0x3FF0000000000000; ev[2]=0x3FF0000000000000 9 ops[3]=1; av[3]=0x0000000000000000; bv[3]=0xBFF0000000000000; ev[3]=0xBFF0000000000000 10 ops[4]=1; av[4]=0x0000000000000000; bv[4]=0x0000000000000001; ev[4]=0x0000000000000001 11 ops[5]=1; av[5]=0x0000000000000000; bv[5]=0x000FFFFFFFFFFFFF; ev[5]=0x000FFFFFFFFFFFFF 12 ops[6]=1; av[6]=0x0000000000000000; bv[6]=0x0010000000000000; ev[6]=0x0010000000000000 13 ops[7]=1; av[7]=0x0000000000000000; bv[7]=0x7FEFFFFFFFFFFFFF; ev[7]=0x7FEFFFFFFFFFFFFF 14 ops[8]=1; av[8]=0x0000000000000000; bv[8]=0x7FF0000000000000; ev[8]=0x7FF0000000000000 15 ops[9]=1; av[9]=0x0000000000000000; bv[9]=0xFFF0000000000000; ev[9]=0xFFF0000000000000 16 ops[10]=1; av[10]=0x0000000000000000; bv[10]=0x7FF8000000000000; ev[10]=0x7FF8000000000000 17 ops[11]=1; av[11]=0x0000000000000000; bv[11]=0x3FF8000000000000; ev[11]=0x3FF8000000000000 18 ops[12]=1; av[12]=0x0000000000000000; bv[12]=0x3FB999999999999A; ev[12]=0x3FB999999999999A 19 ops[13]=1; av[13]=0x0000000000000000; bv[13]=0x4340000000000002; ev[13]=0x4340000000000002 20 ops[14]=1; av[14]=0x8000000000000000; bv[14]=0x0000000000000000; ev[14]=0x0000000000000000 21 ops[15]=1; av[15]=0x8000000000000000; bv[15]=0x8000000000000000; ev[15]=0x8000000000000000 22 ops[16]=1; av[16]=0x8000000000000000; bv[16]=0x3FF0000000000000; ev[16]=0x3FF0000000000000 23 ops[17]=1; av[17]=0x8000000000000000; bv[17]=0xBFF0000000000000; ev[17]=0xBFF0000000000000 24 ops[18]=1; av[18]=0x8000000000000000; bv[18]=0x0000000000000001; ev[18]=0x0000000000000001 25 ops[19]=1; av[19]=0x8000000000000000; bv[19]=0x000FFFFFFFFFFFFF; ev[19]=0x000FFFFFFFFFFFFF 26 ops[20]=1; av[20]=0x8000000000000000; bv[20]=0x0010000000000000; ev[20]=0x0010000000000000 27 ops[21]=1; av[21]=0x8000000000000000; bv[21]=0x7FEFFFFFFFFFFFFF; ev[21]=0x7FEFFFFFFFFFFFFF 28 ops[22]=1; av[22]=0x8000000000000000; bv[22]=0x7FF0000000000000; ev[22]=0x7FF0000000000000 29 ops[23]=1; av[23]=0x8000000000000000; bv[23]=0xFFF0000000000000; ev[23]=0xFFF0000000000000 30 ops[24]=1; av[24]=0x8000000000000000; bv[24]=0x7FF8000000000000; ev[24]=0x7FF8000000000000 31 ops[25]=1; av[25]=0x8000000000000000; bv[25]=0x3FF8000000000000; ev[25]=0x3FF8000000000000 32 ops[26]=1; av[26]=0x8000000000000000; bv[26]=0x3FB999999999999A; ev[26]=0x3FB999999999999A 33 ops[27]=1; av[27]=0x8000000000000000; bv[27]=0x4340000000000002; ev[27]=0x4340000000000002 34 ops[28]=1; av[28]=0x3FF0000000000000; bv[28]=0x0000000000000000; ev[28]=0x3FF0000000000000 35 ops[29]=1; av[29]=0x3FF0000000000000; bv[29]=0x8000000000000000; ev[29]=0x3FF0000000000000 36 ops[30]=1; av[30]=0x3FF0000000000000; bv[30]=0x3FF0000000000000; ev[30]=0x4000000000000000 37 ops[31]=1; av[31]=0x3FF0000000000000; bv[31]=0xBFF0000000000000; ev[31]=0x0000000000000000 38 ops[32]=1; av[32]=0x3FF0000000000000; bv[32]=0x0000000000000001; ev[32]=0x3FF0000000000000 39 ops[33]=1; av[33]=0x3FF0000000000000; bv[33]=0x000FFFFFFFFFFFFF; ev[33]=0x3FF0000000000000 40 ops[34]=1; av[34]=0x3FF0000000000000; bv[34]=0x0010000000000000; ev[34]=0x3FF0000000000000 41 ops[35]=1; av[35]=0x3FF0000000000000; bv[35]=0x7FEFFFFFFFFFFFFF; ev[35]=0x7FEFFFFFFFFFFFFF 42 ops[36]=1; av[36]=0x3FF0000000000000; bv[36]=0x7FF0000000000000; ev[36]=0x7FF0000000000000 43 ops[37]=1; av[37]=0x3FF0000000000000; bv[37]=0xFFF0000000000000; ev[37]=0xFFF0000000000000 44 ops[38]=1; av[38]=0x3FF0000000000000; bv[38]=0x7FF8000000000000; ev[38]=0x7FF8000000000000 45 ops[39]=1; av[39]=0x3FF0000000000000; bv[39]=0x3FF8000000000000; ev[39]=0x4004000000000000 46 ops[40]=1; av[40]=0x3FF0000000000000; bv[40]=0x3FB999999999999A; ev[40]=0x3FF199999999999A 47 ops[41]=1; av[41]=0x3FF0000000000000; bv[41]=0x4340000000000002; ev[41]=0x4340000000000002 48 ops[42]=1; av[42]=0xBFF0000000000000; bv[42]=0x0000000000000000; ev[42]=0xBFF0000000000000 49 ops[43]=1; av[43]=0xBFF0000000000000; bv[43]=0x8000000000000000; ev[43]=0xBFF0000000000000 50 ops[44]=1; av[44]=0xBFF0000000000000; bv[44]=0x3FF0000000000000; ev[44]=0x0000000000000000 51 ops[45]=1; av[45]=0xBFF0000000000000; bv[45]=0xBFF0000000000000; ev[45]=0xC000000000000000 52 ops[46]=1; av[46]=0xBFF0000000000000; bv[46]=0x0000000000000001; ev[46]=0xBFF0000000000000 53 ops[47]=1; av[47]=0xBFF0000000000000; bv[47]=0x000FFFFFFFFFFFFF; ev[47]=0xBFF0000000000000 54 ops[48]=1; av[48]=0xBFF0000000000000; bv[48]=0x0010000000000000; ev[48]=0xBFF0000000000000 55 ops[49]=1; av[49]=0xBFF0000000000000; bv[49]=0x7FEFFFFFFFFFFFFF; ev[49]=0x7FEFFFFFFFFFFFFF 56 ops[50]=1; av[50]=0xBFF0000000000000; bv[50]=0x7FF0000000000000; ev[50]=0x7FF0000000000000 57 ops[51]=1; av[51]=0xBFF0000000000000; bv[51]=0xFFF0000000000000; ev[51]=0xFFF0000000000000 58 ops[52]=1; av[52]=0xBFF0000000000000; bv[52]=0x7FF8000000000000; ev[52]=0x7FF8000000000000 59 ops[53]=1; av[53]=0xBFF0000000000000; bv[53]=0x3FF8000000000000; ev[53]=0x3FE0000000000000 60 ops[54]=1; av[54]=0xBFF0000000000000; bv[54]=0x3FB999999999999A; ev[54]=0xBFECCCCCCCCCCCCD 61 ops[55]=1; av[55]=0xBFF0000000000000; bv[55]=0x4340000000000002; ev[55]=0x4340000000000002 62 ops[56]=1; av[56]=0x0000000000000001; bv[56]=0x0000000000000000; ev[56]=0x0000000000000001 63 ops[57]=1; av[57]=0x0000000000000001; bv[57]=0x8000000000000000; ev[57]=0x0000000000000001 64 ops[58]=1; av[58]=0x0000000000000001; bv[58]=0x3FF0000000000000; ev[58]=0x3FF0000000000000 65 ops[59]=1; av[59]=0x0000000000000001; bv[59]=0xBFF0000000000000; ev[59]=0xBFF0000000000000 66 ops[60]=1; av[60]=0x0000000000000001; bv[60]=0x0000000000000001; ev[60]=0x0000000000000002 67 ops[61]=1; av[61]=0x0000000000000001; bv[61]=0x000FFFFFFFFFFFFF; ev[61]=0x0010000000000000 68 ops[62]=1; av[62]=0x0000000000000001; bv[62]=0x0010000000000000; ev[62]=0x0010000000000001 69 ops[63]=1; av[63]=0x0000000000000001; bv[63]=0x7FEFFFFFFFFFFFFF; ev[63]=0x7FEFFFFFFFFFFFFF 70 ops[64]=1; av[64]=0x0000000000000001; bv[64]=0x7FF0000000000000; ev[64]=0x7FF0000000000000 71 ops[65]=1; av[65]=0x0000000000000001; bv[65]=0xFFF0000000000000; ev[65]=0xFFF0000000000000 72 ops[66]=1; av[66]=0x0000000000000001; bv[66]=0x7FF8000000000000; ev[66]=0x7FF8000000000000 73 ops[67]=1; av[67]=0x0000000000000001; bv[67]=0x3FF8000000000000; ev[67]=0x3FF8000000000000 74 ops[68]=1; av[68]=0x0000000000000001; bv[68]=0x3FB999999999999A; ev[68]=0x3FB999999999999A 75 ops[69]=1; av[69]=0x0000000000000001; bv[69]=0x4340000000000002; ev[69]=0x4340000000000002 76 ops[70]=1; av[70]=0x000FFFFFFFFFFFFF; bv[70]=0x0000000000000000; ev[70]=0x000FFFFFFFFFFFFF 77 ops[71]=1; av[71]=0x000FFFFFFFFFFFFF; bv[71]=0x8000000000000000; ev[71]=0x000FFFFFFFFFFFFF 78 ops[72]=1; av[72]=0x000FFFFFFFFFFFFF; bv[72]=0x3FF0000000000000; ev[72]=0x3FF0000000000000 79 ops[73]=1; av[73]=0x000FFFFFFFFFFFFF; bv[73]=0xBFF0000000000000; ev[73]=0xBFF0000000000000 80 ops[74]=1; av[74]=0x000FFFFFFFFFFFFF; bv[74]=0x0000000000000001; ev[74]=0x0010000000000000 81 ops[75]=1; av[75]=0x000FFFFFFFFFFFFF; bv[75]=0x000FFFFFFFFFFFFF; ev[75]=0x001FFFFFFFFFFFFE 82 ops[76]=1; av[76]=0x000FFFFFFFFFFFFF; bv[76]=0x0010000000000000; ev[76]=0x001FFFFFFFFFFFFF 83 ops[77]=1; av[77]=0x000FFFFFFFFFFFFF; bv[77]=0x7FEFFFFFFFFFFFFF; ev[77]=0x7FEFFFFFFFFFFFFF 84 ops[78]=1; av[78]=0x000FFFFFFFFFFFFF; bv[78]=0x7FF0000000000000; ev[78]=0x7FF0000000000000 85 ops[79]=1; av[79]=0x000FFFFFFFFFFFFF; bv[79]=0xFFF0000000000000; ev[79]=0xFFF0000000000000 86 return 0 87} 88 89func f64_kat_fill_1(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 90 ops[80]=1; av[80]=0x000FFFFFFFFFFFFF; bv[80]=0x7FF8000000000000; ev[80]=0x7FF8000000000000 91 ops[81]=1; av[81]=0x000FFFFFFFFFFFFF; bv[81]=0x3FF8000000000000; ev[81]=0x3FF8000000000000 92 ops[82]=1; av[82]=0x000FFFFFFFFFFFFF; bv[82]=0x3FB999999999999A; ev[82]=0x3FB999999999999A 93 ops[83]=1; av[83]=0x000FFFFFFFFFFFFF; bv[83]=0x4340000000000002; ev[83]=0x4340000000000002 94 ops[84]=1; av[84]=0x0010000000000000; bv[84]=0x0000000000000000; ev[84]=0x0010000000000000 95 ops[85]=1; av[85]=0x0010000000000000; bv[85]=0x8000000000000000; ev[85]=0x0010000000000000 96 ops[86]=1; av[86]=0x0010000000000000; bv[86]=0x3FF0000000000000; ev[86]=0x3FF0000000000000 97 ops[87]=1; av[87]=0x0010000000000000; bv[87]=0xBFF0000000000000; ev[87]=0xBFF0000000000000 98 ops[88]=1; av[88]=0x0010000000000000; bv[88]=0x0000000000000001; ev[88]=0x0010000000000001 99 ops[89]=1; av[89]=0x0010000000000000; bv[89]=0x000FFFFFFFFFFFFF; ev[89]=0x001FFFFFFFFFFFFF 100 ops[90]=1; av[90]=0x0010000000000000; bv[90]=0x0010000000000000; ev[90]=0x0020000000000000 101 ops[91]=1; av[91]=0x0010000000000000; bv[91]=0x7FEFFFFFFFFFFFFF; ev[91]=0x7FEFFFFFFFFFFFFF 102 ops[92]=1; av[92]=0x0010000000000000; bv[92]=0x7FF0000000000000; ev[92]=0x7FF0000000000000 103 ops[93]=1; av[93]=0x0010000000000000; bv[93]=0xFFF0000000000000; ev[93]=0xFFF0000000000000 104 ops[94]=1; av[94]=0x0010000000000000; bv[94]=0x7FF8000000000000; ev[94]=0x7FF8000000000000 105 ops[95]=1; av[95]=0x0010000000000000; bv[95]=0x3FF8000000000000; ev[95]=0x3FF8000000000000 106 ops[96]=1; av[96]=0x0010000000000000; bv[96]=0x3FB999999999999A; ev[96]=0x3FB999999999999A 107 ops[97]=1; av[97]=0x0010000000000000; bv[97]=0x4340000000000002; ev[97]=0x4340000000000002 108 ops[98]=1; av[98]=0x7FEFFFFFFFFFFFFF; bv[98]=0x0000000000000000; ev[98]=0x7FEFFFFFFFFFFFFF 109 ops[99]=1; av[99]=0x7FEFFFFFFFFFFFFF; bv[99]=0x8000000000000000; ev[99]=0x7FEFFFFFFFFFFFFF 110 ops[100]=1; av[100]=0x7FEFFFFFFFFFFFFF; bv[100]=0x3FF0000000000000; ev[100]=0x7FEFFFFFFFFFFFFF 111 ops[101]=1; av[101]=0x7FEFFFFFFFFFFFFF; bv[101]=0xBFF0000000000000; ev[101]=0x7FEFFFFFFFFFFFFF 112 ops[102]=1; av[102]=0x7FEFFFFFFFFFFFFF; bv[102]=0x0000000000000001; ev[102]=0x7FEFFFFFFFFFFFFF 113 ops[103]=1; av[103]=0x7FEFFFFFFFFFFFFF; bv[103]=0x000FFFFFFFFFFFFF; ev[103]=0x7FEFFFFFFFFFFFFF 114 ops[104]=1; av[104]=0x7FEFFFFFFFFFFFFF; bv[104]=0x0010000000000000; ev[104]=0x7FEFFFFFFFFFFFFF 115 ops[105]=1; av[105]=0x7FEFFFFFFFFFFFFF; bv[105]=0x7FEFFFFFFFFFFFFF; ev[105]=0x7FF0000000000000 116 ops[106]=1; av[106]=0x7FEFFFFFFFFFFFFF; bv[106]=0x7FF0000000000000; ev[106]=0x7FF0000000000000 117 ops[107]=1; av[107]=0x7FEFFFFFFFFFFFFF; bv[107]=0xFFF0000000000000; ev[107]=0xFFF0000000000000 118 ops[108]=1; av[108]=0x7FEFFFFFFFFFFFFF; bv[108]=0x7FF8000000000000; ev[108]=0x7FF8000000000000 119 ops[109]=1; av[109]=0x7FEFFFFFFFFFFFFF; bv[109]=0x3FF8000000000000; ev[109]=0x7FEFFFFFFFFFFFFF 120 ops[110]=1; av[110]=0x7FEFFFFFFFFFFFFF; bv[110]=0x3FB999999999999A; ev[110]=0x7FEFFFFFFFFFFFFF 121 ops[111]=1; av[111]=0x7FEFFFFFFFFFFFFF; bv[111]=0x4340000000000002; ev[111]=0x7FEFFFFFFFFFFFFF 122 ops[112]=1; av[112]=0x7FF0000000000000; bv[112]=0x0000000000000000; ev[112]=0x7FF0000000000000 123 ops[113]=1; av[113]=0x7FF0000000000000; bv[113]=0x8000000000000000; ev[113]=0x7FF0000000000000 124 ops[114]=1; av[114]=0x7FF0000000000000; bv[114]=0x3FF0000000000000; ev[114]=0x7FF0000000000000 125 ops[115]=1; av[115]=0x7FF0000000000000; bv[115]=0xBFF0000000000000; ev[115]=0x7FF0000000000000 126 ops[116]=1; av[116]=0x7FF0000000000000; bv[116]=0x0000000000000001; ev[116]=0x7FF0000000000000 127 ops[117]=1; av[117]=0x7FF0000000000000; bv[117]=0x000FFFFFFFFFFFFF; ev[117]=0x7FF0000000000000 128 ops[118]=1; av[118]=0x7FF0000000000000; bv[118]=0x0010000000000000; ev[118]=0x7FF0000000000000 129 ops[119]=1; av[119]=0x7FF0000000000000; bv[119]=0x7FEFFFFFFFFFFFFF; ev[119]=0x7FF0000000000000 130 ops[120]=1; av[120]=0x7FF0000000000000; bv[120]=0x7FF0000000000000; ev[120]=0x7FF0000000000000 131 ops[121]=1; av[121]=0x7FF0000000000000; bv[121]=0xFFF0000000000000; ev[121]=0x7FF8000000000000 132 ops[122]=1; av[122]=0x7FF0000000000000; bv[122]=0x7FF8000000000000; ev[122]=0x7FF8000000000000 133 ops[123]=1; av[123]=0x7FF0000000000000; bv[123]=0x3FF8000000000000; ev[123]=0x7FF0000000000000 134 ops[124]=1; av[124]=0x7FF0000000000000; bv[124]=0x3FB999999999999A; ev[124]=0x7FF0000000000000 135 ops[125]=1; av[125]=0x7FF0000000000000; bv[125]=0x4340000000000002; ev[125]=0x7FF0000000000000 136 ops[126]=1; av[126]=0xFFF0000000000000; bv[126]=0x0000000000000000; ev[126]=0xFFF0000000000000 137 ops[127]=1; av[127]=0xFFF0000000000000; bv[127]=0x8000000000000000; ev[127]=0xFFF0000000000000 138 ops[128]=1; av[128]=0xFFF0000000000000; bv[128]=0x3FF0000000000000; ev[128]=0xFFF0000000000000 139 ops[129]=1; av[129]=0xFFF0000000000000; bv[129]=0xBFF0000000000000; ev[129]=0xFFF0000000000000 140 ops[130]=1; av[130]=0xFFF0000000000000; bv[130]=0x0000000000000001; ev[130]=0xFFF0000000000000 141 ops[131]=1; av[131]=0xFFF0000000000000; bv[131]=0x000FFFFFFFFFFFFF; ev[131]=0xFFF0000000000000 142 ops[132]=1; av[132]=0xFFF0000000000000; bv[132]=0x0010000000000000; ev[132]=0xFFF0000000000000 143 ops[133]=1; av[133]=0xFFF0000000000000; bv[133]=0x7FEFFFFFFFFFFFFF; ev[133]=0xFFF0000000000000 144 ops[134]=1; av[134]=0xFFF0000000000000; bv[134]=0x7FF0000000000000; ev[134]=0x7FF8000000000000 145 ops[135]=1; av[135]=0xFFF0000000000000; bv[135]=0xFFF0000000000000; ev[135]=0xFFF0000000000000 146 ops[136]=1; av[136]=0xFFF0000000000000; bv[136]=0x7FF8000000000000; ev[136]=0x7FF8000000000000 147 ops[137]=1; av[137]=0xFFF0000000000000; bv[137]=0x3FF8000000000000; ev[137]=0xFFF0000000000000 148 ops[138]=1; av[138]=0xFFF0000000000000; bv[138]=0x3FB999999999999A; ev[138]=0xFFF0000000000000 149 ops[139]=1; av[139]=0xFFF0000000000000; bv[139]=0x4340000000000002; ev[139]=0xFFF0000000000000 150 ops[140]=1; av[140]=0x7FF8000000000000; bv[140]=0x0000000000000000; ev[140]=0x7FF8000000000000 151 ops[141]=1; av[141]=0x7FF8000000000000; bv[141]=0x8000000000000000; ev[141]=0x7FF8000000000000 152 ops[142]=1; av[142]=0x7FF8000000000000; bv[142]=0x3FF0000000000000; ev[142]=0x7FF8000000000000 153 ops[143]=1; av[143]=0x7FF8000000000000; bv[143]=0xBFF0000000000000; ev[143]=0x7FF8000000000000 154 ops[144]=1; av[144]=0x7FF8000000000000; bv[144]=0x0000000000000001; ev[144]=0x7FF8000000000000 155 ops[145]=1; av[145]=0x7FF8000000000000; bv[145]=0x000FFFFFFFFFFFFF; ev[145]=0x7FF8000000000000 156 ops[146]=1; av[146]=0x7FF8000000000000; bv[146]=0x0010000000000000; ev[146]=0x7FF8000000000000 157 ops[147]=1; av[147]=0x7FF8000000000000; bv[147]=0x7FEFFFFFFFFFFFFF; ev[147]=0x7FF8000000000000 158 ops[148]=1; av[148]=0x7FF8000000000000; bv[148]=0x7FF0000000000000; ev[148]=0x7FF8000000000000 159 ops[149]=1; av[149]=0x7FF8000000000000; bv[149]=0xFFF0000000000000; ev[149]=0x7FF8000000000000 160 ops[150]=1; av[150]=0x7FF8000000000000; bv[150]=0x7FF8000000000000; ev[150]=0x7FF8000000000000 161 ops[151]=1; av[151]=0x7FF8000000000000; bv[151]=0x3FF8000000000000; ev[151]=0x7FF8000000000000 162 ops[152]=1; av[152]=0x7FF8000000000000; bv[152]=0x3FB999999999999A; ev[152]=0x7FF8000000000000 163 ops[153]=1; av[153]=0x7FF8000000000000; bv[153]=0x4340000000000002; ev[153]=0x7FF8000000000000 164 ops[154]=1; av[154]=0x3FF8000000000000; bv[154]=0x0000000000000000; ev[154]=0x3FF8000000000000 165 ops[155]=1; av[155]=0x3FF8000000000000; bv[155]=0x8000000000000000; ev[155]=0x3FF8000000000000 166 ops[156]=1; av[156]=0x3FF8000000000000; bv[156]=0x3FF0000000000000; ev[156]=0x4004000000000000 167 ops[157]=1; av[157]=0x3FF8000000000000; bv[157]=0xBFF0000000000000; ev[157]=0x3FE0000000000000 168 ops[158]=1; av[158]=0x3FF8000000000000; bv[158]=0x0000000000000001; ev[158]=0x3FF8000000000000 169 ops[159]=1; av[159]=0x3FF8000000000000; bv[159]=0x000FFFFFFFFFFFFF; ev[159]=0x3FF8000000000000 170 return 0 171} 172 173func f64_kat_fill_2(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 174 ops[160]=1; av[160]=0x3FF8000000000000; bv[160]=0x0010000000000000; ev[160]=0x3FF8000000000000 175 ops[161]=1; av[161]=0x3FF8000000000000; bv[161]=0x7FEFFFFFFFFFFFFF; ev[161]=0x7FEFFFFFFFFFFFFF 176 ops[162]=1; av[162]=0x3FF8000000000000; bv[162]=0x7FF0000000000000; ev[162]=0x7FF0000000000000 177 ops[163]=1; av[163]=0x3FF8000000000000; bv[163]=0xFFF0000000000000; ev[163]=0xFFF0000000000000 178 ops[164]=1; av[164]=0x3FF8000000000000; bv[164]=0x7FF8000000000000; ev[164]=0x7FF8000000000000 179 ops[165]=1; av[165]=0x3FF8000000000000; bv[165]=0x3FF8000000000000; ev[165]=0x4008000000000000 180 ops[166]=1; av[166]=0x3FF8000000000000; bv[166]=0x3FB999999999999A; ev[166]=0x3FF999999999999A 181 ops[167]=1; av[167]=0x3FF8000000000000; bv[167]=0x4340000000000002; ev[167]=0x4340000000000003 182 ops[168]=1; av[168]=0x3FB999999999999A; bv[168]=0x0000000000000000; ev[168]=0x3FB999999999999A 183 ops[169]=1; av[169]=0x3FB999999999999A; bv[169]=0x8000000000000000; ev[169]=0x3FB999999999999A 184 ops[170]=1; av[170]=0x3FB999999999999A; bv[170]=0x3FF0000000000000; ev[170]=0x3FF199999999999A 185 ops[171]=1; av[171]=0x3FB999999999999A; bv[171]=0xBFF0000000000000; ev[171]=0xBFECCCCCCCCCCCCD 186 ops[172]=1; av[172]=0x3FB999999999999A; bv[172]=0x0000000000000001; ev[172]=0x3FB999999999999A 187 ops[173]=1; av[173]=0x3FB999999999999A; bv[173]=0x000FFFFFFFFFFFFF; ev[173]=0x3FB999999999999A 188 ops[174]=1; av[174]=0x3FB999999999999A; bv[174]=0x0010000000000000; ev[174]=0x3FB999999999999A 189 ops[175]=1; av[175]=0x3FB999999999999A; bv[175]=0x7FEFFFFFFFFFFFFF; ev[175]=0x7FEFFFFFFFFFFFFF 190 ops[176]=1; av[176]=0x3FB999999999999A; bv[176]=0x7FF0000000000000; ev[176]=0x7FF0000000000000 191 ops[177]=1; av[177]=0x3FB999999999999A; bv[177]=0xFFF0000000000000; ev[177]=0xFFF0000000000000 192 ops[178]=1; av[178]=0x3FB999999999999A; bv[178]=0x7FF8000000000000; ev[178]=0x7FF8000000000000 193 ops[179]=1; av[179]=0x3FB999999999999A; bv[179]=0x3FF8000000000000; ev[179]=0x3FF999999999999A 194 ops[180]=1; av[180]=0x3FB999999999999A; bv[180]=0x3FB999999999999A; ev[180]=0x3FC999999999999A 195 ops[181]=1; av[181]=0x3FB999999999999A; bv[181]=0x4340000000000002; ev[181]=0x4340000000000002 196 ops[182]=1; av[182]=0x4340000000000002; bv[182]=0x0000000000000000; ev[182]=0x4340000000000002 197 ops[183]=1; av[183]=0x4340000000000002; bv[183]=0x8000000000000000; ev[183]=0x4340000000000002 198 ops[184]=1; av[184]=0x4340000000000002; bv[184]=0x3FF0000000000000; ev[184]=0x4340000000000002 199 ops[185]=1; av[185]=0x4340000000000002; bv[185]=0xBFF0000000000000; ev[185]=0x4340000000000002 200 ops[186]=1; av[186]=0x4340000000000002; bv[186]=0x0000000000000001; ev[186]=0x4340000000000002 201 ops[187]=1; av[187]=0x4340000000000002; bv[187]=0x000FFFFFFFFFFFFF; ev[187]=0x4340000000000002 202 ops[188]=1; av[188]=0x4340000000000002; bv[188]=0x0010000000000000; ev[188]=0x4340000000000002 203 ops[189]=1; av[189]=0x4340000000000002; bv[189]=0x7FEFFFFFFFFFFFFF; ev[189]=0x7FEFFFFFFFFFFFFF 204 ops[190]=1; av[190]=0x4340000000000002; bv[190]=0x7FF0000000000000; ev[190]=0x7FF0000000000000 205 ops[191]=1; av[191]=0x4340000000000002; bv[191]=0xFFF0000000000000; ev[191]=0xFFF0000000000000 206 ops[192]=1; av[192]=0x4340000000000002; bv[192]=0x7FF8000000000000; ev[192]=0x7FF8000000000000 207 ops[193]=1; av[193]=0x4340000000000002; bv[193]=0x3FF8000000000000; ev[193]=0x4340000000000003 208 ops[194]=1; av[194]=0x4340000000000002; bv[194]=0x3FB999999999999A; ev[194]=0x4340000000000002 209 ops[195]=1; av[195]=0x4340000000000002; bv[195]=0x4340000000000002; ev[195]=0x4350000000000002 210 ops[196]=1; av[196]=0x4058D80000000000; bv[196]=0x4055800000000000; ev[196]=0x40672C0000000000 211 ops[197]=1; av[197]=0x000BD554799D704C; bv[197]=0xC081680000000000; ev[197]=0xC081680000000000 212 ops[198]=1; av[198]=0x834C541602AA7D00; bv[198]=0x0008393ECE9349FB; ev[198]=0x834C541602AA7CFF 213 ops[199]=1; av[199]=0x801DB573EF82E12F; bv[199]=0x80075CD4F52E075A; ev[199]=0x8022892472587444 214 ops[200]=1; av[200]=0x00054DBDC6754AC9; bv[200]=0x2B9A240B81131C90; ev[200]=0x2B9A240B81131C90 215 ops[201]=1; av[201]=0xFF26DCB67B28FB1A; bv[201]=0x0055CCD91D56DB19; ev[201]=0xFF26DCB67B28FB1A 216 ops[202]=1; av[202]=0x7F16FCFEA855564A; bv[202]=0xBFB7F4ED716E2B1B; ev[202]=0x7F16FCFEA855564A 217 ops[203]=1; av[203]=0x00A5599A9F814976; bv[203]=0x84DD35DD9F7730DC; ev[203]=0x84DD35DD9F7730DC 218 ops[204]=1; av[204]=0xACD9BE76AEA8AA77; bv[204]=0xF9706703E99FE4A9; ev[204]=0xF9706703E99FE4A9 219 ops[205]=1; av[205]=0x004288BE20417FA8; bv[205]=0x778853B344DCA1EF; ev[205]=0x778853B344DCA1EF 220 ops[206]=1; av[206]=0x0108F1E0132A2A53; bv[206]=0x400C5DBF0B69F463; ev[206]=0x400C5DBF0B69F463 221 ops[207]=1; av[207]=0x7FD3876812B7232F; bv[207]=0xFF87C48FFF44A5DD; ev[207]=0x7FD2C94392BCFE00 222 ops[208]=1; av[208]=0x0B0B1DDF53970465; bv[208]=0x4017D73D5A9C5D97; ev[208]=0x4017D73D5A9C5D97 223 ops[209]=1; av[209]=0x000D8426E8BDE3FF; bv[209]=0x7FED05E28A4A3661; ev[209]=0x7FED05E28A4A3661 224 ops[210]=1; av[210]=0xD32BEE9DC1141453; bv[210]=0x80054A822CD75664; ev[210]=0xD32BEE9DC1141453 225 ops[211]=1; av[211]=0x838E41C8ADFEBDD1; bv[211]=0x03D2BF0C029A2904; ev[211]=0x03D1CCFDBD2A3315 226 ops[212]=1; av[212]=0x7FD724A6FB299A4F; bv[212]=0x800FFCABF7BAE2F7; ev[212]=0x7FD724A6FB299A4F 227 ops[213]=1; av[213]=0xFF2EDC832F23C21D; bv[213]=0x84B6919A3704F42A; ev[213]=0xFF2EDC832F23C21D 228 ops[214]=1; av[214]=0xBFD0344D02A601AC; bv[214]=0x40300DECE60F07F0; ev[214]=0x402F9A376408DFD3 229 ops[215]=1; av[215]=0xC091680000000000; bv[215]=0xBFEC67DF7DFDE23F; ev[215]=0xC0916B8CFBEFBFBC 230 ops[216]=1; av[216]=0x006641AE7ADE0E86; bv[216]=0x8449D38728BE8B16; ev[216]=0x8449D38728BE8B16 231 ops[217]=1; av[217]=0x4096880000000000; bv[217]=0xC03F000000000000; ev[217]=0x40960C0000000000 232 ops[218]=1; av[218]=0x021AA5E35FCB39EB; bv[218]=0x82447E8EB67DAD7B; ev[218]=0x824129D24A84463E 233 ops[219]=1; av[219]=0xBFD16ED3F4A45631; bv[219]=0x3FD671B2A1C683EB; ev[219]=0x3FB40B7AB488B6E8 234 ops[220]=1; av[220]=0xBFBE96EDB9563171; bv[220]=0x40561CAA718E52E5; ev[220]=0x40561504B61FFD59 235 ops[221]=1; av[221]=0xBFEFE5B3D149FA3E; bv[221]=0x83D633C00FF412E7; ev[221]=0xBFEFE5B3D149FA3E 236 ops[222]=1; av[222]=0x03BA45010BD2F97E; bv[222]=0x7F595E1996DEF4B6; ev[222]=0x7F595E1996DEF4B6 237 ops[223]=1; av[223]=0x800FFF2E57C15245; bv[223]=0x8F021211FD7CA09D; ev[223]=0x8F021211FD7CA09D 238 ops[224]=1; av[224]=0xC0A2B80000000000; bv[224]=0x7F652FB06C9FFDA9; ev[224]=0x7F652FB06C9FFDA9 239 ops[225]=1; av[225]=0x3FD569782F46DBC5; bv[225]=0x3FD68D761FBAA32A; ev[225]=0x3FE5FB772780BF78 240 ops[226]=1; av[226]=0x7F4D64C7214C31B5; bv[226]=0x4096880000000000; ev[226]=0x7F4D64C7214C31B5 241 ops[227]=1; av[227]=0x3FD477764FD3BF98; bv[227]=0xC0B5400000000000; ev[227]=0xC0B53FAE2226C0B1 242 ops[228]=1; av[228]=0x000129DC2CCFE63C; bv[228]=0x4017F9BD1AB5FD0D; ev[228]=0x4017F9BD1AB5FD0D 243 ops[229]=1; av[229]=0x4098900000000000; bv[229]=0x04D669A2E7956C8E; ev[229]=0x4098900000000000 244 ops[230]=1; av[230]=0xFB60931B408E3AF4; bv[230]=0x3FF961E70189F8A9; ev[230]=0xFB60931B408E3AF4 245 ops[231]=1; av[231]=0x1A1678CC89EED112; bv[231]=0x800593FFB96FD531; ev[231]=0x1A1678CC89EED112 246 ops[232]=1; av[232]=0x7FE4FF54B18D7435; bv[232]=0xDF60D1E0988C8F71; ev[232]=0x7FE4FF54B18D7435 247 ops[233]=1; av[233]=0x80069E98CE58706B; bv[233]=0x800E5602719901D4; ev[233]=0x8014F49B3FF1723F 248 ops[234]=1; av[234]=0x16F34CDC4460CFB9; bv[234]=0x7F48829B704A578A; ev[234]=0x7F48829B704A578A 249 ops[235]=1; av[235]=0x7F3522242F38A49A; bv[235]=0x3FFB094F99C49093; ev[235]=0x7F3522242F38A49A 250 ops[236]=2; av[236]=0x0000000000000000; bv[236]=0x0000000000000000; ev[236]=0x0000000000000000 251 ops[237]=2; av[237]=0x0000000000000000; bv[237]=0x8000000000000000; ev[237]=0x0000000000000000 252 ops[238]=2; av[238]=0x0000000000000000; bv[238]=0x3FF0000000000000; ev[238]=0xBFF0000000000000 253 ops[239]=2; av[239]=0x0000000000000000; bv[239]=0xBFF0000000000000; ev[239]=0x3FF0000000000000 254 return 0 255} 256 257func f64_kat_fill_3(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 258 ops[240]=2; av[240]=0x0000000000000000; bv[240]=0x0000000000000001; ev[240]=0x8000000000000001 259 ops[241]=2; av[241]=0x0000000000000000; bv[241]=0x000FFFFFFFFFFFFF; ev[241]=0x800FFFFFFFFFFFFF 260 ops[242]=2; av[242]=0x0000000000000000; bv[242]=0x0010000000000000; ev[242]=0x8010000000000000 261 ops[243]=2; av[243]=0x0000000000000000; bv[243]=0x7FEFFFFFFFFFFFFF; ev[243]=0xFFEFFFFFFFFFFFFF 262 ops[244]=2; av[244]=0x0000000000000000; bv[244]=0x7FF0000000000000; ev[244]=0xFFF0000000000000 263 ops[245]=2; av[245]=0x0000000000000000; bv[245]=0xFFF0000000000000; ev[245]=0x7FF0000000000000 264 ops[246]=2; av[246]=0x0000000000000000; bv[246]=0x7FF8000000000000; ev[246]=0x7FF8000000000000 265 ops[247]=2; av[247]=0x0000000000000000; bv[247]=0x3FF8000000000000; ev[247]=0xBFF8000000000000 266 ops[248]=2; av[248]=0x0000000000000000; bv[248]=0x3FB999999999999A; ev[248]=0xBFB999999999999A 267 ops[249]=2; av[249]=0x0000000000000000; bv[249]=0x4340000000000002; ev[249]=0xC340000000000002 268 ops[250]=2; av[250]=0x8000000000000000; bv[250]=0x0000000000000000; ev[250]=0x8000000000000000 269 ops[251]=2; av[251]=0x8000000000000000; bv[251]=0x8000000000000000; ev[251]=0x0000000000000000 270 ops[252]=2; av[252]=0x8000000000000000; bv[252]=0x3FF0000000000000; ev[252]=0xBFF0000000000000 271 ops[253]=2; av[253]=0x8000000000000000; bv[253]=0xBFF0000000000000; ev[253]=0x3FF0000000000000 272 ops[254]=2; av[254]=0x8000000000000000; bv[254]=0x0000000000000001; ev[254]=0x8000000000000001 273 ops[255]=2; av[255]=0x8000000000000000; bv[255]=0x000FFFFFFFFFFFFF; ev[255]=0x800FFFFFFFFFFFFF 274 ops[256]=2; av[256]=0x8000000000000000; bv[256]=0x0010000000000000; ev[256]=0x8010000000000000 275 ops[257]=2; av[257]=0x8000000000000000; bv[257]=0x7FEFFFFFFFFFFFFF; ev[257]=0xFFEFFFFFFFFFFFFF 276 ops[258]=2; av[258]=0x8000000000000000; bv[258]=0x7FF0000000000000; ev[258]=0xFFF0000000000000 277 ops[259]=2; av[259]=0x8000000000000000; bv[259]=0xFFF0000000000000; ev[259]=0x7FF0000000000000 278 ops[260]=2; av[260]=0x8000000000000000; bv[260]=0x7FF8000000000000; ev[260]=0x7FF8000000000000 279 ops[261]=2; av[261]=0x8000000000000000; bv[261]=0x3FF8000000000000; ev[261]=0xBFF8000000000000 280 ops[262]=2; av[262]=0x8000000000000000; bv[262]=0x3FB999999999999A; ev[262]=0xBFB999999999999A 281 ops[263]=2; av[263]=0x8000000000000000; bv[263]=0x4340000000000002; ev[263]=0xC340000000000002 282 ops[264]=2; av[264]=0x3FF0000000000000; bv[264]=0x0000000000000000; ev[264]=0x3FF0000000000000 283 ops[265]=2; av[265]=0x3FF0000000000000; bv[265]=0x8000000000000000; ev[265]=0x3FF0000000000000 284 ops[266]=2; av[266]=0x3FF0000000000000; bv[266]=0x3FF0000000000000; ev[266]=0x0000000000000000 285 ops[267]=2; av[267]=0x3FF0000000000000; bv[267]=0xBFF0000000000000; ev[267]=0x4000000000000000 286 ops[268]=2; av[268]=0x3FF0000000000000; bv[268]=0x0000000000000001; ev[268]=0x3FF0000000000000 287 ops[269]=2; av[269]=0x3FF0000000000000; bv[269]=0x000FFFFFFFFFFFFF; ev[269]=0x3FF0000000000000 288 ops[270]=2; av[270]=0x3FF0000000000000; bv[270]=0x0010000000000000; ev[270]=0x3FF0000000000000 289 ops[271]=2; av[271]=0x3FF0000000000000; bv[271]=0x7FEFFFFFFFFFFFFF; ev[271]=0xFFEFFFFFFFFFFFFF 290 ops[272]=2; av[272]=0x3FF0000000000000; bv[272]=0x7FF0000000000000; ev[272]=0xFFF0000000000000 291 ops[273]=2; av[273]=0x3FF0000000000000; bv[273]=0xFFF0000000000000; ev[273]=0x7FF0000000000000 292 ops[274]=2; av[274]=0x3FF0000000000000; bv[274]=0x7FF8000000000000; ev[274]=0x7FF8000000000000 293 ops[275]=2; av[275]=0x3FF0000000000000; bv[275]=0x3FF8000000000000; ev[275]=0xBFE0000000000000 294 ops[276]=2; av[276]=0x3FF0000000000000; bv[276]=0x3FB999999999999A; ev[276]=0x3FECCCCCCCCCCCCD 295 ops[277]=2; av[277]=0x3FF0000000000000; bv[277]=0x4340000000000002; ev[277]=0xC340000000000002 296 ops[278]=2; av[278]=0xBFF0000000000000; bv[278]=0x0000000000000000; ev[278]=0xBFF0000000000000 297 ops[279]=2; av[279]=0xBFF0000000000000; bv[279]=0x8000000000000000; ev[279]=0xBFF0000000000000 298 ops[280]=2; av[280]=0xBFF0000000000000; bv[280]=0x3FF0000000000000; ev[280]=0xC000000000000000 299 ops[281]=2; av[281]=0xBFF0000000000000; bv[281]=0xBFF0000000000000; ev[281]=0x0000000000000000 300 ops[282]=2; av[282]=0xBFF0000000000000; bv[282]=0x0000000000000001; ev[282]=0xBFF0000000000000 301 ops[283]=2; av[283]=0xBFF0000000000000; bv[283]=0x000FFFFFFFFFFFFF; ev[283]=0xBFF0000000000000 302 ops[284]=2; av[284]=0xBFF0000000000000; bv[284]=0x0010000000000000; ev[284]=0xBFF0000000000000 303 ops[285]=2; av[285]=0xBFF0000000000000; bv[285]=0x7FEFFFFFFFFFFFFF; ev[285]=0xFFEFFFFFFFFFFFFF 304 ops[286]=2; av[286]=0xBFF0000000000000; bv[286]=0x7FF0000000000000; ev[286]=0xFFF0000000000000 305 ops[287]=2; av[287]=0xBFF0000000000000; bv[287]=0xFFF0000000000000; ev[287]=0x7FF0000000000000 306 ops[288]=2; av[288]=0xBFF0000000000000; bv[288]=0x7FF8000000000000; ev[288]=0x7FF8000000000000 307 ops[289]=2; av[289]=0xBFF0000000000000; bv[289]=0x3FF8000000000000; ev[289]=0xC004000000000000 308 ops[290]=2; av[290]=0xBFF0000000000000; bv[290]=0x3FB999999999999A; ev[290]=0xBFF199999999999A 309 ops[291]=2; av[291]=0xBFF0000000000000; bv[291]=0x4340000000000002; ev[291]=0xC340000000000002 310 ops[292]=2; av[292]=0x0000000000000001; bv[292]=0x0000000000000000; ev[292]=0x0000000000000001 311 ops[293]=2; av[293]=0x0000000000000001; bv[293]=0x8000000000000000; ev[293]=0x0000000000000001 312 ops[294]=2; av[294]=0x0000000000000001; bv[294]=0x3FF0000000000000; ev[294]=0xBFF0000000000000 313 ops[295]=2; av[295]=0x0000000000000001; bv[295]=0xBFF0000000000000; ev[295]=0x3FF0000000000000 314 ops[296]=2; av[296]=0x0000000000000001; bv[296]=0x0000000000000001; ev[296]=0x0000000000000000 315 ops[297]=2; av[297]=0x0000000000000001; bv[297]=0x000FFFFFFFFFFFFF; ev[297]=0x800FFFFFFFFFFFFE 316 ops[298]=2; av[298]=0x0000000000000001; bv[298]=0x0010000000000000; ev[298]=0x800FFFFFFFFFFFFF 317 ops[299]=2; av[299]=0x0000000000000001; bv[299]=0x7FEFFFFFFFFFFFFF; ev[299]=0xFFEFFFFFFFFFFFFF 318 ops[300]=2; av[300]=0x0000000000000001; bv[300]=0x7FF0000000000000; ev[300]=0xFFF0000000000000 319 ops[301]=2; av[301]=0x0000000000000001; bv[301]=0xFFF0000000000000; ev[301]=0x7FF0000000000000 320 ops[302]=2; av[302]=0x0000000000000001; bv[302]=0x7FF8000000000000; ev[302]=0x7FF8000000000000 321 ops[303]=2; av[303]=0x0000000000000001; bv[303]=0x3FF8000000000000; ev[303]=0xBFF8000000000000 322 ops[304]=2; av[304]=0x0000000000000001; bv[304]=0x3FB999999999999A; ev[304]=0xBFB999999999999A 323 ops[305]=2; av[305]=0x0000000000000001; bv[305]=0x4340000000000002; ev[305]=0xC340000000000002 324 ops[306]=2; av[306]=0x000FFFFFFFFFFFFF; bv[306]=0x0000000000000000; ev[306]=0x000FFFFFFFFFFFFF 325 ops[307]=2; av[307]=0x000FFFFFFFFFFFFF; bv[307]=0x8000000000000000; ev[307]=0x000FFFFFFFFFFFFF 326 ops[308]=2; av[308]=0x000FFFFFFFFFFFFF; bv[308]=0x3FF0000000000000; ev[308]=0xBFF0000000000000 327 ops[309]=2; av[309]=0x000FFFFFFFFFFFFF; bv[309]=0xBFF0000000000000; ev[309]=0x3FF0000000000000 328 ops[310]=2; av[310]=0x000FFFFFFFFFFFFF; bv[310]=0x0000000000000001; ev[310]=0x000FFFFFFFFFFFFE 329 ops[311]=2; av[311]=0x000FFFFFFFFFFFFF; bv[311]=0x000FFFFFFFFFFFFF; ev[311]=0x0000000000000000 330 ops[312]=2; av[312]=0x000FFFFFFFFFFFFF; bv[312]=0x0010000000000000; ev[312]=0x8000000000000001 331 ops[313]=2; av[313]=0x000FFFFFFFFFFFFF; bv[313]=0x7FEFFFFFFFFFFFFF; ev[313]=0xFFEFFFFFFFFFFFFF 332 ops[314]=2; av[314]=0x000FFFFFFFFFFFFF; bv[314]=0x7FF0000000000000; ev[314]=0xFFF0000000000000 333 ops[315]=2; av[315]=0x000FFFFFFFFFFFFF; bv[315]=0xFFF0000000000000; ev[315]=0x7FF0000000000000 334 ops[316]=2; av[316]=0x000FFFFFFFFFFFFF; bv[316]=0x7FF8000000000000; ev[316]=0x7FF8000000000000 335 ops[317]=2; av[317]=0x000FFFFFFFFFFFFF; bv[317]=0x3FF8000000000000; ev[317]=0xBFF8000000000000 336 ops[318]=2; av[318]=0x000FFFFFFFFFFFFF; bv[318]=0x3FB999999999999A; ev[318]=0xBFB999999999999A 337 ops[319]=2; av[319]=0x000FFFFFFFFFFFFF; bv[319]=0x4340000000000002; ev[319]=0xC340000000000002 338 return 0 339} 340 341func f64_kat_fill_4(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 342 ops[320]=2; av[320]=0x0010000000000000; bv[320]=0x0000000000000000; ev[320]=0x0010000000000000 343 ops[321]=2; av[321]=0x0010000000000000; bv[321]=0x8000000000000000; ev[321]=0x0010000000000000 344 ops[322]=2; av[322]=0x0010000000000000; bv[322]=0x3FF0000000000000; ev[322]=0xBFF0000000000000 345 ops[323]=2; av[323]=0x0010000000000000; bv[323]=0xBFF0000000000000; ev[323]=0x3FF0000000000000 346 ops[324]=2; av[324]=0x0010000000000000; bv[324]=0x0000000000000001; ev[324]=0x000FFFFFFFFFFFFF 347 ops[325]=2; av[325]=0x0010000000000000; bv[325]=0x000FFFFFFFFFFFFF; ev[325]=0x0000000000000001 348 ops[326]=2; av[326]=0x0010000000000000; bv[326]=0x0010000000000000; ev[326]=0x0000000000000000 349 ops[327]=2; av[327]=0x0010000000000000; bv[327]=0x7FEFFFFFFFFFFFFF; ev[327]=0xFFEFFFFFFFFFFFFF 350 ops[328]=2; av[328]=0x0010000000000000; bv[328]=0x7FF0000000000000; ev[328]=0xFFF0000000000000 351 ops[329]=2; av[329]=0x0010000000000000; bv[329]=0xFFF0000000000000; ev[329]=0x7FF0000000000000 352 ops[330]=2; av[330]=0x0010000000000000; bv[330]=0x7FF8000000000000; ev[330]=0x7FF8000000000000 353 ops[331]=2; av[331]=0x0010000000000000; bv[331]=0x3FF8000000000000; ev[331]=0xBFF8000000000000 354 ops[332]=2; av[332]=0x0010000000000000; bv[332]=0x3FB999999999999A; ev[332]=0xBFB999999999999A 355 ops[333]=2; av[333]=0x0010000000000000; bv[333]=0x4340000000000002; ev[333]=0xC340000000000002 356 ops[334]=2; av[334]=0x7FEFFFFFFFFFFFFF; bv[334]=0x0000000000000000; ev[334]=0x7FEFFFFFFFFFFFFF 357 ops[335]=2; av[335]=0x7FEFFFFFFFFFFFFF; bv[335]=0x8000000000000000; ev[335]=0x7FEFFFFFFFFFFFFF 358 ops[336]=2; av[336]=0x7FEFFFFFFFFFFFFF; bv[336]=0x3FF0000000000000; ev[336]=0x7FEFFFFFFFFFFFFF 359 ops[337]=2; av[337]=0x7FEFFFFFFFFFFFFF; bv[337]=0xBFF0000000000000; ev[337]=0x7FEFFFFFFFFFFFFF 360 ops[338]=2; av[338]=0x7FEFFFFFFFFFFFFF; bv[338]=0x0000000000000001; ev[338]=0x7FEFFFFFFFFFFFFF 361 ops[339]=2; av[339]=0x7FEFFFFFFFFFFFFF; bv[339]=0x000FFFFFFFFFFFFF; ev[339]=0x7FEFFFFFFFFFFFFF 362 ops[340]=2; av[340]=0x7FEFFFFFFFFFFFFF; bv[340]=0x0010000000000000; ev[340]=0x7FEFFFFFFFFFFFFF 363 ops[341]=2; av[341]=0x7FEFFFFFFFFFFFFF; bv[341]=0x7FEFFFFFFFFFFFFF; ev[341]=0x0000000000000000 364 ops[342]=2; av[342]=0x7FEFFFFFFFFFFFFF; bv[342]=0x7FF0000000000000; ev[342]=0xFFF0000000000000 365 ops[343]=2; av[343]=0x7FEFFFFFFFFFFFFF; bv[343]=0xFFF0000000000000; ev[343]=0x7FF0000000000000 366 ops[344]=2; av[344]=0x7FEFFFFFFFFFFFFF; bv[344]=0x7FF8000000000000; ev[344]=0x7FF8000000000000 367 ops[345]=2; av[345]=0x7FEFFFFFFFFFFFFF; bv[345]=0x3FF8000000000000; ev[345]=0x7FEFFFFFFFFFFFFF 368 ops[346]=2; av[346]=0x7FEFFFFFFFFFFFFF; bv[346]=0x3FB999999999999A; ev[346]=0x7FEFFFFFFFFFFFFF 369 ops[347]=2; av[347]=0x7FEFFFFFFFFFFFFF; bv[347]=0x4340000000000002; ev[347]=0x7FEFFFFFFFFFFFFF 370 ops[348]=2; av[348]=0x7FF0000000000000; bv[348]=0x0000000000000000; ev[348]=0x7FF0000000000000 371 ops[349]=2; av[349]=0x7FF0000000000000; bv[349]=0x8000000000000000; ev[349]=0x7FF0000000000000 372 ops[350]=2; av[350]=0x7FF0000000000000; bv[350]=0x3FF0000000000000; ev[350]=0x7FF0000000000000 373 ops[351]=2; av[351]=0x7FF0000000000000; bv[351]=0xBFF0000000000000; ev[351]=0x7FF0000000000000 374 ops[352]=2; av[352]=0x7FF0000000000000; bv[352]=0x0000000000000001; ev[352]=0x7FF0000000000000 375 ops[353]=2; av[353]=0x7FF0000000000000; bv[353]=0x000FFFFFFFFFFFFF; ev[353]=0x7FF0000000000000 376 ops[354]=2; av[354]=0x7FF0000000000000; bv[354]=0x0010000000000000; ev[354]=0x7FF0000000000000 377 ops[355]=2; av[355]=0x7FF0000000000000; bv[355]=0x7FEFFFFFFFFFFFFF; ev[355]=0x7FF0000000000000 378 ops[356]=2; av[356]=0x7FF0000000000000; bv[356]=0x7FF0000000000000; ev[356]=0x7FF8000000000000 379 ops[357]=2; av[357]=0x7FF0000000000000; bv[357]=0xFFF0000000000000; ev[357]=0x7FF0000000000000 380 ops[358]=2; av[358]=0x7FF0000000000000; bv[358]=0x7FF8000000000000; ev[358]=0x7FF8000000000000 381 ops[359]=2; av[359]=0x7FF0000000000000; bv[359]=0x3FF8000000000000; ev[359]=0x7FF0000000000000 382 ops[360]=2; av[360]=0x7FF0000000000000; bv[360]=0x3FB999999999999A; ev[360]=0x7FF0000000000000 383 ops[361]=2; av[361]=0x7FF0000000000000; bv[361]=0x4340000000000002; ev[361]=0x7FF0000000000000 384 ops[362]=2; av[362]=0xFFF0000000000000; bv[362]=0x0000000000000000; ev[362]=0xFFF0000000000000 385 ops[363]=2; av[363]=0xFFF0000000000000; bv[363]=0x8000000000000000; ev[363]=0xFFF0000000000000 386 ops[364]=2; av[364]=0xFFF0000000000000; bv[364]=0x3FF0000000000000; ev[364]=0xFFF0000000000000 387 ops[365]=2; av[365]=0xFFF0000000000000; bv[365]=0xBFF0000000000000; ev[365]=0xFFF0000000000000 388 ops[366]=2; av[366]=0xFFF0000000000000; bv[366]=0x0000000000000001; ev[366]=0xFFF0000000000000 389 ops[367]=2; av[367]=0xFFF0000000000000; bv[367]=0x000FFFFFFFFFFFFF; ev[367]=0xFFF0000000000000 390 ops[368]=2; av[368]=0xFFF0000000000000; bv[368]=0x0010000000000000; ev[368]=0xFFF0000000000000 391 ops[369]=2; av[369]=0xFFF0000000000000; bv[369]=0x7FEFFFFFFFFFFFFF; ev[369]=0xFFF0000000000000 392 ops[370]=2; av[370]=0xFFF0000000000000; bv[370]=0x7FF0000000000000; ev[370]=0xFFF0000000000000 393 ops[371]=2; av[371]=0xFFF0000000000000; bv[371]=0xFFF0000000000000; ev[371]=0x7FF8000000000000 394 ops[372]=2; av[372]=0xFFF0000000000000; bv[372]=0x7FF8000000000000; ev[372]=0x7FF8000000000000 395 ops[373]=2; av[373]=0xFFF0000000000000; bv[373]=0x3FF8000000000000; ev[373]=0xFFF0000000000000 396 ops[374]=2; av[374]=0xFFF0000000000000; bv[374]=0x3FB999999999999A; ev[374]=0xFFF0000000000000 397 ops[375]=2; av[375]=0xFFF0000000000000; bv[375]=0x4340000000000002; ev[375]=0xFFF0000000000000 398 ops[376]=2; av[376]=0x7FF8000000000000; bv[376]=0x0000000000000000; ev[376]=0x7FF8000000000000 399 ops[377]=2; av[377]=0x7FF8000000000000; bv[377]=0x8000000000000000; ev[377]=0x7FF8000000000000 400 ops[378]=2; av[378]=0x7FF8000000000000; bv[378]=0x3FF0000000000000; ev[378]=0x7FF8000000000000 401 ops[379]=2; av[379]=0x7FF8000000000000; bv[379]=0xBFF0000000000000; ev[379]=0x7FF8000000000000 402 ops[380]=2; av[380]=0x7FF8000000000000; bv[380]=0x0000000000000001; ev[380]=0x7FF8000000000000 403 ops[381]=2; av[381]=0x7FF8000000000000; bv[381]=0x000FFFFFFFFFFFFF; ev[381]=0x7FF8000000000000 404 ops[382]=2; av[382]=0x7FF8000000000000; bv[382]=0x0010000000000000; ev[382]=0x7FF8000000000000 405 ops[383]=2; av[383]=0x7FF8000000000000; bv[383]=0x7FEFFFFFFFFFFFFF; ev[383]=0x7FF8000000000000 406 ops[384]=2; av[384]=0x7FF8000000000000; bv[384]=0x7FF0000000000000; ev[384]=0x7FF8000000000000 407 ops[385]=2; av[385]=0x7FF8000000000000; bv[385]=0xFFF0000000000000; ev[385]=0x7FF8000000000000 408 ops[386]=2; av[386]=0x7FF8000000000000; bv[386]=0x7FF8000000000000; ev[386]=0x7FF8000000000000 409 ops[387]=2; av[387]=0x7FF8000000000000; bv[387]=0x3FF8000000000000; ev[387]=0x7FF8000000000000 410 ops[388]=2; av[388]=0x7FF8000000000000; bv[388]=0x3FB999999999999A; ev[388]=0x7FF8000000000000 411 ops[389]=2; av[389]=0x7FF8000000000000; bv[389]=0x4340000000000002; ev[389]=0x7FF8000000000000 412 ops[390]=2; av[390]=0x3FF8000000000000; bv[390]=0x0000000000000000; ev[390]=0x3FF8000000000000 413 ops[391]=2; av[391]=0x3FF8000000000000; bv[391]=0x8000000000000000; ev[391]=0x3FF8000000000000 414 ops[392]=2; av[392]=0x3FF8000000000000; bv[392]=0x3FF0000000000000; ev[392]=0x3FE0000000000000 415 ops[393]=2; av[393]=0x3FF8000000000000; bv[393]=0xBFF0000000000000; ev[393]=0x4004000000000000 416 ops[394]=2; av[394]=0x3FF8000000000000; bv[394]=0x0000000000000001; ev[394]=0x3FF8000000000000 417 ops[395]=2; av[395]=0x3FF8000000000000; bv[395]=0x000FFFFFFFFFFFFF; ev[395]=0x3FF8000000000000 418 ops[396]=2; av[396]=0x3FF8000000000000; bv[396]=0x0010000000000000; ev[396]=0x3FF8000000000000 419 ops[397]=2; av[397]=0x3FF8000000000000; bv[397]=0x7FEFFFFFFFFFFFFF; ev[397]=0xFFEFFFFFFFFFFFFF 420 ops[398]=2; av[398]=0x3FF8000000000000; bv[398]=0x7FF0000000000000; ev[398]=0xFFF0000000000000 421 ops[399]=2; av[399]=0x3FF8000000000000; bv[399]=0xFFF0000000000000; ev[399]=0x7FF0000000000000 422 return 0 423} 424 425func f64_kat_fill_5(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 426 ops[400]=2; av[400]=0x3FF8000000000000; bv[400]=0x7FF8000000000000; ev[400]=0x7FF8000000000000 427 ops[401]=2; av[401]=0x3FF8000000000000; bv[401]=0x3FF8000000000000; ev[401]=0x0000000000000000 428 ops[402]=2; av[402]=0x3FF8000000000000; bv[402]=0x3FB999999999999A; ev[402]=0x3FF6666666666666 429 ops[403]=2; av[403]=0x3FF8000000000000; bv[403]=0x4340000000000002; ev[403]=0xC340000000000001 430 ops[404]=2; av[404]=0x3FB999999999999A; bv[404]=0x0000000000000000; ev[404]=0x3FB999999999999A 431 ops[405]=2; av[405]=0x3FB999999999999A; bv[405]=0x8000000000000000; ev[405]=0x3FB999999999999A 432 ops[406]=2; av[406]=0x3FB999999999999A; bv[406]=0x3FF0000000000000; ev[406]=0xBFECCCCCCCCCCCCD 433 ops[407]=2; av[407]=0x3FB999999999999A; bv[407]=0xBFF0000000000000; ev[407]=0x3FF199999999999A 434 ops[408]=2; av[408]=0x3FB999999999999A; bv[408]=0x0000000000000001; ev[408]=0x3FB999999999999A 435 ops[409]=2; av[409]=0x3FB999999999999A; bv[409]=0x000FFFFFFFFFFFFF; ev[409]=0x3FB999999999999A 436 ops[410]=2; av[410]=0x3FB999999999999A; bv[410]=0x0010000000000000; ev[410]=0x3FB999999999999A 437 ops[411]=2; av[411]=0x3FB999999999999A; bv[411]=0x7FEFFFFFFFFFFFFF; ev[411]=0xFFEFFFFFFFFFFFFF 438 ops[412]=2; av[412]=0x3FB999999999999A; bv[412]=0x7FF0000000000000; ev[412]=0xFFF0000000000000 439 ops[413]=2; av[413]=0x3FB999999999999A; bv[413]=0xFFF0000000000000; ev[413]=0x7FF0000000000000 440 ops[414]=2; av[414]=0x3FB999999999999A; bv[414]=0x7FF8000000000000; ev[414]=0x7FF8000000000000 441 ops[415]=2; av[415]=0x3FB999999999999A; bv[415]=0x3FF8000000000000; ev[415]=0xBFF6666666666666 442 ops[416]=2; av[416]=0x3FB999999999999A; bv[416]=0x3FB999999999999A; ev[416]=0x0000000000000000 443 ops[417]=2; av[417]=0x3FB999999999999A; bv[417]=0x4340000000000002; ev[417]=0xC340000000000002 444 ops[418]=2; av[418]=0x4340000000000002; bv[418]=0x0000000000000000; ev[418]=0x4340000000000002 445 ops[419]=2; av[419]=0x4340000000000002; bv[419]=0x8000000000000000; ev[419]=0x4340000000000002 446 ops[420]=2; av[420]=0x4340000000000002; bv[420]=0x3FF0000000000000; ev[420]=0x4340000000000002 447 ops[421]=2; av[421]=0x4340000000000002; bv[421]=0xBFF0000000000000; ev[421]=0x4340000000000002 448 ops[422]=2; av[422]=0x4340000000000002; bv[422]=0x0000000000000001; ev[422]=0x4340000000000002 449 ops[423]=2; av[423]=0x4340000000000002; bv[423]=0x000FFFFFFFFFFFFF; ev[423]=0x4340000000000002 450 ops[424]=2; av[424]=0x4340000000000002; bv[424]=0x0010000000000000; ev[424]=0x4340000000000002 451 ops[425]=2; av[425]=0x4340000000000002; bv[425]=0x7FEFFFFFFFFFFFFF; ev[425]=0xFFEFFFFFFFFFFFFF 452 ops[426]=2; av[426]=0x4340000000000002; bv[426]=0x7FF0000000000000; ev[426]=0xFFF0000000000000 453 ops[427]=2; av[427]=0x4340000000000002; bv[427]=0xFFF0000000000000; ev[427]=0x7FF0000000000000 454 ops[428]=2; av[428]=0x4340000000000002; bv[428]=0x7FF8000000000000; ev[428]=0x7FF8000000000000 455 ops[429]=2; av[429]=0x4340000000000002; bv[429]=0x3FF8000000000000; ev[429]=0x4340000000000001 456 ops[430]=2; av[430]=0x4340000000000002; bv[430]=0x3FB999999999999A; ev[430]=0x4340000000000002 457 ops[431]=2; av[431]=0x4340000000000002; bv[431]=0x4340000000000002; ev[431]=0x0000000000000000 458 ops[432]=2; av[432]=0x7F22C06A903F7644; bv[432]=0x3FC2A9FBEE728492; ev[432]=0x7F22C06A903F7644 459 ops[433]=2; av[433]=0xFFA0D82442C80711; bv[433]=0x025324CA880DDAB3; ev[433]=0xFFA0D82442C80711 460 ops[434]=2; av[434]=0x8002F314F80DB57B; bv[434]=0xC068E00000000000; ev[434]=0x4068E00000000000 461 ops[435]=2; av[435]=0x4054000000000000; bv[435]=0x000EB3EE2E53C68B; ev[435]=0x4054000000000000 462 ops[436]=2; av[436]=0xC07B600000000000; bv[436]=0x000A55B33ACD6577; ev[436]=0xC07B600000000000 463 ops[437]=2; av[437]=0x84296C5EF60ED6AE; bv[437]=0xC37E669975B38448; ev[437]=0x437E669975B38448 464 ops[438]=2; av[438]=0xC07C500000000000; bv[438]=0x7EEBBAE5C416CB3F; ev[438]=0xFEEBBAE5C416CB3F 465 ops[439]=2; av[439]=0x7F5A5A3EE7737D29; bv[439]=0xFEF8E40E8000E787; ev[439]=0x7F5ABDCF217380C7 466 ops[440]=2; av[440]=0xC0121D951B35694A; bv[440]=0x4044300000000000; ev[440]=0xC04673B2A366AD29 467 ops[441]=2; av[441]=0x7F944608F3AD31EF; bv[441]=0x3FE7A89C87789A84; ev[441]=0x7F944608F3AD31EF 468 ops[442]=2; av[442]=0x409C800000000000; bv[442]=0x80FC7A9A744B2511; ev[442]=0x409C800000000000 469 ops[443]=2; av[443]=0x404E900000000000; bv[443]=0x0019F241CE5B838A; ev[443]=0x404E900000000000 470 ops[444]=2; av[444]=0x82D6475E8E4331DE; bv[444]=0x80085BFBACA18651; ev[444]=0x82D6475E8E433158 471 ops[445]=2; av[445]=0x3FF21DB8F9C10066; bv[445]=0xFF04142AD8036E64; ev[445]=0x7F04142AD8036E64 472 ops[446]=2; av[446]=0x84AFAE0A839B5AA9; bv[446]=0x817444057FC78C94; ev[446]=0x84AFAE0A839B5AA6 473 ops[447]=2; av[447]=0x401285D1876233A0; bv[447]=0x8393FAD4B6D8B126; ev[447]=0x401285D1876233A0 474 ops[448]=2; av[448]=0x364FD5574638019A; bv[448]=0x0091BEE866781E1A; ev[448]=0x364FD5574638019A 475 ops[449]=2; av[449]=0x4056580000000000; bv[449]=0xC779A8E67A65AE6D; ev[449]=0x4779A8E67A65AE6D 476 ops[450]=2; av[450]=0x3FEABE8FB8B3300F; bv[450]=0x7EF0902718644D1E; ev[450]=0xFEF0902718644D1E 477 ops[451]=2; av[451]=0x3FC0A2C9753733E4; bv[451]=0x800B69F3FC221AB0; ev[451]=0x3FC0A2C9753733E4 478 ops[452]=2; av[452]=0x02CAD4119D9DAFCF; bv[452]=0x00DA65DE8F3A6217; ev[452]=0x02CAD4119D68E412 479 ops[453]=2; av[453]=0x4158E9149BA87AA9; bv[453]=0xFF297F4181266D55; ev[453]=0x7F297F4181266D55 480 ops[454]=2; av[454]=0x00028E2AEA556830; bv[454]=0x8009501B11933C4B; ev[454]=0x000BDE45FBE8A47B 481 ops[455]=2; av[455]=0xFF310369009D64A0; bv[455]=0x800A9F397ECDCC5D; ev[455]=0xFF310369009D64A0 482 ops[456]=2; av[456]=0xC058600000000000; bv[456]=0xBFF4B3D0D2509612; ev[456]=0xC0580D30BCB6BDA8 483 ops[457]=2; av[457]=0x8392C97A73BEBDC2; bv[457]=0xFFE0CB599579DDC5; ev[457]=0x7FE0CB599579DDC5 484 ops[458]=2; av[458]=0x02E115C15F47A7BE; bv[458]=0xFF969545829954EC; ev[458]=0x7F969545829954EC 485 ops[459]=2; av[459]=0x811DE78ADD8BC0F4; bv[459]=0x800130DD6E4CDEE4; ev[459]=0x811DE789ACAE52A7 486 ops[460]=2; av[460]=0x405B600000000000; bv[460]=0x6B09AF6BFF0F3448; ev[460]=0xEB09AF6BFF0F3448 487 ops[461]=2; av[461]=0xBFE968E75E935BA7; bv[461]=0x016EA59A888F93F6; ev[461]=0xBFE968E75E935BA7 488 ops[462]=2; av[462]=0xEEA197EC256C5277; bv[462]=0x80007938592BEFAA; ev[462]=0xEEA197EC256C5277 489 ops[463]=2; av[463]=0x4050E00000000000; bv[463]=0xC0368D59D02B0F0B; ev[463]=0x40568356740AC3C3 490 ops[464]=2; av[464]=0x4052F80000000000; bv[464]=0x3FD203E6B4573161; ev[464]=0x4052E5FC194BA8CF 491 ops[465]=2; av[465]=0xC021B5D1B5885F5C; bv[465]=0x7FDAB94EC8A201E9; ev[465]=0xFFDAB94EC8A201E9 492 ops[466]=2; av[466]=0x7EF778496A262E90; bv[466]=0xC061A80000000000; ev[466]=0x7EF778496A262E90 493 ops[467]=2; av[467]=0x40019D4DD59396D8; bv[467]=0x020765633A7F2FC6; ev[467]=0x40019D4DD59396D8 494 ops[468]=2; av[468]=0xC06B300000000000; bv[468]=0x405AD80000000000; ev[468]=0xC0744E0000000000 495 ops[469]=2; av[469]=0xEA6CAEABF3C53FC3; bv[469]=0x40115407F48C9322; ev[469]=0xEA6CAEABF3C53FC3 496 ops[470]=2; av[470]=0x40BD200000000000; bv[470]=0xBFF7390A3C2FC7E1; ev[470]=0x40BD217390A3C2FC 497 ops[471]=2; av[471]=0xC02923919FAAF3AC; bv[471]=0x404A000000000000; ev[471]=0xC050247233F55E76 498 ops[472]=3; av[472]=0x0000000000000000; bv[472]=0x0000000000000000; ev[472]=0x0000000000000000 499 ops[473]=3; av[473]=0x0000000000000000; bv[473]=0x8000000000000000; ev[473]=0x8000000000000000 500 ops[474]=3; av[474]=0x0000000000000000; bv[474]=0x3FF0000000000000; ev[474]=0x0000000000000000 501 ops[475]=3; av[475]=0x0000000000000000; bv[475]=0xBFF0000000000000; ev[475]=0x8000000000000000 502 ops[476]=3; av[476]=0x0000000000000000; bv[476]=0x0000000000000001; ev[476]=0x0000000000000000 503 ops[477]=3; av[477]=0x0000000000000000; bv[477]=0x000FFFFFFFFFFFFF; ev[477]=0x0000000000000000 504 ops[478]=3; av[478]=0x0000000000000000; bv[478]=0x0010000000000000; ev[478]=0x0000000000000000 505 ops[479]=3; av[479]=0x0000000000000000; bv[479]=0x7FEFFFFFFFFFFFFF; ev[479]=0x0000000000000000 506 return 0 507} 508 509func f64_kat_fill_6(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 510 ops[480]=3; av[480]=0x0000000000000000; bv[480]=0x7FF0000000000000; ev[480]=0x7FF8000000000000 511 ops[481]=3; av[481]=0x0000000000000000; bv[481]=0xFFF0000000000000; ev[481]=0x7FF8000000000000 512 ops[482]=3; av[482]=0x0000000000000000; bv[482]=0x7FF8000000000000; ev[482]=0x7FF8000000000000 513 ops[483]=3; av[483]=0x0000000000000000; bv[483]=0x3FF8000000000000; ev[483]=0x0000000000000000 514 ops[484]=3; av[484]=0x0000000000000000; bv[484]=0x3FB999999999999A; ev[484]=0x0000000000000000 515 ops[485]=3; av[485]=0x0000000000000000; bv[485]=0x4340000000000002; ev[485]=0x0000000000000000 516 ops[486]=3; av[486]=0x8000000000000000; bv[486]=0x0000000000000000; ev[486]=0x8000000000000000 517 ops[487]=3; av[487]=0x8000000000000000; bv[487]=0x8000000000000000; ev[487]=0x0000000000000000 518 ops[488]=3; av[488]=0x8000000000000000; bv[488]=0x3FF0000000000000; ev[488]=0x8000000000000000 519 ops[489]=3; av[489]=0x8000000000000000; bv[489]=0xBFF0000000000000; ev[489]=0x0000000000000000 520 ops[490]=3; av[490]=0x8000000000000000; bv[490]=0x0000000000000001; ev[490]=0x8000000000000000 521 ops[491]=3; av[491]=0x8000000000000000; bv[491]=0x000FFFFFFFFFFFFF; ev[491]=0x8000000000000000 522 ops[492]=3; av[492]=0x8000000000000000; bv[492]=0x0010000000000000; ev[492]=0x8000000000000000 523 ops[493]=3; av[493]=0x8000000000000000; bv[493]=0x7FEFFFFFFFFFFFFF; ev[493]=0x8000000000000000 524 ops[494]=3; av[494]=0x8000000000000000; bv[494]=0x7FF0000000000000; ev[494]=0x7FF8000000000000 525 ops[495]=3; av[495]=0x8000000000000000; bv[495]=0xFFF0000000000000; ev[495]=0x7FF8000000000000 526 ops[496]=3; av[496]=0x8000000000000000; bv[496]=0x7FF8000000000000; ev[496]=0x7FF8000000000000 527 ops[497]=3; av[497]=0x8000000000000000; bv[497]=0x3FF8000000000000; ev[497]=0x8000000000000000 528 ops[498]=3; av[498]=0x8000000000000000; bv[498]=0x3FB999999999999A; ev[498]=0x8000000000000000 529 ops[499]=3; av[499]=0x8000000000000000; bv[499]=0x4340000000000002; ev[499]=0x8000000000000000 530 ops[500]=3; av[500]=0x3FF0000000000000; bv[500]=0x0000000000000000; ev[500]=0x0000000000000000 531 ops[501]=3; av[501]=0x3FF0000000000000; bv[501]=0x8000000000000000; ev[501]=0x8000000000000000 532 ops[502]=3; av[502]=0x3FF0000000000000; bv[502]=0x3FF0000000000000; ev[502]=0x3FF0000000000000 533 ops[503]=3; av[503]=0x3FF0000000000000; bv[503]=0xBFF0000000000000; ev[503]=0xBFF0000000000000 534 ops[504]=3; av[504]=0x3FF0000000000000; bv[504]=0x0000000000000001; ev[504]=0x0000000000000001 535 ops[505]=3; av[505]=0x3FF0000000000000; bv[505]=0x000FFFFFFFFFFFFF; ev[505]=0x000FFFFFFFFFFFFF 536 ops[506]=3; av[506]=0x3FF0000000000000; bv[506]=0x0010000000000000; ev[506]=0x0010000000000000 537 ops[507]=3; av[507]=0x3FF0000000000000; bv[507]=0x7FEFFFFFFFFFFFFF; ev[507]=0x7FEFFFFFFFFFFFFF 538 ops[508]=3; av[508]=0x3FF0000000000000; bv[508]=0x7FF0000000000000; ev[508]=0x7FF0000000000000 539 ops[509]=3; av[509]=0x3FF0000000000000; bv[509]=0xFFF0000000000000; ev[509]=0xFFF0000000000000 540 ops[510]=3; av[510]=0x3FF0000000000000; bv[510]=0x7FF8000000000000; ev[510]=0x7FF8000000000000 541 ops[511]=3; av[511]=0x3FF0000000000000; bv[511]=0x3FF8000000000000; ev[511]=0x3FF8000000000000 542 ops[512]=3; av[512]=0x3FF0000000000000; bv[512]=0x3FB999999999999A; ev[512]=0x3FB999999999999A 543 ops[513]=3; av[513]=0x3FF0000000000000; bv[513]=0x4340000000000002; ev[513]=0x4340000000000002 544 ops[514]=3; av[514]=0xBFF0000000000000; bv[514]=0x0000000000000000; ev[514]=0x8000000000000000 545 ops[515]=3; av[515]=0xBFF0000000000000; bv[515]=0x8000000000000000; ev[515]=0x0000000000000000 546 ops[516]=3; av[516]=0xBFF0000000000000; bv[516]=0x3FF0000000000000; ev[516]=0xBFF0000000000000 547 ops[517]=3; av[517]=0xBFF0000000000000; bv[517]=0xBFF0000000000000; ev[517]=0x3FF0000000000000 548 ops[518]=3; av[518]=0xBFF0000000000000; bv[518]=0x0000000000000001; ev[518]=0x8000000000000001 549 ops[519]=3; av[519]=0xBFF0000000000000; bv[519]=0x000FFFFFFFFFFFFF; ev[519]=0x800FFFFFFFFFFFFF 550 ops[520]=3; av[520]=0xBFF0000000000000; bv[520]=0x0010000000000000; ev[520]=0x8010000000000000 551 ops[521]=3; av[521]=0xBFF0000000000000; bv[521]=0x7FEFFFFFFFFFFFFF; ev[521]=0xFFEFFFFFFFFFFFFF 552 ops[522]=3; av[522]=0xBFF0000000000000; bv[522]=0x7FF0000000000000; ev[522]=0xFFF0000000000000 553 ops[523]=3; av[523]=0xBFF0000000000000; bv[523]=0xFFF0000000000000; ev[523]=0x7FF0000000000000 554 ops[524]=3; av[524]=0xBFF0000000000000; bv[524]=0x7FF8000000000000; ev[524]=0x7FF8000000000000 555 ops[525]=3; av[525]=0xBFF0000000000000; bv[525]=0x3FF8000000000000; ev[525]=0xBFF8000000000000 556 ops[526]=3; av[526]=0xBFF0000000000000; bv[526]=0x3FB999999999999A; ev[526]=0xBFB999999999999A 557 ops[527]=3; av[527]=0xBFF0000000000000; bv[527]=0x4340000000000002; ev[527]=0xC340000000000002 558 ops[528]=3; av[528]=0x0000000000000001; bv[528]=0x0000000000000000; ev[528]=0x0000000000000000 559 ops[529]=3; av[529]=0x0000000000000001; bv[529]=0x8000000000000000; ev[529]=0x8000000000000000 560 ops[530]=3; av[530]=0x0000000000000001; bv[530]=0x3FF0000000000000; ev[530]=0x0000000000000001 561 ops[531]=3; av[531]=0x0000000000000001; bv[531]=0xBFF0000000000000; ev[531]=0x8000000000000001 562 ops[532]=3; av[532]=0x0000000000000001; bv[532]=0x0000000000000001; ev[532]=0x0000000000000000 563 ops[533]=3; av[533]=0x0000000000000001; bv[533]=0x000FFFFFFFFFFFFF; ev[533]=0x0000000000000000 564 ops[534]=3; av[534]=0x0000000000000001; bv[534]=0x0010000000000000; ev[534]=0x0000000000000000 565 ops[535]=3; av[535]=0x0000000000000001; bv[535]=0x7FEFFFFFFFFFFFFF; ev[535]=0x3CCFFFFFFFFFFFFF 566 ops[536]=3; av[536]=0x0000000000000001; bv[536]=0x7FF0000000000000; ev[536]=0x7FF0000000000000 567 ops[537]=3; av[537]=0x0000000000000001; bv[537]=0xFFF0000000000000; ev[537]=0xFFF0000000000000 568 ops[538]=3; av[538]=0x0000000000000001; bv[538]=0x7FF8000000000000; ev[538]=0x7FF8000000000000 569 ops[539]=3; av[539]=0x0000000000000001; bv[539]=0x3FF8000000000000; ev[539]=0x0000000000000002 570 ops[540]=3; av[540]=0x0000000000000001; bv[540]=0x3FB999999999999A; ev[540]=0x0000000000000000 571 ops[541]=3; av[541]=0x0000000000000001; bv[541]=0x4340000000000002; ev[541]=0x0020000000000002 572 ops[542]=3; av[542]=0x000FFFFFFFFFFFFF; bv[542]=0x0000000000000000; ev[542]=0x0000000000000000 573 ops[543]=3; av[543]=0x000FFFFFFFFFFFFF; bv[543]=0x8000000000000000; ev[543]=0x8000000000000000 574 ops[544]=3; av[544]=0x000FFFFFFFFFFFFF; bv[544]=0x3FF0000000000000; ev[544]=0x000FFFFFFFFFFFFF 575 ops[545]=3; av[545]=0x000FFFFFFFFFFFFF; bv[545]=0xBFF0000000000000; ev[545]=0x800FFFFFFFFFFFFF 576 ops[546]=3; av[546]=0x000FFFFFFFFFFFFF; bv[546]=0x0000000000000001; ev[546]=0x0000000000000000 577 ops[547]=3; av[547]=0x000FFFFFFFFFFFFF; bv[547]=0x000FFFFFFFFFFFFF; ev[547]=0x0000000000000000 578 ops[548]=3; av[548]=0x000FFFFFFFFFFFFF; bv[548]=0x0010000000000000; ev[548]=0x0000000000000000 579 ops[549]=3; av[549]=0x000FFFFFFFFFFFFF; bv[549]=0x7FEFFFFFFFFFFFFF; ev[549]=0x400FFFFFFFFFFFFD 580 ops[550]=3; av[550]=0x000FFFFFFFFFFFFF; bv[550]=0x7FF0000000000000; ev[550]=0x7FF0000000000000 581 ops[551]=3; av[551]=0x000FFFFFFFFFFFFF; bv[551]=0xFFF0000000000000; ev[551]=0xFFF0000000000000 582 ops[552]=3; av[552]=0x000FFFFFFFFFFFFF; bv[552]=0x7FF8000000000000; ev[552]=0x7FF8000000000000 583 ops[553]=3; av[553]=0x000FFFFFFFFFFFFF; bv[553]=0x3FF8000000000000; ev[553]=0x0017FFFFFFFFFFFE 584 ops[554]=3; av[554]=0x000FFFFFFFFFFFFF; bv[554]=0x3FB999999999999A; ev[554]=0x000199999999999A 585 ops[555]=3; av[555]=0x000FFFFFFFFFFFFF; bv[555]=0x4340000000000002; ev[555]=0x0360000000000001 586 ops[556]=3; av[556]=0x0010000000000000; bv[556]=0x0000000000000000; ev[556]=0x0000000000000000 587 ops[557]=3; av[557]=0x0010000000000000; bv[557]=0x8000000000000000; ev[557]=0x8000000000000000 588 ops[558]=3; av[558]=0x0010000000000000; bv[558]=0x3FF0000000000000; ev[558]=0x0010000000000000 589 ops[559]=3; av[559]=0x0010000000000000; bv[559]=0xBFF0000000000000; ev[559]=0x8010000000000000 590 return 0 591} 592 593func f64_kat_fill_7(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 594 ops[560]=3; av[560]=0x0010000000000000; bv[560]=0x0000000000000001; ev[560]=0x0000000000000000 595 ops[561]=3; av[561]=0x0010000000000000; bv[561]=0x000FFFFFFFFFFFFF; ev[561]=0x0000000000000000 596 ops[562]=3; av[562]=0x0010000000000000; bv[562]=0x0010000000000000; ev[562]=0x0000000000000000 597 ops[563]=3; av[563]=0x0010000000000000; bv[563]=0x7FEFFFFFFFFFFFFF; ev[563]=0x400FFFFFFFFFFFFF 598 ops[564]=3; av[564]=0x0010000000000000; bv[564]=0x7FF0000000000000; ev[564]=0x7FF0000000000000 599 ops[565]=3; av[565]=0x0010000000000000; bv[565]=0xFFF0000000000000; ev[565]=0xFFF0000000000000 600 ops[566]=3; av[566]=0x0010000000000000; bv[566]=0x7FF8000000000000; ev[566]=0x7FF8000000000000 601 ops[567]=3; av[567]=0x0010000000000000; bv[567]=0x3FF8000000000000; ev[567]=0x0018000000000000 602 ops[568]=3; av[568]=0x0010000000000000; bv[568]=0x3FB999999999999A; ev[568]=0x000199999999999A 603 ops[569]=3; av[569]=0x0010000000000000; bv[569]=0x4340000000000002; ev[569]=0x0360000000000002 604 ops[570]=3; av[570]=0x7FEFFFFFFFFFFFFF; bv[570]=0x0000000000000000; ev[570]=0x0000000000000000 605 ops[571]=3; av[571]=0x7FEFFFFFFFFFFFFF; bv[571]=0x8000000000000000; ev[571]=0x8000000000000000 606 ops[572]=3; av[572]=0x7FEFFFFFFFFFFFFF; bv[572]=0x3FF0000000000000; ev[572]=0x7FEFFFFFFFFFFFFF 607 ops[573]=3; av[573]=0x7FEFFFFFFFFFFFFF; bv[573]=0xBFF0000000000000; ev[573]=0xFFEFFFFFFFFFFFFF 608 ops[574]=3; av[574]=0x7FEFFFFFFFFFFFFF; bv[574]=0x0000000000000001; ev[574]=0x3CCFFFFFFFFFFFFF 609 ops[575]=3; av[575]=0x7FEFFFFFFFFFFFFF; bv[575]=0x000FFFFFFFFFFFFF; ev[575]=0x400FFFFFFFFFFFFD 610 ops[576]=3; av[576]=0x7FEFFFFFFFFFFFFF; bv[576]=0x0010000000000000; ev[576]=0x400FFFFFFFFFFFFF 611 ops[577]=3; av[577]=0x7FEFFFFFFFFFFFFF; bv[577]=0x7FEFFFFFFFFFFFFF; ev[577]=0x7FF0000000000000 612 ops[578]=3; av[578]=0x7FEFFFFFFFFFFFFF; bv[578]=0x7FF0000000000000; ev[578]=0x7FF0000000000000 613 ops[579]=3; av[579]=0x7FEFFFFFFFFFFFFF; bv[579]=0xFFF0000000000000; ev[579]=0xFFF0000000000000 614 ops[580]=3; av[580]=0x7FEFFFFFFFFFFFFF; bv[580]=0x7FF8000000000000; ev[580]=0x7FF8000000000000 615 ops[581]=3; av[581]=0x7FEFFFFFFFFFFFFF; bv[581]=0x3FF8000000000000; ev[581]=0x7FF0000000000000 616 ops[582]=3; av[582]=0x7FEFFFFFFFFFFFFF; bv[582]=0x3FB999999999999A; ev[582]=0x7FB9999999999999 617 ops[583]=3; av[583]=0x7FEFFFFFFFFFFFFF; bv[583]=0x4340000000000002; ev[583]=0x7FF0000000000000 618 ops[584]=3; av[584]=0x7FF0000000000000; bv[584]=0x0000000000000000; ev[584]=0x7FF8000000000000 619 ops[585]=3; av[585]=0x7FF0000000000000; bv[585]=0x8000000000000000; ev[585]=0x7FF8000000000000 620 ops[586]=3; av[586]=0x7FF0000000000000; bv[586]=0x3FF0000000000000; ev[586]=0x7FF0000000000000 621 ops[587]=3; av[587]=0x7FF0000000000000; bv[587]=0xBFF0000000000000; ev[587]=0xFFF0000000000000 622 ops[588]=3; av[588]=0x7FF0000000000000; bv[588]=0x0000000000000001; ev[588]=0x7FF0000000000000 623 ops[589]=3; av[589]=0x7FF0000000000000; bv[589]=0x000FFFFFFFFFFFFF; ev[589]=0x7FF0000000000000 624 ops[590]=3; av[590]=0x7FF0000000000000; bv[590]=0x0010000000000000; ev[590]=0x7FF0000000000000 625 ops[591]=3; av[591]=0x7FF0000000000000; bv[591]=0x7FEFFFFFFFFFFFFF; ev[591]=0x7FF0000000000000 626 ops[592]=3; av[592]=0x7FF0000000000000; bv[592]=0x7FF0000000000000; ev[592]=0x7FF0000000000000 627 ops[593]=3; av[593]=0x7FF0000000000000; bv[593]=0xFFF0000000000000; ev[593]=0xFFF0000000000000 628 ops[594]=3; av[594]=0x7FF0000000000000; bv[594]=0x7FF8000000000000; ev[594]=0x7FF8000000000000 629 ops[595]=3; av[595]=0x7FF0000000000000; bv[595]=0x3FF8000000000000; ev[595]=0x7FF0000000000000 630 ops[596]=3; av[596]=0x7FF0000000000000; bv[596]=0x3FB999999999999A; ev[596]=0x7FF0000000000000 631 ops[597]=3; av[597]=0x7FF0000000000000; bv[597]=0x4340000000000002; ev[597]=0x7FF0000000000000 632 ops[598]=3; av[598]=0xFFF0000000000000; bv[598]=0x0000000000000000; ev[598]=0x7FF8000000000000 633 ops[599]=3; av[599]=0xFFF0000000000000; bv[599]=0x8000000000000000; ev[599]=0x7FF8000000000000 634 ops[600]=3; av[600]=0xFFF0000000000000; bv[600]=0x3FF0000000000000; ev[600]=0xFFF0000000000000 635 ops[601]=3; av[601]=0xFFF0000000000000; bv[601]=0xBFF0000000000000; ev[601]=0x7FF0000000000000 636 ops[602]=3; av[602]=0xFFF0000000000000; bv[602]=0x0000000000000001; ev[602]=0xFFF0000000000000 637 ops[603]=3; av[603]=0xFFF0000000000000; bv[603]=0x000FFFFFFFFFFFFF; ev[603]=0xFFF0000000000000 638 ops[604]=3; av[604]=0xFFF0000000000000; bv[604]=0x0010000000000000; ev[604]=0xFFF0000000000000 639 ops[605]=3; av[605]=0xFFF0000000000000; bv[605]=0x7FEFFFFFFFFFFFFF; ev[605]=0xFFF0000000000000 640 ops[606]=3; av[606]=0xFFF0000000000000; bv[606]=0x7FF0000000000000; ev[606]=0xFFF0000000000000 641 ops[607]=3; av[607]=0xFFF0000000000000; bv[607]=0xFFF0000000000000; ev[607]=0x7FF0000000000000 642 ops[608]=3; av[608]=0xFFF0000000000000; bv[608]=0x7FF8000000000000; ev[608]=0x7FF8000000000000 643 ops[609]=3; av[609]=0xFFF0000000000000; bv[609]=0x3FF8000000000000; ev[609]=0xFFF0000000000000 644 ops[610]=3; av[610]=0xFFF0000000000000; bv[610]=0x3FB999999999999A; ev[610]=0xFFF0000000000000 645 ops[611]=3; av[611]=0xFFF0000000000000; bv[611]=0x4340000000000002; ev[611]=0xFFF0000000000000 646 ops[612]=3; av[612]=0x7FF8000000000000; bv[612]=0x0000000000000000; ev[612]=0x7FF8000000000000 647 ops[613]=3; av[613]=0x7FF8000000000000; bv[613]=0x8000000000000000; ev[613]=0x7FF8000000000000 648 ops[614]=3; av[614]=0x7FF8000000000000; bv[614]=0x3FF0000000000000; ev[614]=0x7FF8000000000000 649 ops[615]=3; av[615]=0x7FF8000000000000; bv[615]=0xBFF0000000000000; ev[615]=0x7FF8000000000000 650 ops[616]=3; av[616]=0x7FF8000000000000; bv[616]=0x0000000000000001; ev[616]=0x7FF8000000000000 651 ops[617]=3; av[617]=0x7FF8000000000000; bv[617]=0x000FFFFFFFFFFFFF; ev[617]=0x7FF8000000000000 652 ops[618]=3; av[618]=0x7FF8000000000000; bv[618]=0x0010000000000000; ev[618]=0x7FF8000000000000 653 ops[619]=3; av[619]=0x7FF8000000000000; bv[619]=0x7FEFFFFFFFFFFFFF; ev[619]=0x7FF8000000000000 654 ops[620]=3; av[620]=0x7FF8000000000000; bv[620]=0x7FF0000000000000; ev[620]=0x7FF8000000000000 655 ops[621]=3; av[621]=0x7FF8000000000000; bv[621]=0xFFF0000000000000; ev[621]=0x7FF8000000000000 656 ops[622]=3; av[622]=0x7FF8000000000000; bv[622]=0x7FF8000000000000; ev[622]=0x7FF8000000000000 657 ops[623]=3; av[623]=0x7FF8000000000000; bv[623]=0x3FF8000000000000; ev[623]=0x7FF8000000000000 658 ops[624]=3; av[624]=0x7FF8000000000000; bv[624]=0x3FB999999999999A; ev[624]=0x7FF8000000000000 659 ops[625]=3; av[625]=0x7FF8000000000000; bv[625]=0x4340000000000002; ev[625]=0x7FF8000000000000 660 ops[626]=3; av[626]=0x3FF8000000000000; bv[626]=0x0000000000000000; ev[626]=0x0000000000000000 661 ops[627]=3; av[627]=0x3FF8000000000000; bv[627]=0x8000000000000000; ev[627]=0x8000000000000000 662 ops[628]=3; av[628]=0x3FF8000000000000; bv[628]=0x3FF0000000000000; ev[628]=0x3FF8000000000000 663 ops[629]=3; av[629]=0x3FF8000000000000; bv[629]=0xBFF0000000000000; ev[629]=0xBFF8000000000000 664 ops[630]=3; av[630]=0x3FF8000000000000; bv[630]=0x0000000000000001; ev[630]=0x0000000000000002 665 ops[631]=3; av[631]=0x3FF8000000000000; bv[631]=0x000FFFFFFFFFFFFF; ev[631]=0x0017FFFFFFFFFFFE 666 ops[632]=3; av[632]=0x3FF8000000000000; bv[632]=0x0010000000000000; ev[632]=0x0018000000000000 667 ops[633]=3; av[633]=0x3FF8000000000000; bv[633]=0x7FEFFFFFFFFFFFFF; ev[633]=0x7FF0000000000000 668 ops[634]=3; av[634]=0x3FF8000000000000; bv[634]=0x7FF0000000000000; ev[634]=0x7FF0000000000000 669 ops[635]=3; av[635]=0x3FF8000000000000; bv[635]=0xFFF0000000000000; ev[635]=0xFFF0000000000000 670 ops[636]=3; av[636]=0x3FF8000000000000; bv[636]=0x7FF8000000000000; ev[636]=0x7FF8000000000000 671 ops[637]=3; av[637]=0x3FF8000000000000; bv[637]=0x3FF8000000000000; ev[637]=0x4002000000000000 672 ops[638]=3; av[638]=0x3FF8000000000000; bv[638]=0x3FB999999999999A; ev[638]=0x3FC3333333333334 673 ops[639]=3; av[639]=0x3FF8000000000000; bv[639]=0x4340000000000002; ev[639]=0x4348000000000003 674 return 0 675} 676 677func f64_kat_fill_8(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 678 ops[640]=3; av[640]=0x3FB999999999999A; bv[640]=0x0000000000000000; ev[640]=0x0000000000000000 679 ops[641]=3; av[641]=0x3FB999999999999A; bv[641]=0x8000000000000000; ev[641]=0x8000000000000000 680 ops[642]=3; av[642]=0x3FB999999999999A; bv[642]=0x3FF0000000000000; ev[642]=0x3FB999999999999A 681 ops[643]=3; av[643]=0x3FB999999999999A; bv[643]=0xBFF0000000000000; ev[643]=0xBFB999999999999A 682 ops[644]=3; av[644]=0x3FB999999999999A; bv[644]=0x0000000000000001; ev[644]=0x0000000000000000 683 ops[645]=3; av[645]=0x3FB999999999999A; bv[645]=0x000FFFFFFFFFFFFF; ev[645]=0x000199999999999A 684 ops[646]=3; av[646]=0x3FB999999999999A; bv[646]=0x0010000000000000; ev[646]=0x000199999999999A 685 ops[647]=3; av[647]=0x3FB999999999999A; bv[647]=0x7FEFFFFFFFFFFFFF; ev[647]=0x7FB9999999999999 686 ops[648]=3; av[648]=0x3FB999999999999A; bv[648]=0x7FF0000000000000; ev[648]=0x7FF0000000000000 687 ops[649]=3; av[649]=0x3FB999999999999A; bv[649]=0xFFF0000000000000; ev[649]=0xFFF0000000000000 688 ops[650]=3; av[650]=0x3FB999999999999A; bv[650]=0x7FF8000000000000; ev[650]=0x7FF8000000000000 689 ops[651]=3; av[651]=0x3FB999999999999A; bv[651]=0x3FF8000000000000; ev[651]=0x3FC3333333333334 690 ops[652]=3; av[652]=0x3FB999999999999A; bv[652]=0x3FB999999999999A; ev[652]=0x3F847AE147AE147C 691 ops[653]=3; av[653]=0x3FB999999999999A; bv[653]=0x4340000000000002; ev[653]=0x430999999999999D 692 ops[654]=3; av[654]=0x4340000000000002; bv[654]=0x0000000000000000; ev[654]=0x0000000000000000 693 ops[655]=3; av[655]=0x4340000000000002; bv[655]=0x8000000000000000; ev[655]=0x8000000000000000 694 ops[656]=3; av[656]=0x4340000000000002; bv[656]=0x3FF0000000000000; ev[656]=0x4340000000000002 695 ops[657]=3; av[657]=0x4340000000000002; bv[657]=0xBFF0000000000000; ev[657]=0xC340000000000002 696 ops[658]=3; av[658]=0x4340000000000002; bv[658]=0x0000000000000001; ev[658]=0x0020000000000002 697 ops[659]=3; av[659]=0x4340000000000002; bv[659]=0x000FFFFFFFFFFFFF; ev[659]=0x0360000000000001 698 ops[660]=3; av[660]=0x4340000000000002; bv[660]=0x0010000000000000; ev[660]=0x0360000000000002 699 ops[661]=3; av[661]=0x4340000000000002; bv[661]=0x7FEFFFFFFFFFFFFF; ev[661]=0x7FF0000000000000 700 ops[662]=3; av[662]=0x4340000000000002; bv[662]=0x7FF0000000000000; ev[662]=0x7FF0000000000000 701 ops[663]=3; av[663]=0x4340000000000002; bv[663]=0xFFF0000000000000; ev[663]=0xFFF0000000000000 702 ops[664]=3; av[664]=0x4340000000000002; bv[664]=0x7FF8000000000000; ev[664]=0x7FF8000000000000 703 ops[665]=3; av[665]=0x4340000000000002; bv[665]=0x3FF8000000000000; ev[665]=0x4348000000000003 704 ops[666]=3; av[666]=0x4340000000000002; bv[666]=0x3FB999999999999A; ev[666]=0x430999999999999D 705 ops[667]=3; av[667]=0x4340000000000002; bv[667]=0x4340000000000002; ev[667]=0x4690000000000004 706 ops[668]=3; av[668]=0x800DF7A362133C05; bv[668]=0xC0ACC00000000000; ev[668]=0x00C918F9943A8FD9 707 ops[669]=3; av[669]=0x81D5363E28B6DD46; bv[669]=0x000F70C34DA3628E; ev[669]=0x8000000000000000 708 ops[670]=3; av[670]=0xC08D700000000000; bv[670]=0x000EEE6F810AE4F3; ev[670]=0x80AB78AF266B0B3B 709 ops[671]=3; av[671]=0x42BD671028054666; bv[671]=0xC0BF080000000000; ev[671]=0xC38C83316ACF1D84 710 ops[672]=3; av[672]=0x000F01856D0A01E7; bv[672]=0xBFC16A3143771EB9; ev[672]=0x80020AA6C1777723 711 ops[673]=3; av[673]=0xC017B925982FD786; bv[673]=0x3FBC1A62E10E85C6; ev[673]=0xBFE4D590A1913A0A 712 ops[674]=3; av[674]=0x00052ADD768A7C74; bv[674]=0xBFC17A1C2CC2643E; ev[674]=0x8000B49F68026799 713 ops[675]=3; av[675]=0x40B5080000000000; bv[675]=0x57088378262A4243; ev[675]=0x57D01C67B715460D 714 ops[676]=3; av[676]=0x7F9E5A7A69729484; bv[676]=0x8083CEF5ECD603E8; ev[676]=0xC032CA08680258B1 715 ops[677]=3; av[677]=0x0215AE7F6CCB21E4; bv[677]=0x8008B685A5D75FDD; ev[677]=0x8000000000000000 716 ops[678]=3; av[678]=0x4045000000000000; bv[678]=0x800ED59652C7FCA5; ev[678]=0x806378554CA67B99 717 ops[679]=3; av[679]=0x7A16DF66F5D2EEFC; bv[679]=0xC072700000000000; ev[679]=0xFA9A5B6FA5461164 718 ops[680]=3; av[680]=0x005A6017DF6F69BD; bv[680]=0x00CE57757CD430C9; ev[680]=0x0000000000000000 719 ops[681]=3; av[681]=0x8005A8507374722A; bv[681]=0xBFCABDB3CA1DE9B7; ev[681]=0x00012E92D08D9403 720 ops[682]=3; av[682]=0x0002FBFA4C5F69D3; bv[682]=0x800B5193E2DB368F; ev[682]=0x8000000000000000 721 ops[683]=3; av[683]=0x7FDCE42F1CC49B27; bv[683]=0x7FEF226F24E7E73C; ev[683]=0x7FF0000000000000 722 ops[684]=3; av[684]=0xC0378598C9242D82; bv[684]=0xFEF53F32177510B1; ev[684]=0x7F3F3C40359113D7 723 ops[685]=3; av[685]=0xBFEECDD4EF962A78; bv[685]=0x76EAB7A7B37012E7; ev[685]=0xF6E9B8078B4EA954 724 ops[686]=3; av[686]=0xFFC335EDDEA908B3; bv[686]=0x402C85B775FAF8D1; ev[686]=0xFFF0000000000000 725 ops[687]=3; av[687]=0xFEE2AEE747434F7D; bv[687]=0xFF59EF447733C706; ev[687]=0x7FF0000000000000 726 ops[688]=3; av[688]=0xFFB6A38028A59B75; bv[688]=0xFF64C763309F7329; ev[688]=0x7FF0000000000000 727 ops[689]=3; av[689]=0xEA3A4AE0623C68A3; bv[689]=0x8000B6FC6C8A9D28; ev[689]=0x2A12CB28608AD049 728 ops[690]=3; av[690]=0xC046E00000000000; bv[690]=0xAD25C007661E9C97; ev[690]=0x2D7F188A93FFC3E0 729 ops[691]=3; av[691]=0x025C4198B75AF9A9; bv[691]=0x02C88AA615F33F67; ev[691]=0x0000000000000000 730 ops[692]=3; av[692]=0x409E300000000000; bv[692]=0x0AA8A15C93400269; ev[692]=0x0B573C38D4E8E246 731 ops[693]=3; av[693]=0x833C520727B5D0E1; bv[693]=0xFEEB437CECDC8381; ev[693]=0x423820F057F863E4 732 ops[694]=3; av[694]=0x00062D4BF155A359; bv[694]=0xBFBD34E5AB25AF55; ev[694]=0x8000B4685869D249 733 ops[695]=3; av[695]=0x4055B00000000000; bv[695]=0x4049700000000000; ev[695]=0x40B13D6800000000 734 ops[696]=3; av[696]=0xAC9718188F35A45B; bv[696]=0xFF2E13614AE2D561; ev[696]=0x6BD5B4938BED3101 735 ops[697]=3; av[697]=0x8236CCE7345BB69B; bv[697]=0xC02FA63BE4143BD9; ev[697]=0x02768CF19665173C 736 ops[698]=3; av[698]=0x7F31F30C79255040; bv[698]=0x805423F46ACD2C71; ev[698]=0xBF96982575063BF6 737 ops[699]=3; av[699]=0x4057F00000000000; bv[699]=0x4072100000000000; ev[699]=0x40DB05F000000000 738 ops[700]=3; av[700]=0x405CE00000000000; bv[700]=0x0007D4DBBE171642; ev[700]=0x006C4449221B5456 739 ops[701]=3; av[701]=0x8414E3C3958D5FBA; bv[701]=0x80BAD5BBF67175BD; ev[701]=0x0000000000000000 740 ops[702]=3; av[702]=0xFFCE80CC9B31F1F0; bv[702]=0x3FCF39BA5B8B7491; ev[702]=0xFFADC3CD46B54DD9 741 ops[703]=3; av[703]=0xF61F602E4A7FF973; bv[703]=0x0000C366F9614DC1; ev[703]=0xB5F7F2E225AB2996 742 ops[704]=3; av[704]=0x800F3C068D6F06DC; bv[704]=0x7DDEBCAC4717B52D; ev[704]=0xBDFD44319F2565B6 743 ops[705]=3; av[705]=0x7FA5B2FC413D38E5; bv[705]=0xFF09C1447C46AF41; ev[705]=0xFFF0000000000000 744 ops[706]=3; av[706]=0x052FCF015B416AAE; bv[706]=0xC093100000000000; ev[706]=0x85D2F2D04EDC780D 745 ops[707]=3; av[707]=0xC052280000000000; bv[707]=0x00090FA44C7C0130; ev[707]=0x8064907FE1956EB2 746 ops[708]=4; av[708]=0x0000000000000000; bv[708]=0x0000000000000000; ev[708]=0x7FF8000000000000 747 ops[709]=4; av[709]=0x0000000000000000; bv[709]=0x8000000000000000; ev[709]=0x7FF8000000000000 748 ops[710]=4; av[710]=0x0000000000000000; bv[710]=0x3FF0000000000000; ev[710]=0x0000000000000000 749 ops[711]=4; av[711]=0x0000000000000000; bv[711]=0xBFF0000000000000; ev[711]=0x8000000000000000 750 ops[712]=4; av[712]=0x0000000000000000; bv[712]=0x0000000000000001; ev[712]=0x0000000000000000 751 ops[713]=4; av[713]=0x0000000000000000; bv[713]=0x000FFFFFFFFFFFFF; ev[713]=0x0000000000000000 752 ops[714]=4; av[714]=0x0000000000000000; bv[714]=0x0010000000000000; ev[714]=0x0000000000000000 753 ops[715]=4; av[715]=0x0000000000000000; bv[715]=0x7FEFFFFFFFFFFFFF; ev[715]=0x0000000000000000 754 ops[716]=4; av[716]=0x0000000000000000; bv[716]=0x7FF0000000000000; ev[716]=0x0000000000000000 755 ops[717]=4; av[717]=0x0000000000000000; bv[717]=0xFFF0000000000000; ev[717]=0x8000000000000000 756 ops[718]=4; av[718]=0x0000000000000000; bv[718]=0x7FF8000000000000; ev[718]=0x7FF8000000000000 757 ops[719]=4; av[719]=0x0000000000000000; bv[719]=0x3FF8000000000000; ev[719]=0x0000000000000000 758 return 0 759} 760 761func f64_kat_fill_9(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 762 ops[720]=4; av[720]=0x0000000000000000; bv[720]=0x3FB999999999999A; ev[720]=0x0000000000000000 763 ops[721]=4; av[721]=0x0000000000000000; bv[721]=0x4340000000000002; ev[721]=0x0000000000000000 764 ops[722]=4; av[722]=0x8000000000000000; bv[722]=0x0000000000000000; ev[722]=0x7FF8000000000000 765 ops[723]=4; av[723]=0x8000000000000000; bv[723]=0x8000000000000000; ev[723]=0x7FF8000000000000 766 ops[724]=4; av[724]=0x8000000000000000; bv[724]=0x3FF0000000000000; ev[724]=0x8000000000000000 767 ops[725]=4; av[725]=0x8000000000000000; bv[725]=0xBFF0000000000000; ev[725]=0x0000000000000000 768 ops[726]=4; av[726]=0x8000000000000000; bv[726]=0x0000000000000001; ev[726]=0x8000000000000000 769 ops[727]=4; av[727]=0x8000000000000000; bv[727]=0x000FFFFFFFFFFFFF; ev[727]=0x8000000000000000 770 ops[728]=4; av[728]=0x8000000000000000; bv[728]=0x0010000000000000; ev[728]=0x8000000000000000 771 ops[729]=4; av[729]=0x8000000000000000; bv[729]=0x7FEFFFFFFFFFFFFF; ev[729]=0x8000000000000000 772 ops[730]=4; av[730]=0x8000000000000000; bv[730]=0x7FF0000000000000; ev[730]=0x8000000000000000 773 ops[731]=4; av[731]=0x8000000000000000; bv[731]=0xFFF0000000000000; ev[731]=0x0000000000000000 774 ops[732]=4; av[732]=0x8000000000000000; bv[732]=0x7FF8000000000000; ev[732]=0x7FF8000000000000 775 ops[733]=4; av[733]=0x8000000000000000; bv[733]=0x3FF8000000000000; ev[733]=0x8000000000000000 776 ops[734]=4; av[734]=0x8000000000000000; bv[734]=0x3FB999999999999A; ev[734]=0x8000000000000000 777 ops[735]=4; av[735]=0x8000000000000000; bv[735]=0x4340000000000002; ev[735]=0x8000000000000000 778 ops[736]=4; av[736]=0x3FF0000000000000; bv[736]=0x0000000000000000; ev[736]=0x7FF0000000000000 779 ops[737]=4; av[737]=0x3FF0000000000000; bv[737]=0x8000000000000000; ev[737]=0xFFF0000000000000 780 ops[738]=4; av[738]=0x3FF0000000000000; bv[738]=0x3FF0000000000000; ev[738]=0x3FF0000000000000 781 ops[739]=4; av[739]=0x3FF0000000000000; bv[739]=0xBFF0000000000000; ev[739]=0xBFF0000000000000 782 ops[740]=4; av[740]=0x3FF0000000000000; bv[740]=0x0000000000000001; ev[740]=0x7FF0000000000000 783 ops[741]=4; av[741]=0x3FF0000000000000; bv[741]=0x000FFFFFFFFFFFFF; ev[741]=0x7FD0000000000001 784 ops[742]=4; av[742]=0x3FF0000000000000; bv[742]=0x0010000000000000; ev[742]=0x7FD0000000000000 785 ops[743]=4; av[743]=0x3FF0000000000000; bv[743]=0x7FEFFFFFFFFFFFFF; ev[743]=0x0004000000000000 786 ops[744]=4; av[744]=0x3FF0000000000000; bv[744]=0x7FF0000000000000; ev[744]=0x0000000000000000 787 ops[745]=4; av[745]=0x3FF0000000000000; bv[745]=0xFFF0000000000000; ev[745]=0x8000000000000000 788 ops[746]=4; av[746]=0x3FF0000000000000; bv[746]=0x7FF8000000000000; ev[746]=0x7FF8000000000000 789 ops[747]=4; av[747]=0x3FF0000000000000; bv[747]=0x3FF8000000000000; ev[747]=0x3FE5555555555555 790 ops[748]=4; av[748]=0x3FF0000000000000; bv[748]=0x3FB999999999999A; ev[748]=0x4024000000000000 791 ops[749]=4; av[749]=0x3FF0000000000000; bv[749]=0x4340000000000002; ev[749]=0x3C9FFFFFFFFFFFFC 792 ops[750]=4; av[750]=0xBFF0000000000000; bv[750]=0x0000000000000000; ev[750]=0xFFF0000000000000 793 ops[751]=4; av[751]=0xBFF0000000000000; bv[751]=0x8000000000000000; ev[751]=0x7FF0000000000000 794 ops[752]=4; av[752]=0xBFF0000000000000; bv[752]=0x3FF0000000000000; ev[752]=0xBFF0000000000000 795 ops[753]=4; av[753]=0xBFF0000000000000; bv[753]=0xBFF0000000000000; ev[753]=0x3FF0000000000000 796 ops[754]=4; av[754]=0xBFF0000000000000; bv[754]=0x0000000000000001; ev[754]=0xFFF0000000000000 797 ops[755]=4; av[755]=0xBFF0000000000000; bv[755]=0x000FFFFFFFFFFFFF; ev[755]=0xFFD0000000000001 798 ops[756]=4; av[756]=0xBFF0000000000000; bv[756]=0x0010000000000000; ev[756]=0xFFD0000000000000 799 ops[757]=4; av[757]=0xBFF0000000000000; bv[757]=0x7FEFFFFFFFFFFFFF; ev[757]=0x8004000000000000 800 ops[758]=4; av[758]=0xBFF0000000000000; bv[758]=0x7FF0000000000000; ev[758]=0x8000000000000000 801 ops[759]=4; av[759]=0xBFF0000000000000; bv[759]=0xFFF0000000000000; ev[759]=0x0000000000000000 802 ops[760]=4; av[760]=0xBFF0000000000000; bv[760]=0x7FF8000000000000; ev[760]=0x7FF8000000000000 803 ops[761]=4; av[761]=0xBFF0000000000000; bv[761]=0x3FF8000000000000; ev[761]=0xBFE5555555555555 804 ops[762]=4; av[762]=0xBFF0000000000000; bv[762]=0x3FB999999999999A; ev[762]=0xC024000000000000 805 ops[763]=4; av[763]=0xBFF0000000000000; bv[763]=0x4340000000000002; ev[763]=0xBC9FFFFFFFFFFFFC 806 ops[764]=4; av[764]=0x0000000000000001; bv[764]=0x0000000000000000; ev[764]=0x7FF0000000000000 807 ops[765]=4; av[765]=0x0000000000000001; bv[765]=0x8000000000000000; ev[765]=0xFFF0000000000000 808 ops[766]=4; av[766]=0x0000000000000001; bv[766]=0x3FF0000000000000; ev[766]=0x0000000000000001 809 ops[767]=4; av[767]=0x0000000000000001; bv[767]=0xBFF0000000000000; ev[767]=0x8000000000000001 810 ops[768]=4; av[768]=0x0000000000000001; bv[768]=0x0000000000000001; ev[768]=0x3FF0000000000000 811 ops[769]=4; av[769]=0x0000000000000001; bv[769]=0x000FFFFFFFFFFFFF; ev[769]=0x3CB0000000000001 812 ops[770]=4; av[770]=0x0000000000000001; bv[770]=0x0010000000000000; ev[770]=0x3CB0000000000000 813 ops[771]=4; av[771]=0x0000000000000001; bv[771]=0x7FEFFFFFFFFFFFFF; ev[771]=0x0000000000000000 814 ops[772]=4; av[772]=0x0000000000000001; bv[772]=0x7FF0000000000000; ev[772]=0x0000000000000000 815 ops[773]=4; av[773]=0x0000000000000001; bv[773]=0xFFF0000000000000; ev[773]=0x8000000000000000 816 ops[774]=4; av[774]=0x0000000000000001; bv[774]=0x7FF8000000000000; ev[774]=0x7FF8000000000000 817 ops[775]=4; av[775]=0x0000000000000001; bv[775]=0x3FF8000000000000; ev[775]=0x0000000000000001 818 ops[776]=4; av[776]=0x0000000000000001; bv[776]=0x3FB999999999999A; ev[776]=0x000000000000000A 819 ops[777]=4; av[777]=0x0000000000000001; bv[777]=0x4340000000000002; ev[777]=0x0000000000000000 820 ops[778]=4; av[778]=0x000FFFFFFFFFFFFF; bv[778]=0x0000000000000000; ev[778]=0x7FF0000000000000 821 ops[779]=4; av[779]=0x000FFFFFFFFFFFFF; bv[779]=0x8000000000000000; ev[779]=0xFFF0000000000000 822 ops[780]=4; av[780]=0x000FFFFFFFFFFFFF; bv[780]=0x3FF0000000000000; ev[780]=0x000FFFFFFFFFFFFF 823 ops[781]=4; av[781]=0x000FFFFFFFFFFFFF; bv[781]=0xBFF0000000000000; ev[781]=0x800FFFFFFFFFFFFF 824 ops[782]=4; av[782]=0x000FFFFFFFFFFFFF; bv[782]=0x0000000000000001; ev[782]=0x432FFFFFFFFFFFFE 825 ops[783]=4; av[783]=0x000FFFFFFFFFFFFF; bv[783]=0x000FFFFFFFFFFFFF; ev[783]=0x3FF0000000000000 826 ops[784]=4; av[784]=0x000FFFFFFFFFFFFF; bv[784]=0x0010000000000000; ev[784]=0x3FEFFFFFFFFFFFFE 827 ops[785]=4; av[785]=0x000FFFFFFFFFFFFF; bv[785]=0x7FEFFFFFFFFFFFFF; ev[785]=0x0000000000000000 828 ops[786]=4; av[786]=0x000FFFFFFFFFFFFF; bv[786]=0x7FF0000000000000; ev[786]=0x0000000000000000 829 ops[787]=4; av[787]=0x000FFFFFFFFFFFFF; bv[787]=0xFFF0000000000000; ev[787]=0x8000000000000000 830 ops[788]=4; av[788]=0x000FFFFFFFFFFFFF; bv[788]=0x7FF8000000000000; ev[788]=0x7FF8000000000000 831 ops[789]=4; av[789]=0x000FFFFFFFFFFFFF; bv[789]=0x3FF8000000000000; ev[789]=0x000AAAAAAAAAAAAA 832 ops[790]=4; av[790]=0x000FFFFFFFFFFFFF; bv[790]=0x3FB999999999999A; ev[790]=0x0043FFFFFFFFFFFE 833 ops[791]=4; av[791]=0x000FFFFFFFFFFFFF; bv[791]=0x4340000000000002; ev[791]=0x0000000000000000 834 ops[792]=4; av[792]=0x0010000000000000; bv[792]=0x0000000000000000; ev[792]=0x7FF0000000000000 835 ops[793]=4; av[793]=0x0010000000000000; bv[793]=0x8000000000000000; ev[793]=0xFFF0000000000000 836 ops[794]=4; av[794]=0x0010000000000000; bv[794]=0x3FF0000000000000; ev[794]=0x0010000000000000 837 ops[795]=4; av[795]=0x0010000000000000; bv[795]=0xBFF0000000000000; ev[795]=0x8010000000000000 838 ops[796]=4; av[796]=0x0010000000000000; bv[796]=0x0000000000000001; ev[796]=0x4330000000000000 839 ops[797]=4; av[797]=0x0010000000000000; bv[797]=0x000FFFFFFFFFFFFF; ev[797]=0x3FF0000000000001 840 ops[798]=4; av[798]=0x0010000000000000; bv[798]=0x0010000000000000; ev[798]=0x3FF0000000000000 841 ops[799]=4; av[799]=0x0010000000000000; bv[799]=0x7FEFFFFFFFFFFFFF; ev[799]=0x0000000000000000 842 return 0 843} 844 845func f64_kat_fill_10(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 846 ops[800]=4; av[800]=0x0010000000000000; bv[800]=0x7FF0000000000000; ev[800]=0x0000000000000000 847 ops[801]=4; av[801]=0x0010000000000000; bv[801]=0xFFF0000000000000; ev[801]=0x8000000000000000 848 ops[802]=4; av[802]=0x0010000000000000; bv[802]=0x7FF8000000000000; ev[802]=0x7FF8000000000000 849 ops[803]=4; av[803]=0x0010000000000000; bv[803]=0x3FF8000000000000; ev[803]=0x000AAAAAAAAAAAAB 850 ops[804]=4; av[804]=0x0010000000000000; bv[804]=0x3FB999999999999A; ev[804]=0x0044000000000000 851 ops[805]=4; av[805]=0x0010000000000000; bv[805]=0x4340000000000002; ev[805]=0x0000000000000000 852 ops[806]=4; av[806]=0x7FEFFFFFFFFFFFFF; bv[806]=0x0000000000000000; ev[806]=0x7FF0000000000000 853 ops[807]=4; av[807]=0x7FEFFFFFFFFFFFFF; bv[807]=0x8000000000000000; ev[807]=0xFFF0000000000000 854 ops[808]=4; av[808]=0x7FEFFFFFFFFFFFFF; bv[808]=0x3FF0000000000000; ev[808]=0x7FEFFFFFFFFFFFFF 855 ops[809]=4; av[809]=0x7FEFFFFFFFFFFFFF; bv[809]=0xBFF0000000000000; ev[809]=0xFFEFFFFFFFFFFFFF 856 ops[810]=4; av[810]=0x7FEFFFFFFFFFFFFF; bv[810]=0x0000000000000001; ev[810]=0x7FF0000000000000 857 ops[811]=4; av[811]=0x7FEFFFFFFFFFFFFF; bv[811]=0x000FFFFFFFFFFFFF; ev[811]=0x7FF0000000000000 858 ops[812]=4; av[812]=0x7FEFFFFFFFFFFFFF; bv[812]=0x0010000000000000; ev[812]=0x7FF0000000000000 859 ops[813]=4; av[813]=0x7FEFFFFFFFFFFFFF; bv[813]=0x7FEFFFFFFFFFFFFF; ev[813]=0x3FF0000000000000 860 ops[814]=4; av[814]=0x7FEFFFFFFFFFFFFF; bv[814]=0x7FF0000000000000; ev[814]=0x0000000000000000 861 ops[815]=4; av[815]=0x7FEFFFFFFFFFFFFF; bv[815]=0xFFF0000000000000; ev[815]=0x8000000000000000 862 ops[816]=4; av[816]=0x7FEFFFFFFFFFFFFF; bv[816]=0x7FF8000000000000; ev[816]=0x7FF8000000000000 863 ops[817]=4; av[817]=0x7FEFFFFFFFFFFFFF; bv[817]=0x3FF8000000000000; ev[817]=0x7FE5555555555555 864 ops[818]=4; av[818]=0x7FEFFFFFFFFFFFFF; bv[818]=0x3FB999999999999A; ev[818]=0x7FF0000000000000 865 ops[819]=4; av[819]=0x7FEFFFFFFFFFFFFF; bv[819]=0x4340000000000002; ev[819]=0x7C9FFFFFFFFFFFFB 866 ops[820]=4; av[820]=0x7FF0000000000000; bv[820]=0x0000000000000000; ev[820]=0x7FF0000000000000 867 ops[821]=4; av[821]=0x7FF0000000000000; bv[821]=0x8000000000000000; ev[821]=0xFFF0000000000000 868 ops[822]=4; av[822]=0x7FF0000000000000; bv[822]=0x3FF0000000000000; ev[822]=0x7FF0000000000000 869 ops[823]=4; av[823]=0x7FF0000000000000; bv[823]=0xBFF0000000000000; ev[823]=0xFFF0000000000000 870 ops[824]=4; av[824]=0x7FF0000000000000; bv[824]=0x0000000000000001; ev[824]=0x7FF0000000000000 871 ops[825]=4; av[825]=0x7FF0000000000000; bv[825]=0x000FFFFFFFFFFFFF; ev[825]=0x7FF0000000000000 872 ops[826]=4; av[826]=0x7FF0000000000000; bv[826]=0x0010000000000000; ev[826]=0x7FF0000000000000 873 ops[827]=4; av[827]=0x7FF0000000000000; bv[827]=0x7FEFFFFFFFFFFFFF; ev[827]=0x7FF0000000000000 874 ops[828]=4; av[828]=0x7FF0000000000000; bv[828]=0x7FF0000000000000; ev[828]=0x7FF8000000000000 875 ops[829]=4; av[829]=0x7FF0000000000000; bv[829]=0xFFF0000000000000; ev[829]=0x7FF8000000000000 876 ops[830]=4; av[830]=0x7FF0000000000000; bv[830]=0x7FF8000000000000; ev[830]=0x7FF8000000000000 877 ops[831]=4; av[831]=0x7FF0000000000000; bv[831]=0x3FF8000000000000; ev[831]=0x7FF0000000000000 878 ops[832]=4; av[832]=0x7FF0000000000000; bv[832]=0x3FB999999999999A; ev[832]=0x7FF0000000000000 879 ops[833]=4; av[833]=0x7FF0000000000000; bv[833]=0x4340000000000002; ev[833]=0x7FF0000000000000 880 ops[834]=4; av[834]=0xFFF0000000000000; bv[834]=0x0000000000000000; ev[834]=0xFFF0000000000000 881 ops[835]=4; av[835]=0xFFF0000000000000; bv[835]=0x8000000000000000; ev[835]=0x7FF0000000000000 882 ops[836]=4; av[836]=0xFFF0000000000000; bv[836]=0x3FF0000000000000; ev[836]=0xFFF0000000000000 883 ops[837]=4; av[837]=0xFFF0000000000000; bv[837]=0xBFF0000000000000; ev[837]=0x7FF0000000000000 884 ops[838]=4; av[838]=0xFFF0000000000000; bv[838]=0x0000000000000001; ev[838]=0xFFF0000000000000 885 ops[839]=4; av[839]=0xFFF0000000000000; bv[839]=0x000FFFFFFFFFFFFF; ev[839]=0xFFF0000000000000 886 ops[840]=4; av[840]=0xFFF0000000000000; bv[840]=0x0010000000000000; ev[840]=0xFFF0000000000000 887 ops[841]=4; av[841]=0xFFF0000000000000; bv[841]=0x7FEFFFFFFFFFFFFF; ev[841]=0xFFF0000000000000 888 ops[842]=4; av[842]=0xFFF0000000000000; bv[842]=0x7FF0000000000000; ev[842]=0x7FF8000000000000 889 ops[843]=4; av[843]=0xFFF0000000000000; bv[843]=0xFFF0000000000000; ev[843]=0x7FF8000000000000 890 ops[844]=4; av[844]=0xFFF0000000000000; bv[844]=0x7FF8000000000000; ev[844]=0x7FF8000000000000 891 ops[845]=4; av[845]=0xFFF0000000000000; bv[845]=0x3FF8000000000000; ev[845]=0xFFF0000000000000 892 ops[846]=4; av[846]=0xFFF0000000000000; bv[846]=0x3FB999999999999A; ev[846]=0xFFF0000000000000 893 ops[847]=4; av[847]=0xFFF0000000000000; bv[847]=0x4340000000000002; ev[847]=0xFFF0000000000000 894 ops[848]=4; av[848]=0x7FF8000000000000; bv[848]=0x0000000000000000; ev[848]=0x7FF8000000000000 895 ops[849]=4; av[849]=0x7FF8000000000000; bv[849]=0x8000000000000000; ev[849]=0x7FF8000000000000 896 ops[850]=4; av[850]=0x7FF8000000000000; bv[850]=0x3FF0000000000000; ev[850]=0x7FF8000000000000 897 ops[851]=4; av[851]=0x7FF8000000000000; bv[851]=0xBFF0000000000000; ev[851]=0x7FF8000000000000 898 ops[852]=4; av[852]=0x7FF8000000000000; bv[852]=0x0000000000000001; ev[852]=0x7FF8000000000000 899 ops[853]=4; av[853]=0x7FF8000000000000; bv[853]=0x000FFFFFFFFFFFFF; ev[853]=0x7FF8000000000000 900 ops[854]=4; av[854]=0x7FF8000000000000; bv[854]=0x0010000000000000; ev[854]=0x7FF8000000000000 901 ops[855]=4; av[855]=0x7FF8000000000000; bv[855]=0x7FEFFFFFFFFFFFFF; ev[855]=0x7FF8000000000000 902 ops[856]=4; av[856]=0x7FF8000000000000; bv[856]=0x7FF0000000000000; ev[856]=0x7FF8000000000000 903 ops[857]=4; av[857]=0x7FF8000000000000; bv[857]=0xFFF0000000000000; ev[857]=0x7FF8000000000000 904 ops[858]=4; av[858]=0x7FF8000000000000; bv[858]=0x7FF8000000000000; ev[858]=0x7FF8000000000000 905 ops[859]=4; av[859]=0x7FF8000000000000; bv[859]=0x3FF8000000000000; ev[859]=0x7FF8000000000000 906 ops[860]=4; av[860]=0x7FF8000000000000; bv[860]=0x3FB999999999999A; ev[860]=0x7FF8000000000000 907 ops[861]=4; av[861]=0x7FF8000000000000; bv[861]=0x4340000000000002; ev[861]=0x7FF8000000000000 908 ops[862]=4; av[862]=0x3FF8000000000000; bv[862]=0x0000000000000000; ev[862]=0x7FF0000000000000 909 ops[863]=4; av[863]=0x3FF8000000000000; bv[863]=0x8000000000000000; ev[863]=0xFFF0000000000000 910 ops[864]=4; av[864]=0x3FF8000000000000; bv[864]=0x3FF0000000000000; ev[864]=0x3FF8000000000000 911 ops[865]=4; av[865]=0x3FF8000000000000; bv[865]=0xBFF0000000000000; ev[865]=0xBFF8000000000000 912 ops[866]=4; av[866]=0x3FF8000000000000; bv[866]=0x0000000000000001; ev[866]=0x7FF0000000000000 913 ops[867]=4; av[867]=0x3FF8000000000000; bv[867]=0x000FFFFFFFFFFFFF; ev[867]=0x7FD8000000000002 914 ops[868]=4; av[868]=0x3FF8000000000000; bv[868]=0x0010000000000000; ev[868]=0x7FD8000000000000 915 ops[869]=4; av[869]=0x3FF8000000000000; bv[869]=0x7FEFFFFFFFFFFFFF; ev[869]=0x0006000000000000 916 ops[870]=4; av[870]=0x3FF8000000000000; bv[870]=0x7FF0000000000000; ev[870]=0x0000000000000000 917 ops[871]=4; av[871]=0x3FF8000000000000; bv[871]=0xFFF0000000000000; ev[871]=0x8000000000000000 918 ops[872]=4; av[872]=0x3FF8000000000000; bv[872]=0x7FF8000000000000; ev[872]=0x7FF8000000000000 919 ops[873]=4; av[873]=0x3FF8000000000000; bv[873]=0x3FF8000000000000; ev[873]=0x3FF0000000000000 920 ops[874]=4; av[874]=0x3FF8000000000000; bv[874]=0x3FB999999999999A; ev[874]=0x402E000000000000 921 ops[875]=4; av[875]=0x3FF8000000000000; bv[875]=0x4340000000000002; ev[875]=0x3CA7FFFFFFFFFFFD 922 ops[876]=4; av[876]=0x3FB999999999999A; bv[876]=0x0000000000000000; ev[876]=0x7FF0000000000000 923 ops[877]=4; av[877]=0x3FB999999999999A; bv[877]=0x8000000000000000; ev[877]=0xFFF0000000000000 924 ops[878]=4; av[878]=0x3FB999999999999A; bv[878]=0x3FF0000000000000; ev[878]=0x3FB999999999999A 925 ops[879]=4; av[879]=0x3FB999999999999A; bv[879]=0xBFF0000000000000; ev[879]=0xBFB999999999999A 926 return 0 927} 928 929func f64_kat_fill_11(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 930 ops[880]=4; av[880]=0x3FB999999999999A; bv[880]=0x0000000000000001; ev[880]=0x7FF0000000000000 931 ops[881]=4; av[881]=0x3FB999999999999A; bv[881]=0x000FFFFFFFFFFFFF; ev[881]=0x7F9999999999999C 932 ops[882]=4; av[882]=0x3FB999999999999A; bv[882]=0x0010000000000000; ev[882]=0x7F9999999999999A 933 ops[883]=4; av[883]=0x3FB999999999999A; bv[883]=0x7FEFFFFFFFFFFFFF; ev[883]=0x0000666666666666 934 ops[884]=4; av[884]=0x3FB999999999999A; bv[884]=0x7FF0000000000000; ev[884]=0x0000000000000000 935 ops[885]=4; av[885]=0x3FB999999999999A; bv[885]=0xFFF0000000000000; ev[885]=0x8000000000000000 936 ops[886]=4; av[886]=0x3FB999999999999A; bv[886]=0x7FF8000000000000; ev[886]=0x7FF8000000000000 937 ops[887]=4; av[887]=0x3FB999999999999A; bv[887]=0x3FF8000000000000; ev[887]=0x3FB1111111111111 938 ops[888]=4; av[888]=0x3FB999999999999A; bv[888]=0x3FB999999999999A; ev[888]=0x3FF0000000000000 939 ops[889]=4; av[889]=0x3FB999999999999A; bv[889]=0x4340000000000002; ev[889]=0x3C69999999999997 940 ops[890]=4; av[890]=0x4340000000000002; bv[890]=0x0000000000000000; ev[890]=0x7FF0000000000000 941 ops[891]=4; av[891]=0x4340000000000002; bv[891]=0x8000000000000000; ev[891]=0xFFF0000000000000 942 ops[892]=4; av[892]=0x4340000000000002; bv[892]=0x3FF0000000000000; ev[892]=0x4340000000000002 943 ops[893]=4; av[893]=0x4340000000000002; bv[893]=0xBFF0000000000000; ev[893]=0xC340000000000002 944 ops[894]=4; av[894]=0x4340000000000002; bv[894]=0x0000000000000001; ev[894]=0x7FF0000000000000 945 ops[895]=4; av[895]=0x4340000000000002; bv[895]=0x000FFFFFFFFFFFFF; ev[895]=0x7FF0000000000000 946 ops[896]=4; av[896]=0x4340000000000002; bv[896]=0x0010000000000000; ev[896]=0x7FF0000000000000 947 ops[897]=4; av[897]=0x4340000000000002; bv[897]=0x7FEFFFFFFFFFFFFF; ev[897]=0x0340000000000003 948 ops[898]=4; av[898]=0x4340000000000002; bv[898]=0x7FF0000000000000; ev[898]=0x0000000000000000 949 ops[899]=4; av[899]=0x4340000000000002; bv[899]=0xFFF0000000000000; ev[899]=0x8000000000000000 950 ops[900]=4; av[900]=0x4340000000000002; bv[900]=0x7FF8000000000000; ev[900]=0x7FF8000000000000 951 ops[901]=4; av[901]=0x4340000000000002; bv[901]=0x3FF8000000000000; ev[901]=0x4335555555555558 952 ops[902]=4; av[902]=0x4340000000000002; bv[902]=0x3FB999999999999A; ev[902]=0x4374000000000002 953 ops[903]=4; av[903]=0x4340000000000002; bv[903]=0x4340000000000002; ev[903]=0x3FF0000000000000 954 ops[904]=4; av[904]=0xC04EA00000000000; bv[904]=0x7F94DEC6D2C817BF; ev[904]=0x80A77A7A4B5CA8A9 955 ops[905]=4; av[905]=0x800C85DD7C18A136; bv[905]=0x04D2C62437FE4ABA; ev[905]=0xBB25585A0B09DFA5 956 ops[906]=4; av[906]=0x8002A12F00FEA637; bv[906]=0xFF04E49293E8CDF7; ev[906]=0x0000000000000000 957 ops[907]=4; av[907]=0x828E89A5272BE7DE; bv[907]=0xC071000000000000; ev[907]=0x020CBDC89D567FE0 958 ops[908]=4; av[908]=0xFFC59FC9A7CFFBB1; bv[908]=0x80001D1EB411A036; ev[908]=0x7FF0000000000000 959 ops[909]=4; av[909]=0x81AC32DC918489DF; bv[909]=0x40A8A00000000000; ev[909]=0x80F2526D86D57778 960 ops[910]=4; av[910]=0xC094200000000000; bv[910]=0x3FF3F49F2CAF1903; ev[910]=0xC09022C7A5A33494 961 ops[911]=4; av[911]=0x04521E8925F1D573; bv[911]=0xC0AD580000000000; ev[911]=0x8393C26CAB26CE0E 962 ops[912]=4; av[912]=0xC061300000000000; bv[912]=0x7F9A826A3BBEA1F1; ev[912]=0x80B4BF511B1E8E39 963 ops[913]=4; av[913]=0x00F6CD7EFAF466AB; bv[913]=0x640A972941C94D51; ev[913]=0x0000000000000000 964 ops[914]=4; av[914]=0xC034BD5846B03C51; bv[914]=0xC075B00000000000; ev[914]=0x3FAE99F6143283C9 965 ops[915]=4; av[915]=0x4052800000000000; bv[915]=0x81CB4D15FCFD9537; ev[915]=0xFE75AF20D3BB44FB 966 ops[916]=4; av[916]=0x80008504C3460076; bv[916]=0x83F019F2E1034F78; ev[916]=0x3BC085CC8917496E 967 ops[917]=4; av[917]=0xD0587373D564B835; bv[917]=0x7FAA4D881036766A; ev[917]=0x909DBF3C89B85DCB 968 ops[918]=4; av[918]=0x000D5BE96B459222; bv[918]=0xC04C000000000000; ev[918]=0x80003D11E1EA629C 969 ops[919]=4; av[919]=0x800894769EF9BD24; bv[919]=0x000335E5DEC3F74C; ev[919]=0xC005612222D2036E 970 ops[920]=4; av[920]=0xFF2DAD5139B2BD1F; bv[920]=0x125BB21F17B5D6BC; ev[920]=0xFFF0000000000000 971 ops[921]=4; av[921]=0x2837752120A09DAE; bv[921]=0xC0A1B00000000000; ev[921]=0xA7853833AD584D81 972 ops[922]=4; av[922]=0x800C8458B36D59FB; bv[922]=0xA233956A1DCD59DC; ev[922]=0x1DC473F4277A02A8 973 ops[923]=4; av[923]=0x000F5FACA8F5117B; bv[923]=0xC239707E604AD4F7; ev[923]=0x8000000000009AB5 974 ops[924]=4; av[924]=0xFFC176A0C171FB4F; bv[924]=0x4DFAF0AEB7F029C4; ev[924]=0xF1B4BE4A3E60AC9C 975 ops[925]=4; av[925]=0x7F36F54AB18DE8CA; bv[925]=0x000223E6BC00B0DB; ev[925]=0x7FF0000000000000 976 ops[926]=4; av[926]=0xD98E913A3D9E230B; bv[926]=0x7FC078F1BC528382; ev[926]=0x99BDB0CBB178828F 977 ops[927]=4; av[927]=0x000725BE73737943; bv[927]=0x800D17C2297BA333; ev[927]=0xBFE1780F2C67FE43 978 ops[928]=4; av[928]=0xC098400000000000; bv[928]=0x7F9908F46D9103D3; ev[928]=0x80EEFF2323688FDA 979 ops[929]=4; av[929]=0x40AFD00000000000; bv[929]=0x7F1F61417A6B7300; ev[929]=0x018038776066C496 980 ops[930]=4; av[930]=0xFF4CA60396424A49; bv[930]=0x8384B6AF0DA511D0; ev[930]=0x7FF0000000000000 981 ops[931]=4; av[931]=0x02A359634E150D3A; bv[931]=0x4054400000000000; ev[931]=0x023E939371E860C1 982 ops[932]=4; av[932]=0x24F9CBA3110F7A7C; bv[932]=0x7F6DE83571F84520; ev[932]=0x0000000000000000 983 ops[933]=4; av[933]=0x402915BD4868DFA6; bv[933]=0x82E1EA680A2BB0BD; ev[933]=0xFD36671689DAF399 984 ops[934]=4; av[934]=0x408BE00000000000; bv[934]=0xBFB3F56E691202ED; ev[934]=0xC0C6589BC5BB7C5E 985 ops[935]=4; av[935]=0x00085F504E8E9D9E; bv[935]=0x4067800000000000; ev[935]=0x00000B668E08EDC6 986 ops[936]=4; av[936]=0xFF8E1DD5098CA507; bv[936]=0x022E84D84B1C3A66; ev[936]=0xFFF0000000000000 987 ops[937]=4; av[937]=0x013AC380DC69984D; bv[937]=0xFF800AE3275EFFD7; ev[937]=0x8000000000000000 988 ops[938]=4; av[938]=0x0008180BB510DEDA; bv[938]=0xF4DC28B8CA9E1D15; ev[938]=0x8000000000000000 989 ops[939]=4; av[939]=0x4034A1EFF371EB92; bv[939]=0x02C983E27F533916; ev[939]=0x7D59E05F12C26DB0 990 ops[940]=4; av[940]=0x7F9CD8E832A936F3; bv[940]=0x8001EDD28E319C17; ev[940]=0xFFF0000000000000 991 ops[941]=4; av[941]=0x7F0C7BAAECDAA0C7; bv[941]=0xFD0AF1988B0ACB97; ev[941]=0xC1F0EA02FE8E7B9A 992 ops[942]=4; av[942]=0x40AFF00000000000; bv[942]=0xC093800000000000; ev[942]=0xC00A348348348348 993 ops[943]=4; av[943]=0xFF88CE09FED89DED; bv[943]=0xFF3128425C7E9AAB; ev[943]=0x404721BA1B0B9FFC 994 ops[944]=5; av[944]=0x0000000000000000; bv[944]=0x0000000000000000; ev[944]=0x0000000000000000 995 ops[945]=5; av[945]=0x8000000000000000; bv[945]=0x0000000000000000; ev[945]=0x8000000000000000 996 ops[946]=5; av[946]=0x3FF0000000000000; bv[946]=0x0000000000000000; ev[946]=0x3FF0000000000000 997 ops[947]=5; av[947]=0xBFF0000000000000; bv[947]=0x0000000000000000; ev[947]=0x7FF8000000000000 998 ops[948]=5; av[948]=0x0000000000000001; bv[948]=0x0000000000000000; ev[948]=0x1E60000000000000 999 ops[949]=5; av[949]=0x000FFFFFFFFFFFFF; bv[949]=0x0000000000000000; ev[949]=0x1FFFFFFFFFFFFFFF 1000 ops[950]=5; av[950]=0x0010000000000000; bv[950]=0x0000000000000000; ev[950]=0x2000000000000000 1001 ops[951]=5; av[951]=0x7FEFFFFFFFFFFFFF; bv[951]=0x0000000000000000; ev[951]=0x5FEFFFFFFFFFFFFF 1002 ops[952]=5; av[952]=0x7FF0000000000000; bv[952]=0x0000000000000000; ev[952]=0x7FF0000000000000 1003 ops[953]=5; av[953]=0xFFF0000000000000; bv[953]=0x0000000000000000; ev[953]=0x7FF8000000000000 1004 ops[954]=5; av[954]=0x7FF8000000000000; bv[954]=0x0000000000000000; ev[954]=0x7FF8000000000000 1005 ops[955]=5; av[955]=0x3FF8000000000000; bv[955]=0x0000000000000000; ev[955]=0x3FF3988E1409212E 1006 ops[956]=5; av[956]=0x3FB999999999999A; bv[956]=0x0000000000000000; ev[956]=0x3FD43D136248490F 1007 ops[957]=5; av[957]=0x4340000000000002; bv[957]=0x0000000000000000; ev[957]=0x4196A09E667F3BCE 1008 ops[958]=5; av[958]=0x565A7C3BE5528D1F; bv[958]=0x0000000000000000; ev[958]=0x4B2495E636A9A09D 1009 ops[959]=5; av[959]=0x0000F265EBBBC7C6; bv[959]=0x0000000000000000; ev[959]=0x1FDF236659F618BC 1010 return 0 1011} 1012 1013func f64_kat_fill_12(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 1014 ops[960]=5; av[960]=0x3FB6C85977C858EA; bv[960]=0x0000000000000000; ev[960]=0x3FD317AB239FBE44 1015 ops[961]=5; av[961]=0x03311B5E39123AF9; bv[961]=0x0000000000000000; ev[961]=0x21908B5097992256 1016 ops[962]=5; av[962]=0x3FC6025AB7F626B6; bv[962]=0x0000000000000000; ev[962]=0x3FDA89DDFE3BD7E2 1017 ops[963]=5; av[963]=0x4058E80000000000; bv[963]=0x0000000000000000; ev[963]=0x4023F6641777ACD9 1018 ops[964]=5; av[964]=0x3FB79B2B4133591A; bv[964]=0x0000000000000000; ev[964]=0x3FD36F38799CE595 1019 ops[965]=5; av[965]=0x0253E9547C9EAFED; bv[965]=0x0000000000000000; ev[965]=0x2121D9515186978D 1020 ops[966]=5; av[966]=0x695B0F5303AAACB2; bv[966]=0x0000000000000000; ev[966]=0x54A4CEC1504975D7 1021 ops[967]=5; av[967]=0x0006731031742C32; bv[967]=0x0000000000000000; ev[967]=0x1FF4510F3E2B7AD1 1022 ops[968]=5; av[968]=0x4025B17876122FEE; bv[968]=0x0000000000000000; ev[968]=0x400A58ED21D57415 1023 ops[969]=5; av[969]=0x3F44FA8D38594B2C; bv[969]=0x0000000000000000; ev[969]=0x3F99E8EA31D00666 1024 ops[970]=5; av[970]=0x4094300000000000; bv[970]=0x0000000000000000; ev[970]=0x4041F8E226127F61 1025 ops[971]=5; av[971]=0x40039E6BEE75CA72; bv[971]=0x0000000000000000; ev[971]=0x3FF90E55726F0A16 1026 ops[972]=5; av[972]=0x57372D6C77688317; bv[972]=0x0000000000000000; ev[972]=0x4B9341D68C32BADE 1027 ops[973]=5; av[973]=0x003B908ADF8D082D; bv[973]=0x0000000000000000; ev[973]=0x20150034E7300AD2 1028 ops[974]=5; av[974]=0x1584B3EAB8367CF5; bv[974]=0x0000000000000000; ev[974]=0x2AB9BD26D058871B 1029 ops[975]=5; av[975]=0x000D24FDDF97ED3F; bv[975]=0x0000000000000000; ev[975]=0x1FFD01181D93C4D9 1030 ops[976]=5; av[976]=0x3FEA18B518CCCF88; bv[976]=0x0000000000000000; ev[976]=0x3FECE5DC8CB62D1B 1031 ops[977]=5; av[977]=0x7F3536B3EEABC69B; bv[977]=0x0000000000000000; ev[977]=0x5F926C5F12394404 1032 ops[978]=5; av[978]=0x000EC93C0237519D; bv[978]=0x0000000000000000; ev[978]=0x1FFEC31AE8BD9758 1033 ops[979]=5; av[979]=0x5A278DBA201E60F3; bv[979]=0x0000000000000000; ev[979]=0x4D0B7431E71F5C02 1034 ops[980]=5; av[980]=0x3EA5719F38F7B166; bv[980]=0x0000000000000000; ev[980]=0x3F4A320A716D6E22 1035 ops[981]=5; av[981]=0x028D30BB8FE13CA9; bv[981]=0x0000000000000000; ev[981]=0x213E901AFE51E9BF 1036 ops[982]=5; av[982]=0x1BC49E0F0593331E; bv[982]=0x0000000000000000; ev[982]=0x2DD9AF8CC74A52EB 1037 ops[983]=5; av[983]=0x4000000000000000; bv[983]=0x0000000000000000; ev[983]=0x3FF6A09E667F3BCD 1038 ops[984]=5; av[984]=0x3FD0000000000000; bv[984]=0x0000000000000000; ev[984]=0x3FE0000000000000 1039 ops[985]=5; av[985]=0x3FF0000000000001; bv[985]=0x0000000000000000; ev[985]=0x3FF0000000000000 1040 ops[986]=6; av[986]=0x0000000000000000; bv[986]=0x0000000000000000; ev[986]=0x0000000000000001 1041 ops[987]=7; av[987]=0x0000000000000000; bv[987]=0x0000000000000000; ev[987]=0x0000000000000000 1042 ops[988]=6; av[988]=0x0000000000000000; bv[988]=0xBFF0000000000000; ev[988]=0x0000000000000000 1043 ops[989]=7; av[989]=0x0000000000000000; bv[989]=0xBFF0000000000000; ev[989]=0x0000000000000000 1044 ops[990]=6; av[990]=0x0000000000000000; bv[990]=0x0010000000000000; ev[990]=0x0000000000000000 1045 ops[991]=7; av[991]=0x0000000000000000; bv[991]=0x0010000000000000; ev[991]=0x0000000000000001 1046 ops[992]=6; av[992]=0x0000000000000000; bv[992]=0xFFF0000000000000; ev[992]=0x0000000000000000 1047 ops[993]=7; av[993]=0x0000000000000000; bv[993]=0xFFF0000000000000; ev[993]=0x0000000000000000 1048 ops[994]=6; av[994]=0x0000000000000000; bv[994]=0x3FB999999999999A; ev[994]=0x0000000000000000 1049 ops[995]=7; av[995]=0x0000000000000000; bv[995]=0x3FB999999999999A; ev[995]=0x0000000000000001 1050 ops[996]=6; av[996]=0x8000000000000000; bv[996]=0x8000000000000000; ev[996]=0x0000000000000001 1051 ops[997]=7; av[997]=0x8000000000000000; bv[997]=0x8000000000000000; ev[997]=0x0000000000000000 1052 ops[998]=6; av[998]=0x8000000000000000; bv[998]=0x0000000000000001; ev[998]=0x0000000000000000 1053 ops[999]=7; av[999]=0x8000000000000000; bv[999]=0x0000000000000001; ev[999]=0x0000000000000001 1054 ops[1000]=6; av[1000]=0x8000000000000000; bv[1000]=0x7FEFFFFFFFFFFFFF; ev[1000]=0x0000000000000000 1055 ops[1001]=7; av[1001]=0x8000000000000000; bv[1001]=0x7FEFFFFFFFFFFFFF; ev[1001]=0x0000000000000001 1056 ops[1002]=6; av[1002]=0x8000000000000000; bv[1002]=0x7FF8000000000000; ev[1002]=0x0000000000000000 1057 ops[1003]=7; av[1003]=0x8000000000000000; bv[1003]=0x7FF8000000000000; ev[1003]=0x0000000000000000 1058 ops[1004]=6; av[1004]=0x8000000000000000; bv[1004]=0x4340000000000002; ev[1004]=0x0000000000000000 1059 ops[1005]=7; av[1005]=0x8000000000000000; bv[1005]=0x4340000000000002; ev[1005]=0x0000000000000001 1060 ops[1006]=6; av[1006]=0x3FF0000000000000; bv[1006]=0x3FF0000000000000; ev[1006]=0x0000000000000001 1061 ops[1007]=7; av[1007]=0x3FF0000000000000; bv[1007]=0x3FF0000000000000; ev[1007]=0x0000000000000000 1062 ops[1008]=6; av[1008]=0x3FF0000000000000; bv[1008]=0x000FFFFFFFFFFFFF; ev[1008]=0x0000000000000000 1063 ops[1009]=7; av[1009]=0x3FF0000000000000; bv[1009]=0x000FFFFFFFFFFFFF; ev[1009]=0x0000000000000000 1064 ops[1010]=6; av[1010]=0x3FF0000000000000; bv[1010]=0x7FF0000000000000; ev[1010]=0x0000000000000000 1065 ops[1011]=7; av[1011]=0x3FF0000000000000; bv[1011]=0x7FF0000000000000; ev[1011]=0x0000000000000001 1066 ops[1012]=6; av[1012]=0x3FF0000000000000; bv[1012]=0x3FF8000000000000; ev[1012]=0x0000000000000000 1067 ops[1013]=7; av[1013]=0x3FF0000000000000; bv[1013]=0x3FF8000000000000; ev[1013]=0x0000000000000001 1068 ops[1014]=6; av[1014]=0xBFF0000000000000; bv[1014]=0x0000000000000000; ev[1014]=0x0000000000000000 1069 ops[1015]=7; av[1015]=0xBFF0000000000000; bv[1015]=0x0000000000000000; ev[1015]=0x0000000000000001 1070 ops[1016]=6; av[1016]=0xBFF0000000000000; bv[1016]=0xBFF0000000000000; ev[1016]=0x0000000000000001 1071 ops[1017]=7; av[1017]=0xBFF0000000000000; bv[1017]=0xBFF0000000000000; ev[1017]=0x0000000000000000 1072 ops[1018]=6; av[1018]=0xBFF0000000000000; bv[1018]=0x0010000000000000; ev[1018]=0x0000000000000000 1073 ops[1019]=7; av[1019]=0xBFF0000000000000; bv[1019]=0x0010000000000000; ev[1019]=0x0000000000000001 1074 ops[1020]=6; av[1020]=0xBFF0000000000000; bv[1020]=0xFFF0000000000000; ev[1020]=0x0000000000000000 1075 ops[1021]=7; av[1021]=0xBFF0000000000000; bv[1021]=0xFFF0000000000000; ev[1021]=0x0000000000000000 1076 ops[1022]=6; av[1022]=0xBFF0000000000000; bv[1022]=0x3FB999999999999A; ev[1022]=0x0000000000000000 1077 ops[1023]=7; av[1023]=0xBFF0000000000000; bv[1023]=0x3FB999999999999A; ev[1023]=0x0000000000000001 1078 ops[1024]=6; av[1024]=0x0000000000000001; bv[1024]=0x8000000000000000; ev[1024]=0x0000000000000000 1079 ops[1025]=7; av[1025]=0x0000000000000001; bv[1025]=0x8000000000000000; ev[1025]=0x0000000000000000 1080 ops[1026]=6; av[1026]=0x0000000000000001; bv[1026]=0x0000000000000001; ev[1026]=0x0000000000000001 1081 ops[1027]=7; av[1027]=0x0000000000000001; bv[1027]=0x0000000000000001; ev[1027]=0x0000000000000000 1082 ops[1028]=6; av[1028]=0x0000000000000001; bv[1028]=0x7FEFFFFFFFFFFFFF; ev[1028]=0x0000000000000000 1083 ops[1029]=7; av[1029]=0x0000000000000001; bv[1029]=0x7FEFFFFFFFFFFFFF; ev[1029]=0x0000000000000001 1084 ops[1030]=6; av[1030]=0x0000000000000001; bv[1030]=0x7FF8000000000000; ev[1030]=0x0000000000000000 1085 ops[1031]=7; av[1031]=0x0000000000000001; bv[1031]=0x7FF8000000000000; ev[1031]=0x0000000000000000 1086 ops[1032]=6; av[1032]=0x0000000000000001; bv[1032]=0x4340000000000002; ev[1032]=0x0000000000000000 1087 ops[1033]=7; av[1033]=0x0000000000000001; bv[1033]=0x4340000000000002; ev[1033]=0x0000000000000001 1088 ops[1034]=6; av[1034]=0x000FFFFFFFFFFFFF; bv[1034]=0x3FF0000000000000; ev[1034]=0x0000000000000000 1089 ops[1035]=7; av[1035]=0x000FFFFFFFFFFFFF; bv[1035]=0x3FF0000000000000; ev[1035]=0x0000000000000001 1090 ops[1036]=6; av[1036]=0x000FFFFFFFFFFFFF; bv[1036]=0x000FFFFFFFFFFFFF; ev[1036]=0x0000000000000001 1091 ops[1037]=7; av[1037]=0x000FFFFFFFFFFFFF; bv[1037]=0x000FFFFFFFFFFFFF; ev[1037]=0x0000000000000000 1092 ops[1038]=6; av[1038]=0x000FFFFFFFFFFFFF; bv[1038]=0x7FF0000000000000; ev[1038]=0x0000000000000000 1093 ops[1039]=7; av[1039]=0x000FFFFFFFFFFFFF; bv[1039]=0x7FF0000000000000; ev[1039]=0x0000000000000001 1094 return 0 1095} 1096 1097func f64_kat_fill_13(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 1098 ops[1040]=6; av[1040]=0x000FFFFFFFFFFFFF; bv[1040]=0x3FF8000000000000; ev[1040]=0x0000000000000000 1099 ops[1041]=7; av[1041]=0x000FFFFFFFFFFFFF; bv[1041]=0x3FF8000000000000; ev[1041]=0x0000000000000001 1100 ops[1042]=6; av[1042]=0x0010000000000000; bv[1042]=0x0000000000000000; ev[1042]=0x0000000000000000 1101 ops[1043]=7; av[1043]=0x0010000000000000; bv[1043]=0x0000000000000000; ev[1043]=0x0000000000000000 1102 ops[1044]=6; av[1044]=0x0010000000000000; bv[1044]=0xBFF0000000000000; ev[1044]=0x0000000000000000 1103 ops[1045]=7; av[1045]=0x0010000000000000; bv[1045]=0xBFF0000000000000; ev[1045]=0x0000000000000000 1104 ops[1046]=6; av[1046]=0x0010000000000000; bv[1046]=0x0010000000000000; ev[1046]=0x0000000000000001 1105 ops[1047]=7; av[1047]=0x0010000000000000; bv[1047]=0x0010000000000000; ev[1047]=0x0000000000000000 1106 ops[1048]=6; av[1048]=0x0010000000000000; bv[1048]=0xFFF0000000000000; ev[1048]=0x0000000000000000 1107 ops[1049]=7; av[1049]=0x0010000000000000; bv[1049]=0xFFF0000000000000; ev[1049]=0x0000000000000000 1108 ops[1050]=6; av[1050]=0x0010000000000000; bv[1050]=0x3FB999999999999A; ev[1050]=0x0000000000000000 1109 ops[1051]=7; av[1051]=0x0010000000000000; bv[1051]=0x3FB999999999999A; ev[1051]=0x0000000000000001 1110 ops[1052]=6; av[1052]=0x7FEFFFFFFFFFFFFF; bv[1052]=0x8000000000000000; ev[1052]=0x0000000000000000 1111 ops[1053]=7; av[1053]=0x7FEFFFFFFFFFFFFF; bv[1053]=0x8000000000000000; ev[1053]=0x0000000000000000 1112 ops[1054]=6; av[1054]=0x7FEFFFFFFFFFFFFF; bv[1054]=0x0000000000000001; ev[1054]=0x0000000000000000 1113 ops[1055]=7; av[1055]=0x7FEFFFFFFFFFFFFF; bv[1055]=0x0000000000000001; ev[1055]=0x0000000000000000 1114 ops[1056]=6; av[1056]=0x7FEFFFFFFFFFFFFF; bv[1056]=0x7FEFFFFFFFFFFFFF; ev[1056]=0x0000000000000001 1115 ops[1057]=7; av[1057]=0x7FEFFFFFFFFFFFFF; bv[1057]=0x7FEFFFFFFFFFFFFF; ev[1057]=0x0000000000000000 1116 ops[1058]=6; av[1058]=0x7FEFFFFFFFFFFFFF; bv[1058]=0x7FF8000000000000; ev[1058]=0x0000000000000000 1117 ops[1059]=7; av[1059]=0x7FEFFFFFFFFFFFFF; bv[1059]=0x7FF8000000000000; ev[1059]=0x0000000000000000 1118 ops[1060]=6; av[1060]=0x7FEFFFFFFFFFFFFF; bv[1060]=0x4340000000000002; ev[1060]=0x0000000000000000 1119 ops[1061]=7; av[1061]=0x7FEFFFFFFFFFFFFF; bv[1061]=0x4340000000000002; ev[1061]=0x0000000000000000 1120 ops[1062]=6; av[1062]=0x7FF0000000000000; bv[1062]=0x3FF0000000000000; ev[1062]=0x0000000000000000 1121 ops[1063]=7; av[1063]=0x7FF0000000000000; bv[1063]=0x3FF0000000000000; ev[1063]=0x0000000000000000 1122 ops[1064]=6; av[1064]=0x7FF0000000000000; bv[1064]=0x000FFFFFFFFFFFFF; ev[1064]=0x0000000000000000 1123 ops[1065]=7; av[1065]=0x7FF0000000000000; bv[1065]=0x000FFFFFFFFFFFFF; ev[1065]=0x0000000000000000 1124 ops[1066]=6; av[1066]=0x7FF0000000000000; bv[1066]=0x7FF0000000000000; ev[1066]=0x0000000000000001 1125 ops[1067]=7; av[1067]=0x7FF0000000000000; bv[1067]=0x7FF0000000000000; ev[1067]=0x0000000000000000 1126 ops[1068]=6; av[1068]=0x7FF0000000000000; bv[1068]=0x3FF8000000000000; ev[1068]=0x0000000000000000 1127 ops[1069]=7; av[1069]=0x7FF0000000000000; bv[1069]=0x3FF8000000000000; ev[1069]=0x0000000000000000 1128 ops[1070]=6; av[1070]=0xFFF0000000000000; bv[1070]=0x0000000000000000; ev[1070]=0x0000000000000000 1129 ops[1071]=7; av[1071]=0xFFF0000000000000; bv[1071]=0x0000000000000000; ev[1071]=0x0000000000000001 1130 ops[1072]=6; av[1072]=0xFFF0000000000000; bv[1072]=0xBFF0000000000000; ev[1072]=0x0000000000000000 1131 ops[1073]=7; av[1073]=0xFFF0000000000000; bv[1073]=0xBFF0000000000000; ev[1073]=0x0000000000000001 1132 ops[1074]=6; av[1074]=0xFFF0000000000000; bv[1074]=0x0010000000000000; ev[1074]=0x0000000000000000 1133 ops[1075]=7; av[1075]=0xFFF0000000000000; bv[1075]=0x0010000000000000; ev[1075]=0x0000000000000001 1134 ops[1076]=6; av[1076]=0xFFF0000000000000; bv[1076]=0xFFF0000000000000; ev[1076]=0x0000000000000001 1135 ops[1077]=7; av[1077]=0xFFF0000000000000; bv[1077]=0xFFF0000000000000; ev[1077]=0x0000000000000000 1136 ops[1078]=6; av[1078]=0xFFF0000000000000; bv[1078]=0x3FB999999999999A; ev[1078]=0x0000000000000000 1137 ops[1079]=7; av[1079]=0xFFF0000000000000; bv[1079]=0x3FB999999999999A; ev[1079]=0x0000000000000001 1138 ops[1080]=6; av[1080]=0x7FF8000000000000; bv[1080]=0x8000000000000000; ev[1080]=0x0000000000000000 1139 ops[1081]=7; av[1081]=0x7FF8000000000000; bv[1081]=0x8000000000000000; ev[1081]=0x0000000000000000 1140 ops[1082]=6; av[1082]=0x7FF8000000000000; bv[1082]=0x0000000000000001; ev[1082]=0x0000000000000000 1141 ops[1083]=7; av[1083]=0x7FF8000000000000; bv[1083]=0x0000000000000001; ev[1083]=0x0000000000000000 1142 ops[1084]=6; av[1084]=0x7FF8000000000000; bv[1084]=0x7FEFFFFFFFFFFFFF; ev[1084]=0x0000000000000000 1143 ops[1085]=7; av[1085]=0x7FF8000000000000; bv[1085]=0x7FEFFFFFFFFFFFFF; ev[1085]=0x0000000000000000 1144 ops[1086]=6; av[1086]=0x7FF8000000000000; bv[1086]=0x7FF8000000000000; ev[1086]=0x0000000000000000 1145 ops[1087]=7; av[1087]=0x7FF8000000000000; bv[1087]=0x7FF8000000000000; ev[1087]=0x0000000000000000 1146 ops[1088]=6; av[1088]=0x7FF8000000000000; bv[1088]=0x4340000000000002; ev[1088]=0x0000000000000000 1147 ops[1089]=7; av[1089]=0x7FF8000000000000; bv[1089]=0x4340000000000002; ev[1089]=0x0000000000000000 1148 ops[1090]=6; av[1090]=0x3FF8000000000000; bv[1090]=0x3FF0000000000000; ev[1090]=0x0000000000000000 1149 ops[1091]=7; av[1091]=0x3FF8000000000000; bv[1091]=0x3FF0000000000000; ev[1091]=0x0000000000000000 1150 ops[1092]=6; av[1092]=0x3FF8000000000000; bv[1092]=0x000FFFFFFFFFFFFF; ev[1092]=0x0000000000000000 1151 ops[1093]=7; av[1093]=0x3FF8000000000000; bv[1093]=0x000FFFFFFFFFFFFF; ev[1093]=0x0000000000000000 1152 ops[1094]=6; av[1094]=0x3FF8000000000000; bv[1094]=0x7FF0000000000000; ev[1094]=0x0000000000000000 1153 ops[1095]=7; av[1095]=0x3FF8000000000000; bv[1095]=0x7FF0000000000000; ev[1095]=0x0000000000000001 1154 ops[1096]=6; av[1096]=0x3FF8000000000000; bv[1096]=0x3FF8000000000000; ev[1096]=0x0000000000000001 1155 ops[1097]=7; av[1097]=0x3FF8000000000000; bv[1097]=0x3FF8000000000000; ev[1097]=0x0000000000000000 1156 ops[1098]=6; av[1098]=0x3FB999999999999A; bv[1098]=0x0000000000000000; ev[1098]=0x0000000000000000 1157 ops[1099]=7; av[1099]=0x3FB999999999999A; bv[1099]=0x0000000000000000; ev[1099]=0x0000000000000000 1158 ops[1100]=6; av[1100]=0x3FB999999999999A; bv[1100]=0xBFF0000000000000; ev[1100]=0x0000000000000000 1159 ops[1101]=7; av[1101]=0x3FB999999999999A; bv[1101]=0xBFF0000000000000; ev[1101]=0x0000000000000000 1160 ops[1102]=6; av[1102]=0x3FB999999999999A; bv[1102]=0x0010000000000000; ev[1102]=0x0000000000000000 1161 ops[1103]=7; av[1103]=0x3FB999999999999A; bv[1103]=0x0010000000000000; ev[1103]=0x0000000000000000 1162 ops[1104]=6; av[1104]=0x3FB999999999999A; bv[1104]=0xFFF0000000000000; ev[1104]=0x0000000000000000 1163 ops[1105]=7; av[1105]=0x3FB999999999999A; bv[1105]=0xFFF0000000000000; ev[1105]=0x0000000000000000 1164 ops[1106]=6; av[1106]=0x3FB999999999999A; bv[1106]=0x3FB999999999999A; ev[1106]=0x0000000000000001 1165 ops[1107]=7; av[1107]=0x3FB999999999999A; bv[1107]=0x3FB999999999999A; ev[1107]=0x0000000000000000 1166 ops[1108]=6; av[1108]=0x4340000000000002; bv[1108]=0x8000000000000000; ev[1108]=0x0000000000000000 1167 ops[1109]=7; av[1109]=0x4340000000000002; bv[1109]=0x8000000000000000; ev[1109]=0x0000000000000000 1168 ops[1110]=6; av[1110]=0x4340000000000002; bv[1110]=0x0000000000000001; ev[1110]=0x0000000000000000 1169 ops[1111]=7; av[1111]=0x4340000000000002; bv[1111]=0x0000000000000001; ev[1111]=0x0000000000000000 1170 ops[1112]=6; av[1112]=0x4340000000000002; bv[1112]=0x7FEFFFFFFFFFFFFF; ev[1112]=0x0000000000000000 1171 ops[1113]=7; av[1113]=0x4340000000000002; bv[1113]=0x7FEFFFFFFFFFFFFF; ev[1113]=0x0000000000000001 1172 ops[1114]=6; av[1114]=0x4340000000000002; bv[1114]=0x7FF8000000000000; ev[1114]=0x0000000000000000 1173 ops[1115]=7; av[1115]=0x4340000000000002; bv[1115]=0x7FF8000000000000; ev[1115]=0x0000000000000000 1174 ops[1116]=6; av[1116]=0x4340000000000002; bv[1116]=0x4340000000000002; ev[1116]=0x0000000000000001 1175 ops[1117]=7; av[1117]=0x4340000000000002; bv[1117]=0x4340000000000002; ev[1117]=0x0000000000000000 1176 ops[1118]=6; av[1118]=0x40A0500000000000; bv[1118]=0x7F035410F7EAED85; ev[1118]=0x0000000000000000 1177 ops[1119]=7; av[1119]=0x40A0500000000000; bv[1119]=0x7F035410F7EAED85; ev[1119]=0x0000000000000001 1178 return 0 1179} 1180 1181func f64_kat_fill_14(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 1182 ops[1120]=6; av[1120]=0xBFF2A549193E46C6; bv[1120]=0x7F1B8441BAB86487; ev[1120]=0x0000000000000000 1183 ops[1121]=7; av[1121]=0xBFF2A549193E46C6; bv[1121]=0x7F1B8441BAB86487; ev[1121]=0x0000000000000001 1184 ops[1122]=6; av[1122]=0x4086000000000000; bv[1122]=0x3FB6FC6EC04449BD; ev[1122]=0x0000000000000000 1185 ops[1123]=7; av[1123]=0x4086000000000000; bv[1123]=0x3FB6FC6EC04449BD; ev[1123]=0x0000000000000000 1186 ops[1124]=6; av[1124]=0x5EDA61B2C8108CB4; bv[1124]=0xBFDBD2B755B43EF2; ev[1124]=0x0000000000000000 1187 ops[1125]=7; av[1125]=0x5EDA61B2C8108CB4; bv[1125]=0xBFDBD2B755B43EF2; ev[1125]=0x0000000000000000 1188 ops[1126]=6; av[1126]=0x8006E86D250DC6B4; bv[1126]=0x3FE8FFCAFFAC9C44; ev[1126]=0x0000000000000000 1189 ops[1127]=7; av[1127]=0x8006E86D250DC6B4; bv[1127]=0x3FE8FFCAFFAC9C44; ev[1127]=0x0000000000000001 1190 ops[1128]=6; av[1128]=0x746DBC4BD296E4C5; bv[1128]=0x0361A000B6375A86; ev[1128]=0x0000000000000000 1191 ops[1129]=7; av[1129]=0x746DBC4BD296E4C5; bv[1129]=0x0361A000B6375A86; ev[1129]=0x0000000000000000 1192 ops[1130]=6; av[1130]=0x0007107C27DE0CF7; bv[1130]=0x0005415221DC2630; ev[1130]=0x0000000000000000 1193 ops[1131]=7; av[1131]=0x0007107C27DE0CF7; bv[1131]=0x0005415221DC2630; ev[1131]=0x0000000000000000 1194 ops[1132]=6; av[1132]=0x2773B87655CE8037; bv[1132]=0x400E1D68A485E061; ev[1132]=0x0000000000000000 1195 ops[1133]=7; av[1133]=0x2773B87655CE8037; bv[1133]=0x400E1D68A485E061; ev[1133]=0x0000000000000001 1196 ops[1134]=6; av[1134]=0xC2E87D4960A86D01; bv[1134]=0x7FBBF6704E6D263E; ev[1134]=0x0000000000000000 1197 ops[1135]=7; av[1135]=0xC2E87D4960A86D01; bv[1135]=0x7FBBF6704E6D263E; ev[1135]=0x0000000000000001 1198 ops[1136]=6; av[1136]=0xE629BE133E2D7AAB; bv[1136]=0x84CAE04CBC4A7334; ev[1136]=0x0000000000000000 1199 ops[1137]=7; av[1137]=0xE629BE133E2D7AAB; bv[1137]=0x84CAE04CBC4A7334; ev[1137]=0x0000000000000001 1200 ops[1138]=6; av[1138]=0x82F79A9D08936962; bv[1138]=0x8C715D74CD72A68E; ev[1138]=0x0000000000000000 1201 ops[1139]=7; av[1139]=0x82F79A9D08936962; bv[1139]=0x8C715D74CD72A68E; ev[1139]=0x0000000000000000 1202 ops[1140]=6; av[1140]=0x83C8FF2F7D7B7F44; bv[1140]=0x7F70AF99F04D0D61; ev[1140]=0x0000000000000000 1203 ops[1141]=7; av[1141]=0x83C8FF2F7D7B7F44; bv[1141]=0x7F70AF99F04D0D61; ev[1141]=0x0000000000000001 1204 ops[1142]=6; av[1142]=0x800D40457B647AC4; bv[1142]=0x409A100000000000; ev[1142]=0x0000000000000000 1205 ops[1143]=7; av[1143]=0x800D40457B647AC4; bv[1143]=0x409A100000000000; ev[1143]=0x0000000000000001 1206 ops[1144]=6; av[1144]=0xBFEB6F96C980265C; bv[1144]=0x000F259245B8A7B6; ev[1144]=0x0000000000000000 1207 ops[1145]=7; av[1145]=0xBFEB6F96C980265C; bv[1145]=0x000F259245B8A7B6; ev[1145]=0x0000000000000001 1208 ops[1146]=6; av[1146]=0x000101AC750E4E18; bv[1146]=0xFF1266BC4051C231; ev[1146]=0x0000000000000000 1209 ops[1147]=7; av[1147]=0x000101AC750E4E18; bv[1147]=0xFF1266BC4051C231; ev[1147]=0x0000000000000000 1210 ops[1148]=8; av[1148]=0x0000000000000000; bv[1148]=0x0000000000000000; ev[1148]=0x0000000000000000 1211 ops[1149]=8; av[1149]=0x0000000000000001; bv[1149]=0x0000000000000000; ev[1149]=0x3FF0000000000000 1212 ops[1150]=8; av[1150]=0xFFFFFFFFFFFFFFFF; bv[1150]=0x0000000000000000; ev[1150]=0xBFF0000000000000 1213 ops[1151]=8; av[1151]=0x0000000000000002; bv[1151]=0x0000000000000000; ev[1151]=0x4000000000000000 1214 ops[1152]=8; av[1152]=0xFFFFFFFFFFFFFFFE; bv[1152]=0x0000000000000000; ev[1152]=0xC000000000000000 1215 ops[1153]=8; av[1153]=0x000000000000000A; bv[1153]=0x0000000000000000; ev[1153]=0x4024000000000000 1216 ops[1154]=8; av[1154]=0xFFFFFFFFFFFFFFF6; bv[1154]=0x0000000000000000; ev[1154]=0xC024000000000000 1217 ops[1155]=8; av[1155]=0x0010000000000000; bv[1155]=0x0000000000000000; ev[1155]=0x4330000000000000 1218 ops[1156]=8; av[1156]=0x0020000000000000; bv[1156]=0x0000000000000000; ev[1156]=0x4340000000000000 1219 ops[1157]=8; av[1157]=0x0020000000000001; bv[1157]=0x0000000000000000; ev[1157]=0x4340000000000000 1220 ops[1158]=8; av[1158]=0x0020000000000003; bv[1158]=0x0000000000000000; ev[1158]=0x4340000000000002 1221 ops[1159]=8; av[1159]=0xFFDFFFFFFFFFFFFF; bv[1159]=0x0000000000000000; ev[1159]=0xC340000000000000 1222 ops[1160]=8; av[1160]=0x4000000000003039; bv[1160]=0x0000000000000000; ev[1160]=0x43D000000000000C 1223 ops[1161]=8; av[1161]=0xBFFFFFFFFFFFFC2F; bv[1161]=0x0000000000000000; ev[1161]=0xC3D0000000000001 1224 ops[1162]=8; av[1162]=0x7FFFFFFFFFFFFFFF; bv[1162]=0x0000000000000000; ev[1162]=0x43E0000000000000 1225 ops[1163]=8; av[1163]=0x8000000000000000; bv[1163]=0x0000000000000000; ev[1163]=0xC3E0000000000000 1226 ops[1164]=8; av[1164]=0x0DE0B6B3A763FFFF; bv[1164]=0x0000000000000000; ev[1164]=0x43ABC16D674EC800 1227 ops[1165]=8; av[1165]=0xF8E6D7C2249BB6F7; bv[1165]=0x0000000000000000; ev[1165]=0xC39C64A0F76D9124 1228 ops[1166]=8; av[1166]=0xAA67008C8E46A619; bv[1166]=0x0000000000000000; ev[1166]=0xC3D5663FDCDC6E56 1229 ops[1167]=8; av[1167]=0xED1095FF09D69C95; bv[1167]=0x0000000000000000; ev[1167]=0xC3B2EF6A00F62963 1230 ops[1168]=8; av[1168]=0x70AF9415A55FC84A; bv[1168]=0x0000000000000000; ev[1168]=0x43DC2BE5056957F2 1231 ops[1169]=8; av[1169]=0x04F850059F7194F8; bv[1169]=0x0000000000000000; ev[1169]=0x4393E140167DC654 1232 ops[1170]=8; av[1170]=0x5626491C32C3C487; bv[1170]=0x0000000000000000; ev[1170]=0x43D58992470CB0F1 1233 ops[1171]=8; av[1171]=0x2D9BE998D8EB6C97; bv[1171]=0x0000000000000000; ev[1171]=0x43C6CDF4CC6C75B6 1234 ops[1172]=8; av[1172]=0x4754DCAD866DD67E; bv[1172]=0x0000000000000000; ev[1172]=0x43D1D5372B619B76 1235 ops[1173]=8; av[1173]=0x0706058F9C68DC7C; bv[1173]=0x0000000000000000; ev[1173]=0x439C18163E71A372 1236 ops[1174]=8; av[1174]=0x297EDF005BDCD06E; bv[1174]=0x0000000000000000; ev[1174]=0x43C4BF6F802DEE68 1237 ops[1175]=8; av[1175]=0x5C72785B8C3AFDBD; bv[1175]=0x0000000000000000; ev[1175]=0x43D71C9E16E30EBF 1238 ops[1176]=8; av[1176]=0xC557A4285A35148E; bv[1176]=0x0000000000000000; ev[1176]=0xC3CD542DEBD2E576 1239 ops[1177]=8; av[1177]=0x3B3E7E818FA65A6A; bv[1177]=0x0000000000000000; ev[1177]=0x43CD9F3F40C7D32D 1240 ops[1178]=8; av[1178]=0x6E44B643BE3AF7AB; bv[1178]=0x0000000000000000; ev[1178]=0x43DB912D90EF8EBE 1241 ops[1179]=8; av[1179]=0x0D4C7AE7F168C58C; bv[1179]=0x0000000000000000; ev[1179]=0x43AA98F5CFE2D18B 1242 ops[1180]=9; av[1180]=0x0000000000000000; bv[1180]=0x0000000000000000; ev[1180]=0x0000000000000000 1243 ops[1181]=9; av[1181]=0x8000000000000000; bv[1181]=0x0000000000000000; ev[1181]=0x0000000080000000 1244 ops[1182]=9; av[1182]=0x3FF0000000000000; bv[1182]=0x0000000000000000; ev[1182]=0x000000003F800000 1245 ops[1183]=9; av[1183]=0xBFF0000000000000; bv[1183]=0x0000000000000000; ev[1183]=0x00000000BF800000 1246 ops[1184]=9; av[1184]=0x0000000000000001; bv[1184]=0x0000000000000000; ev[1184]=0x0000000000000000 1247 ops[1185]=9; av[1185]=0x000FFFFFFFFFFFFF; bv[1185]=0x0000000000000000; ev[1185]=0x0000000000000000 1248 ops[1186]=9; av[1186]=0x0010000000000000; bv[1186]=0x0000000000000000; ev[1186]=0x0000000000000000 1249 ops[1187]=9; av[1187]=0x7FEFFFFFFFFFFFFF; bv[1187]=0x0000000000000000; ev[1187]=0x000000007F800000 1250 ops[1188]=9; av[1188]=0x7FF0000000000000; bv[1188]=0x0000000000000000; ev[1188]=0x000000007F800000 1251 ops[1189]=9; av[1189]=0xFFF0000000000000; bv[1189]=0x0000000000000000; ev[1189]=0x00000000FF800000 1252 ops[1190]=9; av[1190]=0x7FF8000000000000; bv[1190]=0x0000000000000000; ev[1190]=0x000000007FC00000 1253 ops[1191]=9; av[1191]=0x3FF8000000000000; bv[1191]=0x0000000000000000; ev[1191]=0x000000003FC00000 1254 ops[1192]=9; av[1192]=0x3FB999999999999A; bv[1192]=0x0000000000000000; ev[1192]=0x000000003DCCCCCD 1255 ops[1193]=9; av[1193]=0x4340000000000002; bv[1193]=0x0000000000000000; ev[1193]=0x000000005A000000 1256 ops[1194]=9; av[1194]=0x3FF0000010000000; bv[1194]=0x0000000000000000; ev[1194]=0x000000003F800000 1257 ops[1195]=9; av[1195]=0x3FF0000008000000; bv[1195]=0x0000000000000000; ev[1195]=0x000000003F800000 1258 ops[1196]=9; av[1196]=0x47EFFFFFE54DAFF8; bv[1196]=0x0000000000000000; ev[1196]=0x000000007F7FFFFF 1259 ops[1197]=9; av[1197]=0x47F074F8C4D3CD7B; bv[1197]=0x0000000000000000; ev[1197]=0x000000007F800000 1260 ops[1198]=9; av[1198]=0x37A16C262777579C; bv[1198]=0x0000000000000000; ev[1198]=0x00000000000116C2 1261 ops[1199]=9; av[1199]=0x3696D601AD376AB9; bv[1199]=0x0000000000000000; ev[1199]=0x0000000000000001 1262 return 0 1263} 1264 1265func f64_kat_fill_15(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 1266 ops[1200]=9; av[1200]=0x368FF868BF4D956A; bv[1200]=0x0000000000000000; ev[1200]=0x0000000000000000 1267 ops[1201]=9; av[1201]=0xB80FFFFFFF9FDBA8; bv[1201]=0x0000000000000000; ev[1201]=0x0000000080800000 1268 ops[1202]=9; av[1202]=0x3FEC958314DD6231; bv[1202]=0x0000000000000000; ev[1202]=0x000000003F64AC19 1269 ops[1203]=9; av[1203]=0xBFC12B0C5882A58E; bv[1203]=0x0000000000000000; ev[1203]=0x00000000BE095863 1270 ops[1204]=9; av[1204]=0x83C3F78913F3AEDC; bv[1204]=0x0000000000000000; ev[1204]=0x0000000080000000 1271 ops[1205]=9; av[1205]=0x04EE55FF1DD726FE; bv[1205]=0x0000000000000000; ev[1205]=0x0000000000000000 1272 ops[1206]=9; av[1206]=0x000EC21D7FC24D9E; bv[1206]=0x0000000000000000; ev[1206]=0x0000000000000000 1273 ops[1207]=9; av[1207]=0x409DB80000000000; bv[1207]=0x0000000000000000; ev[1207]=0x0000000044EDC000 1274 ops[1208]=9; av[1208]=0x3FF0A73730E202B6; bv[1208]=0x0000000000000000; ev[1208]=0x000000003F8539BA 1275 ops[1209]=9; av[1209]=0x80105B57BABB5BE4; bv[1209]=0x0000000000000000; ev[1209]=0x0000000080000000 1276 ops[1210]=9; av[1210]=0x50B5AF5E14877D72; bv[1210]=0x0000000000000000; ev[1210]=0x000000007F800000 1277 ops[1211]=9; av[1211]=0x3FB12B214FCAB625; bv[1211]=0x0000000000000000; ev[1211]=0x000000003D89590A 1278 ops[1212]=9; av[1212]=0x4063280000000000; bv[1212]=0x0000000000000000; ev[1212]=0x0000000043194000 1279 ops[1213]=9; av[1213]=0xFFD6ED5F51986BC6; bv[1213]=0x0000000000000000; ev[1213]=0x00000000FF800000 1280 ops[1214]=9; av[1214]=0x7FD6D895DE442DF1; bv[1214]=0x0000000000000000; ev[1214]=0x000000007F800000 1281 ops[1215]=9; av[1215]=0x800D43EEB46B5CF0; bv[1215]=0x0000000000000000; ev[1215]=0x0000000080000000 1282 ops[1216]=9; av[1216]=0x02AB17DCB4228564; bv[1216]=0x0000000000000000; ev[1216]=0x0000000000000000 1283 return 0 1284} 1285 1286func f64_kat_fill_all(ops: *i64, av: *i64, bv: *i64, ev: *i64) -> i64 { 1287 f64_kat_fill_0(ops, av, bv, ev) 1288 f64_kat_fill_1(ops, av, bv, ev) 1289 f64_kat_fill_2(ops, av, bv, ev) 1290 f64_kat_fill_3(ops, av, bv, ev) 1291 f64_kat_fill_4(ops, av, bv, ev) 1292 f64_kat_fill_5(ops, av, bv, ev) 1293 f64_kat_fill_6(ops, av, bv, ev) 1294 f64_kat_fill_7(ops, av, bv, ev) 1295 f64_kat_fill_8(ops, av, bv, ev) 1296 f64_kat_fill_9(ops, av, bv, ev) 1297 f64_kat_fill_10(ops, av, bv, ev) 1298 f64_kat_fill_11(ops, av, bv, ev) 1299 f64_kat_fill_12(ops, av, bv, ev) 1300 f64_kat_fill_13(ops, av, bv, ev) 1301 f64_kat_fill_14(ops, av, bv, ev) 1302 f64_kat_fill_15(ops, av, bv, ev) 1303 return 1217 1304}