Reduced number of register moves
This commit is contained in:
parent
b32df45289
commit
3fb05c382a
@ -18,7 +18,13 @@ func (f *Function) CompileReturn(node *ast.Return) error {
|
|||||||
}
|
}
|
||||||
|
|
||||||
for i := len(node.Values) - 1; i >= 0; i-- {
|
for i := len(node.Values) - 1; i >= 0; i-- {
|
||||||
|
for j := range i {
|
||||||
|
if f.UsesRegister(node.Values[j], f.CPU.Output[i]) {
|
||||||
f.SaveRegister(f.CPU.Output[i])
|
f.SaveRegister(f.CPU.Output[i])
|
||||||
|
break
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
typ, err := f.ExpressionToRegister(node.Values[i], f.CPU.Output[i])
|
typ, err := f.ExpressionToRegister(node.Values[i], f.CPU.Output[i])
|
||||||
|
|
||||||
if err != nil {
|
if err != nil {
|
||||||
|
@ -4,14 +4,25 @@ import (
|
|||||||
"git.akyoto.dev/cli/q/src/ast"
|
"git.akyoto.dev/cli/q/src/ast"
|
||||||
"git.akyoto.dev/cli/q/src/cpu"
|
"git.akyoto.dev/cli/q/src/cpu"
|
||||||
"git.akyoto.dev/cli/q/src/expression"
|
"git.akyoto.dev/cli/q/src/expression"
|
||||||
|
"git.akyoto.dev/cli/q/src/token"
|
||||||
)
|
)
|
||||||
|
|
||||||
// UsesRegister returns true if evaluating the expression would write or read the given register.
|
// UsesRegister returns true if evaluating the expression would write or read the given register.
|
||||||
func (f *Function) UsesRegister(expr *expression.Expression, register cpu.Register) bool {
|
func (f *Function) UsesRegister(expr *expression.Expression, register cpu.Register) bool {
|
||||||
if expr.IsLeaf() {
|
if expr.IsLeaf() {
|
||||||
|
if expr.Token.Kind != token.Identifier {
|
||||||
return false
|
return false
|
||||||
}
|
}
|
||||||
|
|
||||||
|
variable := f.VariableByName(expr.Token.Text(f.File.Bytes))
|
||||||
|
|
||||||
|
if variable == nil || variable.Register != register {
|
||||||
|
return false
|
||||||
|
}
|
||||||
|
|
||||||
|
return true
|
||||||
|
}
|
||||||
|
|
||||||
if ast.IsFunctionCall(expr) {
|
if ast.IsFunctionCall(expr) {
|
||||||
if register == f.CPU.Output[0] {
|
if register == f.CPU.Output[0] {
|
||||||
return true
|
return true
|
||||||
|
Loading…
x
Reference in New Issue
Block a user