Skip to content

Instantly share code, notes, and snippets.

@ekpyron
Created August 23, 2021 11:07
Show Gist options
  • Save ekpyron/79815764a35bbf7fb04d83c5d0ae7cd3 to your computer and use it in GitHub Desktop.
Save ekpyron/79815764a35bbf7fb04d83c5d0ae7cd3 to your computer and use it in GitHub Desktop.
Optimizer Inlining issue.
object "object" {
code {
{
let _1 := mload(sub(shl(137, 1), 1))
let _2 := foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1)
let _3 := mload(sub(shl(105, 1), 1))
let _4 := foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1))
pop(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), _4, sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), _2, sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1))))
let _5 := sload(160)
let _6 := sload(32)
sstore(224, foo_s_107_268_512_924_1670(calldataload(288), _6, calldataload(96), _5))
mstore(sub(shl(193, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), _3, sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), _1), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))), sub(shl(141, 1), 1)))))
}
function foo_s_107_268_512_924_1670(x, x_1, x_2, x_3) -> x_4
{
x_4 := not(foo_s_107_268_512_924_1670(sub(shl(97, 1), 1), foo_s_107_268_512_924_1670(sub(shl(101, 1), 1), mload(sub(shl(105, 1), 1)), sub(shl(109, 1), 1), sub(shl(113, 1), 1)), sub(shl(117, 1), 1), addmod(sub(shl(121, 1), 1), foo_s_107_268_512_924_1670(sub(shl(125, 1), 1), sub(shl(129, 1), 1), sub(shl(133, 1), 1), mload(sub(shl(137, 1), 1))), sub(shl(141, 1), 1))))
}
}
}
{
let x_2 := foo_s_0(0x1ffffffffffffff, 0x1fffffffffffffff, 0x1ffffffffffffffff, 0x1fffffffffffffffff)
function foo_s_0(x_8, x_9, x_10, x_11) -> x_12
{
x_12 := not(foo_s_0(0x1ffffffffffffffffffffffff, foo_s_0(0x1fffffffffffffffffffffffff, mload(0x1ffffffffffffffffffffffffff), 0x1fffffffffffffffffffffffffff, 0x1ffffffffffffffffffffffffffff)
, 0x1fffffffffffffffffffffffffffff, addmod(0x1ffffffffffffffffffffffffffffff, foo_s_0(0x1fffffffffffffffffffffffffffffff, 0x1ffffffffffffffffffffffffffffffff, 0x1fffffffffffffffffffffffffffffffff, mload(0x1ffffffffffffffffffffffffffffffffff))
, 0x1fffffffffffffffffffffffffffffffffff))
)
}
let x_26 := foo_s_0(calldataload(288),sload(32),calldataload(96),sload(160))
sstore(224, x_26)
mstore(0x1ffffffffffffffffffffffffffffffffffffffffffffffff, foo_s_0(0x1fffffffffffffffffffffffffffffffffffffffffffffffff, 0x1ffffffffffffffffffffffffffffffffffffffffffffffffff, 0x1fffffffffffffffffffffffffffffffffffffffffffffffffff, 0x1ffffffffffffffffffffffffffffffffffffffffffffffffffff)
)
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment