feat: Implement tests for Literal

Author: spotandjake

test/literal_test.re

@@ -0,0 +1,61 @@
+open Binaryen;
+open Frame_work;
+
+suite("Literal", () => {
+  let create_test_func = (wasm_mod, name, lit) => {
+    Function.add_function(
+      wasm_mod,
+      name,
+      Type.none,
+      Type.none,
+      [||],
+      Expression.Drop.make(wasm_mod, Expression.Const.make(wasm_mod, lit)),
+    );
+  };
+  test("int32", () => {
+    let wasm_mod = Module.create();
+    let _ = create_test_func(wasm_mod, "int32_test", Literal.int32(42l));
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+  test("int64", () => {
+    let wasm_mod = Module.create();
+    let _ = create_test_func(wasm_mod, "int64_test", Literal.int64(-35L));
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+  test("float32_bits", () => {
+    let wasm_mod = Module.create();
+    let _ =
+      create_test_func(
+        wasm_mod,
+        "float32_bits_test",
+        Literal.float32_bits(0x40900000l),
+      ); // 4.5
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+  test("float64_bits", () => {
+    let wasm_mod = Module.create();
+    let _ =
+      create_test_func(
+        wasm_mod,
+        "float64_bits_test",
+        Literal.float64_bits(0x4012000000000000L),
+      ); // 4.5
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+  test("float32", () => {
+    let wasm_mod = Module.create();
+    let _ = create_test_func(wasm_mod, "float32_test", Literal.float32(3.5));
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+  test("float64", () => {
+    let wasm_mod = Module.create();
+    let _ = create_test_func(wasm_mod, "float64_test", Literal.float64(5.5));
+    Printf.printf("%s", Module.write_text(wasm_mod));
+    Module.dispose(wasm_mod);
+  });
+});

test/test.expected

@@ -46,7 +46,62 @@ Running suite: Function
  )
 )
 . Running test: set_debug_location
-{"version":3,"sources":[],"names":[],"mappings":"uBASoB,C"}Running suite: Module
+{"version":3,"sources":[],"names":[],"mappings":"uBASoB,C"}Running suite: Literal
+. Running test: int32
+(module
+ (type $0 (func))
+ (func $int32_test
+  (drop
+   (i32.const 42)
+  )
+ )
+)
+. Running test: int64
+(module
+ (type $0 (func))
+ (func $int64_test
+  (drop
+   (i64.const -35)
+  )
+ )
+)
+. Running test: float32_bits
+(module
+ (type $0 (func))
+ (func $float32_bits_test
+  (drop
+   (f32.const 4.5)
+  )
+ )
+)
+. Running test: float64_bits
+(module
+ (type $0 (func))
+ (func $float64_bits_test
+  (drop
+   (f64.const 4.5)
+  )
+ )
+)
+. Running test: float32
+(module
+ (type $0 (func))
+ (func $float32_test
+  (drop
+   (f32.const 3.5)
+  )
+ )
+)
+. Running test: float64
+(module
+ (type $0 (func))
+ (func $float64_test
+  (drop
+   (f64.const 5.5)
+  )
+ )
+)
+Running suite: Module
 . Running test: create and dispose
 . Running test: add custom section
 . Running test: write

test/test.re

@@ -1,16 +1,15 @@
 open Module_test;
+open Literal_test;
 open Function_test;
 open Settings_test;
 open Type_test;
-// TODO: Type
 // TODO: Table
 // TODO: Struct_Type
 // TODO: Signature_Type
 // TODO: Passes
 // TODO: Packed_Type
 // TODO: OP
 // TODO: Memory
-// TODO: Literal
 // TODO: Import
 // TODO: Heap_Type
 // TODO: Global