public static void half(int[] x, int[] z) { int x16 = x[16]; int c = Nat.shiftDownBit(16, x, x16, z); z[16] = (x16 >>> 1) | (c >>> 23); }
public static void half(int[] x, int[] z) { int x16 = x[16]; int c = Nat.shiftDownBit(16, x, x16, z); z[16] = (x16 >>> 1) | (c >>> 23); }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { int c = Nat256.add(x, P, z); Nat.shiftDownBit(8, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { Nat256.add(x, P, z); Nat.shiftDownBit(8, z, 0); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(7, x, 0, z); } else { int c = Nat224.add(x, P, z); Nat.shiftDownBit(7, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(5, x, 0, z); } else { int c = Nat160.add(x, P, z); Nat.shiftDownBit(5, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { int c = Nat256.add(x, P, z); Nat.shiftDownBit(8, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(6, x, 0, z); } else { int c = Nat192.add(x, P, z); Nat.shiftDownBit(6, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { int c = Nat256.add(x, P, z); Nat.shiftDownBit(8, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(6, x, 0, z); } else { int c = Nat192.add(x, P, z); Nat.shiftDownBit(6, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(12, x, 0, z); } else { int c = Nat.add(12, x, P, z); Nat.shiftDownBit(12, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(5, x, 0, z); } else { int c = Nat160.add(x, P, z); Nat.shiftDownBit(5, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(4, x, 0, z); } else { int c = Nat128.add(x, P, z); Nat.shiftDownBit(4, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(7, x, 0, z); } else { int c = Nat224.add(x, P, z); Nat.shiftDownBit(7, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { int c = Nat256.add(x, P, z); Nat.shiftDownBit(8, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(12, x, 0, z); } else { int c = Nat.add(12, x, P, z); Nat.shiftDownBit(12, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(8, x, 0, z); } else { int c = Nat256.add(x, P, z); Nat.shiftDownBit(8, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(6, x, 0, z); } else { int c = Nat192.add(x, P, z); Nat.shiftDownBit(6, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(7, x, 0, z); } else { int c = Nat224.add(x, P, z); Nat.shiftDownBit(7, z, c); } }
public static void half(int[] x, int[] z) { if ((x[0] & 1) == 0) { Nat.shiftDownBit(7, x, 0, z); } else { int c = Nat224.add(x, P, z); Nat.shiftDownBit(7, z, c); } }