The function toMontgomery translates a field element into the Montgomery domain.
Preconditions: 0 ≤ eval arg1 < m Postconditions: eval (from_montgomery out1) mod m = eval arg1 mod m 0 ≤ eval out1 < m
pub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDomainFieldElement) voidpub fn toMontgomery(out1: *MontgomeryDomainFieldElement, arg1: NonMontgomeryDomainFieldElement) void {
@setRuntimeSafety(mode == .debug);
const x1 = (arg1[1]);
const x2 = (arg1[2]);
const x3 = (arg1[3]);
const x4 = (arg1[0]);
var x5: u64 = undefined;
var x6: u64 = undefined;
mulxU64(&x5, &x6, x4, 0x7a2000e90a1);
var x7: u64 = undefined;
var x8: u1 = undefined;
addcarryxU64(&x7, &x8, 0x0, x6, x4);
var x9: u64 = undefined;
var x10: u64 = undefined;
mulxU64(&x9, &x10, x5, 0xd838091dd2253531);
var x11: u64 = undefined;
var x12: u64 = undefined;
mulxU64(&x11, &x12, x9, 0xffffffffffffffff);
var x13: u64 = undefined;
var x14: u64 = undefined;
mulxU64(&x13, &x14, x9, 0xffffffffffffffff);
var x15: u64 = undefined;
var x16: u64 = undefined;
mulxU64(&x15, &x16, x9, 0xffffffffffffffff);
var x17: u64 = undefined;
var x18: u64 = undefined;
mulxU64(&x17, &x18, x9, 0xfffffffefffffc2f);
var x19: u64 = undefined;
var x20: u1 = undefined;
addcarryxU64(&x19, &x20, 0x0, x18, x15);
var x21: u64 = undefined;
var x22: u1 = undefined;
addcarryxU64(&x21, &x22, x20, x16, x13);
var x23: u64 = undefined;
var x24: u1 = undefined;
addcarryxU64(&x23, &x24, x22, x14, x11);
var x25: u64 = undefined;
var x26: u1 = undefined;
addcarryxU64(&x25, &x26, 0x0, x5, x17);
var x27: u64 = undefined;
var x28: u1 = undefined;
addcarryxU64(&x27, &x28, x26, x7, x19);
var x29: u64 = undefined;
var x30: u1 = undefined;
addcarryxU64(&x29, &x30, x28, @as(u64, x8), x21);
var x31: u64 = undefined;
var x32: u1 = undefined;
addcarryxU64(&x31, &x32, x30, 0x0, x23);
var x33: u64 = undefined;
var x34: u1 = undefined;
addcarryxU64(&x33, &x34, x32, 0x0, (@as(u64, x24) + x12));
var x35: u64 = undefined;
var x36: u64 = undefined;
mulxU64(&x35, &x36, x1, 0x7a2000e90a1);
var x37: u64 = undefined;
var x38: u1 = undefined;
addcarryxU64(&x37, &x38, 0x0, x36, x1);
var x39: u64 = undefined;
var x40: u1 = undefined;
addcarryxU64(&x39, &x40, 0x0, x27, x35);
var x41: u64 = undefined;
var x42: u1 = undefined;
addcarryxU64(&x41, &x42, x40, x29, x37);
var x43: u64 = undefined;
var x44: u1 = undefined;
addcarryxU64(&x43, &x44, x42, x31, @as(u64, x38));
var x45: u64 = undefined;
var x46: u1 = undefined;
addcarryxU64(&x45, &x46, x44, x33, 0x0);
var x47: u64 = undefined;
var x48: u64 = undefined;
mulxU64(&x47, &x48, x39, 0xd838091dd2253531);
var x49: u64 = undefined;
var x50: u64 = undefined;
mulxU64(&x49, &x50, x47, 0xffffffffffffffff);
var x51: u64 = undefined;
var x52: u64 = undefined;
mulxU64(&x51, &x52, x47, 0xffffffffffffffff);
var x53: u64 = undefined;
var x54: u64 = undefined;
mulxU64(&x53, &x54, x47, 0xffffffffffffffff);
var x55: u64 = undefined;
var x56: u64 = undefined;
mulxU64(&x55, &x56, x47, 0xfffffffefffffc2f);
var x57: u64 = undefined;
var x58: u1 = undefined;
addcarryxU64(&x57, &x58, 0x0, x56, x53);
var x59: u64 = undefined;
var x60: u1 = undefined;
addcarryxU64(&x59, &x60, x58, x54, x51);
var x61: u64 = undefined;
var x62: u1 = undefined;
addcarryxU64(&x61, &x62, x60, x52, x49);
var x63: u64 = undefined;
var x64: u1 = undefined;
addcarryxU64(&x63, &x64, 0x0, x39, x55);
var x65: u64 = undefined;
var x66: u1 = undefined;
addcarryxU64(&x65, &x66, x64, x41, x57);
var x67: u64 = undefined;
var x68: u1 = undefined;
addcarryxU64(&x67, &x68, x66, x43, x59);
var x69: u64 = undefined;
var x70: u1 = undefined;
addcarryxU64(&x69, &x70, x68, x45, x61);
var x71: u64 = undefined;
var x72: u1 = undefined;
addcarryxU64(&x71, &x72, x70, (@as(u64, x46) + @as(u64, x34)), (@as(u64, x62) + x50));
var x73: u64 = undefined;
var x74: u64 = undefined;
mulxU64(&x73, &x74, x2, 0x7a2000e90a1);
var x75: u64 = undefined;
var x76: u1 = undefined;
addcarryxU64(&x75, &x76, 0x0, x74, x2);
var x77: u64 = undefined;
var x78: u1 = undefined;
addcarryxU64(&x77, &x78, 0x0, x65, x73);
var x79: u64 = undefined;
var x80: u1 = undefined;
addcarryxU64(&x79, &x80, x78, x67, x75);
var x81: u64 = undefined;
var x82: u1 = undefined;
addcarryxU64(&x81, &x82, x80, x69, @as(u64, x76));
var x83: u64 = undefined;
var x84: u1 = undefined;
addcarryxU64(&x83, &x84, x82, x71, 0x0);
var x85: u64 = undefined;
var x86: u64 = undefined;
mulxU64(&x85, &x86, x77, 0xd838091dd2253531);
var x87: u64 = undefined;
var x88: u64 = undefined;
mulxU64(&x87, &x88, x85, 0xffffffffffffffff);
var x89: u64 = undefined;
var x90: u64 = undefined;
mulxU64(&x89, &x90, x85, 0xffffffffffffffff);
var x91: u64 = undefined;
var x92: u64 = undefined;
mulxU64(&x91, &x92, x85, 0xffffffffffffffff);
var x93: u64 = undefined;
var x94: u64 = undefined;
mulxU64(&x93, &x94, x85, 0xfffffffefffffc2f);
var x95: u64 = undefined;
var x96: u1 = undefined;
addcarryxU64(&x95, &x96, 0x0, x94, x91);
var x97: u64 = undefined;
var x98: u1 = undefined;
addcarryxU64(&x97, &x98, x96, x92, x89);
var x99: u64 = undefined;
var x100: u1 = undefined;
addcarryxU64(&x99, &x100, x98, x90, x87);
var x101: u64 = undefined;
var x102: u1 = undefined;
addcarryxU64(&x101, &x102, 0x0, x77, x93);
var x103: u64 = undefined;
var x104: u1 = undefined;
addcarryxU64(&x103, &x104, x102, x79, x95);
var x105: u64 = undefined;
var x106: u1 = undefined;
addcarryxU64(&x105, &x106, x104, x81, x97);
var x107: u64 = undefined;
var x108: u1 = undefined;
addcarryxU64(&x107, &x108, x106, x83, x99);
var x109: u64 = undefined;
var x110: u1 = undefined;
addcarryxU64(&x109, &x110, x108, (@as(u64, x84) + @as(u64, x72)), (@as(u64, x100) + x88));
var x111: u64 = undefined;
var x112: u64 = undefined;
mulxU64(&x111, &x112, x3, 0x7a2000e90a1);
var x113: u64 = undefined;
var x114: u1 = undefined;
addcarryxU64(&x113, &x114, 0x0, x112, x3);
var x115: u64 = undefined;
var x116: u1 = undefined;
addcarryxU64(&x115, &x116, 0x0, x103, x111);
var x117: u64 = undefined;
var x118: u1 = undefined;
addcarryxU64(&x117, &x118, x116, x105, x113);
var x119: u64 = undefined;
var x120: u1 = undefined;
addcarryxU64(&x119, &x120, x118, x107, @as(u64, x114));
var x121: u64 = undefined;
var x122: u1 = undefined;
addcarryxU64(&x121, &x122, x120, x109, 0x0);
var x123: u64 = undefined;
var x124: u64 = undefined;
mulxU64(&x123, &x124, x115, 0xd838091dd2253531);
var x125: u64 = undefined;
var x126: u64 = undefined;
mulxU64(&x125, &x126, x123, 0xffffffffffffffff);
var x127: u64 = undefined;
var x128: u64 = undefined;
mulxU64(&x127, &x128, x123, 0xffffffffffffffff);
var x129: u64 = undefined;
var x130: u64 = undefined;
mulxU64(&x129, &x130, x123, 0xffffffffffffffff);
var x131: u64 = undefined;
var x132: u64 = undefined;
mulxU64(&x131, &x132, x123, 0xfffffffefffffc2f);
var x133: u64 = undefined;
var x134: u1 = undefined;
addcarryxU64(&x133, &x134, 0x0, x132, x129);
var x135: u64 = undefined;
var x136: u1 = undefined;
addcarryxU64(&x135, &x136, x134, x130, x127);
var x137: u64 = undefined;
var x138: u1 = undefined;
addcarryxU64(&x137, &x138, x136, x128, x125);
var x139: u64 = undefined;
var x140: u1 = undefined;
addcarryxU64(&x139, &x140, 0x0, x115, x131);
var x141: u64 = undefined;
var x142: u1 = undefined;
addcarryxU64(&x141, &x142, x140, x117, x133);
var x143: u64 = undefined;
var x144: u1 = undefined;
addcarryxU64(&x143, &x144, x142, x119, x135);
var x145: u64 = undefined;
var x146: u1 = undefined;
addcarryxU64(&x145, &x146, x144, x121, x137);
var x147: u64 = undefined;
var x148: u1 = undefined;
addcarryxU64(&x147, &x148, x146, (@as(u64, x122) + @as(u64, x110)), (@as(u64, x138) + x126));
var x149: u64 = undefined;
var x150: u1 = undefined;
subborrowxU64(&x149, &x150, 0x0, x141, 0xfffffffefffffc2f);
var x151: u64 = undefined;
var x152: u1 = undefined;
subborrowxU64(&x151, &x152, x150, x143, 0xffffffffffffffff);
var x153: u64 = undefined;
var x154: u1 = undefined;
subborrowxU64(&x153, &x154, x152, x145, 0xffffffffffffffff);
var x155: u64 = undefined;
var x156: u1 = undefined;
subborrowxU64(&x155, &x156, x154, x147, 0xffffffffffffffff);
var x157: u64 = undefined;
var x158: u1 = undefined;
subborrowxU64(&x157, &x158, x156, @as(u64, x148), 0x0);
var x159: u64 = undefined;
cmovznzU64(&x159, x158, x149, x141);
var x160: u64 = undefined;
cmovznzU64(&x160, x158, x151, x143);
var x161: u64 = undefined;
cmovznzU64(&x161, x158, x153, x145);
var x162: u64 = undefined;
cmovznzU64(&x162, x158, x155, x147);
out1[0] = x159;
out1[1] = x160;
out1[2] = x161;
out1[3] = x162;
}