diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-10-29 17:43:06 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-10-29 17:43:06 -0400 |
| commit | 223e4cce592ff5bce35463b13b084c91028c6bd9 (patch) | |
| tree | 423dbd1253559f67f3a7c59d882c9bb4d8d74ab7 /src/Specific/solinas32_2e224m2e96p1 | |
| parent | 4ebf0031d039f3ef68eb1a121b75c044d6ae1206 (diff) | |
Update display logs
Diffstat (limited to 'src/Specific/solinas32_2e224m2e96p1')
| -rw-r--r-- | src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log b/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log index 4d1f8caef..b63426559 100644 --- a/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log +++ b/src/Specific/solinas32_2e224m2e96p1/freezeDisplay.log @@ -11,19 +11,19 @@ Interp-η uint32_t x34, uint8_t x35 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x32, Return x14, 0xfffffff); uint32_t x37, uint8_t x38 = Op (Syntax.SubWithGetBorrow 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x35, Return x13, 0xfffffff); uint32_t x39 = (uint32_t)cmovznz(x38, 0x0, 0xffffffff); - uint8_t x40 = (uint8_t) x39 & 0x1; + uint8_t x40 = ((uint8_t)x39 & 0x1); uint32_t x42, uint8_t x43 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x16, Return x40); uint32_t x45, uint8_t x46 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x43, Return x19, 0x0); uint32_t x48, uint8_t x49 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x46, Return x22, 0x0); - uint32_t x50 = x39 & 0xffff000; + uint32_t x50 = (x39 & 0xffff000); uint32_t x52, uint8_t x53 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x49, Return x25, Return x50); - uint32_t x54 = x39 & 0xfffffff; + uint32_t x54 = (x39 & 0xfffffff); uint32_t x56, uint8_t x57 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x53, Return x28, Return x54); - uint32_t x58 = x39 & 0xfffffff; + uint32_t x58 = (x39 & 0xfffffff); uint32_t x60, uint8_t x61 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x57, Return x31, Return x58); - uint32_t x62 = x39 & 0xfffffff; + uint32_t x62 = (x39 & 0xfffffff); uint32_t x64, uint8_t x65 = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x61, Return x34, Return x62); - uint32_t x66 = x39 & 0xfffffff; + uint32_t x66 = (x39 & 0xfffffff); uint32_t x68, uint8_t _ = Op (Syntax.AddWithGetCarry 28 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x65, Return x37, Return x66); (Return x68, Return x64, Return x60, Return x56, Return x52, Return x48, Return x45, Return x42)) x |