API tools faq
paste
Guest User

Untitled

a guest
May 25th, 2018
91
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 64.15 KB | None | 0 0
raw download clone embed print report
  1. /* "ExampleContract.sol":151:2552 */
  2. mstore(0x40, 0x80)
  3. /* "ExampleContract.sol":550:696 */
  4. callvalue
  5. /* "--CODEGEN--":8:17 */
  6. dup1
  7. /* "--CODEGEN--":5:7 */
  8. iszero
  9. tag_1
  10. jumpi
  11. /* "--CODEGEN--":30:31 */
  12. 0x0
  13. /* "--CODEGEN--":27:28 */
  14. dup1
  15. /* "--CODEGEN--":20:32 */
  16. revert
  17. /* "--CODEGEN--":5:7 */
  18. tag_1:
  19. /* "ExampleContract.sol":550:696 */
  20. pop
  21. mload(0x40)
  22. sub(codesize, bytecodeSize)
  23. dup1
  24. bytecodeSize
  25. dup4
  26. codecopy
  27. dup2
  28. add
  29. dup1
  30. 0x40
  31. mstore
  32. dup2
  33. add
  34. swap1
  35. dup1
  36. dup1
  37. mload
  38. dup3
  39. add
  40. swap3
  41. swap2
  42. swap1
  43. 0x20
  44. add
  45. dup1
  46. mload
  47. swap1
  48. 0x20
  49. add
  50. swap1
  51. swap3
  52. swap2
  53. swap1
  54. dup1
  55. mload
  56. swap1
  57. 0x20
  58. add
  59. swap1
  60. swap3
  61. swap2
  62. swap1
  63. pop
  64. pop
  65. pop
  66. /* "ExampleContract.sol":634:639 */
  67. dup3
  68. /* "ExampleContract.sol":622:631 */
  69. 0x1
  70. /* "ExampleContract.sol":622:639 */
  71. swap1
  72. dup1
  73. mload
  74. swap1
  75. 0x20
  76. add
  77. swap1
  78. tag_4
  79. swap3
  80. swap2
  81. swap1
  82. jump // in(tag_5)
  83. tag_4:
  84. pop
  85. /* "ExampleContract.sol":659:671 */
  86. dup2
  87. /* "ExampleContract.sol":644:656 */
  88. 0x2
  89. 0x0
  90. /* "ExampleContract.sol":644:671 */
  91. 0x100
  92. exp
  93. dup2
  94. sload
  95. dup2
  96. 0xff
  97. mul
  98. not
  99. and
  100. swap1
  101. dup4
  102. iszero
  103. iszero
  104. mul
  105. or
  106. swap1
  107. sstore
  108. pop
  109. /* "ExampleContract.sol":683:688 */
  110. dup1
  111. /* "ExampleContract.sol":676:680 */
  112. 0x3
  113. /* "ExampleContract.sol":676:688 */
  114. dup2
  115. swap1
  116. sstore
  117. pop
  118. /* "ExampleContract.sol":550:696 */
  119. pop
  120. pop
  121. pop
  122. /* "ExampleContract.sol":151:2552 */
  123. jump(tag_6)
  124. tag_5:
  125. dup3
  126. dup1
  127. sload
  128. 0x1
  129. dup2
  130. 0x1
  131. and
  132. iszero
  133. 0x100
  134. mul
  135. sub
  136. and
  137. 0x2
  138. swap1
  139. div
  140. swap1
  141. 0x0
  142. mstore
  143. keccak256(0x0, 0x20)
  144. swap1
  145. 0x1f
  146. add
  147. 0x20
  148. swap1
  149. div
  150. dup2
  151. add
  152. swap3
  153. dup3
  154. 0x1f
  155. lt
  156. tag_8
  157. jumpi
  158. dup1
  159. mload
  160. not(0xff)
  161. and
  162. dup4
  163. dup1
  164. add
  165. or
  166. dup6
  167. sstore
  168. jump(tag_7)
  169. tag_8:
  170. dup3
  171. dup1
  172. add
  173. 0x1
  174. add
  175. dup6
  176. sstore
  177. dup3
  178. iszero
  179. tag_7
  180. jumpi
  181. swap2
  182. dup3
  183. add
  184. tag_9:
  185. dup3
  186. dup2
  187. gt
  188. iszero
  189. tag_10
  190. jumpi
  191. dup3
  192. mload
  193. dup3
  194. sstore
  195. swap2
  196. 0x20
  197. add
  198. swap2
  199. swap1
  200. 0x1
  201. add
  202. swap1
  203. jump(tag_9)
  204. tag_10:
  205. tag_7:
  206. pop
  207. swap1
  208. pop
  209. tag_11
  210. swap2
  211. swap1
  212. jump // in(tag_12)
  213. tag_11:
  214. pop
  215. swap1
  216. jump // out
  217. tag_12:
  218. tag_13
  219. swap2
  220. swap1
  221. tag_14:
  222. dup1
  223. dup3
  224. gt
  225. iszero
  226. tag_15
  227. jumpi
  228. 0x0
  229. dup2
  230. 0x0
  231. swap1
  232. sstore
  233. pop
  234. 0x1
  235. add
  236. jump(tag_14)
  237. tag_15:
  238. pop
  239. swap1
  240. jump
  241. tag_13:
  242. swap1
  243. jump // out
  244. tag_6:
  245. dataSize(sub_0)
  246. dup1
  247. dataOffset(sub_0)
  248. 0x0
  249. codecopy
  250. 0x0
  251. return
  252. stop
  253.  
  254. sub_0: assembly {
  255. /* "ExampleContract.sol":151:2552 */
  256. mstore(0x40, 0x80)
  257. jumpi(tag_1, lt(calldatasize, 0x4))
  258. calldataload(0x0)
  259. 0x100000000000000000000000000000000000000000000000000000000
  260. swap1
  261. div
  262. 0xffffffff
  263. and
  264. dup1
  265. 0xd7e2fce
  266. eq
  267. tag_2
  268. jumpi
  269. dup1
  270. 0x14d6b8fa
  271. eq
  272. tag_3
  273. jumpi
  274. dup1
  275. 0x27e235e3
  276. eq
  277. tag_4
  278. jumpi
  279. dup1
  280. 0x47799da8
  281. eq
  282. tag_5
  283. jumpi
  284. dup1
  285. 0x4ebbf8fa
  286. eq
  287. tag_6
  288. jumpi
  289. dup1
  290. 0x6b2759c1
  291. eq
  292. tag_7
  293. jumpi
  294. dup1
  295. 0x7853512c
  296. eq
  297. tag_8
  298. jumpi
  299. dup1
  300. 0x7a4a328f
  301. eq
  302. tag_9
  303. jumpi
  304. dup1
  305. 0x82ac4d4f
  306. eq
  307. tag_10
  308. jumpi
  309. dup1
  310. 0x9c8d5497
  311. eq
  312. tag_11
  313. jumpi
  314. dup1
  315. 0xa9bf5633
  316. eq
  317. tag_12
  318. jumpi
  319. dup1
  320. 0xb44f48ae
  321. eq
  322. tag_13
  323. jumpi
  324. dup1
  325. 0xc31f5dc7
  326. eq
  327. tag_14
  328. jumpi
  329. dup1
  330. 0xc51a23a0
  331. eq
  332. tag_15
  333. jumpi
  334. dup1
  335. 0xc6af2aa6
  336. eq
  337. tag_16
  338. jumpi
  339. dup1
  340. 0xebdb22cb
  341. eq
  342. tag_17
  343. jumpi
  344. tag_1:
  345. callvalue
  346. /* "--CODEGEN--":8:17 */
  347. dup1
  348. /* "--CODEGEN--":5:7 */
  349. iszero
  350. tag_18
  351. jumpi
  352. /* "--CODEGEN--":30:31 */
  353. 0x0
  354. /* "--CODEGEN--":27:28 */
  355. dup1
  356. /* "--CODEGEN--":20:32 */
  357. revert
  358. /* "--CODEGEN--":5:7 */
  359. tag_18:
  360. /* "ExampleContract.sol":151:2552 */
  361. pop
  362. stop
  363. /* "ExampleContract.sol":2075:2151 */
  364. tag_2:
  365. callvalue
  366. /* "--CODEGEN--":8:17 */
  367. dup1
  368. /* "--CODEGEN--":5:7 */
  369. iszero
  370. tag_21
  371. jumpi
  372. /* "--CODEGEN--":30:31 */
  373. 0x0
  374. /* "--CODEGEN--":27:28 */
  375. dup1
  376. /* "--CODEGEN--":20:32 */
  377. revert
  378. /* "--CODEGEN--":5:7 */
  379. tag_21:
  380. /* "ExampleContract.sol":2075:2151 */
  381. pop
  382. tag_22
  383. 0x4
  384. dup1
  385. calldatasize
  386. sub
  387. dup2
  388. add
  389. swap1
  390. dup1
  391. dup1
  392. calldataload
  393. swap1
  394. 0x20
  395. add
  396. swap1
  397. dup3
  398. add
  399. dup1
  400. calldataload
  401. swap1
  402. 0x20
  403. add
  404. swap1
  405. dup1
  406. dup1
  407. 0x1f
  408. add
  409. 0x20
  410. dup1
  411. swap2
  412. div
  413. mul
  414. 0x20
  415. add
  416. mload(0x40)
  417. swap1
  418. dup2
  419. add
  420. 0x40
  421. mstore
  422. dup1
  423. swap4
  424. swap3
  425. swap2
  426. swap1
  427. dup2
  428. dup2
  429. mstore
  430. 0x20
  431. add
  432. dup4
  433. dup4
  434. dup1
  435. dup3
  436. dup5
  437. calldatacopy
  438. dup3
  439. add
  440. swap2
  441. pop
  442. pop
  443. pop
  444. pop
  445. pop
  446. pop
  447. swap2
  448. swap3
  449. swap2
  450. swap3
  451. swap1
  452. pop
  453. pop
  454. pop
  455. jump(tag_23)
  456. tag_22:
  457. mload(0x40)
  458. dup1
  459. dup1
  460. 0x20
  461. add
  462. dup3
  463. dup2
  464. sub
  465. dup3
  466. mstore
  467. dup4
  468. dup2
  469. dup2
  470. mload
  471. dup2
  472. mstore
  473. 0x20
  474. add
  475. swap2
  476. pop
  477. dup1
  478. mload
  479. swap1
  480. 0x20
  481. add
  482. swap1
  483. dup1
  484. dup4
  485. dup4
  486. /* "--CODEGEN--":23:24 */
  487. 0x0
  488. /* "--CODEGEN--":8:108 */
  489. tag_24:
  490. /* "--CODEGEN--":33:36 */
  491. dup4
  492. /* "--CODEGEN--":30:31 */
  493. dup2
  494. /* "--CODEGEN--":27:37 */
  495. lt
  496. /* "--CODEGEN--":8:108 */
  497. iszero
  498. tag_25
  499. jumpi
  500. /* "--CODEGEN--":99:100 */
  501. dup1
  502. /* "--CODEGEN--":94:97 */
  503. dup3
  504. /* "--CODEGEN--":90:101 */
  505. add
  506. /* "--CODEGEN--":84:102 */
  507. mload
  508. /* "--CODEGEN--":80:81 */
  509. dup2
  510. /* "--CODEGEN--":75:78 */
  511. dup5
  512. /* "--CODEGEN--":71:82 */
  513. add
  514. /* "--CODEGEN--":64:103 */
  515. mstore
  516. /* "--CODEGEN--":52:54 */
  517. 0x20
  518. /* "--CODEGEN--":49:50 */
  519. dup2
  520. /* "--CODEGEN--":45:55 */
  521. add
  522. /* "--CODEGEN--":40:55 */
  523. swap1
  524. pop
  525. /* "--CODEGEN--":8:108 */
  526. jump(tag_24)
  527. tag_25:
  528. /* "--CODEGEN--":12:26 */
  529. pop
  530. /* "ExampleContract.sol":2075:2151 */
  531. pop
  532. pop
  533. pop
  534. swap1
  535. pop
  536. swap1
  537. dup2
  538. add
  539. swap1
  540. 0x1f
  541. and
  542. dup1
  543. iszero
  544. tag_27
  545. jumpi
  546. dup1
  547. dup3
  548. sub
  549. dup1
  550. mload
  551. 0x1
  552. dup4
  553. 0x20
  554. sub
  555. 0x100
  556. exp
  557. sub
  558. not
  559. and
  560. dup2
  561. mstore
  562. 0x20
  563. add
  564. swap2
  565. pop
  566. tag_27:
  567. pop
  568. swap3
  569. pop
  570. pop
  571. pop
  572. mload(0x40)
  573. dup1
  574. swap2
  575. sub
  576. swap1
  577. return
  578. /* "ExampleContract.sol":1413:1562 */
  579. tag_3:
  580. callvalue
  581. /* "--CODEGEN--":8:17 */
  582. dup1
  583. /* "--CODEGEN--":5:7 */
  584. iszero
  585. tag_28
  586. jumpi
  587. /* "--CODEGEN--":30:31 */
  588. 0x0
  589. /* "--CODEGEN--":27:28 */
  590. dup1
  591. /* "--CODEGEN--":20:32 */
  592. revert
  593. /* "--CODEGEN--":5:7 */
  594. tag_28:
  595. /* "ExampleContract.sol":1413:1562 */
  596. pop
  597. tag_29
  598. 0x4
  599. dup1
  600. calldatasize
  601. sub
  602. dup2
  603. add
  604. swap1
  605. dup1
  606. dup1
  607. calldataload
  608. swap1
  609. 0x20
  610. add
  611. swap1
  612. dup3
  613. add
  614. dup1
  615. calldataload
  616. swap1
  617. 0x20
  618. add
  619. swap1
  620. dup1
  621. dup1
  622. 0x1f
  623. add
  624. 0x20
  625. dup1
  626. swap2
  627. div
  628. mul
  629. 0x20
  630. add
  631. mload(0x40)
  632. swap1
  633. dup2
  634. add
  635. 0x40
  636. mstore
  637. dup1
  638. swap4
  639. swap3
  640. swap2
  641. swap1
  642. dup2
  643. dup2
  644. mstore
  645. 0x20
  646. add
  647. dup4
  648. dup4
  649. dup1
  650. dup3
  651. dup5
  652. calldatacopy
  653. dup3
  654. add
  655. swap2
  656. pop
  657. pop
  658. pop
  659. pop
  660. pop
  661. pop
  662. swap2
  663. swap3
  664. swap2
  665. swap3
  666. swap1
  667. dup1
  668. calldataload
  669. swap1
  670. 0x20
  671. add
  672. swap1
  673. dup3
  674. add
  675. dup1
  676. calldataload
  677. swap1
  678. 0x20
  679. add
  680. swap1
  681. dup1
  682. dup1
  683. 0x1f
  684. add
  685. 0x20
  686. dup1
  687. swap2
  688. div
  689. mul
  690. 0x20
  691. add
  692. mload(0x40)
  693. swap1
  694. dup2
  695. add
  696. 0x40
  697. mstore
  698. dup1
  699. swap4
  700. swap3
  701. swap2
  702. swap1
  703. dup2
  704. dup2
  705. mstore
  706. 0x20
  707. add
  708. dup4
  709. dup4
  710. dup1
  711. dup3
  712. dup5
  713. calldatacopy
  714. dup3
  715. add
  716. swap2
  717. pop
  718. pop
  719. pop
  720. pop
  721. pop
  722. pop
  723. swap2
  724. swap3
  725. swap2
  726. swap3
  727. swap1
  728. dup1
  729. calldataload
  730. swap1
  731. 0x20
  732. add
  733. swap1
  734. dup3
  735. add
  736. dup1
  737. calldataload
  738. swap1
  739. 0x20
  740. add
  741. swap1
  742. dup1
  743. dup1
  744. 0x1f
  745. add
  746. 0x20
  747. dup1
  748. swap2
  749. div
  750. mul
  751. 0x20
  752. add
  753. mload(0x40)
  754. swap1
  755. dup2
  756. add
  757. 0x40
  758. mstore
  759. dup1
  760. swap4
  761. swap3
  762. swap2
  763. swap1
  764. dup2
  765. dup2
  766. mstore
  767. 0x20
  768. add
  769. dup4
  770. dup4
  771. dup1
  772. dup3
  773. dup5
  774. calldatacopy
  775. dup3
  776. add
  777. swap2
  778. pop
  779. pop
  780. pop
  781. pop
  782. pop
  783. pop
  784. swap2
  785. swap3
  786. swap2
  787. swap3
  788. swap1
  789. pop
  790. pop
  791. pop
  792. jump(tag_30)
  793. tag_29:
  794. mload(0x40)
  795. dup1
  796. dup1
  797. 0x20
  798. add
  799. dup1
  800. 0x20
  801. add
  802. dup1
  803. 0x20
  804. add
  805. dup5
  806. dup2
  807. sub
  808. dup5
  809. mstore
  810. dup8
  811. dup2
  812. dup2
  813. mload
  814. dup2
  815. mstore
  816. 0x20
  817. add
  818. swap2
  819. pop
  820. dup1
  821. mload
  822. swap1
  823. 0x20
  824. add
  825. swap1
  826. dup1
  827. dup4
  828. dup4
  829. /* "--CODEGEN--":23:24 */
  830. 0x0
  831. /* "--CODEGEN--":8:108 */
  832. tag_31:
  833. /* "--CODEGEN--":33:36 */
  834. dup4
  835. /* "--CODEGEN--":30:31 */
  836. dup2
  837. /* "--CODEGEN--":27:37 */
  838. lt
  839. /* "--CODEGEN--":8:108 */
  840. iszero
  841. tag_32
  842. jumpi
  843. /* "--CODEGEN--":99:100 */
  844. dup1
  845. /* "--CODEGEN--":94:97 */
  846. dup3
  847. /* "--CODEGEN--":90:101 */
  848. add
  849. /* "--CODEGEN--":84:102 */
  850. mload
  851. /* "--CODEGEN--":80:81 */
  852. dup2
  853. /* "--CODEGEN--":75:78 */
  854. dup5
  855. /* "--CODEGEN--":71:82 */
  856. add
  857. /* "--CODEGEN--":64:103 */
  858. mstore
  859. /* "--CODEGEN--":52:54 */
  860. 0x20
  861. /* "--CODEGEN--":49:50 */
  862. dup2
  863. /* "--CODEGEN--":45:55 */
  864. add
  865. /* "--CODEGEN--":40:55 */
  866. swap1
  867. pop
  868. /* "--CODEGEN--":8:108 */
  869. jump(tag_31)
  870. tag_32:
  871. /* "--CODEGEN--":12:26 */
  872. pop
  873. /* "ExampleContract.sol":1413:1562 */
  874. pop
  875. pop
  876. pop
  877. swap1
  878. pop
  879. swap1
  880. dup2
  881. add
  882. swap1
  883. 0x1f
  884. and
  885. dup1
  886. iszero
  887. tag_34
  888. jumpi
  889. dup1
  890. dup3
  891. sub
  892. dup1
  893. mload
  894. 0x1
  895. dup4
  896. 0x20
  897. sub
  898. 0x100
  899. exp
  900. sub
  901. not
  902. and
  903. dup2
  904. mstore
  905. 0x20
  906. add
  907. swap2
  908. pop
  909. tag_34:
  910. pop
  911. dup5
  912. dup2
  913. sub
  914. dup4
  915. mstore
  916. dup7
  917. dup2
  918. dup2
  919. mload
  920. dup2
  921. mstore
  922. 0x20
  923. add
  924. swap2
  925. pop
  926. dup1
  927. mload
  928. swap1
  929. 0x20
  930. add
  931. swap1
  932. dup1
  933. dup4
  934. dup4
  935. /* "--CODEGEN--":23:24 */
  936. 0x0
  937. /* "--CODEGEN--":8:108 */
  938. tag_35:
  939. /* "--CODEGEN--":33:36 */
  940. dup4
  941. /* "--CODEGEN--":30:31 */
  942. dup2
  943. /* "--CODEGEN--":27:37 */
  944. lt
  945. /* "--CODEGEN--":8:108 */
  946. iszero
  947. tag_36
  948. jumpi
  949. /* "--CODEGEN--":99:100 */
  950. dup1
  951. /* "--CODEGEN--":94:97 */
  952. dup3
  953. /* "--CODEGEN--":90:101 */
  954. add
  955. /* "--CODEGEN--":84:102 */
  956. mload
  957. /* "--CODEGEN--":80:81 */
  958. dup2
  959. /* "--CODEGEN--":75:78 */
  960. dup5
  961. /* "--CODEGEN--":71:82 */
  962. add
  963. /* "--CODEGEN--":64:103 */
  964. mstore
  965. /* "--CODEGEN--":52:54 */
  966. 0x20
  967. /* "--CODEGEN--":49:50 */
  968. dup2
  969. /* "--CODEGEN--":45:55 */
  970. add
  971. /* "--CODEGEN--":40:55 */
  972. swap1
  973. pop
  974. /* "--CODEGEN--":8:108 */
  975. jump(tag_35)
  976. tag_36:
  977. /* "--CODEGEN--":12:26 */
  978. pop
  979. /* "ExampleContract.sol":1413:1562 */
  980. pop
  981. pop
  982. pop
  983. swap1
  984. pop
  985. swap1
  986. dup2
  987. add
  988. swap1
  989. 0x1f
  990. and
  991. dup1
  992. iszero
  993. tag_38
  994. jumpi
  995. dup1
  996. dup3
  997. sub
  998. dup1
  999. mload
  1000. 0x1
  1001. dup4
  1002. 0x20
  1003. sub
  1004. 0x100
  1005. exp
  1006. sub
  1007. not
  1008. and
  1009. dup2
  1010. mstore
  1011. 0x20
  1012. add
  1013. swap2
  1014. pop
  1015. tag_38:
  1016. pop
  1017. dup5
  1018. dup2
  1019. sub
  1020. dup3
  1021. mstore
  1022. dup6
  1023. dup2
  1024. dup2
  1025. mload
  1026. dup2
  1027. mstore
  1028. 0x20
  1029. add
  1030. swap2
  1031. pop
  1032. dup1
  1033. mload
  1034. swap1
  1035. 0x20
  1036. add
  1037. swap1
  1038. dup1
  1039. dup4
  1040. dup4
  1041. /* "--CODEGEN--":23:24 */
  1042. 0x0
  1043. /* "--CODEGEN--":8:108 */
  1044. tag_39:
  1045. /* "--CODEGEN--":33:36 */
  1046. dup4
  1047. /* "--CODEGEN--":30:31 */
  1048. dup2
  1049. /* "--CODEGEN--":27:37 */
  1050. lt
  1051. /* "--CODEGEN--":8:108 */
  1052. iszero
  1053. tag_40
  1054. jumpi
  1055. /* "--CODEGEN--":99:100 */
  1056. dup1
  1057. /* "--CODEGEN--":94:97 */
  1058. dup3
  1059. /* "--CODEGEN--":90:101 */
  1060. add
  1061. /* "--CODEGEN--":84:102 */
  1062. mload
  1063. /* "--CODEGEN--":80:81 */
  1064. dup2
  1065. /* "--CODEGEN--":75:78 */
  1066. dup5
  1067. /* "--CODEGEN--":71:82 */
  1068. add
  1069. /* "--CODEGEN--":64:103 */
  1070. mstore
  1071. /* "--CODEGEN--":52:54 */
  1072. 0x20
  1073. /* "--CODEGEN--":49:50 */
  1074. dup2
  1075. /* "--CODEGEN--":45:55 */
  1076. add
  1077. /* "--CODEGEN--":40:55 */
  1078. swap1
  1079. pop
  1080. /* "--CODEGEN--":8:108 */
  1081. jump(tag_39)
  1082. tag_40:
  1083. /* "--CODEGEN--":12:26 */
  1084. pop
  1085. /* "ExampleContract.sol":1413:1562 */
  1086. pop
  1087. pop
  1088. pop
  1089. swap1
  1090. pop
  1091. swap1
  1092. dup2
  1093. add
  1094. swap1
  1095. 0x1f
  1096. and
  1097. dup1
  1098. iszero
  1099. tag_42
  1100. jumpi
  1101. dup1
  1102. dup3
  1103. sub
  1104. dup1
  1105. mload
  1106. 0x1
  1107. dup4
  1108. 0x20
  1109. sub
  1110. 0x100
  1111. exp
  1112. sub
  1113. not
  1114. and
  1115. dup2
  1116. mstore
  1117. 0x20
  1118. add
  1119. swap2
  1120. pop
  1121. tag_42:
  1122. pop
  1123. swap7
  1124. pop
  1125. pop
  1126. pop
  1127. pop
  1128. pop
  1129. pop
  1130. pop
  1131. mload(0x40)
  1132. dup1
  1133. swap2
  1134. sub
  1135. swap1
  1136. return
  1137. /* "ExampleContract.sol":276:320 */
  1138. tag_4:
  1139. callvalue
  1140. /* "--CODEGEN--":8:17 */
  1141. dup1
  1142. /* "--CODEGEN--":5:7 */
  1143. iszero
  1144. tag_43
  1145. jumpi
  1146. /* "--CODEGEN--":30:31 */
  1147. 0x0
  1148. /* "--CODEGEN--":27:28 */
  1149. dup1
  1150. /* "--CODEGEN--":20:32 */
  1151. revert
  1152. /* "--CODEGEN--":5:7 */
  1153. tag_43:
  1154. /* "ExampleContract.sol":276:320 */
  1155. pop
  1156. tag_44
  1157. 0x4
  1158. dup1
  1159. calldatasize
  1160. sub
  1161. dup2
  1162. add
  1163. swap1
  1164. dup1
  1165. dup1
  1166. calldataload
  1167. 0xffffffffffffffffffffffffffffffffffffffff
  1168. and
  1169. swap1
  1170. 0x20
  1171. add
  1172. swap1
  1173. swap3
  1174. swap2
  1175. swap1
  1176. pop
  1177. pop
  1178. pop
  1179. jump(tag_45)
  1180. tag_44:
  1181. mload(0x40)
  1182. dup1
  1183. dup3
  1184. dup2
  1185. mstore
  1186. 0x20
  1187. add
  1188. swap2
  1189. pop
  1190. pop
  1191. mload(0x40)
  1192. dup1
  1193. swap2
  1194. sub
  1195. swap1
  1196. return
  1197. /* "ExampleContract.sol":489:508 */
  1198. tag_5:
  1199. callvalue
  1200. /* "--CODEGEN--":8:17 */
  1201. dup1
  1202. /* "--CODEGEN--":5:7 */
  1203. iszero
  1204. tag_46
  1205. jumpi
  1206. /* "--CODEGEN--":30:31 */
  1207. 0x0
  1208. /* "--CODEGEN--":27:28 */
  1209. dup1
  1210. /* "--CODEGEN--":20:32 */
  1211. revert
  1212. /* "--CODEGEN--":5:7 */
  1213. tag_46:
  1214. /* "ExampleContract.sol":489:508 */
  1215. pop
  1216. tag_47
  1217. jump(tag_48)
  1218. tag_47:
  1219. mload(0x40)
  1220. dup1
  1221. dup3
  1222. dup2
  1223. mstore
  1224. 0x20
  1225. add
  1226. swap2
  1227. pop
  1228. pop
  1229. mload(0x40)
  1230. dup1
  1231. swap2
  1232. sub
  1233. swap1
  1234. return
  1235. /* "ExampleContract.sol":2380:2472 */
  1236. tag_6:
  1237. callvalue
  1238. /* "--CODEGEN--":8:17 */
  1239. dup1
  1240. /* "--CODEGEN--":5:7 */
  1241. iszero
  1242. tag_49
  1243. jumpi
  1244. /* "--CODEGEN--":30:31 */
  1245. 0x0
  1246. /* "--CODEGEN--":27:28 */
  1247. dup1
  1248. /* "--CODEGEN--":20:32 */
  1249. revert
  1250. /* "--CODEGEN--":5:7 */
  1251. tag_49:
  1252. /* "ExampleContract.sol":2380:2472 */
  1253. pop
  1254. tag_50
  1255. 0x4
  1256. dup1
  1257. calldatasize
  1258. sub
  1259. dup2
  1260. add
  1261. swap1
  1262. dup1
  1263. dup1
  1264. calldataload
  1265. 0x2
  1266. signextend
  1267. swap1
  1268. 0x20
  1269. add
  1270. swap1
  1271. swap3
  1272. swap2
  1273. swap1
  1274. pop
  1275. pop
  1276. pop
  1277. jump(tag_51)
  1278. tag_50:
  1279. mload(0x40)
  1280. dup1
  1281. dup3
  1282. 0x2
  1283. signextend
  1284. 0x2
  1285. signextend
  1286. dup2
  1287. mstore
  1288. 0x20
  1289. add
  1290. swap2
  1291. pop
  1292. pop
  1293. mload(0x40)
  1294. dup1
  1295. swap2
  1296. sub
  1297. swap1
  1298. return
  1299. /* "ExampleContract.sol":461:485 */
  1300. tag_7:
  1301. callvalue
  1302. /* "--CODEGEN--":8:17 */
  1303. dup1
  1304. /* "--CODEGEN--":5:7 */
  1305. iszero
  1306. tag_52
  1307. jumpi
  1308. /* "--CODEGEN--":30:31 */
  1309. 0x0
  1310. /* "--CODEGEN--":27:28 */
  1311. dup1
  1312. /* "--CODEGEN--":20:32 */
  1313. revert
  1314. /* "--CODEGEN--":5:7 */
  1315. tag_52:
  1316. /* "ExampleContract.sol":461:485 */
  1317. pop
  1318. tag_53
  1319. jump(tag_54)
  1320. tag_53:
  1321. mload(0x40)
  1322. dup1
  1323. dup3
  1324. iszero
  1325. iszero
  1326. iszero
  1327. iszero
  1328. dup2
  1329. mstore
  1330. 0x20
  1331. add
  1332. swap2
  1333. pop
  1334. pop
  1335. mload(0x40)
  1336. dup1
  1337. swap2
  1338. sub
  1339. swap1
  1340. return
  1341. /* "ExampleContract.sol":434:457 */
  1342. tag_8:
  1343. callvalue
  1344. /* "--CODEGEN--":8:17 */
  1345. dup1
  1346. /* "--CODEGEN--":5:7 */
  1347. iszero
  1348. tag_55
  1349. jumpi
  1350. /* "--CODEGEN--":30:31 */
  1351. 0x0
  1352. /* "--CODEGEN--":27:28 */
  1353. dup1
  1354. /* "--CODEGEN--":20:32 */
  1355. revert
  1356. /* "--CODEGEN--":5:7 */
  1357. tag_55:
  1358. /* "ExampleContract.sol":434:457 */
  1359. pop
  1360. tag_56
  1361. jump(tag_57)
  1362. tag_56:
  1363. mload(0x40)
  1364. dup1
  1365. dup1
  1366. 0x20
  1367. add
  1368. dup3
  1369. dup2
  1370. sub
  1371. dup3
  1372. mstore
  1373. dup4
  1374. dup2
  1375. dup2
  1376. mload
  1377. dup2
  1378. mstore
  1379. 0x20
  1380. add
  1381. swap2
  1382. pop
  1383. dup1
  1384. mload
  1385. swap1
  1386. 0x20
  1387. add
  1388. swap1
  1389. dup1
  1390. dup4
  1391. dup4
  1392. /* "--CODEGEN--":23:24 */
  1393. 0x0
  1394. /* "--CODEGEN--":8:108 */
  1395. tag_58:
  1396. /* "--CODEGEN--":33:36 */
  1397. dup4
  1398. /* "--CODEGEN--":30:31 */
  1399. dup2
  1400. /* "--CODEGEN--":27:37 */
  1401. lt
  1402. /* "--CODEGEN--":8:108 */
  1403. iszero
  1404. tag_59
  1405. jumpi
  1406. /* "--CODEGEN--":99:100 */
  1407. dup1
  1408. /* "--CODEGEN--":94:97 */
  1409. dup3
  1410. /* "--CODEGEN--":90:101 */
  1411. add
  1412. /* "--CODEGEN--":84:102 */
  1413. mload
  1414. /* "--CODEGEN--":80:81 */
  1415. dup2
  1416. /* "--CODEGEN--":75:78 */
  1417. dup5
  1418. /* "--CODEGEN--":71:82 */
  1419. add
  1420. /* "--CODEGEN--":64:103 */
  1421. mstore
  1422. /* "--CODEGEN--":52:54 */
  1423. 0x20
  1424. /* "--CODEGEN--":49:50 */
  1425. dup2
  1426. /* "--CODEGEN--":45:55 */
  1427. add
  1428. /* "--CODEGEN--":40:55 */
  1429. swap1
  1430. pop
  1431. /* "--CODEGEN--":8:108 */
  1432. jump(tag_58)
  1433. tag_59:
  1434. /* "--CODEGEN--":12:26 */
  1435. pop
  1436. /* "ExampleContract.sol":434:457 */
  1437. pop
  1438. pop
  1439. pop
  1440. swap1
  1441. pop
  1442. swap1
  1443. dup2
  1444. add
  1445. swap1
  1446. 0x1f
  1447. and
  1448. dup1
  1449. iszero
  1450. tag_61
  1451. jumpi
  1452. dup1
  1453. dup3
  1454. sub
  1455. dup1
  1456. mload
  1457. 0x1
  1458. dup4
  1459. 0x20
  1460. sub
  1461. 0x100
  1462. exp
  1463. sub
  1464. not
  1465. and
  1466. dup2
  1467. mstore
  1468. 0x20
  1469. add
  1470. swap2
  1471. pop
  1472. tag_61:
  1473. pop
  1474. swap3
  1475. pop
  1476. pop
  1477. pop
  1478. mload(0x40)
  1479. dup1
  1480. swap2
  1481. sub
  1482. swap1
  1483. return
  1484. /* "ExampleContract.sol":1570:1799 */
  1485. tag_9:
  1486. callvalue
  1487. /* "--CODEGEN--":8:17 */
  1488. dup1
  1489. /* "--CODEGEN--":5:7 */
  1490. iszero
  1491. tag_62
  1492. jumpi
  1493. /* "--CODEGEN--":30:31 */
  1494. 0x0
  1495. /* "--CODEGEN--":27:28 */
  1496. dup1
  1497. /* "--CODEGEN--":20:32 */
  1498. revert
  1499. /* "--CODEGEN--":5:7 */
  1500. tag_62:
  1501. /* "ExampleContract.sol":1570:1799 */
  1502. pop
  1503. tag_63
  1504. 0x4
  1505. dup1
  1506. calldatasize
  1507. sub
  1508. dup2
  1509. add
  1510. swap1
  1511. dup1
  1512. dup1
  1513. calldataload
  1514. iszero
  1515. iszero
  1516. swap1
  1517. 0x20
  1518. add
  1519. swap1
  1520. swap3
  1521. swap2
  1522. swap1
  1523. dup1
  1524. calldataload
  1525. swap1
  1526. 0x20
  1527. add
  1528. swap1
  1529. dup3
  1530. add
  1531. dup1
  1532. calldataload
  1533. swap1
  1534. 0x20
  1535. add
  1536. swap1
  1537. dup1
  1538. dup1
  1539. 0x1f
  1540. add
  1541. 0x20
  1542. dup1
  1543. swap2
  1544. div
  1545. mul
  1546. 0x20
  1547. add
  1548. mload(0x40)
  1549. swap1
  1550. dup2
  1551. add
  1552. 0x40
  1553. mstore
  1554. dup1
  1555. swap4
  1556. swap3
  1557. swap2
  1558. swap1
  1559. dup2
  1560. dup2
  1561. mstore
  1562. 0x20
  1563. add
  1564. dup4
  1565. dup4
  1566. dup1
  1567. dup3
  1568. dup5
  1569. calldatacopy
  1570. dup3
  1571. add
  1572. swap2
  1573. pop
  1574. pop
  1575. pop
  1576. pop
  1577. pop
  1578. pop
  1579. swap2
  1580. swap3
  1581. swap2
  1582. swap3
  1583. swap1
  1584. dup1
  1585. calldataload
  1586. 0x6
  1587. signextend
  1588. swap1
  1589. 0x20
  1590. add
  1591. swap1
  1592. swap3
  1593. swap2
  1594. swap1
  1595. dup1
  1596. calldataload
  1597. swap1
  1598. 0x20
  1599. add
  1600. swap1
  1601. dup3
  1602. add
  1603. dup1
  1604. calldataload
  1605. swap1
  1606. 0x20
  1607. add
  1608. swap1
  1609. dup1
  1610. dup1
  1611. 0x20
  1612. mul
  1613. 0x20
  1614. add
  1615. mload(0x40)
  1616. swap1
  1617. dup2
  1618. add
  1619. 0x40
  1620. mstore
  1621. dup1
  1622. swap4
  1623. swap3
  1624. swap2
  1625. swap1
  1626. dup2
  1627. dup2
  1628. mstore
  1629. 0x20
  1630. add
  1631. dup4
  1632. dup4
  1633. 0x20
  1634. mul
  1635. dup1
  1636. dup3
  1637. dup5
  1638. calldatacopy
  1639. dup3
  1640. add
  1641. swap2
  1642. pop
  1643. pop
  1644. pop
  1645. pop
  1646. pop
  1647. pop
  1648. swap2
  1649. swap3
  1650. swap2
  1651. swap3
  1652. swap1
  1653. dup1
  1654. calldataload
  1655. 0xff
  1656. and
  1657. swap1
  1658. 0x20
  1659. add
  1660. swap1
  1661. swap3
  1662. swap2
  1663. swap1
  1664. dup1
  1665. 0x60
  1666. add
  1667. swap1
  1668. 0x3
  1669. dup1
  1670. 0x20
  1671. mul
  1672. mload(0x40)
  1673. swap1
  1674. dup2
  1675. add
  1676. 0x40
  1677. mstore
  1678. dup1
  1679. swap3
  1680. swap2
  1681. swap1
  1682. dup3
  1683. mul(0x20, 0x3)
  1684. dup1
  1685. dup3
  1686. dup5
  1687. calldatacopy
  1688. dup3
  1689. add
  1690. swap2
  1691. pop
  1692. pop
  1693. pop
  1694. pop
  1695. pop
  1696. swap2
  1697. swap3
  1698. swap2
  1699. swap3
  1700. swap1
  1701. pop
  1702. pop
  1703. pop
  1704. jump(tag_64)
  1705. tag_63:
  1706. mload(0x40)
  1707. dup1
  1708. dup8
  1709. iszero
  1710. iszero
  1711. iszero
  1712. iszero
  1713. dup2
  1714. mstore
  1715. 0x20
  1716. add
  1717. dup1
  1718. 0x20
  1719. add
  1720. dup7
  1721. 0x6
  1722. signextend
  1723. 0x6
  1724. signextend
  1725. dup2
  1726. mstore
  1727. 0x20
  1728. add
  1729. dup1
  1730. 0x20
  1731. add
  1732. dup6
  1733. 0xff
  1734. and
  1735. 0xff
  1736. and
  1737. dup2
  1738. mstore
  1739. 0x20
  1740. add
  1741. dup5
  1742. mul(0x20, 0x3)
  1743. dup1
  1744. dup4
  1745. dup4
  1746. /* "--CODEGEN--":23:24 */
  1747. 0x0
  1748. /* "--CODEGEN--":8:108 */
  1749. tag_65:
  1750. /* "--CODEGEN--":33:36 */
  1751. dup4
  1752. /* "--CODEGEN--":30:31 */
  1753. dup2
  1754. /* "--CODEGEN--":27:37 */
  1755. lt
  1756. /* "--CODEGEN--":8:108 */
  1757. iszero
  1758. tag_66
  1759. jumpi
  1760. /* "--CODEGEN--":99:100 */
  1761. dup1
  1762. /* "--CODEGEN--":94:97 */
  1763. dup3
  1764. /* "--CODEGEN--":90:101 */
  1765. add
  1766. /* "--CODEGEN--":84:102 */
  1767. mload
  1768. /* "--CODEGEN--":80:81 */
  1769. dup2
  1770. /* "--CODEGEN--":75:78 */
  1771. dup5
  1772. /* "--CODEGEN--":71:82 */
  1773. add
  1774. /* "--CODEGEN--":64:103 */
  1775. mstore
  1776. /* "--CODEGEN--":52:54 */
  1777. 0x20
  1778. /* "--CODEGEN--":49:50 */
  1779. dup2
  1780. /* "--CODEGEN--":45:55 */
  1781. add
  1782. /* "--CODEGEN--":40:55 */
  1783. swap1
  1784. pop
  1785. /* "--CODEGEN--":8:108 */
  1786. jump(tag_65)
  1787. tag_66:
  1788. /* "--CODEGEN--":12:26 */
  1789. pop
  1790. /* "ExampleContract.sol":1570:1799 */
  1791. pop
  1792. pop
  1793. pop
  1794. swap1
  1795. pop
  1796. add
  1797. dup4
  1798. dup2
  1799. sub
  1800. dup4
  1801. mstore
  1802. dup9
  1803. dup2
  1804. dup2
  1805. mload
  1806. dup2
  1807. mstore
  1808. 0x20
  1809. add
  1810. swap2
  1811. pop
  1812. dup1
  1813. mload
  1814. swap1
  1815. 0x20
  1816. add
  1817. swap1
  1818. dup1
  1819. dup4
  1820. dup4
  1821. /* "--CODEGEN--":23:24 */
  1822. 0x0
  1823. /* "--CODEGEN--":8:108 */
  1824. tag_68:
  1825. /* "--CODEGEN--":33:36 */
  1826. dup4
  1827. /* "--CODEGEN--":30:31 */
  1828. dup2
  1829. /* "--CODEGEN--":27:37 */
  1830. lt
  1831. /* "--CODEGEN--":8:108 */
  1832. iszero
  1833. tag_69
  1834. jumpi
  1835. /* "--CODEGEN--":99:100 */
  1836. dup1
  1837. /* "--CODEGEN--":94:97 */
  1838. dup3
  1839. /* "--CODEGEN--":90:101 */
  1840. add
  1841. /* "--CODEGEN--":84:102 */
  1842. mload
  1843. /* "--CODEGEN--":80:81 */
  1844. dup2
  1845. /* "--CODEGEN--":75:78 */
  1846. dup5
  1847. /* "--CODEGEN--":71:82 */
  1848. add
  1849. /* "--CODEGEN--":64:103 */
  1850. mstore
  1851. /* "--CODEGEN--":52:54 */
  1852. 0x20
  1853. /* "--CODEGEN--":49:50 */
  1854. dup2
  1855. /* "--CODEGEN--":45:55 */
  1856. add
  1857. /* "--CODEGEN--":40:55 */
  1858. swap1
  1859. pop
  1860. /* "--CODEGEN--":8:108 */
  1861. jump(tag_68)
  1862. tag_69:
  1863. /* "--CODEGEN--":12:26 */
  1864. pop
  1865. /* "ExampleContract.sol":1570:1799 */
  1866. pop
  1867. pop
  1868. pop
  1869. swap1
  1870. pop
  1871. swap1
  1872. dup2
  1873. add
  1874. swap1
  1875. 0x1f
  1876. and
  1877. dup1
  1878. iszero
  1879. tag_71
  1880. jumpi
  1881. dup1
  1882. dup3
  1883. sub
  1884. dup1
  1885. mload
  1886. 0x1
  1887. dup4
  1888. 0x20
  1889. sub
  1890. 0x100
  1891. exp
  1892. sub
  1893. not
  1894. and
  1895. dup2
  1896. mstore
  1897. 0x20
  1898. add
  1899. swap2
  1900. pop
  1901. tag_71:
  1902. pop
  1903. dup4
  1904. dup2
  1905. sub
  1906. dup3
  1907. mstore
  1908. dup7
  1909. dup2
  1910. dup2
  1911. mload
  1912. dup2
  1913. mstore
  1914. 0x20
  1915. add
  1916. swap2
  1917. pop
  1918. dup1
  1919. mload
  1920. swap1
  1921. 0x20
  1922. add
  1923. swap1
  1924. 0x20
  1925. mul
  1926. dup1
  1927. dup4
  1928. dup4
  1929. /* "--CODEGEN--":23:24 */
  1930. 0x0
  1931. /* "--CODEGEN--":8:108 */
  1932. tag_72:
  1933. /* "--CODEGEN--":33:36 */
  1934. dup4
  1935. /* "--CODEGEN--":30:31 */
  1936. dup2
  1937. /* "--CODEGEN--":27:37 */
  1938. lt
  1939. /* "--CODEGEN--":8:108 */
  1940. iszero
  1941. tag_73
  1942. jumpi
  1943. /* "--CODEGEN--":99:100 */
  1944. dup1
  1945. /* "--CODEGEN--":94:97 */
  1946. dup3
  1947. /* "--CODEGEN--":90:101 */
  1948. add
  1949. /* "--CODEGEN--":84:102 */
  1950. mload
  1951. /* "--CODEGEN--":80:81 */
  1952. dup2
  1953. /* "--CODEGEN--":75:78 */
  1954. dup5
  1955. /* "--CODEGEN--":71:82 */
  1956. add
  1957. /* "--CODEGEN--":64:103 */
  1958. mstore
  1959. /* "--CODEGEN--":52:54 */
  1960. 0x20
  1961. /* "--CODEGEN--":49:50 */
  1962. dup2
  1963. /* "--CODEGEN--":45:55 */
  1964. add
  1965. /* "--CODEGEN--":40:55 */
  1966. swap1
  1967. pop
  1968. /* "--CODEGEN--":8:108 */
  1969. jump(tag_72)
  1970. tag_73:
  1971. /* "--CODEGEN--":12:26 */
  1972. pop
  1973. /* "ExampleContract.sol":1570:1799 */
  1974. pop
  1975. pop
  1976. pop
  1977. swap1
  1978. pop
  1979. add
  1980. swap9
  1981. pop
  1982. pop
  1983. pop
  1984. pop
  1985. pop
  1986. pop
  1987. pop
  1988. pop
  1989. pop
  1990. mload(0x40)
  1991. dup1
  1992. swap2
  1993. sub
  1994. swap1
  1995. return
  1996. /* "ExampleContract.sol":2156:2235 */
  1997. tag_10:
  1998. callvalue
  1999. /* "--CODEGEN--":8:17 */
  2000. dup1
  2001. /* "--CODEGEN--":5:7 */
  2002. iszero
  2003. tag_75
  2004. jumpi
  2005. /* "--CODEGEN--":30:31 */
  2006. 0x0
  2007. /* "--CODEGEN--":27:28 */
  2008. dup1
  2009. /* "--CODEGEN--":20:32 */
  2010. revert
  2011. /* "--CODEGEN--":5:7 */
  2012. tag_75:
  2013. /* "ExampleContract.sol":2156:2235 */
  2014. pop
  2015. tag_76
  2016. 0x4
  2017. dup1
  2018. calldatasize
  2019. sub
  2020. dup2
  2021. add
  2022. swap1
  2023. dup1
  2024. dup1
  2025. calldataload
  2026. 0xffffffffffffffffffffffffffffffffffffffff
  2027. and
  2028. swap1
  2029. 0x20
  2030. add
  2031. swap1
  2032. swap3
  2033. swap2
  2034. swap1
  2035. pop
  2036. pop
  2037. pop
  2038. jump(tag_77)
  2039. tag_76:
  2040. mload(0x40)
  2041. dup1
  2042. dup3
  2043. 0xffffffffffffffffffffffffffffffffffffffff
  2044. and
  2045. 0xffffffffffffffffffffffffffffffffffffffff
  2046. and
  2047. dup2
  2048. mstore
  2049. 0x20
  2050. add
  2051. swap2
  2052. pop
  2053. pop
  2054. mload(0x40)
  2055. dup1
  2056. swap2
  2057. sub
  2058. swap1
  2059. return
  2060. /* "ExampleContract.sol":859:1036 */
  2061. tag_11:
  2062. callvalue
  2063. /* "--CODEGEN--":8:17 */
  2064. dup1
  2065. /* "--CODEGEN--":5:7 */
  2066. iszero
  2067. tag_78
  2068. jumpi
  2069. /* "--CODEGEN--":30:31 */
  2070. 0x0
  2071. /* "--CODEGEN--":27:28 */
  2072. dup1
  2073. /* "--CODEGEN--":20:32 */
  2074. revert
  2075. /* "--CODEGEN--":5:7 */
  2076. tag_78:
  2077. /* "ExampleContract.sol":859:1036 */
  2078. pop
  2079. tag_79
  2080. jump(tag_80)
  2081. tag_79:
  2082. mload(0x40)
  2083. dup1
  2084. dup1
  2085. 0x20
  2086. add
  2087. dup3
  2088. dup2
  2089. sub
  2090. dup3
  2091. mstore
  2092. dup4
  2093. dup2
  2094. dup2
  2095. mload
  2096. dup2
  2097. mstore
  2098. 0x20
  2099. add
  2100. swap2
  2101. pop
  2102. dup1
  2103. mload
  2104. swap1
  2105. 0x20
  2106. add
  2107. swap1
  2108. 0x20
  2109. mul
  2110. dup1
  2111. dup4
  2112. dup4
  2113. /* "--CODEGEN--":23:24 */
  2114. 0x0
  2115. /* "--CODEGEN--":8:108 */
  2116. tag_81:
  2117. /* "--CODEGEN--":33:36 */
  2118. dup4
  2119. /* "--CODEGEN--":30:31 */
  2120. dup2
  2121. /* "--CODEGEN--":27:37 */
  2122. lt
  2123. /* "--CODEGEN--":8:108 */
  2124. iszero
  2125. tag_82
  2126. jumpi
  2127. /* "--CODEGEN--":99:100 */
  2128. dup1
  2129. /* "--CODEGEN--":94:97 */
  2130. dup3
  2131. /* "--CODEGEN--":90:101 */
  2132. add
  2133. /* "--CODEGEN--":84:102 */
  2134. mload
  2135. /* "--CODEGEN--":80:81 */
  2136. dup2
  2137. /* "--CODEGEN--":75:78 */
  2138. dup5
  2139. /* "--CODEGEN--":71:82 */
  2140. add
  2141. /* "--CODEGEN--":64:103 */
  2142. mstore
  2143. /* "--CODEGEN--":52:54 */
  2144. 0x20
  2145. /* "--CODEGEN--":49:50 */
  2146. dup2
  2147. /* "--CODEGEN--":45:55 */
  2148. add
  2149. /* "--CODEGEN--":40:55 */
  2150. swap1
  2151. pop
  2152. /* "--CODEGEN--":8:108 */
  2153. jump(tag_81)
  2154. tag_82:
  2155. /* "--CODEGEN--":12:26 */
  2156. pop
  2157. /* "ExampleContract.sol":859:1036 */
  2158. pop
  2159. pop
  2160. pop
  2161. swap1
  2162. pop
  2163. add
  2164. swap3
  2165. pop
  2166. pop
  2167. pop
  2168. mload(0x40)
  2169. dup1
  2170. swap2
  2171. sub
  2172. swap1
  2173. return
  2174. /* "ExampleContract.sol":1969:2070 */
  2175. tag_12:
  2176. callvalue
  2177. /* "--CODEGEN--":8:17 */
  2178. dup1
  2179. /* "--CODEGEN--":5:7 */
  2180. iszero
  2181. tag_84
  2182. jumpi
  2183. /* "--CODEGEN--":30:31 */
  2184. 0x0
  2185. /* "--CODEGEN--":27:28 */
  2186. dup1
  2187. /* "--CODEGEN--":20:32 */
  2188. revert
  2189. /* "--CODEGEN--":5:7 */
  2190. tag_84:
  2191. /* "ExampleContract.sol":1969:2070 */
  2192. pop
  2193. tag_85
  2194. 0x4
  2195. dup1
  2196. calldatasize
  2197. sub
  2198. dup2
  2199. add
  2200. swap1
  2201. dup1
  2202. dup1
  2203. calldataload
  2204. swap1
  2205. 0x20
  2206. add
  2207. swap1
  2208. swap3
  2209. swap2
  2210. swap1
  2211. pop
  2212. pop
  2213. pop
  2214. jump(tag_86)
  2215. tag_85:
  2216. mload(0x40)
  2217. dup1
  2218. dup3
  2219. iszero
  2220. iszero
  2221. iszero
  2222. iszero
  2223. dup2
  2224. mstore
  2225. 0x20
  2226. add
  2227. swap2
  2228. pop
  2229. pop
  2230. mload(0x40)
  2231. dup1
  2232. swap2
  2233. sub
  2234. swap1
  2235. return
  2236. /* "ExampleContract.sol":1044:1143 */
  2237. tag_13:
  2238. callvalue
  2239. /* "--CODEGEN--":8:17 */
  2240. dup1
  2241. /* "--CODEGEN--":5:7 */
  2242. iszero
  2243. tag_87
  2244. jumpi
  2245. /* "--CODEGEN--":30:31 */
  2246. 0x0
  2247. /* "--CODEGEN--":27:28 */
  2248. dup1
  2249. /* "--CODEGEN--":20:32 */
  2250. revert
  2251. /* "--CODEGEN--":5:7 */
  2252. tag_87:
  2253. /* "ExampleContract.sol":1044:1143 */
  2254. pop
  2255. tag_88
  2256. 0x4
  2257. dup1
  2258. calldatasize
  2259. sub
  2260. dup2
  2261. add
  2262. swap1
  2263. dup1
  2264. dup1
  2265. calldataload
  2266. swap1
  2267. 0x20
  2268. add
  2269. swap1
  2270. dup3
  2271. add
  2272. dup1
  2273. calldataload
  2274. swap1
  2275. 0x20
  2276. add
  2277. swap1
  2278. dup1
  2279. dup1
  2280. 0x20
  2281. mul
  2282. 0x20
  2283. add
  2284. mload(0x40)
  2285. swap1
  2286. dup2
  2287. add
  2288. 0x40
  2289. mstore
  2290. dup1
  2291. swap4
  2292. swap3
  2293. swap2
  2294. swap1
  2295. dup2
  2296. dup2
  2297. mstore
  2298. 0x20
  2299. add
  2300. dup4
  2301. dup4
  2302. 0x20
  2303. mul
  2304. dup1
  2305. dup3
  2306. dup5
  2307. calldatacopy
  2308. dup3
  2309. add
  2310. swap2
  2311. pop
  2312. pop
  2313. pop
  2314. pop
  2315. pop
  2316. pop
  2317. swap2
  2318. swap3
  2319. swap2
  2320. swap3
  2321. swap1
  2322. pop
  2323. pop
  2324. pop
  2325. jump(tag_89)
  2326. tag_88:
  2327. mload(0x40)
  2328. dup1
  2329. dup1
  2330. 0x20
  2331. add
  2332. dup3
  2333. dup2
  2334. sub
  2335. dup3
  2336. mstore
  2337. dup4
  2338. dup2
  2339. dup2
  2340. mload
  2341. dup2
  2342. mstore
  2343. 0x20
  2344. add
  2345. swap2
  2346. pop
  2347. dup1
  2348. mload
  2349. swap1
  2350. 0x20
  2351. add
  2352. swap1
  2353. 0x20
  2354. mul
  2355. dup1
  2356. dup4
  2357. dup4
  2358. /* "--CODEGEN--":23:24 */
  2359. 0x0
  2360. /* "--CODEGEN--":8:108 */
  2361. tag_90:
  2362. /* "--CODEGEN--":33:36 */
  2363. dup4
  2364. /* "--CODEGEN--":30:31 */
  2365. dup2
  2366. /* "--CODEGEN--":27:37 */
  2367. lt
  2368. /* "--CODEGEN--":8:108 */
  2369. iszero
  2370. tag_91
  2371. jumpi
  2372. /* "--CODEGEN--":99:100 */
  2373. dup1
  2374. /* "--CODEGEN--":94:97 */
  2375. dup3
  2376. /* "--CODEGEN--":90:101 */
  2377. add
  2378. /* "--CODEGEN--":84:102 */
  2379. mload
  2380. /* "--CODEGEN--":80:81 */
  2381. dup2
  2382. /* "--CODEGEN--":75:78 */
  2383. dup5
  2384. /* "--CODEGEN--":71:82 */
  2385. add
  2386. /* "--CODEGEN--":64:103 */
  2387. mstore
  2388. /* "--CODEGEN--":52:54 */
  2389. 0x20
  2390. /* "--CODEGEN--":49:50 */
  2391. dup2
  2392. /* "--CODEGEN--":45:55 */
  2393. add
  2394. /* "--CODEGEN--":40:55 */
  2395. swap1
  2396. pop
  2397. /* "--CODEGEN--":8:108 */
  2398. jump(tag_90)
  2399. tag_91:
  2400. /* "--CODEGEN--":12:26 */
  2401. pop
  2402. /* "ExampleContract.sol":1044:1143 */
  2403. pop
  2404. pop
  2405. pop
  2406. swap1
  2407. pop
  2408. add
  2409. swap3
  2410. pop
  2411. pop
  2412. pop
  2413. mload(0x40)
  2414. dup1
  2415. swap2
  2416. sub
  2417. swap1
  2418. return
  2419. /* "ExampleContract.sol":1151:1251 */
  2420. tag_14:
  2421. callvalue
  2422. /* "--CODEGEN--":8:17 */
  2423. dup1
  2424. /* "--CODEGEN--":5:7 */
  2425. iszero
  2426. tag_93
  2427. jumpi
  2428. /* "--CODEGEN--":30:31 */
  2429. 0x0
  2430. /* "--CODEGEN--":27:28 */
  2431. dup1
  2432. /* "--CODEGEN--":20:32 */
  2433. revert
  2434. /* "--CODEGEN--":5:7 */
  2435. tag_93:
  2436. /* "ExampleContract.sol":1151:1251 */
  2437. pop
  2438. tag_94
  2439. 0x4
  2440. dup1
  2441. calldatasize
  2442. sub
  2443. dup2
  2444. add
  2445. swap1
  2446. dup1
  2447. dup1
  2448. 0xa0
  2449. add
  2450. swap1
  2451. 0x5
  2452. dup1
  2453. 0x20
  2454. mul
  2455. mload(0x40)
  2456. swap1
  2457. dup2
  2458. add
  2459. 0x40
  2460. mstore
  2461. dup1
  2462. swap3
  2463. swap2
  2464. swap1
  2465. dup3
  2466. mul(0x20, 0x5)
  2467. dup1
  2468. dup3
  2469. dup5
  2470. calldatacopy
  2471. dup3
  2472. add
  2473. swap2
  2474. pop
  2475. pop
  2476. pop
  2477. pop
  2478. pop
  2479. swap2
  2480. swap3
  2481. swap2
  2482. swap3
  2483. swap1
  2484. pop
  2485. pop
  2486. pop
  2487. jump(tag_95)
  2488. tag_94:
  2489. mload(0x40)
  2490. dup1
  2491. dup3
  2492. mul(0x20, 0x5)
  2493. dup1
  2494. dup4
  2495. dup4
  2496. /* "--CODEGEN--":23:24 */
  2497. 0x0
  2498. /* "--CODEGEN--":8:108 */
  2499. tag_96:
  2500. /* "--CODEGEN--":33:36 */
  2501. dup4
  2502. /* "--CODEGEN--":30:31 */
  2503. dup2
  2504. /* "--CODEGEN--":27:37 */
  2505. lt
  2506. /* "--CODEGEN--":8:108 */
  2507. iszero
  2508. tag_97
  2509. jumpi
  2510. /* "--CODEGEN--":99:100 */
  2511. dup1
  2512. /* "--CODEGEN--":94:97 */
  2513. dup3
  2514. /* "--CODEGEN--":90:101 */
  2515. add
  2516. /* "--CODEGEN--":84:102 */
  2517. mload
  2518. /* "--CODEGEN--":80:81 */
  2519. dup2
  2520. /* "--CODEGEN--":75:78 */
  2521. dup5
  2522. /* "--CODEGEN--":71:82 */
  2523. add
  2524. /* "--CODEGEN--":64:103 */
  2525. mstore
  2526. /* "--CODEGEN--":52:54 */
  2527. 0x20
  2528. /* "--CODEGEN--":49:50 */
  2529. dup2
  2530. /* "--CODEGEN--":45:55 */
  2531. add
  2532. /* "--CODEGEN--":40:55 */
  2533. swap1
  2534. pop
  2535. /* "--CODEGEN--":8:108 */
  2536. jump(tag_96)
  2537. tag_97:
  2538. /* "--CODEGEN--":12:26 */
  2539. pop
  2540. /* "ExampleContract.sol":1151:1251 */
  2541. pop
  2542. pop
  2543. pop
  2544. swap1
  2545. pop
  2546. add
  2547. swap2
  2548. pop
  2549. pop
  2550. mload(0x40)
  2551. dup1
  2552. swap2
  2553. sub
  2554. swap1
  2555. return
  2556. /* "ExampleContract.sol":701:854 */
  2557. tag_15:
  2558. callvalue
  2559. /* "--CODEGEN--":8:17 */
  2560. dup1
  2561. /* "--CODEGEN--":5:7 */
  2562. iszero
  2563. tag_99
  2564. jumpi
  2565. /* "--CODEGEN--":30:31 */
  2566. 0x0
  2567. /* "--CODEGEN--":27:28 */
  2568. dup1
  2569. /* "--CODEGEN--":20:32 */
  2570. revert
  2571. /* "--CODEGEN--":5:7 */
  2572. tag_99:
  2573. /* "ExampleContract.sol":701:854 */
  2574. pop
  2575. tag_100
  2576. jump(tag_101)
  2577. tag_100:
  2578. mload(0x40)
  2579. dup1
  2580. dup3
  2581. mul(0x20, 0x4)
  2582. dup1
  2583. dup4
  2584. dup4
  2585. /* "--CODEGEN--":23:24 */
  2586. 0x0
  2587. /* "--CODEGEN--":8:108 */
  2588. tag_102:
  2589. /* "--CODEGEN--":33:36 */
  2590. dup4
  2591. /* "--CODEGEN--":30:31 */
  2592. dup2
  2593. /* "--CODEGEN--":27:37 */
  2594. lt
  2595. /* "--CODEGEN--":8:108 */
  2596. iszero
  2597. tag_103
  2598. jumpi
  2599. /* "--CODEGEN--":99:100 */
  2600. dup1
  2601. /* "--CODEGEN--":94:97 */
  2602. dup3
  2603. /* "--CODEGEN--":90:101 */
  2604. add
  2605. /* "--CODEGEN--":84:102 */
  2606. mload
  2607. /* "--CODEGEN--":80:81 */
  2608. dup2
  2609. /* "--CODEGEN--":75:78 */
  2610. dup5
  2611. /* "--CODEGEN--":71:82 */
  2612. add
  2613. /* "--CODEGEN--":64:103 */
  2614. mstore
  2615. /* "--CODEGEN--":52:54 */
  2616. 0x20
  2617. /* "--CODEGEN--":49:50 */
  2618. dup2
  2619. /* "--CODEGEN--":45:55 */
  2620. add
  2621. /* "--CODEGEN--":40:55 */
  2622. swap1
  2623. pop
  2624. /* "--CODEGEN--":8:108 */
  2625. jump(tag_102)
  2626. tag_103:
  2627. /* "--CODEGEN--":12:26 */
  2628. pop
  2629. /* "ExampleContract.sol":701:854 */
  2630. pop
  2631. pop
  2632. pop
  2633. swap1
  2634. pop
  2635. add
  2636. swap2
  2637. pop
  2638. pop
  2639. mload(0x40)
  2640. dup1
  2641. swap2
  2642. sub
  2643. swap1
  2644. return
  2645. /* "ExampleContract.sol":1259:1405 */
  2646. tag_16:
  2647. callvalue
  2648. /* "--CODEGEN--":8:17 */
  2649. dup1
  2650. /* "--CODEGEN--":5:7 */
  2651. iszero
  2652. tag_105
  2653. jumpi
  2654. /* "--CODEGEN--":30:31 */
  2655. 0x0
  2656. /* "--CODEGEN--":27:28 */
  2657. dup1
  2658. /* "--CODEGEN--":20:32 */
  2659. revert
  2660. /* "--CODEGEN--":5:7 */
  2661. tag_105:
  2662. /* "ExampleContract.sol":1259:1405 */
  2663. pop
  2664. tag_106
  2665. 0x4
  2666. dup1
  2667. calldatasize
  2668. sub
  2669. dup2
  2670. add
  2671. swap1
  2672. dup1
  2673. dup1
  2674. calldataload
  2675. 0xffffffff
  2676. and
  2677. swap1
  2678. 0x20
  2679. add
  2680. swap1
  2681. swap3
  2682. swap2
  2683. swap1
  2684. dup1
  2685. calldataload
  2686. iszero
  2687. iszero
  2688. swap1
  2689. 0x20
  2690. add
  2691. swap1
  2692. swap3
  2693. swap2
  2694. swap1
  2695. dup1
  2696. calldataload
  2697. 0xffffffffffffffffffffffffffffffffffffffff
  2698. and
  2699. swap1
  2700. 0x20
  2701. add
  2702. swap1
  2703. swap3
  2704. swap2
  2705. swap1
  2706. pop
  2707. pop
  2708. pop
  2709. jump(tag_107)
  2710. tag_106:
  2711. mload(0x40)
  2712. dup1
  2713. dup5
  2714. 0xffffffff
  2715. and
  2716. 0xffffffff
  2717. and
  2718. dup2
  2719. mstore
  2720. 0x20
  2721. add
  2722. dup4
  2723. iszero
  2724. iszero
  2725. iszero
  2726. iszero
  2727. dup2
  2728. mstore
  2729. 0x20
  2730. add
  2731. dup3
  2732. 0xffffffffffffffffffffffffffffffffffffffff
  2733. and
  2734. 0xffffffffffffffffffffffffffffffffffffffff
  2735. and
  2736. dup2
  2737. mstore
  2738. 0x20
  2739. add
  2740. swap4
  2741. pop
  2742. pop
  2743. pop
  2744. pop
  2745. mload(0x40)
  2746. dup1
  2747. swap2
  2748. sub
  2749. swap1
  2750. return
  2751. /* "ExampleContract.sol":2240:2372 */
  2752. tag_17:
  2753. callvalue
  2754. /* "--CODEGEN--":8:17 */
  2755. dup1
  2756. /* "--CODEGEN--":5:7 */
  2757. iszero
  2758. tag_108
  2759. jumpi
  2760. /* "--CODEGEN--":30:31 */
  2761. 0x0
  2762. /* "--CODEGEN--":27:28 */
  2763. dup1
  2764. /* "--CODEGEN--":20:32 */
  2765. revert
  2766. /* "--CODEGEN--":5:7 */
  2767. tag_108:
  2768. /* "ExampleContract.sol":2240:2372 */
  2769. pop
  2770. tag_109
  2771. 0x4
  2772. dup1
  2773. calldatasize
  2774. sub
  2775. dup2
  2776. add
  2777. swap1
  2778. dup1
  2779. dup1
  2780. calldataload
  2781. 0xffffffffffffffffffffffffffffffffffffffff
  2782. and
  2783. swap1
  2784. 0x20
  2785. add
  2786. swap1
  2787. swap3
  2788. swap2
  2789. swap1
  2790. dup1
  2791. calldataload
  2792. swap1
  2793. 0x20
  2794. add
  2795. swap1
  2796. swap3
  2797. swap2
  2798. swap1
  2799. dup1
  2800. calldataload
  2801. swap1
  2802. 0x20
  2803. add
  2804. swap1
  2805. dup3
  2806. add
  2807. dup1
  2808. calldataload
  2809. swap1
  2810. 0x20
  2811. add
  2812. swap1
  2813. dup1
  2814. dup1
  2815. 0x1f
  2816. add
  2817. 0x20
  2818. dup1
  2819. swap2
  2820. div
  2821. mul
  2822. 0x20
  2823. add
  2824. mload(0x40)
  2825. swap1
  2826. dup2
  2827. add
  2828. 0x40
  2829. mstore
  2830. dup1
  2831. swap4
  2832. swap3
  2833. swap2
  2834. swap1
  2835. dup2
  2836. dup2
  2837. mstore
  2838. 0x20
  2839. add
  2840. dup4
  2841. dup4
  2842. dup1
  2843. dup3
  2844. dup5
  2845. calldatacopy
  2846. dup3
  2847. add
  2848. swap2
  2849. pop
  2850. pop
  2851. pop
  2852. pop
  2853. pop
  2854. pop
  2855. swap2
  2856. swap3
  2857. swap2
  2858. swap3
  2859. swap1
  2860. pop
  2861. pop
  2862. pop
  2863. jump(tag_110)
  2864. tag_109:
  2865. mload(0x40)
  2866. dup1
  2867. dup5
  2868. 0xffffffffffffffffffffffffffffffffffffffff
  2869. and
  2870. 0xffffffffffffffffffffffffffffffffffffffff
  2871. and
  2872. dup2
  2873. mstore
  2874. 0x20
  2875. add
  2876. dup4
  2877. dup2
  2878. mstore
  2879. 0x20
  2880. add
  2881. dup1
  2882. 0x20
  2883. add
  2884. dup3
  2885. dup2
  2886. sub
  2887. dup3
  2888. mstore
  2889. dup4
  2890. dup2
  2891. dup2
  2892. mload
  2893. dup2
  2894. mstore
  2895. 0x20
  2896. add
  2897. swap2
  2898. pop
  2899. dup1
  2900. mload
  2901. swap1
  2902. 0x20
  2903. add
  2904. swap1
  2905. dup1
  2906. dup4
  2907. dup4
  2908. /* "--CODEGEN--":23:24 */
  2909. 0x0
  2910. /* "--CODEGEN--":8:108 */
  2911. tag_111:
  2912. /* "--CODEGEN--":33:36 */
  2913. dup4
  2914. /* "--CODEGEN--":30:31 */
  2915. dup2
  2916. /* "--CODEGEN--":27:37 */
  2917. lt
  2918. /* "--CODEGEN--":8:108 */
  2919. iszero
  2920. tag_112
  2921. jumpi
  2922. /* "--CODEGEN--":99:100 */
  2923. dup1
  2924. /* "--CODEGEN--":94:97 */
  2925. dup3
  2926. /* "--CODEGEN--":90:101 */
  2927. add
  2928. /* "--CODEGEN--":84:102 */
  2929. mload
  2930. /* "--CODEGEN--":80:81 */
  2931. dup2
  2932. /* "--CODEGEN--":75:78 */
  2933. dup5
  2934. /* "--CODEGEN--":71:82 */
  2935. add
  2936. /* "--CODEGEN--":64:103 */
  2937. mstore
  2938. /* "--CODEGEN--":52:54 */
  2939. 0x20
  2940. /* "--CODEGEN--":49:50 */
  2941. dup2
  2942. /* "--CODEGEN--":45:55 */
  2943. add
  2944. /* "--CODEGEN--":40:55 */
  2945. swap1
  2946. pop
  2947. /* "--CODEGEN--":8:108 */
  2948. jump(tag_111)
  2949. tag_112:
  2950. /* "--CODEGEN--":12:26 */
  2951. pop
  2952. /* "ExampleContract.sol":2240:2372 */
  2953. pop
  2954. pop
  2955. pop
  2956. swap1
  2957. pop
  2958. swap1
  2959. dup2
  2960. add
  2961. swap1
  2962. 0x1f
  2963. and
  2964. dup1
  2965. iszero
  2966. tag_114
  2967. jumpi
  2968. dup1
  2969. dup3
  2970. sub
  2971. dup1
  2972. mload
  2973. 0x1
  2974. dup4
  2975. 0x20
  2976. sub
  2977. 0x100
  2978. exp
  2979. sub
  2980. not
  2981. and
  2982. dup2
  2983. mstore
  2984. 0x20
  2985. add
  2986. swap2
  2987. pop
  2988. tag_114:
  2989. pop
  2990. swap5
  2991. pop
  2992. pop
  2993. pop
  2994. pop
  2995. pop
  2996. mload(0x40)
  2997. dup1
  2998. swap2
  2999. sub
  3000. swap1
  3001. return
  3002. /* "ExampleContract.sol":2075:2151 */
  3003. tag_23:
  3004. /* "ExampleContract.sol":2123:2129 */
  3005. 0x60
  3006. /* "ExampleContract.sol":2143:2146 */
  3007. dup2
  3008. /* "ExampleContract.sol":2136:2146 */
  3009. swap1
  3010. pop
  3011. /* "ExampleContract.sol":2075:2151 */
  3012. swap2
  3013. swap1
  3014. pop
  3015. jump // out
  3016. /* "ExampleContract.sol":1413:1562 */
  3017. tag_30:
  3018. /* "ExampleContract.sol":1491:1500 */
  3019. 0x60
  3020. /* "ExampleContract.sol":1502:1511 */
  3021. dup1
  3022. /* "ExampleContract.sol":1513:1522 */
  3023. 0x60
  3024. /* "ExampleContract.sol":1543:1545 */
  3025. dup6
  3026. /* "ExampleContract.sol":1547:1549 */
  3027. dup6
  3028. /* "ExampleContract.sol":1551:1553 */
  3029. dup6
  3030. /* "ExampleContract.sol":1535:1554 */
  3031. swap3
  3032. pop
  3033. swap3
  3034. pop
  3035. swap3
  3036. pop
  3037. /* "ExampleContract.sol":1413:1562 */
  3038. swap4
  3039. pop
  3040. swap4
  3041. pop
  3042. swap4
  3043. swap1
  3044. pop
  3045. jump // out
  3046. /* "ExampleContract.sol":276:320 */
  3047. tag_45:
  3048. mstore(0x20, 0x0)
  3049. dup1
  3050. 0x0
  3051. mstore
  3052. keccak256(0x0, 0x40)
  3053. 0x0
  3054. swap2
  3055. pop
  3056. swap1
  3057. pop
  3058. sload
  3059. dup2
  3060. jump // out
  3061. /* "ExampleContract.sol":489:508 */
  3062. tag_48:
  3063. sload(0x3)
  3064. dup2
  3065. jump // out
  3066. /* "ExampleContract.sol":2380:2472 */
  3067. tag_51:
  3068. /* "ExampleContract.sol":2427:2440 */
  3069. 0x0
  3070. /* "ExampleContract.sol":2460:2464 */
  3071. dup2
  3072. /* "ExampleContract.sol":2453:2464 */
  3073. swap1
  3074. pop
  3075. /* "ExampleContract.sol":2380:2472 */
  3076. swap2
  3077. swap1
  3078. pop
  3079. jump // out
  3080. /* "ExampleContract.sol":461:485 */
  3081. tag_54:
  3082. 0x2
  3083. 0x0
  3084. swap1
  3085. sload
  3086. swap1
  3087. 0x100
  3088. exp
  3089. swap1
  3090. div
  3091. 0xff
  3092. and
  3093. dup2
  3094. jump // out
  3095. /* "ExampleContract.sol":434:457 */
  3096. tag_57:
  3097. 0x1
  3098. dup1
  3099. sload
  3100. 0x1
  3101. dup2
  3102. 0x1
  3103. and
  3104. iszero
  3105. 0x100
  3106. mul
  3107. sub
  3108. and
  3109. 0x2
  3110. swap1
  3111. div
  3112. dup1
  3113. 0x1f
  3114. add
  3115. 0x20
  3116. dup1
  3117. swap2
  3118. div
  3119. mul
  3120. 0x20
  3121. add
  3122. mload(0x40)
  3123. swap1
  3124. dup2
  3125. add
  3126. 0x40
  3127. mstore
  3128. dup1
  3129. swap3
  3130. swap2
  3131. swap1
  3132. dup2
  3133. dup2
  3134. mstore
  3135. 0x20
  3136. add
  3137. dup3
  3138. dup1
  3139. sload
  3140. 0x1
  3141. dup2
  3142. 0x1
  3143. and
  3144. iszero
  3145. 0x100
  3146. mul
  3147. sub
  3148. and
  3149. 0x2
  3150. swap1
  3151. div
  3152. dup1
  3153. iszero
  3154. tag_118
  3155. jumpi
  3156. dup1
  3157. 0x1f
  3158. lt
  3159. tag_119
  3160. jumpi
  3161. 0x100
  3162. dup1
  3163. dup4
  3164. sload
  3165. div
  3166. mul
  3167. dup4
  3168. mstore
  3169. swap2
  3170. 0x20
  3171. add
  3172. swap2
  3173. jump(tag_118)
  3174. tag_119:
  3175. dup3
  3176. add
  3177. swap2
  3178. swap1
  3179. 0x0
  3180. mstore
  3181. keccak256(0x0, 0x20)
  3182. swap1
  3183. tag_120:
  3184. dup2
  3185. sload
  3186. dup2
  3187. mstore
  3188. swap1
  3189. 0x1
  3190. add
  3191. swap1
  3192. 0x20
  3193. add
  3194. dup1
  3195. dup4
  3196. gt
  3197. tag_120
  3198. jumpi
  3199. dup3
  3200. swap1
  3201. sub
  3202. 0x1f
  3203. and
  3204. dup3
  3205. add
  3206. swap2
  3207. tag_118:
  3208. pop
  3209. pop
  3210. pop
  3211. pop
  3212. pop
  3213. dup2
  3214. jump // out
  3215. /* "ExampleContract.sol":1570:1799 */
  3216. tag_64:
  3217. /* "ExampleContract.sol":1677:1684 */
  3218. 0x0
  3219. /* "ExampleContract.sol":1686:1695 */
  3220. 0x60
  3221. /* "ExampleContract.sol":1697:1705 */
  3222. 0x0
  3223. /* "ExampleContract.sol":1707:1719 */
  3224. 0x60
  3225. /* "ExampleContract.sol":1721:1729 */
  3226. 0x0
  3227. /* "ExampleContract.sol":1731:1743 */
  3228. tag_121
  3229. jump // in(tag_122)
  3230. tag_121:
  3231. /* "ExampleContract.sol":1768:1770 */
  3232. dup12
  3233. /* "ExampleContract.sol":1772:1774 */
  3234. dup12
  3235. /* "ExampleContract.sol":1776:1778 */
  3236. dup12
  3237. /* "ExampleContract.sol":1780:1782 */
  3238. dup12
  3239. /* "ExampleContract.sol":1784:1786 */
  3240. dup12
  3241. /* "ExampleContract.sol":1788:1790 */
  3242. dup12
  3243. /* "ExampleContract.sol":1760:1791 */
  3244. swap6
  3245. pop
  3246. swap6
  3247. pop
  3248. swap6
  3249. pop
  3250. swap6
  3251. pop
  3252. swap6
  3253. pop
  3254. swap6
  3255. pop
  3256. /* "ExampleContract.sol":1570:1799 */
  3257. swap7
  3258. pop
  3259. swap7
  3260. pop
  3261. swap7
  3262. pop
  3263. swap7
  3264. pop
  3265. swap7
  3266. pop
  3267. swap7
  3268. swap1
  3269. pop
  3270. jump // out
  3271. /* "ExampleContract.sol":2156:2235 */
  3272. tag_77:
  3273. /* "ExampleContract.sol":2206:2213 */
  3274. 0x0
  3275. /* "ExampleContract.sol":2227:2230 */
  3276. dup2
  3277. /* "ExampleContract.sol":2220:2230 */
  3278. swap1
  3279. pop
  3280. /* "ExampleContract.sol":2156:2235 */
  3281. swap2
  3282. swap1
  3283. pop
  3284. jump // out
  3285. /* "ExampleContract.sol":859:1036 */
  3286. tag_80:
  3287. /* "ExampleContract.sol":902:909 */
  3288. 0x60
  3289. /* "ExampleContract.sol":916:927 */
  3290. 0x0
  3291. /* "ExampleContract.sol":951:952 */
  3292. 0x4
  3293. /* "ExampleContract.sol":938:941 */
  3294. dup2
  3295. /* "ExampleContract.sol":938:952 */
  3296. dup2
  3297. tag_126
  3298. swap2
  3299. swap1
  3300. jump // in(tag_127)
  3301. tag_126:
  3302. pop
  3303. /* "ExampleContract.sol":966:967 */
  3304. 0x1
  3305. /* "ExampleContract.sol":957:960 */
  3306. dup2
  3307. /* "ExampleContract.sol":961:962 */
  3308. 0x0
  3309. /* "ExampleContract.sol":957:963 */
  3310. dup2
  3311. sload
  3312. dup2
  3313. lt
  3314. iszero
  3315. iszero
  3316. tag_128
  3317. jumpi
  3318. invalid
  3319. tag_128:
  3320. swap1
  3321. 0x0
  3322. mstore
  3323. keccak256(0x0, 0x20)
  3324. swap1
  3325. 0x10
  3326. swap2
  3327. dup3
  3328. dup3
  3329. div
  3330. add
  3331. swap2
  3332. swap1
  3333. mod
  3334. 0x2
  3335. mul
  3336. /* "ExampleContract.sol":957:967 */
  3337. 0x100
  3338. exp
  3339. dup2
  3340. sload
  3341. dup2
  3342. 0xffff
  3343. mul
  3344. not
  3345. and
  3346. swap1
  3347. dup4
  3348. 0x1
  3349. signextend
  3350. 0xffff
  3351. and
  3352. mul
  3353. or
  3354. swap1
  3355. sstore
  3356. pop
  3357. /* "ExampleContract.sol":981:983 */
  3358. 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
  3359. /* "ExampleContract.sol":972:975 */
  3360. dup2
  3361. /* "ExampleContract.sol":976:977 */
  3362. 0x1
  3363. /* "ExampleContract.sol":972:978 */
  3364. dup2
  3365. sload
  3366. dup2
  3367. lt
  3368. iszero
  3369. iszero
  3370. tag_130
  3371. jumpi
  3372. invalid
  3373. tag_130:
  3374. swap1
  3375. 0x0
  3376. mstore
  3377. keccak256(0x0, 0x20)
  3378. swap1
  3379. 0x10
  3380. swap2
  3381. dup3
  3382. dup3
  3383. div
  3384. add
  3385. swap2
  3386. swap1
  3387. mod
  3388. 0x2
  3389. mul
  3390. /* "ExampleContract.sol":972:983 */
  3391. 0x100
  3392. exp
  3393. dup2
  3394. sload
  3395. dup2
  3396. 0xffff
  3397. mul
  3398. not
  3399. and
  3400. swap1
  3401. dup4
  3402. 0x1
  3403. signextend
  3404. 0xffff
  3405. and
  3406. mul
  3407. or
  3408. swap1
  3409. sstore
  3410. pop
  3411. /* "ExampleContract.sol":997:999 */
  3412. 0x1d
  3413. /* "ExampleContract.sol":988:991 */
  3414. dup2
  3415. /* "ExampleContract.sol":992:993 */
  3416. 0x2
  3417. /* "ExampleContract.sol":988:994 */
  3418. dup2
  3419. sload
  3420. dup2
  3421. lt
  3422. iszero
  3423. iszero
  3424. tag_132
  3425. jumpi
  3426. invalid
  3427. tag_132:
  3428. swap1
  3429. 0x0
  3430. mstore
  3431. keccak256(0x0, 0x20)
  3432. swap1
  3433. 0x10
  3434. swap2
  3435. dup3
  3436. dup3
  3437. div
  3438. add
  3439. swap2
  3440. swap1
  3441. mod
  3442. 0x2
  3443. mul
  3444. /* "ExampleContract.sol":988:999 */
  3445. 0x100
  3446. exp
  3447. dup2
  3448. sload
  3449. dup2
  3450. 0xffff
  3451. mul
  3452. not
  3453. and
  3454. swap1
  3455. dup4
  3456. 0x1
  3457. signextend
  3458. 0xffff
  3459. and
  3460. mul
  3461. or
  3462. swap1
  3463. sstore
  3464. pop
  3465. /* "ExampleContract.sol":1013:1016 */
  3466. 0x18f
  3467. /* "ExampleContract.sol":1004:1007 */
  3468. dup2
  3469. /* "ExampleContract.sol":1008:1009 */
  3470. 0x3
  3471. /* "ExampleContract.sol":1004:1010 */
  3472. dup2
  3473. sload
  3474. dup2
  3475. lt
  3476. iszero
  3477. iszero
  3478. tag_134
  3479. jumpi
  3480. invalid
  3481. tag_134:
  3482. swap1
  3483. 0x0
  3484. mstore
  3485. keccak256(0x0, 0x20)
  3486. swap1
  3487. 0x10
  3488. swap2
  3489. dup3
  3490. dup3
  3491. div
  3492. add
  3493. swap2
  3494. swap1
  3495. mod
  3496. 0x2
  3497. mul
  3498. /* "ExampleContract.sol":1004:1016 */
  3499. 0x100
  3500. exp
  3501. dup2
  3502. sload
  3503. dup2
  3504. 0xffff
  3505. mul
  3506. not
  3507. and
  3508. swap1
  3509. dup4
  3510. 0x1
  3511. signextend
  3512. 0xffff
  3513. and
  3514. mul
  3515. or
  3516. swap1
  3517. sstore
  3518. pop
  3519. /* "ExampleContract.sol":1028:1031 */
  3520. dup1
  3521. /* "ExampleContract.sol":1021:1031 */
  3522. dup1
  3523. sload
  3524. dup1
  3525. 0x20
  3526. mul
  3527. 0x20
  3528. add
  3529. mload(0x40)
  3530. swap1
  3531. dup2
  3532. add
  3533. 0x40
  3534. mstore
  3535. dup1
  3536. swap3
  3537. swap2
  3538. swap1
  3539. dup2
  3540. dup2
  3541. mstore
  3542. 0x20
  3543. add
  3544. dup3
  3545. dup1
  3546. sload
  3547. dup1
  3548. iszero
  3549. tag_136
  3550. jumpi
  3551. 0x20
  3552. mul
  3553. dup3
  3554. add
  3555. swap2
  3556. swap1
  3557. 0x0
  3558. mstore
  3559. keccak256(0x0, 0x20)
  3560. swap1
  3561. 0x0
  3562. swap1
  3563. tag_137:
  3564. dup3
  3565. dup3
  3566. swap1
  3567. sload
  3568. swap1
  3569. 0x100
  3570. exp
  3571. swap1
  3572. div
  3573. 0x1
  3574. signextend
  3575. 0x1
  3576. signextend
  3577. dup2
  3578. mstore
  3579. 0x20
  3580. add
  3581. swap1
  3582. 0x2
  3583. add
  3584. swap1
  3585. 0x20
  3586. dup3
  3587. 0x1
  3588. add
  3589. div
  3590. swap3
  3591. dup4
  3592. add
  3593. swap3
  3594. 0x1
  3595. sub
  3596. dup3
  3597. mul
  3598. swap2
  3599. pop
  3600. dup1
  3601. dup5
  3602. gt
  3603. tag_137
  3604. jumpi
  3605. swap1
  3606. pop
  3607. tag_136:
  3608. pop
  3609. pop
  3610. pop
  3611. pop
  3612. pop
  3613. swap2
  3614. pop
  3615. /* "ExampleContract.sol":859:1036 */
  3616. pop
  3617. swap1
  3618. jump // out
  3619. /* "ExampleContract.sol":1969:2070 */
  3620. tag_86:
  3621. /* "ExampleContract.sol":2022:2033 */
  3622. 0x0
  3623. /* "ExampleContract.sol":2061:2062 */
  3624. 0x9
  3625. /* "ExampleContract.sol":2053:2057 */
  3626. dup3
  3627. /* "ExampleContract.sol":2053:2062 */
  3628. eq
  3629. /* "ExampleContract.sol":2046:2062 */
  3630. swap1
  3631. pop
  3632. /* "ExampleContract.sol":1969:2070 */
  3633. swap2
  3634. swap1
  3635. pop
  3636. jump // out
  3637. /* "ExampleContract.sol":1044:1143 */
  3638. tag_89:
  3639. /* "ExampleContract.sol":1095:1110 */
  3640. 0x60
  3641. /* "ExampleContract.sol":1130:1135 */
  3642. dup2
  3643. /* "ExampleContract.sol":1123:1135 */
  3644. swap1
  3645. pop
  3646. /* "ExampleContract.sol":1044:1143 */
  3647. swap2
  3648. swap1
  3649. pop
  3650. jump // out
  3651. /* "ExampleContract.sol":1151:1251 */
  3652. tag_95:
  3653. /* "ExampleContract.sol":1202:1218 */
  3654. tag_140
  3655. jump // in(tag_141)
  3656. tag_140:
  3657. /* "ExampleContract.sol":1238:1243 */
  3658. dup2
  3659. /* "ExampleContract.sol":1231:1243 */
  3660. swap1
  3661. pop
  3662. /* "ExampleContract.sol":1151:1251 */
  3663. swap2
  3664. swap1
  3665. pop
  3666. jump // out
  3667. /* "ExampleContract.sol":701:854 */
  3668. tag_101:
  3669. /* "ExampleContract.sol":743:751 */
  3670. tag_143
  3671. jump // in(tag_144)
  3672. tag_143:
  3673. /* "ExampleContract.sol":758:770 */
  3674. 0x0
  3675. /* "ExampleContract.sol":784:785 */
  3676. 0x1
  3677. /* "ExampleContract.sol":775:778 */
  3678. dup2
  3679. /* "ExampleContract.sol":779:780 */
  3680. 0x0
  3681. /* "ExampleContract.sol":775:781 */
  3682. 0x4
  3683. dup2
  3684. lt
  3685. iszero
  3686. iszero
  3687. tag_146
  3688. jumpi
  3689. invalid
  3690. tag_146:
  3691. 0x10
  3692. swap2
  3693. dup3
  3694. dup3
  3695. div
  3696. add
  3697. swap2
  3698. swap1
  3699. mod
  3700. 0x2
  3701. mul
  3702. /* "ExampleContract.sol":775:785 */
  3703. 0x100
  3704. exp
  3705. dup2
  3706. sload
  3707. dup2
  3708. 0xffff
  3709. mul
  3710. not
  3711. and
  3712. swap1
  3713. dup4
  3714. 0x1
  3715. signextend
  3716. 0xffff
  3717. and
  3718. mul
  3719. or
  3720. swap1
  3721. sstore
  3722. pop
  3723. /* "ExampleContract.sol":799:801 */
  3724. 0xfffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe
  3725. /* "ExampleContract.sol":790:793 */
  3726. dup2
  3727. /* "ExampleContract.sol":794:795 */
  3728. 0x1
  3729. /* "ExampleContract.sol":790:796 */
  3730. 0x4
  3731. dup2
  3732. lt
  3733. iszero
  3734. iszero
  3735. tag_148
  3736. jumpi
  3737. invalid
  3738. tag_148:
  3739. 0x10
  3740. swap2
  3741. dup3
  3742. dup3
  3743. div
  3744. add
  3745. swap2
  3746. swap1
  3747. mod
  3748. 0x2
  3749. mul
  3750. /* "ExampleContract.sol":790:801 */
  3751. 0x100
  3752. exp
  3753. dup2
  3754. sload
  3755. dup2
  3756. 0xffff
  3757. mul
  3758. not
  3759. and
  3760. swap1
  3761. dup4
  3762. 0x1
  3763. signextend
  3764. 0xffff
  3765. and
  3766. mul
  3767. or
  3768. swap1
  3769. sstore
  3770. pop
  3771. /* "ExampleContract.sol":815:817 */
  3772. 0x1d
  3773. /* "ExampleContract.sol":806:809 */
  3774. dup2
  3775. /* "ExampleContract.sol":810:811 */
  3776. 0x2
  3777. /* "ExampleContract.sol":806:812 */
  3778. 0x4
  3779. dup2
  3780. lt
  3781. iszero
  3782. iszero
  3783. tag_150
  3784. jumpi
  3785. invalid
  3786. tag_150:
  3787. 0x10
  3788. swap2
  3789. dup3
  3790. dup3
  3791. div
  3792. add
  3793. swap2
  3794. swap1
  3795. mod
  3796. 0x2
  3797. mul
  3798. /* "ExampleContract.sol":806:817 */
  3799. 0x100
  3800. exp
  3801. dup2
  3802. sload
  3803. dup2
  3804. 0xffff
  3805. mul
  3806. not
  3807. and
  3808. swap1
  3809. dup4
  3810. 0x1
  3811. signextend
  3812. 0xffff
  3813. and
  3814. mul
  3815. or
  3816. swap1
  3817. sstore
  3818. pop
  3819. /* "ExampleContract.sol":831:834 */
  3820. 0x18f
  3821. /* "ExampleContract.sol":822:825 */
  3822. dup2
  3823. /* "ExampleContract.sol":826:827 */
  3824. 0x3
  3825. /* "ExampleContract.sol":822:828 */
  3826. 0x4
  3827. dup2
  3828. lt
  3829. iszero
  3830. iszero
  3831. tag_152
  3832. jumpi
  3833. invalid
  3834. tag_152:
  3835. 0x10
  3836. swap2
  3837. dup3
  3838. dup3
  3839. div
  3840. add
  3841. swap2
  3842. swap1
  3843. mod
  3844. 0x2
  3845. mul
  3846. /* "ExampleContract.sol":822:834 */
  3847. 0x100
  3848. exp
  3849. dup2
  3850. sload
  3851. dup2
  3852. 0xffff
  3853. mul
  3854. not
  3855. and
  3856. swap1
  3857. dup4
  3858. 0x1
  3859. signextend
  3860. 0xffff
  3861. and
  3862. mul
  3863. or
  3864. swap1
  3865. sstore
  3866. pop
  3867. /* "ExampleContract.sol":846:849 */
  3868. dup1
  3869. /* "ExampleContract.sol":839:849 */
  3870. 0x4
  3871. dup1
  3872. 0x20
  3873. mul
  3874. mload(0x40)
  3875. swap1
  3876. dup2
  3877. add
  3878. 0x40
  3879. mstore
  3880. dup1
  3881. swap3
  3882. swap2
  3883. swap1
  3884. dup3
  3885. 0x4
  3886. dup1
  3887. iszero
  3888. tag_154
  3889. jumpi
  3890. 0x20
  3891. mul
  3892. dup3
  3893. add
  3894. swap2
  3895. 0x0
  3896. swap1
  3897. tag_155:
  3898. dup3
  3899. dup3
  3900. swap1
  3901. sload
  3902. swap1
  3903. 0x100
  3904. exp
  3905. swap1
  3906. div
  3907. 0x1
  3908. signextend
  3909. 0x1
  3910. signextend
  3911. dup2
  3912. mstore
  3913. 0x20
  3914. add
  3915. swap1
  3916. 0x2
  3917. add
  3918. swap1
  3919. 0x20
  3920. dup3
  3921. 0x1
  3922. add
  3923. div
  3924. swap3
  3925. dup4
  3926. add
  3927. swap3
  3928. 0x1
  3929. sub
  3930. dup3
  3931. mul
  3932. swap2
  3933. pop
  3934. dup1
  3935. dup5
  3936. gt
  3937. tag_155
  3938. jumpi
  3939. swap1
  3940. pop
  3941. tag_154:
  3942. pop
  3943. pop
  3944. pop
  3945. pop
  3946. pop
  3947. swap2
  3948. pop
  3949. /* "ExampleContract.sol":701:854 */
  3950. pop
  3951. swap1
  3952. jump // out
  3953. /* "ExampleContract.sol":1259:1405 */
  3954. tag_107:
  3955. /* "ExampleContract.sol":1335:1344 */
  3956. 0x0
  3957. /* "ExampleContract.sol":1346:1353 */
  3958. dup1
  3959. /* "ExampleContract.sol":1355:1365 */
  3960. 0x0
  3961. /* "ExampleContract.sol":1386:1388 */
  3962. dup6
  3963. /* "ExampleContract.sol":1390:1392 */
  3964. dup6
  3965. /* "ExampleContract.sol":1394:1396 */
  3966. dup6
  3967. /* "ExampleContract.sol":1378:1397 */
  3968. swap3
  3969. pop
  3970. swap3
  3971. pop
  3972. swap3
  3973. pop
  3974. /* "ExampleContract.sol":1259:1405 */
  3975. swap4
  3976. pop
  3977. swap4
  3978. pop
  3979. swap4
  3980. swap1
  3981. pop
  3982. jump // out
  3983. /* "ExampleContract.sol":2240:2372 */
  3984. tag_110:
  3985. /* "ExampleContract.sol":2313:2320 */
  3986. 0x0
  3987. /* "ExampleContract.sol":2322:2329 */
  3988. dup1
  3989. /* "ExampleContract.sol":2331:2337 */
  3990. 0x60
  3991. /* "ExampleContract.sol":2352:2356 */
  3992. dup6
  3993. /* "ExampleContract.sol":2358:2361 */
  3994. dup6
  3995. /* "ExampleContract.sol":2363:2366 */
  3996. dup6
  3997. /* "ExampleContract.sol":2344:2367 */
  3998. swap3
  3999. pop
  4000. swap3
  4001. pop
  4002. swap3
  4003. pop
  4004. /* "ExampleContract.sol":2240:2372 */
  4005. swap4
  4006. pop
  4007. swap4
  4008. pop
  4009. swap4
  4010. swap1
  4011. pop
  4012. jump // out
  4013. /* "ExampleContract.sol":151:2552 */
  4014. tag_122:
  4015. 0x60
  4016. mload(0x40)
  4017. swap1
  4018. dup2
  4019. add
  4020. 0x40
  4021. mstore
  4022. dup1
  4023. 0x3
  4024. swap1
  4025. /* "--CODEGEN--":29:31 */
  4026. 0x20
  4027. /* "--CODEGEN--":21:27 */
  4028. dup3
  4029. /* "--CODEGEN--":17:32 */
  4030. mul
  4031. /* "--CODEGEN--":117:121 */
  4032. dup1
  4033. /* "--CODEGEN--":105:115 */
  4034. codesize
  4035. /* "--CODEGEN--":97:103 */
  4036. dup4
  4037. /* "--CODEGEN--":88:122 */
  4038. codecopy
  4039. /* "--CODEGEN--":148:152 */
  4040. dup1
  4041. /* "--CODEGEN--":140:146 */
  4042. dup3
  4043. /* "--CODEGEN--":136:153 */
  4044. add
  4045. /* "--CODEGEN--":126:153 */
  4046. swap2
  4047. pop
  4048. /* "--CODEGEN--":0:157 */
  4049. pop
  4050. /* "ExampleContract.sol":151:2552 */
  4051. swap1
  4052. pop
  4053. pop
  4054. swap1
  4055. jump // out
  4056. tag_127:
  4057. dup2
  4058. sload
  4059. dup2
  4060. dup4
  4061. sstore
  4062. dup2
  4063. dup2
  4064. gt
  4065. iszero
  4066. tag_158
  4067. jumpi
  4068. 0xf
  4069. add
  4070. 0x10
  4071. swap1
  4072. div
  4073. dup2
  4074. 0xf
  4075. add
  4076. 0x10
  4077. swap1
  4078. div
  4079. dup4
  4080. 0x0
  4081. mstore
  4082. keccak256(0x0, 0x20)
  4083. swap2
  4084. dup3
  4085. add
  4086. swap2
  4087. add
  4088. tag_159
  4089. swap2
  4090. swap1
  4091. jump // in(tag_160)
  4092. tag_159:
  4093. tag_158:
  4094. pop
  4095. pop
  4096. pop
  4097. jump // out
  4098. tag_141:
  4099. 0xa0
  4100. mload(0x40)
  4101. swap1
  4102. dup2
  4103. add
  4104. 0x40
  4105. mstore
  4106. dup1
  4107. 0x5
  4108. swap1
  4109. /* "--CODEGEN--":29:31 */
  4110. 0x20
  4111. /* "--CODEGEN--":21:27 */
  4112. dup3
  4113. /* "--CODEGEN--":17:32 */
  4114. mul
  4115. /* "--CODEGEN--":117:121 */
  4116. dup1
  4117. /* "--CODEGEN--":105:115 */
  4118. codesize
  4119. /* "--CODEGEN--":97:103 */
  4120. dup4
  4121. /* "--CODEGEN--":88:122 */
  4122. codecopy
  4123. /* "--CODEGEN--":148:152 */
  4124. dup1
  4125. /* "--CODEGEN--":140:146 */
  4126. dup3
  4127. /* "--CODEGEN--":136:153 */
  4128. add
  4129. /* "--CODEGEN--":126:153 */
  4130. swap2
  4131. pop
  4132. /* "--CODEGEN--":0:157 */
  4133. pop
  4134. /* "ExampleContract.sol":151:2552 */
  4135. swap1
  4136. pop
  4137. pop
  4138. swap1
  4139. jump // out
  4140. tag_144:
  4141. 0x80
  4142. mload(0x40)
  4143. swap1
  4144. dup2
  4145. add
  4146. 0x40
  4147. mstore
  4148. dup1
  4149. 0x4
  4150. swap1
  4151. /* "--CODEGEN--":29:31 */
  4152. 0x20
  4153. /* "--CODEGEN--":21:27 */
  4154. dup3
  4155. /* "--CODEGEN--":17:32 */
  4156. mul
  4157. /* "--CODEGEN--":117:121 */
  4158. dup1
  4159. /* "--CODEGEN--":105:115 */
  4160. codesize
  4161. /* "--CODEGEN--":97:103 */
  4162. dup4
  4163. /* "--CODEGEN--":88:122 */
  4164. codecopy
  4165. /* "--CODEGEN--":148:152 */
  4166. dup1
  4167. /* "--CODEGEN--":140:146 */
  4168. dup3
  4169. /* "--CODEGEN--":136:153 */
  4170. add
  4171. /* "--CODEGEN--":126:153 */
  4172. swap2
  4173. pop
  4174. /* "--CODEGEN--":0:157 */
  4175. pop
  4176. /* "ExampleContract.sol":151:2552 */
  4177. swap1
  4178. pop
  4179. pop
  4180. swap1
  4181. jump // out
  4182. tag_160:
  4183. tag_161
  4184. swap2
  4185. swap1
  4186. tag_162:
  4187. dup1
  4188. dup3
  4189. gt
  4190. iszero
  4191. tag_163
  4192. jumpi
  4193. 0x0
  4194. dup2
  4195. 0x0
  4196. swap1
  4197. sstore
  4198. pop
  4199. 0x1
  4200. add
  4201. jump(tag_162)
  4202. tag_163:
  4203. pop
  4204. swap1
  4205. jump
  4206. tag_161:
  4207. swap1
  4208. jump // out
  4209.  
  4210. auxdata: 0xa165627a7a72305820e502115ee247a4d8d1b5d0255c3924d4de6b7a3dccd1ab2c57d17c156526747f0029
  4211. }
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!