diff --git a/lvtrun/src/Run/Types.hs b/lvtrun/src/Run/Types.hs index 9a3ebf1..737efb7 100644 --- a/lvtrun/src/Run/Types.hs +++ b/lvtrun/src/Run/Types.hs @@ -66,7 +66,8 @@ createVm wasmMod = VM { vmStack = [], } goToLabel :: CurrentExec -> LabelIdx -> CurrentExec -goToLabel cEx labelIdx = cEx {ceInstIdx = fromIntegral (getLabelOpIdx cEx labelIdx)} +goToLabel cEx labelIdx = + cEx {ceInstIdx = fromIntegral (getLabelOpIdx cEx labelIdx)} getLabelOpIdx :: CurrentExec -> LabelIdx -> Int getLabelOpIdx cEx labelIdx diff --git a/lvtrun/src/Run/Vm.hs b/lvtrun/src/Run/Vm.hs index 96d62c5..ef0b6b1 100644 --- a/lvtrun/src/Run/Vm.hs +++ b/lvtrun/src/Run/Vm.hs @@ -140,9 +140,10 @@ execI32LeS cEx@(CurrentExec {ceStack = stack}) = execI32GtU :: CurrentExec -> CurrentExec execI32GtU cEx@(CurrentExec {ceStack = stack}) = case (stackPopN stack 2) of - ([I_32 val2, I_32 val1], newStack) -> case ((fromIntegral val1) > (fromIntegral val2)) of - True -> cEx { ceStack = stackPush newStack (I_32 1) } - False -> cEx { ceStack = stackPush newStack (I_32 0) } + ([I_32 val2, I_32 val1], newStack) -> + case ((fromIntegral val1) > (fromIntegral val2)) of + True -> cEx { ceStack = stackPush newStack (I_32 1) } + False -> cEx { ceStack = stackPush newStack (I_32 0) } incrementBlockIndent :: CurrentExec -> CurrentExec incrementBlockIndent cEx = cEx { crBlockIndents = (crBlockIndents cEx) + 1 } @@ -176,12 +177,6 @@ execOpCode _ cEx (Br labelIdx) = execBr cEx labelIdx execOpCode _ cEx (Loop) = incrementBlockIndent (addLabel cEx) execOpCode _ cEx _ = cEx ---IF/ELSE ---LOOP ---BR - - - execOpCodes :: VM -> [Instruction] -> CurrentExec execOpCodes vm [] = currentExec vm execOpCodes vm instructions