diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-11-01 13:23:01 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-11-01 13:23:01 -0400 |
| commit | 2f94ae453564764b530b11ae0a6533d973c0f5cd (patch) | |
| tree | bfcaa588eac4b6dfe8e4e9fa27e9908f4ce32c61 /src/Specific/solinas32_2e166m5/freezeDisplay.log | |
| parent | 96d04f9b7cdfe3cb50e5891a0d1eee67d93a4cf9 (diff) | |
Update display logs
Diffstat (limited to 'src/Specific/solinas32_2e166m5/freezeDisplay.log')
| -rw-r--r-- | src/Specific/solinas32_2e166m5/freezeDisplay.log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Specific/solinas32_2e166m5/freezeDisplay.log b/src/Specific/solinas32_2e166m5/freezeDisplay.log index 20ae8ae93..b9a0b5514 100644 --- a/src/Specific/solinas32_2e166m5/freezeDisplay.log +++ b/src/Specific/solinas32_2e166m5/freezeDisplay.log @@ -2,7 +2,7 @@ Interp-η (λ var : Syntax.base_type → Type, λ '(x19, x20, x18, x16, x14, x12, x10, x8, x6, x4, x2)%core, - uint32_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 16 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, Const 65531); + uint32_t x22, uint8_t x23 = Op (Syntax.SubWithGetBorrow 16 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x2, 0xfffb); uint32_t x25, uint8_t x26 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x23, Return x4, 0x7fff); uint32_t x28, uint8_t x29 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x26, Return x6, 0x7fff); uint32_t x31, uint8_t x32 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x29, Return x8, 0x7fff); @@ -14,7 +14,7 @@ Interp-η uint32_t x49, uint8_t x50 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x47, Return x20, 0x7fff); uint32_t x52, uint8_t x53 = Op (Syntax.SubWithGetBorrow 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x50, Return x19, 0x7fff); uint32_t x54 = (uint32_t)cmovznz(x53, 0x0, 0xffffffff); - uint32_t x55 = (x54 & Const 65531); + uint32_t x55 = (x54 & 0xfffb); uint32_t x57, uint8_t x58 = Op (Syntax.AddWithGetCarry 16 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (0x0, Return x22, Return x55); uint32_t x59 = (x54 & 0x7fff); uint32_t x61, uint8_t x62 = Op (Syntax.AddWithGetCarry 15 (Syntax.TWord 3) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 5) (Syntax.TWord 3)) (Return x58, Return x25, Return x59); |