added missing fixtures

Author: agryaznov

frame/contracts/fixtures/create_storage_and_instantiate.wat

@@ -0,0 +1,66 @@
+;; This instantiates another contract and passes some input to its constructor.
+(module
+	(import "seal0" "seal_input" (func $seal_input (param i32 i32)))
+	(import "seal0" "seal_set_storage" (func $seal_set_storage (param i32 i32 i32)))
+	(import "seal2" "instantiate" (func $seal_instantiate
+		(param i32 i64 i64 i32 i32 i32 i32 i32 i32 i32 i32 i32 i32) (result i32)
+	))
+	(import "seal0" "seal_return" (func $seal_return (param i32 i32 i32)))
+	(import "env" "memory" (memory 1 1))
+
+	;; [0, 8) send 10_000 balance
+	(data (i32.const 48) "\10\27\00\00\00\00\00\00")
+
+	(func $assert (param i32)
+		(block $ok
+			(br_if $ok
+				(get_local 0)
+			)
+			(unreachable)
+		)
+	)
+
+    (func (export "deploy"))
+
+    (func (export "call")
+    	;; store length of input buffer
+        (i32.store (i32.const 0) (i32.const 512))
+    	;; store length of contract address
+        (i32.store (i32.const 84) (i32.const 32))
+
+        ;; copy input at address 4
+        (call $seal_input (i32.const 4) (i32.const 0))
+
+		;; memory layout is:
+		;; 	[0,4): size of input buffer
+		;; 	[4,8): size of the storage to be created in callee
+		;; 	[8,40): the code hash of the contract to instantiate
+		;; 	[40,48): for the encoded deposit limit
+		;; 	[48,52): value to transfer
+		;; 	[52,84): address of the deployed contract
+		;; 	[84,88): len of the address
+
+		;; instantiate a contract
+		(call $assert (i32.eqz
+;;		(i32.store
+;;		 (i32.const 64)
+		 (call $seal_instantiate
+				(i32.const 8)	;; Pointer to the code hash.
+				(i64.const 0)	;; How much ref_time weight to devote for the execution. 0 = all.
+				(i64.const 0)	;; How much proof_size weight to devote for the execution. 0 = all.
+				(i32.const 40)	;; Pointer to the storage deposit limit
+				(i32.const 48)	;; Pointer to the buffer with value to transfer
+				(i32.const 4)	;; Pointer to input data buffer address
+				(i32.const 4)	;; Length of input data buffer
+				(i32.const 52) 	;; Pointer to where to copy address
+				(i32.const 84)	;; Pointer to address len ptr
+				(i32.const 0xffffffff) ;; u32 max sentinel value: do not copy output
+				(i32.const 0)	;; Length is ignored in this case
+				(i32.const 0)	;; salt_ptr
+				(i32.const 0)	;; salt_len
+			)
+		))
+		;; return the deployed contract address
+		(call $seal_return (i32.const 0) (i32.const 52) (i32.const 32))
+	)
+)

frame/contracts/fixtures/store_call.wat

@@ -0,0 +1,45 @@
+;; Stores a value of the passed size.
+(module
+	(import "seal0" "seal_set_storage" (func $seal_set_storage (param i32 i32 i32)))
+	(import "seal0" "seal_input" (func $seal_input (param i32 i32)))
+	(import "env" "memory" (memory 16 16))
+
+	;; [0, 32) storage key
+	(data (i32.const 0) "\01")
+
+	;; [32, 36) buffer where input is copied (expected size of storage item)
+
+	;; [36, 40) size of the input buffer
+	(data (i32.const 36) "\04")
+
+	(func $assert (param i32)
+		(block $ok
+			(br_if $ok
+				(get_local 0)
+			)
+			(unreachable)
+		)
+	)
+
+	(func (export "call")
+		(call $seal_input (i32.const 32) (i32.const 36))
+
+		;; assert input size == 4
+		(call $assert
+			(i32.eq
+				(i32.load (i32.const 36))
+				(i32.const 4)
+			)
+		)
+
+		;; place a value in storage, the size of which is specified by the call input.
+		;; we don't care about the contents of the storage item
+		(call $seal_set_storage
+			(i32.const 0)		;; Pointer to storage key
+			(i32.const 0)		;; Pointer to value
+			(i32.load (i32.const 32))	;; Size of value
+		)
+	)
+
+	(func (export "deploy"))
+)

frame/contracts/fixtures/store_deploy.wat

@@ -0,0 +1,45 @@
+;; Stores a value of the passed size in constructor.
+(module
+	(import "seal0" "seal_set_storage" (func $seal_set_storage (param i32 i32 i32)))
+	(import "seal0" "seal_input" (func $seal_input (param i32 i32)))
+	(import "env" "memory" (memory 16 16))
+
+	;; [0, 32) storage key
+	(data (i32.const 0) "\01")
+
+	;; [32, 36) buffer where input is copied (expected size of storage item)
+
+	;; [36, 40) size of the input buffer
+	(data (i32.const 36) "\04")
+
+	(func $assert (param i32)
+		(block $ok
+			(br_if $ok
+				(get_local 0)
+			)
+			(unreachable)
+		)
+	)
+
+	(func (export "deploy")
+		(call $seal_input (i32.const 32) (i32.const 36))
+
+		;; assert input size == 4
+		(call $assert
+			(i32.eq
+				(i32.load (i32.const 36))
+				(i32.const 4)
+			)
+		)
+
+		;; place a value in storage, the size of which is specified by the call input.
+		;; we don't care about the contents of the storage item
+		(call $seal_set_storage
+			(i32.const 0)		;; Pointer to storage key
+			(i32.const 0)		;; Pointer to value
+			(i32.load (i32.const 32))	;; Size of value
+		)
+	)
+
+	(func (export "call"))
+)