diff options
Diffstat (limited to 'test/lit/basic')
| -rw-r--r-- | test/lit/basic/f16.wast | 89 |
1 files changed, 89 insertions, 0 deletions
diff --git a/test/lit/basic/f16.wast b/test/lit/basic/f16.wast index c68b0306f..1dceb8075 100644 --- a/test/lit/basic/f16.wast +++ b/test/lit/basic/f16.wast @@ -17,6 +17,12 @@ ;; CHECK-TEXT: (type $1 (func (param i32 f32))) + ;; CHECK-TEXT: (type $2 (func (param f32) (result v128))) + + ;; CHECK-TEXT: (type $3 (func (param v128) (result f32))) + + ;; CHECK-TEXT: (type $4 (func (param v128 f32) (result v128))) + ;; CHECK-TEXT: (memory $0 1 1) ;; CHECK-TEXT: (func $f32.load_f16 (type $0) (param $0 i32) (result f32) @@ -28,6 +34,12 @@ ;; CHECK-BIN: (type $1 (func (param i32 f32))) + ;; CHECK-BIN: (type $2 (func (param f32) (result v128))) + + ;; CHECK-BIN: (type $3 (func (param v128) (result f32))) + + ;; CHECK-BIN: (type $4 (func (param v128 f32) (result v128))) + ;; CHECK-BIN: (memory $0 1 1) ;; CHECK-BIN: (func $f32.load_f16 (type $0) (param $0 i32) (result f32) @@ -58,11 +70,69 @@ (local.get $1) ) ) + + ;; CHECK-TEXT: (func $f16x8.splat (type $2) (param $0 f32) (result v128) + ;; CHECK-TEXT-NEXT: (f16x8.splat + ;; CHECK-TEXT-NEXT: (local.get $0) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (func $f16x8.splat (type $2) (param $0 f32) (result v128) + ;; CHECK-BIN-NEXT: (f16x8.splat + ;; CHECK-BIN-NEXT: (local.get $0) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NEXT: ) + (func $f16x8.splat (param $0 f32) (result v128) + (f16x8.splat + (local.get $0) + ) + ) + + ;; CHECK-TEXT: (func $f16x8.extract_lane (type $3) (param $0 v128) (result f32) + ;; CHECK-TEXT-NEXT: (f16x8.extract_lane 0 + ;; CHECK-TEXT-NEXT: (local.get $0) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (func $f16x8.extract_lane (type $3) (param $0 v128) (result f32) + ;; CHECK-BIN-NEXT: (f16x8.extract_lane 0 + ;; CHECK-BIN-NEXT: (local.get $0) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NEXT: ) + (func $f16x8.extract_lane (param $0 v128) (result f32) + (f16x8.extract_lane 0 + (local.get $0) + ) + ) + + ;; CHECK-TEXT: (func $f16x8.replace_lane (type $4) (param $0 v128) (param $1 f32) (result v128) + ;; CHECK-TEXT-NEXT: (f16x8.replace_lane 0 + ;; CHECK-TEXT-NEXT: (local.get $0) + ;; CHECK-TEXT-NEXT: (local.get $1) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-TEXT-NEXT: ) + ;; CHECK-BIN: (func $f16x8.replace_lane (type $4) (param $0 v128) (param $1 f32) (result v128) + ;; CHECK-BIN-NEXT: (f16x8.replace_lane 0 + ;; CHECK-BIN-NEXT: (local.get $0) + ;; CHECK-BIN-NEXT: (local.get $1) + ;; CHECK-BIN-NEXT: ) + ;; CHECK-BIN-NEXT: ) + (func $f16x8.replace_lane (param $0 v128) (param $1 f32) (result v128) + (f16x8.replace_lane 0 + (local.get $0) + (local.get $1) + ) + ) + ) ;; CHECK-BIN-NODEBUG: (type $0 (func (param i32) (result f32))) ;; CHECK-BIN-NODEBUG: (type $1 (func (param i32 f32))) +;; CHECK-BIN-NODEBUG: (type $2 (func (param f32) (result v128))) + +;; CHECK-BIN-NODEBUG: (type $3 (func (param v128) (result f32))) + +;; CHECK-BIN-NODEBUG: (type $4 (func (param v128 f32) (result v128))) + ;; CHECK-BIN-NODEBUG: (memory $0 1 1) ;; CHECK-BIN-NODEBUG: (func $0 (type $0) (param $0 i32) (result f32) @@ -77,3 +147,22 @@ ;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) ;; CHECK-BIN-NODEBUG-NEXT: ) ;; CHECK-BIN-NODEBUG-NEXT: ) + +;; CHECK-BIN-NODEBUG: (func $2 (type $2) (param $0 f32) (result v128) +;; CHECK-BIN-NODEBUG-NEXT: (f16x8.splat +;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) +;; CHECK-BIN-NODEBUG-NEXT: ) +;; CHECK-BIN-NODEBUG-NEXT: ) + +;; CHECK-BIN-NODEBUG: (func $3 (type $3) (param $0 v128) (result f32) +;; CHECK-BIN-NODEBUG-NEXT: (f16x8.extract_lane 0 +;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) +;; CHECK-BIN-NODEBUG-NEXT: ) +;; CHECK-BIN-NODEBUG-NEXT: ) + +;; CHECK-BIN-NODEBUG: (func $4 (type $4) (param $0 v128) (param $1 f32) (result v128) +;; CHECK-BIN-NODEBUG-NEXT: (f16x8.replace_lane 0 +;; CHECK-BIN-NODEBUG-NEXT: (local.get $0) +;; CHECK-BIN-NODEBUG-NEXT: (local.get $1) +;; CHECK-BIN-NODEBUG-NEXT: ) +;; CHECK-BIN-NODEBUG-NEXT: ) |