Add tests for vadda

code/vadda_b.cpp

@@ -0,0 +1,9 @@
+#include "common.h"
+
+v128 vadda_b(v128 a, v128 b) {
+  v128 dst;
+#include "vadda_b.h"
+  return dst;
+}
+
+void test() { FUZZ2(vadda_b); }

code/vadda_b.h

@@ -1,3 +1,3 @@
 for (int i = 0; i < 16; i++) {
-  dst.byte[i] = abs(a.byte[i]) + abs(b.byte[i]);
+  dst.byte[i] = abs((s8)a.byte[i]) + abs((s8)b.byte[i]);
 }

code/vadda_d.cpp

@@ -0,0 +1,9 @@
+#include "common.h"
+
+v128 vadda_d(v128 a, v128 b) {
+  v128 dst;
+#include "vadda_d.h"
+  return dst;
+}
+
+void test() { FUZZ2(vadda_d); }

code/vadda_d.h

@@ -1,4 +1,4 @@
 for (int i = 0; i < 2; i++) {
-  dst.dword[i] = abs(a.dword[i]) + abs(b.dword[i]);
+  dst.dword[i] = abs((s64)a.dword[i]) + abs((s64)b.dword[i]);
 }
 

code/vadda_h.cpp

@@ -0,0 +1,10 @@
+#include "common.h"
+
+v128 vadda_h(v128 a, v128 b) {
+  v128 dst;
+#include "vadda_h.h"
+  return dst;
+}
+
+void test() { FUZZ2(vadda_h); }
+

code/vadda_h.h

@@ -1,4 +1,4 @@
 for (int i = 0; i < 8; i++) {
-  dst.half[i] = abs(a.half[i]) + abs(b.half[i]);
+  dst.half[i] = abs((s16)a.half[i]) + abs((s16)b.half[i]);
 }
 

code/vadda_w.cpp

@@ -0,0 +1,10 @@
+#include "common.h"
+
+v128 vadda_w(v128 a, v128 b) {
+  v128 dst;
+#include "vadda_w.h"
+  return dst;
+}
+
+void test() { FUZZ2(vadda_w); }
+

code/vadda_w.h

@@ -1,3 +1,3 @@
 for (int i = 0; i < 4; i++) {
-  dst.word[i] = abs(a.word[i]) + abs(b.word[i]);
+  dst.word[i] = abs((s32)a.word[i]) + abs((s32)b.word[i]);
 }

main.py

@@ -1,4 +1,5 @@
 import math
+import os
 
 def define_env(env):
     widths = {
@@ -30,6 +31,10 @@ def include(file):
 
     def instruction(intrinsic, instr, desc):
         file_name = instr.split(" ")[0].replace(".", "_")
+        if os.path.exists(f"code/{file_name}.cpp"):
+            tested = "Tested on real machine."
+        else:
+            tested = ""
         return f"""
 ## {intrinsic}
 
@@ -51,6 +56,9 @@ def instruction(intrinsic, instr, desc):
 ```c++
 {include(f'{file_name}.h')}
 ```
+
+{tested}
+
 """
 
     @env.macro