diff options
author | Robert Sloan <varomodt@gmail.com> | 2016-05-31 17:07:29 -0400 |
---|---|---|
committer | Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:43:36 -0400 |
commit | 94503cf2857d80b0944404026e1b0ccb83e16fe8 (patch) | |
tree | 80244b6e98b8c9c786b672ec1420c40d30c99efa /src/Assembly/QhasmEvalCommon.v | |
parent | 92d1cfcdf138e63ec6354044bea04326ae260b60 (diff) |
AlmostConversion and part of StringConversion
Parsing portion of StringConversion
Diffstat (limited to 'src/Assembly/QhasmEvalCommon.v')
-rw-r--r-- | src/Assembly/QhasmEvalCommon.v | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Assembly/QhasmEvalCommon.v b/src/Assembly/QhasmEvalCommon.v index 3e2411303..83ef5b701 100644 --- a/src/Assembly/QhasmEvalCommon.v +++ b/src/Assembly/QhasmEvalCommon.v @@ -240,6 +240,12 @@ Module QhasmEval. let (v', co) := (evalIntOp o va vb) in Some (setCarryOpt co (setReg a v' state)))) + | IOpStack _ o a b => + omap (getReg a state) (fun va => + omap (getStack b state) (fun vb => + let (v', co) := (evalIntOp o va vb) in + Some (setCarryOpt co (setReg a v' state)))) + | IOpMem _ _ o r m i => omap (getReg r state) (fun va => omap (getMem m i state) (fun vb => |