add: madhyasthal: INC implementation + codegen path

Author: xTrayambak

benchmarks/script/patch.js

@@ -9,7 +9,7 @@ function expensiveLoop()
 	var i = 0;
 	while (i < 65536)
 	{
-		i = 65536;
+		i++;
 	}
 
 	return i;

src/bali/runtime/compiler/amd64/midtier.nim

@@ -352,6 +352,26 @@ proc compileLowered(
       cgen.patchConditionalJmps &=
         ConditionalJump(label: cgen.s.label(), op: i + 2, condition: condNotBelow)
       cgen.s.jcc(condNotBelow, BackwardsLabel(EnsureNoInt8Align))
+    of InstKind.Increment:
+      alignStack 8:
+        cgen.s.mov(regRdi, cast[int64](cgen.vm))
+        cgen.s.mov(regRsi, int64(inst.args[0].vreg))
+        cgen.s.call(cgen.callbacks.getAtom)
+
+        cgen.s.mov(regRdi.reg, regRax)
+        cgen.s.call(getRawFloat)
+
+        cgen.s.mov(regR9, 0x3FF0000000000000)
+        cgen.s.movq(regXmm1, regR9.reg)
+        cgen.s.addsd(regXmm0, regXmm1.reg)
+
+        cgen.s.mov(regRdi, cast[int64](cgen.vm))
+        cgen.s.call(cgen.callbacks.allocFloat)
+
+        cgen.s.mov(regRdi, cast[int64](cgen.vm))
+        cgen.s.mov(regRsi.reg, regRax)
+        cgen.s.mov(regRdx, int64(inst.args[0].vreg))
+        cgen.s.call(cgen.callbacks.addAtom)
     else:
       debug "jit/amd64: midtier cannot lower op into x64 code: " & $inst.kind
       return

src/bali/runtime/compiler/madhyasthal/ir.nim

@@ -26,6 +26,7 @@ type
     Jump
     Equate
     LesserThanInt
+    Increment
 
   Register* {.size: sizeof(uint8), pure.} = enum
     ReturnValue = 0
@@ -177,4 +178,9 @@ func lesserThanI*(a, b: uint32): Inst =
     kind: InstKind.LesserThanInt,
     args: [ArgVariant(kind: avkPos, vreg: a), ArgVariant(kind: avkPos, vreg: b)],
   )
+
+func increment*(a: uint32): Inst =
+  Inst(
+    kind: InstKind.Increment, args: [ArgVariant(kind: avkPos, vreg: a), ArgVariant()]
+  )
 {.pop.}

src/bali/runtime/compiler/madhyasthal/lowering.nim

@@ -258,6 +258,10 @@ proc lowerStream*(fn: var Function, stream: var OpStream): bool =
         lesserThanI(
           uint32(&op.arguments[0].getInt()), uint32(&op.arguments[1].getInt())
         )
+    of Increment:
+      let op = stream.consume()
+
+      fn.insts &= increment(uint32(&op.arguments[0].getInt()))
     else:
       bailout "cannot find predictable pattern for op: " & $stream.peekKind()