kempe-0.2.0.4: test/golden/gaussian.ir
kmp1:
(movtemp datapointer (- (reg datapointer) (int 34)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 17))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (+ (reg datapointer) (int 25))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (+ (reg datapointer) (int 33))))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 24))))
(movmem (- (reg datapointer) (int 24)) (mem [8] (- (reg datapointer) (int 16))))
(movmem (- (reg datapointer) (int 16)) (mem [8] (- (reg datapointer) (int 0))))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_1 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_2 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (+ (reg t_2) (reg t_1)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_3 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_4 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (+ (reg t_4) (reg t_3)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (tag 0x0))
(movtemp datapointer (+ (reg datapointer) (int 1)))
(ret)
kmp2:
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 17))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (- (reg datapointer) (int 9))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (- (reg datapointer) (int 1))))
(movmem (- (reg datapointer) (int 17)) (mem [8] (- (reg datapointer) (int 34))))
(movmem (- (reg datapointer) (int 9)) (mem [8] (- (reg datapointer) (int 26))))
(movmem (- (reg datapointer) (int 1)) (mem [1] (- (reg datapointer) (int 18))))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 0))))
(movtemp datapointer (+ (reg datapointer) (int 17)))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 34))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (- (reg datapointer) (int 26))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (- (reg datapointer) (int 18))))
(movmem (- (reg datapointer) (int 34)) (mem [8] (- (reg datapointer) (int 17))))
(movmem (- (reg datapointer) (int 26)) (mem [8] (- (reg datapointer) (int 9))))
(movmem (- (reg datapointer) (int 18)) (mem [1] (- (reg datapointer) (int 1))))
(movmem (- (reg datapointer) (int 17)) (mem [8] (- (reg datapointer) (int 0))))
(movmem (- (reg datapointer) (int 9)) (mem [8] (+ (reg datapointer) (int 8))))
(movmem (- (reg datapointer) (int 1)) (mem [1] (+ (reg datapointer) (int 16))))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 17))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (- (reg datapointer) (int 9))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (- (reg datapointer) (int 1))))
(movmem (- (reg datapointer) (int 17)) (mem [8] (- (reg datapointer) (int 34))))
(movmem (- (reg datapointer) (int 9)) (mem [8] (- (reg datapointer) (int 26))))
(movmem (- (reg datapointer) (int 1)) (mem [1] (- (reg datapointer) (int 18))))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 0))))
(movtemp datapointer (+ (reg datapointer) (int 17)))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 34))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (- (reg datapointer) (int 26))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (- (reg datapointer) (int 18))))
(movmem (- (reg datapointer) (int 34)) (mem [8] (- (reg datapointer) (int 17))))
(movmem (- (reg datapointer) (int 26)) (mem [8] (- (reg datapointer) (int 9))))
(movmem (- (reg datapointer) (int 18)) (mem [1] (- (reg datapointer) (int 1))))
(movmem (- (reg datapointer) (int 17)) (mem [8] (- (reg datapointer) (int 0))))
(movmem (- (reg datapointer) (int 9)) (mem [8] (+ (reg datapointer) (int 8))))
(movmem (- (reg datapointer) (int 1)) (mem [1] (+ (reg datapointer) (int 16))))
(movtemp datapointer (- (reg datapointer) (int 34)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 17))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (+ (reg datapointer) (int 25))))
(movmem (+ (reg datapointer) (int 16)) (mem [1] (+ (reg datapointer) (int 33))))
(movtemp datapointer (- (reg datapointer) (int 16)))
(movtemp t_5 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_6 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (* (reg t_6) (reg t_5)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 16))))
(movmem (- (reg datapointer) (int 16)) (mem [8] (- (reg datapointer) (int 8))))
(movmem (- (reg datapointer) (int 8)) (mem [8] (- (reg datapointer) (int 0))))
(movtemp datapointer (- (reg datapointer) (int 16)))
(movtemp t_7 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_8 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (* (reg t_8) (reg t_7)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp t_9 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_10 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (+ (reg t_10) (reg t_9)))
(movtemp datapointer (- (reg datapointer) (int 0)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 25))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (+ (reg datapointer) (int 33))))
(movmem (+ (reg datapointer) (int 16)) (mem [8] (+ (reg datapointer) (int 41))))
(movmem (+ (reg datapointer) (int 24)) (mem [1] (+ (reg datapointer) (int 49))))
(movtemp datapointer (- (reg datapointer) (int 34)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (- (reg datapointer) (int 32))))
(movmem (- (reg datapointer) (int 32)) (mem [8] (- (reg datapointer) (int 24))))
(movmem (- (reg datapointer) (int 24)) (mem [8] (- (reg datapointer) (int 0))))
(movtemp datapointer (- (reg datapointer) (int 16)))
(movtemp t_11 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_12 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (* (reg t_12) (reg t_11)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp datapointer (- (reg datapointer) (int 0)))
(movtemp t_13 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_14 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (* (reg t_14) (reg t_13)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 16))))
(movmem (+ (reg datapointer) (int 8)) (mem [8] (+ (reg datapointer) (int 24))))
(movtemp datapointer (- (reg datapointer) (int 16)))
(movtemp t_15 (mem [8] (reg datapointer)))
(movtemp datapointer (- (reg datapointer) (int 8)))
(movtemp t_16 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (- (reg t_16) (reg t_15)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (mem [8] (+ (reg datapointer) (int 8))))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (tag 0x0))
(movtemp datapointer (+ (reg datapointer) (int 1)))
(ret)
kmp3:
(movtemp datapointer (- (reg datapointer) (int 25)))
(movtemp t_17 (mem [8] (reg datapointer)))
(movmem (reg datapointer) (~ (reg t_17)))
(movtemp datapointer (+ (reg datapointer) (int 8)))
(movmem (reg datapointer) (tag 0x0))
(movtemp datapointer (+ (reg datapointer) (int 1)))
(ret)
export add {Gaussian_1 Gaussian_1 -- Gaussian_1} kmp1
export conjugate {Gaussian_1 -- Gaussian_1} kmp3
export mult {Gaussian_1 Gaussian_1 -- Gaussian_1} kmp2