Lines Matching refs:val
15 for val in iterable:
16 res ^= val
108 def print_riscv_const(v, bits_per_long, name, val, desc): argument
125 val = G - (1 << n)
128 val <<= bits_per_long - n
130 print_riscv_const(v, bits_per_long, 'barrett_reduction_const_2', val, desc)
228 val = div(1 << (63+n), G)
231 val = (val << 1) - (1 << 64)
233 mults.append({ 'val': val, 'desc': desc })
235 val = G - (1 << n)
238 assert (val & 1) != 0 # The x^0 term should always be nonzero.
239 val >>= 1
243 val <<= pow_of_x
245 mults.append({ 'val': val, 'desc': desc })