Inline integer case of arithmetics

1 files changed, 125 insertions, 8 deletions

diff --git a/elymas/lib/sys/opt.ey b/elymas/lib/sys/opt.ey
index 83ae303..8316e27 100644
--- a/elymas/lib/sys/opt.ey
+++ b/elymas/lib/sys/opt.ey
@@ -17,6 +17,10 @@
       sysasmops -01 .
     } ? *
   } ":" defq
+  { [ } "[[" deff
+  { ] :labelResolve } "]]" deff
+  sysasmops .|label "@" deff
+
   sys .asm "::" via
   sys .asm .|peek ==:peek
   { [ -01 _ 4 add range peek each ] 256 math .unbase } =*:peeku32
@@ -156,6 +160,89 @@
     t { f } { 0 } ? *
   } /andif deffd
 
+  [ NATIVENOSCOPE [[
+    /rcx :popqReg
+    /rdx :popqReg
+
+    /rcx /rax :movqRegReg
+    /rdx /rbp :movqRegReg
+
+    63 /rax :btrqImm8Reg
+    /nonInlineCase :jncLbl8
+    63 /rbp :btrqImm8Reg
+    /nonInlineCase :jncLbl8
+
+    /rax /rax :testqRegReg
+    /negative :jzLbl8
+    /rbp /rbp :testqRegReg
+    /negative :jzLbl8
+
+    1 /rax :movqImmReg
+    63 /rax :btsqImm8Reg
+    /rax :pushqReg
+    /done :jmpLbl8
+
+    @negative
+    /rax /rax :xorqRegReg
+    63 /rax :btsqImm8Reg
+    /rax :pushqReg
+    /done :jmpLbl8
+
+    @nonInlineCase
+    /rdx :pushqReg
+    /rcx :pushqReg
+
+    |and ::rawAddress /rax :movqImmReg
+    /rax :pushqReg
+    "*" | ::rawCodeAddress /rax :movqImmReg
+    /rax :callqReg
+
+    @done
+  ]] ] ==:INLINEBLOCKAND
+
+  { ==negatedOpcodeName ==functionName
+    [ NATIVENOSCOPE [[
+      /rcx :popqReg
+      /rdx :popqReg
+
+      /rcx /rax :movqRegReg
+      /rdx /rbp :movqRegReg
+
+      63 /rax :btrqImm8Reg
+      /nonInlineCase :jncLbl8
+      63 /rbp :btrqImm8Reg
+      /nonInlineCase :jncLbl8
+
+      /rsi /rsi :xorqRegReg
+      /rax /rbp :cmpqRegReg
+
+      [ /rsi :incqReg ] len negatedOpcodeName :
+      /rsi :incqReg
+
+      63 /rsi :btsqImm8Reg
+      /rsi :pushqReg
+      /done :jmpLbl8
+
+      @nonInlineCase
+      /rdx :pushqReg
+      /rcx :pushqReg
+
+      functionName | ::rawAddress /rax :movqImmReg
+      /rax :pushqReg
+      "*" | ::rawCodeAddress /rax :movqImmReg
+      /rax :callqReg
+
+      @done
+    ]] ]
+  } /comparisonOperator deffst
+
+  /eq /jnzRel8 comparisonOperator ==:INLINEBLOCKEQ
+  /neq /jzRel8 comparisonOperator ==:INLINEBLOCKNEQ
+  /le /jnleRel8 comparisonOperator ==:INLINEBLOCKLE
+  /lt /jnlRel8 comparisonOperator ==:INLINEBLOCKLT
+  /ge /jngeRel8 comparisonOperator ==:INLINEBLOCKGE
+  /gt /jngRel8 comparisonOperator ==:INLINEBLOCKGT
+
   { ==e
     [
       0 e * STATICTYPED eq { 4 e * sys .typed .type 0 eq }' andif
@@ -533,20 +620,47 @@
                 ] ] i logic =[]
                 [ NOP ] i 1 sub logic =[]
               }
-            } /logicalOperator deffst
-
-            /eq /jnzRel8 logicalOperator
-            /neq /jzRel8 logicalOperator
-            /le /jnleRel8 logicalOperator
-            /lt /jnlRel8 logicalOperator
-            /ge /jngeRel8 logicalOperator
-            /gt /jngRel8 logicalOperator
+            } /comparisonOperator deffst
+
+            /eq /jnzRel8 comparisonOperator
+            /neq /jzRel8 comparisonOperator
+            /le /jnleRel8 comparisonOperator
+            /lt /jnlRel8 comparisonOperator
+            /ge /jngeRel8 comparisonOperator
+            /gt /jngRel8 comparisonOperator
           ] conds
         } rep
       } each
     } /rewriteArithmetics deffst
 
     { _ ==logic
+      1 logic len range { ==i
+        i logic * ==entry
+        0 entry * ==action
+        i 1 sub logic * ==last
+
+        action CALL eq
+          { 1 entry * "*" | ::rawCodeAddress eq }' andif
+          { 0 last * PUSH eq }' andif
+        {
+          [
+            { 1 last * |and ::rawAddress eq }' {
+              INLINEBLOCKAND i logic =[]
+              [ NOP ] i 1 sub logic =[]
+            }
+
+            { 1 last * |eq ::rawAddress eq }' { INLINEBLOCKEQ i logic =[] [ NOP ] i 1 sub logic =[] }
+            { 1 last * |neq ::rawAddress eq }' { INLINEBLOCKNEQ i logic =[] [ NOP ] i 1 sub logic =[] }
+            { 1 last * |le ::rawAddress eq }' { INLINEBLOCKLE i logic =[] [ NOP ] i 1 sub logic =[] }
+            { 1 last * |lt ::rawAddress eq }' { INLINEBLOCKLT i logic =[] [ NOP ] i 1 sub logic =[] }
+            { 1 last * |ge ::rawAddress eq }' { INLINEBLOCKGE i logic =[] [ NOP ] i 1 sub logic =[] }
+            { 1 last * |gt ::rawAddress eq }' { INLINEBLOCKGT i logic =[] [ NOP ] i 1 sub logic =[] }
+          ] conds
+        } rep
+      } each
+    } /rewriteArithmeticsOptimistic deffst
+
+    { _ ==logic
       1 logic len range { ==i i logic * ==entry 0 entry * ==action i 1 sub logic * ==last
         [
           { action CALL eq
@@ -859,9 +973,12 @@
     rewriteConstantStar
     rewriteConstantQuestionStar
     rewriteArithmetics
+    rewriteArithmeticsOptimistic
     rewriteSimpleFunctions
     testAllocatedScopeEscape
 
+    # _ dump # enable this line to see intermediate representation
+
     isScoping {
       allocatedScopeMightEscape {
         [