From 5de2e1fd9f426348127a66d2c51c300cb90cc3a4 Mon Sep 17 00:00:00 2001
From: Carlos Maniero <carlos@maniero.me>
Date: Wed, 10 May 2023 00:20:00 -0300
Subject: gas: Generate code for if statement

If statements are now working, the only exception is for the comparators
|| and && that will be addressed in a further commit. Checks tested:

  fn main(): i32 {
    let n: i32 = 11;

    if (n == 11) {
      if n != 12 {
        if n < 12 {
          if n <= 11 {
            if n > 10 {
              if n >= 11 {
                return 42;
              }
            }
          }
        }
      }
    }

    return n;
  }

To compile the && and || a precedence issue must be addressed: they must
have the highest precedence, witch is not working now:

  1 == 2 || 3 != 2

The or should be the higher level of the tree in the example above.

Signed-off-by: Carlos Maniero <carlos@maniero.me>
---
 examples/if.pipa | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

(limited to 'examples/if.pipa')

diff --git a/examples/if.pipa b/examples/if.pipa
index 2c5578d..b7cadcb 100644
--- a/examples/if.pipa
+++ b/examples/if.pipa
@@ -1,8 +1,18 @@
 fn main(): i32 {
-  let n: i32 = 42;
+  let n: i32 = 11;
 
-  if n > 42 {
-    return 42;
+  if (n == 11) {
+    if n != 12 {
+      if n < 12 {
+        if n <= 11 {
+          if n > 10 {
+            if n >= 11 {
+              return 42;
+            }
+          }
+        }
+      }
+    }
   }
 
   return n;
-- 
cgit v1.2.3


From 88630ebbea03e85119cf9795320a83cb846bdd20 Mon Sep 17 00:00:00 2001
From: Carlos Maniero <carlos@maniero.me>
Date: Wed, 10 May 2023 01:43:40 -0300
Subject: gas: Implement && and || for if statements

Now if statements are complete! The function
%gas_assembly_generator_compile_condition% is generic and will be used
for any other flow-control statment. The only requirement to it work is
having two labels: One to jump when the condition is true, and another
one when the condition is false.

Signed-off-by: Carlos Maniero <carlos@maniero.me>
---
 examples/if.pipa | 50 +++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 49 insertions(+), 1 deletion(-)

(limited to 'examples/if.pipa')

diff --git a/examples/if.pipa b/examples/if.pipa
index b7cadcb..d65fc24 100644
--- a/examples/if.pipa
+++ b/examples/if.pipa
@@ -7,12 +7,60 @@ fn main(): i32 {
         if n <= 11 {
           if n > 10 {
             if n >= 11 {
-              return 42;
+              if n >= 11 || n < 11 {
+                if n > 11 || n < 11 {
+                  return 199;
+                }
+                if n > 11 || n <= 11 {
+                  if false || false {
+                    return 199;
+                  }
+
+                  if true || false {
+                    if false || true {
+                      if true && false {
+                        return 197;
+                      }
+                      if false && true {
+                        return 196;
+                      }
+                      if true && true {
+                        if n >= 11 && n < 11 || n == 11 {
+                          if false || n == 11 && n > 11 {
+                            return 195;
+                          }
+                          if false || n >= 11 && n <= 11 {
+                            if false || false && false && false || true {
+                              if n + 1 > 11 && n - 1 < 11 {
+                                return 42;
+                              }
+                              return 13;
+                            }
+                            return 12;
+                          }
+                          return 11;
+                        }
+                        return 10;
+                      }
+                      return 9;
+                    }
+                    return 8;
+                  }
+                  return 7;
+                }
+                return 6;
+              }
+              return 5;
             }
+            return 4;
           }
+          return 3;
         }
+        return 2;
       }
+      return 1;
     }
+    return 0;
   }
 
   return n;
-- 
cgit v1.2.3


From a96a0cac034e16dcd7455a3b2fabf2b5b3e716bd Mon Sep 17 00:00:00 2001
From: Carlos Maniero <carlos@maniero.me>
Date: Wed, 10 May 2023 12:20:04 -0300
Subject: gas: Compile boolean variable assignment

When the assignment value is a literal, it just assigns zero or one to
the variable stack's location. If the value is an expression, it
compiles the expression and assign zeros and ones based on expression
result.
---
 examples/if.pipa | 18 ++++++++++++++++--
 1 file changed, 16 insertions(+), 2 deletions(-)

(limited to 'examples/if.pipa')

diff --git a/examples/if.pipa b/examples/if.pipa
index d65fc24..79f5724 100644
--- a/examples/if.pipa
+++ b/examples/if.pipa
@@ -1,6 +1,18 @@
 fn main(): i32 {
   let n: i32 = 11;
 
+  let falsy: bool = false || n == 11 && n > 11;
+  let truth: bool = n + 1 > 11 && n - 1 < 11;
+  let literal_falsy: bool = false;
+
+  if falsy {
+    return 201;
+  }
+
+  if literal_falsy {
+    return 200;
+  }
+
   if (n == 11) {
     if n != 12 {
       if n < 12 {
@@ -15,7 +27,6 @@ fn main(): i32 {
                   if false || false {
                     return 199;
                   }
-
                   if true || false {
                     if false || true {
                       if true && false {
@@ -32,7 +43,10 @@ fn main(): i32 {
                           if false || n >= 11 && n <= 11 {
                             if false || false && false && false || true {
                               if n + 1 > 11 && n - 1 < 11 {
-                                return 42;
+                                if truth {
+                                  return 42;
+                                }
+                                return 14;
                               }
                               return 13;
                             }
-- 
cgit v1.2.3