Added eval package
This commit is contained in:
parent
891b4d9f90
commit
3d294eb35c
16 changed files with 274 additions and 148 deletions
|
@ -1,8 +1,11 @@
|
|||
package core
|
||||
|
||||
import (
|
||||
"fmt"
|
||||
|
||||
"git.urbach.dev/cli/q/src/asm"
|
||||
"git.urbach.dev/cli/q/src/errors"
|
||||
"git.urbach.dev/cli/q/src/eval"
|
||||
"git.urbach.dev/cli/q/src/expression"
|
||||
"git.urbach.dev/cli/q/src/token"
|
||||
"git.urbach.dev/cli/q/src/types"
|
||||
|
@ -66,22 +69,29 @@ func (f *Function) CompileCondition(condition *expression.Expression, successLab
|
|||
return err
|
||||
|
||||
case token.Call:
|
||||
typ, err := f.CompileCall(condition)
|
||||
value, err := f.Evaluate(condition)
|
||||
|
||||
if err != nil {
|
||||
return err
|
||||
}
|
||||
|
||||
if len(typ) == 0 {
|
||||
return errors.New(errors.UntypedExpression, f.File, condition.Token.Position)
|
||||
if !types.Is(value.Type, types.Bool) {
|
||||
return errors.New(&errors.TypeMismatch{Encountered: value.Type.Name(), Expected: types.Bool.Name()}, f.File, condition.Token.Position)
|
||||
}
|
||||
|
||||
if !types.Is(typ[0], types.Bool) {
|
||||
return errors.New(&errors.TypeMismatch{Encountered: typ[0].Name(), Expected: types.Bool.Name()}, f.File, condition.Token.Position)
|
||||
switch value.Kind {
|
||||
case eval.Number:
|
||||
if value.Number == 0 {
|
||||
f.Jump(asm.JUMP, failLabel)
|
||||
}
|
||||
case eval.Register:
|
||||
f.RegisterNumber(asm.COMPARE, value.Register, 0)
|
||||
f.FreeRegister(value.Register)
|
||||
f.Jump(asm.JE, failLabel)
|
||||
default:
|
||||
panic(fmt.Errorf("%s: not implemented: %d", f.UniqueName, value.Kind))
|
||||
}
|
||||
|
||||
f.RegisterNumber(asm.COMPARE, f.CPU.Output[0], 0)
|
||||
f.Jump(asm.JE, failLabel)
|
||||
return nil
|
||||
|
||||
case token.Equal, token.NotEqual, token.Greater, token.Less, token.GreaterEqual, token.LessEqual:
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue