Guile-hoot/test/test-inline-wasm.scm

;;; Copyright (C) 2023, 2025 Igalia, S.L.
;;;
;;; Licensed under the Apache License, Version 2.0 (the "License");
;;; you may not use this file except in compliance with the License.
;;; You may obtain a copy of the License at
;;;
;;;    http://www.apache.org/licenses/LICENSE-2.0
;;;
;;; Unless required by applicable law or agreed to in writing, software
;;; distributed under the License is distributed on an "AS IS" BASIS,
;;; WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
;;; See the License for the specific language governing permissions and
;;; limitations under the License.

;;; Commentary:
;;;
;;; Floating point number tests.
;;;
;;; Code:

(use-modules (srfi srfi-64)
             (test utils))

(test-begin "test-inline-wasm")

(with-additional-imports ((hoot inline-wasm))
  (test-call "43" (lambda (a)
                    (%inline-wasm
                     '(func (param $a i64) (result i64)
                            (i64.add (local.get $a) (i64.const 1)))
                     a))
             42)
  (test-call "43" (lambda (a)
                    (%inline-wasm
                     '(func (param $a i32) (result i64)
                            (i64.extend_i32_u (i32.add (local.get $a) (i32.const 1))))
                     a))
             42)
  (test-call "43.0" (lambda (a)
                      (%inline-wasm
                       '(func (param $a f64) (result f64)
                              (f64.add (local.get $a) (f64.const 1.0)))
                       a))
             42)
  (test-call "43.0" (lambda (a)
                      (%inline-wasm
                       '(func (param $a f64) (result f64)
                              (f64.add (local.get $a) (f64.const 1.0)))
                       a))
             42.0)
  (test-call "43.0" (lambda (a)
                      (%inline-wasm
                       '(func (param $a f32) (result f64)
                              (f64.promote_f32 (f32.add (local.get $a) (f32.const 1.0))))
                       a))
             42)
  (test-call "7" (lambda (a)
                   (%inline-wasm
                    '(func (param $a (ref string)) (result i64)
                           (i64.extend_i32_u
                            (stringview_iter.advance (string.as_iter (local.get $a))
                                                     (i32.const -1))))
                    a))
             "hey hey")
  ;; Inline wasm that produces multiple values.
  (test-call "(43 44)"
             (lambda (a)
               (call-with-values (lambda ()
                                   (%inline-wasm
                                    '(func (param $a i64) (result i64) (result i64)
                                           (i64.add (local.get $a) (i64.const 1))
                                           (i64.add (local.get $a) (i64.const 2)))
                                    a))
                 (lambda vals vals)))
             42))

(test-end* "test-inline-wasm")