gistfile1.txt

%%template SpongeHash_349 [ ff 0 ] [ ff 1 64] [78] [ 348 348 348 348 348 348 348 348 348 348 348 348 348 ]
x_16638 = i64.8
;;line 0
;; getting dest
ff.store i64.0 ff.64
;; end of store bucket
;; getting dest
ff.store i64.1 ff.6
;; end of store bucket
;;line 9
;; getting dest
ff.store i64.2 ff.5
;; end of store bucket
;;line 10
;; getting dest
ff.store i64.3 ff.0
;; end of store bucket
;;line 12
;; getting dest
ff.store i64.4 ff.0
;; end of store bucket
;; loop bucket. Line 12
loop
;; compute bucket
;; load bucket
x_16639 = ff.load i64.4
;; end of load bucket
;; OP(LESSER)
x_16640 = ff.lt x_16639 ff.6
;; end of compute bucket
ff.if x_16640
;; start of call bucket
;; end copying argument 0
;; end copying argument 1
;; load bucket
;;line 13
x_16641 = ff.load i64.4
;; end of load bucket
;; end copying argument 2
;;line 13
x_16646 = ff.call $getArrayValueByIndex_4  signal(i64.1,i64.64) ff.64 x_16641
set_cmp_input_cnt_check i64.0 x_16645 x_16646
;; end call bucket
;;line 12
;; compute bucket
;; load bucket
x_16647 = ff.load i64.4
;; end of load bucket
;; OP(ADD)
x_16648 = ff.add x_16647 ff.1
;; end of compute bucket
;; getting dest
ff.store i64.4 x_16648
;; end of store bucket
continue
end
end
;; end of loop bucket
;;line 16
;; getting dest
ff.store i64.4 ff.58
;; end of store bucket
;;line 18
;; getting dest
ff.store i64.5 ff.3
;; end of store bucket
;;line 19
;; getting dest
ff.store i64.6 ff.2
;; end of store bucket
;;line 20
;; getting dest
ff.store i64.3 ff.12
;; end of store bucket
;;line 25
;; load bucket
x_16649 = get_cmp_signal i64.0 i64.0
;; end of load bucket
;; getting dest
set_signal i64.65 x_16649
;; end of store bucket
;;line 28
;; getting dest
ff.store i64.5 ff.0
;; end of store bucket
;; loop bucket. Line 28
loop
;; compute bucket
;; load bucket
x_16650 = ff.load i64.5
;; end of load bucket
;; OP(LESSER)
x_16651 = ff.lt x_16650 ff.12
;; end of compute bucket
ff.if x_16651
;;line 29
;; compute bucket
;; compute bucket
;; load bucket
x_16652 = ff.load i64.5
;; end of load bucket
;; OP(MUL)
x_16653 = ff.mul x_16652 ff.5
;; end of compute bucket
;; OP(ADD)
x_16654 = ff.add x_16653 ff.6
;; end of compute bucket
;; getting dest
ff.store i64.6 x_16654
;; end of store bucket
;;line 32
;; load bucket
;; compute bucket
;; compute bucket
;; compute bucket
;; load bucket
x_16655 = ff.load i64.5
;; end of load bucket
;; OP(TO_ADDRESS)
x_16656 = i64.wrap_ff x_16655
;; end of compute bucket
;; OP(MUL_ADDRESS)
;;line 0
x_16657 = i64.mul i64.1 x_16656
;; end of compute bucket
;; OP(ADD_ADDRESS)
x_16658 = i64.add x_16657 i64.65
;; end of compute bucket
x_16659 = get_signal x_16658
;; end of load bucket
;; getting dest
;; compute bucket
;; compute bucket
;; compute bucket
;; load bucket
;;line 32
x_16660 = ff.load i64.5
;; end of load bucket
;; OP(TO_ADDRESS)
x_16661 = i64.wrap_ff x_16660
;; end of compute bucket
;; OP(MUL_ADDRESS)
;;line 0
x_16662 = i64.mul i64.1 x_16661
;; end of compute bucket
;; OP(ADD_ADDRESS)
x_16663 = i64.add x_16662 i64.1
;; end of compute bucket
;;line 32
set_cmp_input_cnt_check x_16663 i64.1 x_16659
;; end of store bucket
;;line 34
;; getting dest
ff.store i64.7 ff.0
;; end of store bucket
;; loop bucket. Line 34
loop
;; compute bucket
;; load bucket
x_16664 = ff.load i64.7
;; end of load bucket
;; OP(LESSER)
x_16665 = ff.lt x_16664 ff.5
;; end of compute bucket
ff.if x_16665
;; start of call bucket
;; end copying argument 0
;; end copying argument 1
;; compute bucket
;; load bucket
;;line 36
x_16666 = ff.load i64.6
;; end of load bucket
;; load bucket
x_16667 = ff.load i64.7
;; end of load bucket
;; OP(ADD)
x_16668 = ff.add x_16666 x_16667
;; end of compute bucket
;; end copying argument 2
;;line 36
x_16678 = ff.call $getArrayValueByIndex_4  signal(i64.1,i64.64) ff.64 x_16668
set_cmp_input_cnt_check x_16677 x_16673 x_16678
;; end call bucket
;;line 34
;; compute bucket
;; load bucket
x_16679 = ff.load i64.7
;; end of load bucket
;; OP(ADD)
x_16680 = ff.add x_16679 ff.1
;; end of compute bucket
;; getting dest
ff.store i64.7 x_16680
;; end of store bucket
continue
end
end
;; end of loop bucket
;;line 39
;; load bucket
;; compute bucket
;; compute bucket
;; compute bucket
;; load bucket
x_16681 = ff.load i64.5
;; end of load bucket
;; OP(TO_ADDRESS)
x_16682 = i64.wrap_ff x_16681
;; end of compute bucket
;; OP(MUL_ADDRESS)
;;line 0
x_16683 = i64.mul i64.1 x_16682
;; end of compute bucket
;; OP(ADD_ADDRESS)
x_16684 = i64.add x_16683 i64.1
;; end of compute bucket
x_16685 = get_cmp_signal x_16684 i64.0
;; end of load bucket
;; getting dest
;; compute bucket
;; compute bucket
;; compute bucket
;; compute bucket
;; load bucket
;;line 39
x_16686 = ff.load i64.5
;; end of load bucket
;; OP(TO_ADDRESS)
x_16687 = i64.wrap_ff x_16686
;; end of compute bucket
;; OP(ADD_ADDRESS)
x_16688 = i64.add x_16687 i64.1
;; end of compute bucket
;; OP(MUL_ADDRESS)
;;line 0
x_16689 = i64.mul i64.1 x_16688
;; end of compute bucket
;; OP(ADD_ADDRESS)
x_16690 = i64.add x_16689 i64.65
;; end of compute bucket
;;line 39
set_signal x_16690 x_16685
;; end of store bucket
;;line 28
;; compute bucket
;; load bucket
x_16691 = ff.load i64.5
;; end of load bucket
;; OP(ADD)
x_16692 = ff.add x_16691 ff.1
;; end of compute bucket
;; getting dest
ff.store i64.5 x_16692
;; end of store bucket
continue
end
end
;; end of loop bucket
;;line 42
;; load bucket
x_16693 = get_signal i64.77
;; end of load bucket
;; getting dest
set_signal i64.0 x_16693
;; end of store bucket