Skip to content

Instantly share code, notes, and snippets.

@leonardoalt

leonardoalt/u8_ir.zok

Created May 24, 2022 21:23
Show Gist options
  • Save leonardoalt/05b0428bee4b09173b224e8c1b4fa15e to your computer and use it in GitHub Desktop.
Save leonardoalt/05b0428bee4b09173b224e8c1b4fa15e to your computer and use it in GitHub Desktop.
Download ZIP
Raw
u8_ir.zok
def main(_0, _9) -> (1):
# _1, _2, _3, _4, _5, _6, _7, _8 = Bits(8)((1 * ~one) * (1 * _0))
(1 * _1) * (1 * _1) == 1 * _1
(1 * _2) * (1 * _2) == 1 * _2
(1 * _3) * (1 * _3) == 1 * _3
(1 * _4) * (1 * _4) == 1 * _4
(1 * _5) * (1 * _5) == 1 * _5
(1 * _6) * (1 * _6) == 1 * _6
(1 * _7) * (1 * _7) == 1 * _7
(1 * _8) * (1 * _8) == 1 * _8
(1 * ~one) * (128 * _1 + 64 * _2 + 32 * _3 + 16 * _4 + 8 * _5 + 4 * _6 + 2 * _7 + 1 * _8) == 1 * _0
# _10, _11, _12, _13, _14, _15, _16, _17 = Bits(8)((1 * ~one) * (1 * _9))
(1 * _10) * (1 * _10) == 1 * _10
(1 * _11) * (1 * _11) == 1 * _11
(1 * _12) * (1 * _12) == 1 * _12
(1 * _13) * (1 * _13) == 1 * _13
(1 * _14) * (1 * _14) == 1 * _14
(1 * _15) * (1 * _15) == 1 * _15
(1 * _16) * (1 * _16) == 1 * _16
(1 * _17) * (1 * _17) == 1 * _17
(1 * ~one) * (128 * _10 + 64 * _11 + 32 * _12 + 16 * _13 + 8 * _14 + 4 * _15 + 2 * _16 + 1 * _17) == 1 * _9
(1 * _0) * (1 * _0) == 1 * _18
# _19, _20, _21, _22, _23, _24, _25, _26, _27, _28, _29, _30, _31, _32, _33, _34 = Bits(16)((1 * ~one) * (1 * _18))
(1 * _19) * (1 * _19) == 1 * _19
(1 * _20) * (1 * _20) == 1 * _20
(1 * _21) * (1 * _21) == 1 * _21
(1 * _22) * (1 * _22) == 1 * _22
(1 * _23) * (1 * _23) == 1 * _23
(1 * _24) * (1 * _24) == 1 * _24
(1 * _25) * (1 * _25) == 1 * _25
(1 * _26) * (1 * _26) == 1 * _26
(1 * _27) * (1 * _27) == 1 * _27
(1 * _28) * (1 * _28) == 1 * _28
(1 * _29) * (1 * _29) == 1 * _29
(1 * _30) * (1 * _30) == 1 * _30
(1 * _31) * (1 * _31) == 1 * _31
(1 * _32) * (1 * _32) == 1 * _32
(1 * _33) * (1 * _33) == 1 * _33
(1 * _34) * (1 * _34) == 1 * _34
(1 * ~one) * (32768 * _19 + 16384 * _20 + 8192 * _21 + 4096 * _22 + 2048 * _23 + 1024 * _24 + 512 * _25 + 256 * _26 + 128 * _27 + 64 * _28 + 32 * _29 + 16 * _30 + 8 * _31 + 4 * _32 + 2 * _33 + 1 * _34) == 1 * _18
# _36, _37 = ConditionEq((1 * ~one) * ((-1) * _9 + 128 * _27 + 64 * _28 + 32 * _29 + 16 * _30 + 8 * _31 + 4 * _32 + 2 * _33 + 1 * _34))
((-1) * _9 + 128 * _27 + 64 * _28 + 32 * _29 + 16 * _30 + 8 * _31 + 4 * _32 + 2 * _33 + 1 * _34) * (1 * _37) == 1 * _36
(1 * ~one + (-1) * _36) * ((-1) * _9 + 128 * _27 + 64 * _28 + 32 * _29 + 16 * _30 + 8 * _31 + 4 * _32 + 2 * _33 + 1 * _34) == 0
(1 * ~one) * (1 * ~one + (-1) * _36) == 1 * ~out_0
return ~out_0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment