1 files changed, 16 insertions, 0 deletions
diff --git a/test/wasm_backend/i64.load32_u.cpp b/test/wasm_backend/i64.load32_u.cpp
new file mode 100644
index 000000000..a53c93d86
--- /dev/null
+++ b/test/wasm_backend/i64.load32_u.cpp
@@ -0,0 +1,16 @@
+#include <stdint.h>
+#include <stdio.h>
+
+volatile uint64_t x = 0x0101010101010101;
+volatile uint32_t u = 0xfefefefe;
+
+int main(void)
+{
+   putchar('a' + (x >> 60));
+
+   x = u;    // i64.load32_u
+
+   putchar('A' + (x >> 60));
+   putchar('\n');
+   return 0;
+}