diff options
19 files changed, 28 insertions, 28 deletions
diff --git a/src/Specific/montgomery32_2e382m105/feaddDisplay.log b/src/Specific/montgomery32_2e382m105/feaddDisplay.log index de5e94157..640835bc3 100644 --- a/src/Specific/montgomery32_2e382m105/feaddDisplay.log +++ b/src/Specific/montgomery32_2e382m105/feaddDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x76, uint8_t x77 = addcarryx_u32(x74, x23, x45); uint32_t x79, uint8_t x80 = addcarryx_u32(x77, x25, x47); uint32_t x82, uint8_t x83 = addcarryx_u32(x80, x24, x46); - uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, Const 4294967191); + uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, 0xffffff97); uint32_t x88, uint8_t x89 = subborrow_u32(x86, x52, 0xffffffff); uint32_t x91, uint8_t x92 = subborrow_u32(x89, x55, 0xffffffff); uint32_t x94, uint8_t x95 = subborrow_u32(x92, x58, 0xffffffff); diff --git a/src/Specific/montgomery32_2e383m187/feaddDisplay.log b/src/Specific/montgomery32_2e383m187/feaddDisplay.log index c682c0f9f..8cc89ef2d 100644 --- a/src/Specific/montgomery32_2e383m187/feaddDisplay.log +++ b/src/Specific/montgomery32_2e383m187/feaddDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x76, uint8_t x77 = addcarryx_u32(x74, x23, x45); uint32_t x79, uint8_t x80 = addcarryx_u32(x77, x25, x47); uint32_t x82, uint8_t x83 = addcarryx_u32(x80, x24, x46); - uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, Const 4294967109); + uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, 0xffffff45); uint32_t x88, uint8_t x89 = subborrow_u32(x86, x52, 0xffffffff); uint32_t x91, uint8_t x92 = subborrow_u32(x89, x55, 0xffffffff); uint32_t x94, uint8_t x95 = subborrow_u32(x92, x58, 0xffffffff); diff --git a/src/Specific/montgomery32_2e383m31/feaddDisplay.log b/src/Specific/montgomery32_2e383m31/feaddDisplay.log index a0150accc..2fe4e4e2e 100644 --- a/src/Specific/montgomery32_2e383m31/feaddDisplay.log +++ b/src/Specific/montgomery32_2e383m31/feaddDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x76, uint8_t x77 = addcarryx_u32(x74, x23, x45); uint32_t x79, uint8_t x80 = addcarryx_u32(x77, x25, x47); uint32_t x82, uint8_t x83 = addcarryx_u32(x80, x24, x46); - uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, Const 4294967265); + uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, 0xffffffe1); uint32_t x88, uint8_t x89 = subborrow_u32(x86, x52, 0xffffffff); uint32_t x91, uint8_t x92 = subborrow_u32(x89, x55, 0xffffffff); uint32_t x94, uint8_t x95 = subborrow_u32(x92, x58, 0xffffffff); diff --git a/src/Specific/montgomery32_2e383m421/feaddDisplay.log b/src/Specific/montgomery32_2e383m421/feaddDisplay.log index 425da6bf8..d91324005 100644 --- a/src/Specific/montgomery32_2e383m421/feaddDisplay.log +++ b/src/Specific/montgomery32_2e383m421/feaddDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x76, uint8_t x77 = addcarryx_u32(x74, x23, x45); uint32_t x79, uint8_t x80 = addcarryx_u32(x77, x25, x47); uint32_t x82, uint8_t x83 = addcarryx_u32(x80, x24, x46); - uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, Const 4294966875); + uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, 0xfffffe5b); uint32_t x88, uint8_t x89 = subborrow_u32(x86, x52, 0xffffffff); uint32_t x91, uint8_t x92 = subborrow_u32(x89, x55, 0xffffffff); uint32_t x94, uint8_t x95 = subborrow_u32(x92, x58, 0xffffffff); diff --git a/src/Specific/montgomery32_2e384m317/feaddDisplay.log b/src/Specific/montgomery32_2e384m317/feaddDisplay.log index eb46a645a..06474e5f4 100644 --- a/src/Specific/montgomery32_2e384m317/feaddDisplay.log +++ b/src/Specific/montgomery32_2e384m317/feaddDisplay.log @@ -14,7 +14,7 @@ Interp-η uint32_t x76, uint8_t x77 = addcarryx_u32(x74, x23, x45); uint32_t x79, uint8_t x80 = addcarryx_u32(x77, x25, x47); uint32_t x82, uint8_t x83 = addcarryx_u32(x80, x24, x46); - uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, Const 4294966979); + uint32_t x85, uint8_t x86 = subborrow_u32(0x0, x49, 0xfffffec3); uint32_t x88, uint8_t x89 = subborrow_u32(x86, x52, 0xffffffff); uint32_t x91, uint8_t x92 = subborrow_u32(x89, x55, 0xffffffff); uint32_t x94, uint8_t x95 = subborrow_u32(x92, x58, 0xffffffff); diff --git a/src/Specific/montgomery32_2e384m5x2e368m1/feaddDisplay.log b/src/Specific/montgomery32_2e384m5x2e368m1/feaddDisplay.log index 7fde96345..00d1e254b 100644 --- a/src/Specific/montgomery32_2e384m5x2e368m1/feaddDisplay.log +++ b/src/Specific/montgomery32_2e384m5x2e368m1/feaddDisplay.log @@ -25,7 +25,7 @@ Interp-η uint32_t x109, uint8_t x110 = subborrow_u32(x107, x73, 0xffffffff); uint32_t x112, uint8_t x113 = subborrow_u32(x110, x76, 0xffffffff); uint32_t x115, uint8_t x116 = subborrow_u32(x113, x79, 0xffffffff); - uint32_t x118, uint8_t x119 = subborrow_u32(x116, x82, Const 4294639615); + uint32_t x118, uint8_t x119 = subborrow_u32(x116, x82, 0xfffaffff); uint32_t _, uint8_t x122 = subborrow_u32(x119, x83, 0x0); uint32_t x123 = cmovznz(x122, x118, x82); uint32_t x124 = cmovznz(x122, x115, x79); diff --git a/src/Specific/montgomery32_2e384m79x2e376m1/feaddDisplay.log b/src/Specific/montgomery32_2e384m79x2e376m1/feaddDisplay.log index 79d2e19a1..2870d1966 100644 --- a/src/Specific/montgomery32_2e384m79x2e376m1/feaddDisplay.log +++ b/src/Specific/montgomery32_2e384m79x2e376m1/feaddDisplay.log @@ -25,7 +25,7 @@ Interp-η uint32_t x109, uint8_t x110 = subborrow_u32(x107, x73, 0xffffffff); uint32_t x112, uint8_t x113 = subborrow_u32(x110, x76, 0xffffffff); uint32_t x115, uint8_t x116 = subborrow_u32(x113, x79, 0xffffffff); - uint32_t x118, uint8_t x119 = subborrow_u32(x116, x82, Const 2969567231); + uint32_t x118, uint8_t x119 = subborrow_u32(x116, x82, 0xb0ffffff); uint32_t _, uint8_t x122 = subborrow_u32(x119, x83, 0x0); uint32_t x123 = cmovznz(x122, x118, x82); uint32_t x124 = cmovznz(x122, x115, x79); diff --git a/src/Specific/montgomery32_2e389m21/feaddDisplay.log b/src/Specific/montgomery32_2e389m21/feaddDisplay.log index 9aeda7b9e..2191c1449 100644 --- a/src/Specific/montgomery32_2e389m21/feaddDisplay.log +++ b/src/Specific/montgomery32_2e389m21/feaddDisplay.log @@ -15,7 +15,7 @@ Interp-η uint32_t x83, uint8_t x84 = addcarryx_u32(x81, x25, x49); uint32_t x86, uint8_t x87 = addcarryx_u32(x84, x27, x51); uint32_t x89, uint8_t x90 = addcarryx_u32(x87, x26, x50); - uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, Const 4294967275); + uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, 0xffffffeb); uint32_t x95, uint8_t x96 = subborrow_u32(x93, x56, 0xffffffff); uint32_t x98, uint8_t x99 = subborrow_u32(x96, x59, 0xffffffff); uint32_t x101, uint8_t x102 = subborrow_u32(x99, x62, 0xffffffff); diff --git a/src/Specific/montgomery32_2e401m31/feaddDisplay.log b/src/Specific/montgomery32_2e401m31/feaddDisplay.log index c674bce90..a351736fa 100644 --- a/src/Specific/montgomery32_2e401m31/feaddDisplay.log +++ b/src/Specific/montgomery32_2e401m31/feaddDisplay.log @@ -15,7 +15,7 @@ Interp-η uint32_t x83, uint8_t x84 = addcarryx_u32(x81, x25, x49); uint32_t x86, uint8_t x87 = addcarryx_u32(x84, x27, x51); uint32_t x89, uint8_t x90 = addcarryx_u32(x87, x26, x50); - uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, Const 4294967265); + uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, 0xffffffe1); uint32_t x95, uint8_t x96 = subborrow_u32(x93, x56, 0xffffffff); uint32_t x98, uint8_t x99 = subborrow_u32(x96, x59, 0xffffffff); uint32_t x101, uint8_t x102 = subborrow_u32(x99, x62, 0xffffffff); diff --git a/src/Specific/montgomery32_2e413m21/feaddDisplay.log b/src/Specific/montgomery32_2e413m21/feaddDisplay.log index 129414200..7752bdf15 100644 --- a/src/Specific/montgomery32_2e413m21/feaddDisplay.log +++ b/src/Specific/montgomery32_2e413m21/feaddDisplay.log @@ -15,7 +15,7 @@ Interp-η uint32_t x83, uint8_t x84 = addcarryx_u32(x81, x25, x49); uint32_t x86, uint8_t x87 = addcarryx_u32(x84, x27, x51); uint32_t x89, uint8_t x90 = addcarryx_u32(x87, x26, x50); - uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, Const 4294967275); + uint32_t x92, uint8_t x93 = subborrow_u32(0x0, x53, 0xffffffeb); uint32_t x95, uint8_t x96 = subborrow_u32(x93, x56, 0xffffffff); uint32_t x98, uint8_t x99 = subborrow_u32(x96, x59, 0xffffffff); uint32_t x101, uint8_t x102 = subborrow_u32(x99, x62, 0xffffffff); diff --git a/src/Specific/montgomery32_2e416m2e208m1/feaddDisplay.log b/src/Specific/montgomery32_2e416m2e208m1/feaddDisplay.log index 284e22fec..b38023903 100644 --- a/src/Specific/montgomery32_2e416m2e208m1/feaddDisplay.log +++ b/src/Specific/montgomery32_2e416m2e208m1/feaddDisplay.log @@ -21,7 +21,7 @@ Interp-η uint32_t x101, uint8_t x102 = subborrow_u32(x99, x62, 0xffffffff); uint32_t x104, uint8_t x105 = subborrow_u32(x102, x65, 0xffffffff); uint32_t x107, uint8_t x108 = subborrow_u32(x105, x68, 0xffffffff); - uint32_t x110, uint8_t x111 = subborrow_u32(x108, x71, Const 4294901759); + uint32_t x110, uint8_t x111 = subborrow_u32(x108, x71, 0xfffeffff); uint32_t x113, uint8_t x114 = subborrow_u32(x111, x74, 0xffffffff); uint32_t x116, uint8_t x117 = subborrow_u32(x114, x77, 0xffffffff); uint32_t x119, uint8_t x120 = subborrow_u32(x117, x80, 0xffffffff); diff --git a/src/Specific/montgomery32_2e480m2e240m1/feaddDisplay.log b/src/Specific/montgomery32_2e480m2e240m1/feaddDisplay.log index 77fb26db1..40fd2389b 100644 --- a/src/Specific/montgomery32_2e480m2e240m1/feaddDisplay.log +++ b/src/Specific/montgomery32_2e480m2e240m1/feaddDisplay.log @@ -24,7 +24,7 @@ Interp-η uint32_t x118, uint8_t x119 = subborrow_u32(x116, x73, 0xffffffff); uint32_t x121, uint8_t x122 = subborrow_u32(x119, x76, 0xffffffff); uint32_t x124, uint8_t x125 = subborrow_u32(x122, x79, 0xffffffff); - uint32_t x127, uint8_t x128 = subborrow_u32(x125, x82, Const 4294901759); + uint32_t x127, uint8_t x128 = subborrow_u32(x125, x82, 0xfffeffff); uint32_t x130, uint8_t x131 = subborrow_u32(x128, x85, 0xffffffff); uint32_t x133, uint8_t x134 = subborrow_u32(x131, x88, 0xffffffff); uint32_t x136, uint8_t x137 = subborrow_u32(x134, x91, 0xffffffff); diff --git a/src/Specific/solinas32_2e213m3/freezeDisplay.log b/src/Specific/solinas32_2e213m3/freezeDisplay.log index 526815e0d..88998b0bd 100644 --- a/src/Specific/solinas32_2e213m3/freezeDisplay.log +++ b/src/Specific/solinas32_2e213m3/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x27, x28, x26, x24, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 32765); + uint32_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x7ffd); uint32_t x33, uint8_t x34 = Op (Syntax.SubWithGetBorrow 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x31, Return x4, 0x3fff); uint32_t x36, uint8_t x37 = Op (Syntax.SubWithGetBorrow 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x34, Return x6, 0x3fff); uint32_t x39, uint8_t x40 = Op (Syntax.SubWithGetBorrow 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x37, Return x8, 0x3fff); @@ -18,7 +18,7 @@ Interp-η uint32_t x69, uint8_t x70 = Op (Syntax.SubWithGetBorrow 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x67, Return x28, 0x3fff); uint32_t x72, uint8_t x73 = Op (Syntax.SubWithGetBorrow 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x70, Return x27, 0x3fff); uint32_t x74 = (uint32_t)cmovznz(x73, 0x0, 0xffffffff); - uint32_t x75 = (x74 & Const 32765); + uint32_t x75 = (x74 & 0x7ffd); uint32_t x77, uint8_t x78 = Op (Syntax.AddWithGetCarry 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x30, Return x75); uint32_t x79 = (x74 & 0x3fff); uint32_t x81, uint8_t x82 = Op (Syntax.AddWithGetCarry 14 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x78, Return x33, Return x79); diff --git a/src/Specific/solinas32_2e255m765/freezeDisplay.log b/src/Specific/solinas32_2e255m765/freezeDisplay.log index 758c0e859..dbe1909dd 100644 --- a/src/Specific/solinas32_2e255m765/freezeDisplay.log +++ b/src/Specific/solinas32_2e255m765/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x21, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 4193539); + uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x3ffd03); uint32_t x27, uint8_t x28 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x25, Return x4, 0x1fffff); uint32_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x28, Return x6, 0x1fffff); uint32_t x33, uint8_t x34 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x31, Return x8, 0x1fffff); @@ -15,7 +15,7 @@ Interp-η uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x22, 0x1fffff); uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, 0x1fffff); uint32_t x59 = (uint32_t)cmovznz(x58, 0x0, 0xffffffff); - uint32_t x60 = (x59 & Const 4193539); + uint32_t x60 = (x59 & 0x3ffd03); uint32_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x24, Return x60); uint32_t x64 = (x59 & 0x1fffff); uint32_t x66, uint8_t x67 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x63, Return x27, Return x64); diff --git a/src/Specific/solinas32_2e256m2e32m977/freezeDisplay.log b/src/Specific/solinas32_2e256m2e32m977/freezeDisplay.log index 907770fe2..fa67fe47f 100644 --- a/src/Specific/solinas32_2e256m2e32m977/freezeDisplay.log +++ b/src/Specific/solinas32_2e256m2e32m977/freezeDisplay.log @@ -2,8 +2,8 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x21, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 4193327); - uint32_t x27, uint8_t x28 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x25, Return x4, Const 2096127); + uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x3ffc2f); + uint32_t x27, uint8_t x28 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x25, Return x4, 0x1ffbff); uint32_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x28, Return x6, 0x1fffff); uint32_t x33, uint8_t x34 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x31, Return x8, 0x3fffff); uint32_t x36, uint8_t x37 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x34, Return x10, 0x1fffff); @@ -15,9 +15,9 @@ Interp-η uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x22, 0x1fffff); uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, 0x1fffff); uint32_t x59 = (uint32_t)cmovznz(x58, 0x0, 0xffffffff); - uint32_t x60 = (x59 & Const 4193327); + uint32_t x60 = (x59 & 0x3ffc2f); uint32_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x24, Return x60); - uint32_t x64 = (x59 & Const 2096127); + uint32_t x64 = (x59 & 0x1ffbff); uint32_t x66, uint8_t x67 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x63, Return x27, Return x64); uint32_t x68 = (x59 & 0x1fffff); uint32_t x70, uint8_t x71 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x67, Return x30, Return x68); diff --git a/src/Specific/solinas32_2e256m88x2e240m1/freezeDisplay.log b/src/Specific/solinas32_2e256m88x2e240m1/freezeDisplay.log index 052898dfb..c44e04cfc 100644 --- a/src/Specific/solinas32_2e256m88x2e240m1/freezeDisplay.log +++ b/src/Specific/solinas32_2e256m88x2e240m1/freezeDisplay.log @@ -13,7 +13,7 @@ Interp-η uint32_t x48, uint8_t x49 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x46, Return x18, 0x1fffff); uint32_t x51, uint8_t x52 = Op (Syntax.SubWithGetBorrow 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x20, 0x3fffff); uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x22, 0x1fffff); - uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, Const 2094335); + uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, 0x1ff4ff); uint32_t x59 = (uint32_t)cmovznz(x58, 0x0, 0xffffffff); uint32_t x60 = (x59 & 0x3fffff); uint32_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x24, Return x60); @@ -37,7 +37,7 @@ Interp-η uint32_t x98, uint8_t x99 = Op (Syntax.AddWithGetCarry 22 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x95, Return x51, Return x96); uint32_t x100 = (x59 & 0x1fffff); uint32_t x102, uint8_t x103 = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x99, Return x54, Return x100); - uint32_t x104 = (x59 & Const 2094335); + uint32_t x104 = (x59 & 0x1ff4ff); uint32_t x106, uint8_t _ = Op (Syntax.AddWithGetCarry 21 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x103, Return x57, Return x104); (Return x106, Return x102, Return x98, Return x94, Return x90, Return x86, Return x82, Return x78, Return x74, Return x70, Return x66, Return x62)) x diff --git a/src/Specific/solinas32_2e336m3/freezeDisplay.log b/src/Specific/solinas32_2e336m3/freezeDisplay.log index c70a3772d..8a9bf70d5 100644 --- a/src/Specific/solinas32_2e336m3/freezeDisplay.log +++ b/src/Specific/solinas32_2e336m3/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x21, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 268435453); + uint32_t x24, uint8_t x25 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0xffffffd); uint32_t x27, uint8_t x28 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x25, Return x4, 0xfffffff); uint32_t x30, uint8_t x31 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x28, Return x6, 0xfffffff); uint32_t x33, uint8_t x34 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x31, Return x8, 0xfffffff); @@ -15,7 +15,7 @@ Interp-η uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x22, 0xfffffff); uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x21, 0xfffffff); uint32_t x59 = (uint32_t)cmovznz(x58, 0x0, 0xffffffff); - uint32_t x60 = (x59 & Const 268435453); + uint32_t x60 = (x59 & 0xffffffd); uint32_t x62, uint8_t x63 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x24, Return x60); uint32_t x64 = (x59 & 0xfffffff); uint32_t x66, uint8_t x67 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x63, Return x27, Return x64); diff --git a/src/Specific/solinas32_2e338m15/freezeDisplay.log b/src/Specific/solinas32_2e338m15/freezeDisplay.log index bc7806bff..448bad4ce 100644 --- a/src/Specific/solinas32_2e338m15/freezeDisplay.log +++ b/src/Specific/solinas32_2e338m15/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x23, x24, x22, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 67108849); + uint32_t x26, uint8_t x27 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0x3fffff1); uint32_t x29, uint8_t x30 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x27, Return x4, 0x3ffffff); uint32_t x32, uint8_t x33 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x30, Return x6, 0x3ffffff); uint32_t x35, uint8_t x36 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x33, Return x8, 0x3ffffff); @@ -16,7 +16,7 @@ Interp-η uint32_t x59, uint8_t x60 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x57, Return x24, 0x3ffffff); uint32_t x62, uint8_t x63 = Op (Syntax.SubWithGetBorrow 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x60, Return x23, 0x3ffffff); uint32_t x64 = (uint32_t)cmovznz(x63, 0x0, 0xffffffff); - uint32_t x65 = (x64 & Const 67108849); + uint32_t x65 = (x64 & 0x3fffff1); uint32_t x67, uint8_t x68 = Op (Syntax.AddWithGetCarry 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x26, Return x65); uint32_t x69 = (x64 & 0x3ffffff); uint32_t x71, uint8_t x72 = Op (Syntax.AddWithGetCarry 26 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x68, Return x29, Return x69); diff --git a/src/Specific/solinas32_2e450m2e225m1/freezeDisplay.log b/src/Specific/solinas32_2e450m2e225m1/freezeDisplay.log index fe356b113..4022639c0 100644 --- a/src/Specific/solinas32_2e450m2e225m1/freezeDisplay.log +++ b/src/Specific/solinas32_2e450m2e225m1/freezeDisplay.log @@ -9,7 +9,7 @@ Interp-η uint32_t x42, uint8_t x43 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x40, Return x10, 0x3fffffff); uint32_t x45, uint8_t x46 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x43, Return x12, 0x3fffffff); uint32_t x48, uint8_t x49 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x46, Return x14, 0x3fffffff); - uint32_t x51, uint8_t x52 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x16, Const 1073709055); + uint32_t x51, uint8_t x52 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x16, 0x3fff7fff); uint32_t x54, uint8_t x55 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x52, Return x18, 0x3fffffff); uint32_t x57, uint8_t x58 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x55, Return x20, 0x3fffffff); uint32_t x60, uint8_t x61 = Op (Syntax.SubWithGetBorrow 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x58, Return x22, 0x3fffffff); @@ -32,7 +32,7 @@ Interp-η uint32_t x97, uint8_t x98 = Op (Syntax.AddWithGetCarry 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x94, Return x45, Return x95); uint32_t x99 = (x74 & 0x3fffffff); uint32_t x101, uint8_t x102 = Op (Syntax.AddWithGetCarry 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x98, Return x48, Return x99); - uint32_t x103 = (x74 & Const 1073709055); + uint32_t x103 = (x74 & 0x3fff7fff); uint32_t x105, uint8_t x106 = Op (Syntax.AddWithGetCarry 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x102, Return x51, Return x103); uint32_t x107 = (x74 & 0x3fffffff); uint32_t x109, uint8_t x110 = Op (Syntax.AddWithGetCarry 30 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x106, Return x54, Return x107); |