From 7ff97aebc2c8e2a64707f8d2103173b2b4047c39 Mon Sep 17 00:00:00 2001 From: Viktar Makouski Date: Mon, 18 Dec 2023 14:16:55 +0300 Subject: [PATCH] tests: memory --- cranelift/zkasm_data/memory-i32.wat | 107 ++++++++++++++++++++++++++++ 1 file changed, 107 insertions(+) create mode 100644 cranelift/zkasm_data/memory-i32.wat diff --git a/cranelift/zkasm_data/memory-i32.wat b/cranelift/zkasm_data/memory-i32.wat new file mode 100644 index 000000000000..7830fa1b3b13 --- /dev/null +++ b/cranelift/zkasm_data/memory-i32.wat @@ -0,0 +1,107 @@ +(module + (import "env" "assert_eq" (func $assert_eq (param i32) (param i32))) + (memory 1) + (data (i32.const 0) "abcdefghijklmnopqrstuvwxyz") + (func $main + i32.const 0 + i32.load8_u offset=0 + i32.const 97 + call $assert_eq + i32.const 0 + i32.load8_u align=1 + i32.const 97 + call $assert_eq + i32.const 0 + i32.load8_u offset=1 align=1 + i32.const 98 + call $assert_eq + i32.const 0 + i32.load8_u offset=2 align=1 + i32.const 99 + call $assert_eq + i32.const 0 + i32.load8_u offset=25 align=1 + i32.const 122 + call $assert_eq + i32.const 0 + i32.load8_s offset=0 + i32.const 97 + call $assert_eq + i32.const 0 + i32.load8_s align=1 + i32.const 97 + call $assert_eq + i32.const 0 + i32.load8_s offset=1 align=1 + i32.const 98 + call $assert_eq + i32.const 0 + i32.load8_s offset=2 align=1 + i32.const 99 + call $assert_eq + i32.const 0 + i32.load8_s offset=25 align=1 + i32.const 122 + call $assert_eq + i32.const 0 + i32.load16_u offset=0 + i32.const 25185 + call $assert_eq + i32.const 0 + i32.load16_u align=1 + i32.const 25185 + call $assert_eq + i32.const 0 + i32.load16_u offset=1 align=1 + i32.const 25442 + call $assert_eq + i32.const 0 + i32.load16_u offset=2 align=2 + i32.const 25699 + call $assert_eq + i32.const 0 + i32.load16_u offset=25 align=2 + i32.const 122 + call $assert_eq + i32.const 0 + i32.load16_s offset=0 + i32.const 25185 + call $assert_eq + i32.const 0 + i32.load16_s align=1 + i32.const 25185 + call $assert_eq + i32.const 0 + i32.load16_s offset=1 align=1 + i32.const 25442 + call $assert_eq + i32.const 0 + i32.load16_s offset=2 align=2 + i32.const 25699 + call $assert_eq + i32.const 0 + i32.load16_s offset=25 align=2 + i32.const 122 + call $assert_eq + i32.const 0 + i32.load offset=0 + i32.const 1684234849 + call $assert_eq + i32.const 0 + i32.load align=1 + i32.const 1684234849 + call $assert_eq + i32.const 0 + i32.load offset=1 align=1 + i32.const 1701077858 + call $assert_eq + i32.const 0 + i32.load offset=2 align=2 + i32.const 1717920867 + call $assert_eq + i32.const 0 + i32.load offset=25 align=4 + i32.const 122 + call $assert_eq) + (start $main) +) \ No newline at end of file