From 331b8f0cff3c27c85e6087e59516a4f28dd1b164 Mon Sep 17 00:00:00 2001
From: YAMAMOTO Takashi <imuwoto@gmail.com>
Date: Mon, 5 Jun 2023 21:55:46 +0900
Subject: [PATCH] add a few assertions on types

---
 lib/type.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/lib/type.h b/lib/type.h
index 53fc700b..91e71762 100644
--- a/lib/type.h
+++ b/lib/type.h
@@ -130,6 +130,10 @@ union v128 {
         double f64[2];
 };
 
+_Static_assert(sizeof(float) == 4, "float");
+_Static_assert(sizeof(double) == 8, "double");
+_Static_assert(sizeof(union v128) == 16, "v128");
+
 /*
  * a value on operand stack, locals, etc.
  *