[backend/golang] Add Bounds Check Elimination Code

Author: lemon-mint

_out/main.go

@@ -242,6 +242,8 @@ func (s Item) Vstruct_Validate() bool {
 		return false
 	}
 
+	_ = s[24]
+
 	var __off0 uint64 = 25
 	var __off1 uint64 = uint64(s[17]) |
 		uint64(s[18])<<8 |
@@ -318,6 +320,8 @@ func (s Inventory) Vstruct_Validate() bool {
 		return false
 	}
 
+	_ = s[15]
+
 	var __off0 uint64 = 16
 	var __off1 uint64 = uint64(s[0]) |
 		uint64(s[1])<<8 |
@@ -423,6 +427,8 @@ func (s Entity) Vstruct_Validate() bool {
 		return false
 	}
 
+	_ = s[40]
+
 	var __off0 uint64 = 41
 	var __off1 uint64 = uint64(s[25]) |
 		uint64(s[26])<<8 |

compile/backend/golang/structs.go

@@ -105,6 +105,11 @@ func writeStructs(w io.Writer, i *ir.IR) {
 			fmt.Fprintf(w, "if len(s) < %d {\n", s.DynamicFieldHeadOffsets[len(s.DynamicFieldHeadOffsets)-1])
 			fmt.Fprintf(w, "return false\n")
 			fmt.Fprintf(w, "}\n")
+			if s.DynamicFieldHeadOffsets[len(s.DynamicFieldHeadOffsets)-1] > 0 {
+				// Add Bounds Check Elimination
+				fmt.Fprintf(w, "\n_ = s[%d]\n", s.DynamicFieldHeadOffsets[len(s.DynamicFieldHeadOffsets)-1]-1)
+			}
+
 			for i, f := range s.DynamicFieldHeadOffsets {
 				_ = f
 				fmt.Fprintf(w, "\nvar __off%d uint64 = ", i)

package.json

@@ -1,6 +1,6 @@
 {
   "name": "vstruct",
-  "version": "1.0.13",
+  "version": "1.1.0",
   "description": "Code Generation Based High Speed Data Serialization Tool",
   "scripts": {
     "test": "echo \"Error: no test specified\" && exit 1",