forgot to add Prefix to branch tagging

Fault-lang · May 24, 2023 · 6871092 · 6871092
1 parent 3e7a37a
commit 6871092
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 12 deletions.
diff --git a/llvm/compiler.go b/llvm/compiler.go
@@ -203,21 +203,15 @@ func (c *Compiler) processSpec(root ast.Node, isImport bool) ([]*ast.AssertionSt
 						c.globalVariable(rawid, value, d.Position())
 					case *ast.InfixExpression:
 						if n.Value.TokenLiteral() == "COMPOUND_STRING" {
-							value := c.compileValue(d)
-							rawid := n.Name.RawId()
-							s := c.specs[rawid[0]]
-							//s.DefineSpecVar(rawid, value)
-							s.DefineSpecType(rawid, value.Type())
-							c.globalVariable(rawid, value, d.Position())
+							name := n.Name.IdString()
+							r := c.compileCompoundGlobal(name, n.Value.(*ast.InfixExpression))
+							c.storeGlobal(name, r)
 						}
 					case *ast.PrefixExpression:
 						if n.Value.TokenLiteral() == "COMPOUND_STRING" {
-							value := c.compileValue(d)
-							rawid := n.Name.RawId()
-							s := c.specs[rawid[0]]
-							//s.DefineSpecVar(rawid, value)
-							s.DefineSpecType(rawid, value.Type())
-							c.globalVariable(rawid, value, d.Position())
+							name := n.Name.IdString()
+							r := c.compileCompoundGlobal(name, n.Value.(*ast.InfixExpression))
+							c.storeGlobal(name, r)
 						}
 					}
 				}

diff --git a/smt/rules/rules.go b/smt/rules/rules.go
@@ -412,6 +412,10 @@ func TagRule(ru Rule, branch string, block string) Rule {
 		r.Y = TagRule(r.Y, branch, block)
 		r.Tag(branch, block)
 		return r
+	case *Prefix:
+		r.X = TagRule(r.X, branch, block)
+		r.Tag(branch, block)
+		return r
 	case *Ite:
 		r.Cond = TagRule(r.Cond, branch, block)
 		r.T = TagRules(r.T, branch, block)