public static void Twice(uint[] x, uint[] z)
{
if (Nat.ShiftUpBit(12, x, 0u, z) != 0u || (z[11] == 4294967295u && Nat.Gte(12, z, SecP384R1Field.P)))
{
SecP384R1Field.AddPInvTo(z);
}
}
public static void AddOne(uint[] x, uint[] z)
{
if (Nat.Inc(12, x, z) != 0u || (z[11] == 4294967295u && Nat.Gte(12, z, SecP384R1Field.P)))
{
SecP384R1Field.AddPInvTo(z);
}
}
public static void Reduce32(uint x, uint[] z)
{
long num = 0L;
if (x != 0u)
{
long num2 = (long)((ulong)x);
num += (long)((ulong)z[0] + (ulong)num2);
z[0] = (uint)num;
num >>= 32;
num += (long)((ulong)z[1] - (ulong)num2);
z[1] = (uint)num;
num >>= 32;
if (num != 0L)
{
num += (long)((ulong)z[2]);
z[2] = (uint)num;
num >>= 32;
}
num += (long)((ulong)z[3] + (ulong)num2);
z[3] = (uint)num;
num >>= 32;
num += (long)((ulong)z[4] + (ulong)num2);
z[4] = (uint)num;
num >>= 32;
}
if ((num != 0L && Nat.IncAt(12, z, 5) != 0u) || (z[11] == 4294967295u && Nat.Gte(12, z, SecP384R1Field.P)))
{
SecP384R1Field.AddPInvTo(z);
}
}