| /wasmtime-44.0.1/cranelift/filetests/filetests/runtests/ |
| H A D | issue-6954.clif | 50 v16 = select v3, v8, v8
51 v17 = select v3, v16, v16
52 v18 = select v3, v17, v17
65 v21 = select v3, v18, v18
67 v23 = select v3, v21, v21
68 v24 = select v3, v23, v23
69 v25 = select v3, v24, v24
70 v26 = select v3, v25, v25
71 v27 = select v3, v26, v26
72 v28 = select v3, v27, v27
[all …]
|
| H A D | select.clif | 19 v5 = select v2, v3, v4
30 v3 = select v0, v1, v2
43 v5 = select v2, v3, v4
55 v5 = select v2, v3, v4
68 v5 = select v2, v3, v4
81 v5 = select v2, v3, v4
94 v5 = select v2, v3, v4
109 v5 = select v2, v3, v4
124 v5 = select v2, v3, v4
448 v3 = select v2, v1, v0 ; select( (y <_s x), y, x) -> smin(y, x)
[all …]
|
| H A D | issue5569.clif | 25 v64 = select v63, v56, v2 ; v56 = 1
36 v74 = select v73, v66, v13 ; v66 = 1
47 v84 = select v83, v76, v14 ; v76 = 1
58 v94 = select v93, v86, v3 ; v86 = 1
69 v104 = select v103, v96, v15 ; v96 = 1
72 v18 = select v800, v6, v6
82 v114 = select v113, v106, v17 ; v106 = 1
93 v124 = select v123, v116, v19 ; v116 = 1
104 v134 = select v133, v126, v20 ; v126 = 1
116 v144 = select v143, v136, v21 ; v136 = 1
[all …]
|
| H A D | simd-select.clif | 19 v3 = select v0, v1, v2
28 v3 = select v0, v1, v2
37 v3 = select v0, v1, v2
46 v3 = select v0, v1, v2
55 v3 = select v0, v1, v2
64 v3 = select v0, v1, v2
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/isa/riscv64/ |
| H A D | issue-6954.clif | 47 v16 = select v3, v8, v8
48 v17 = select v3, v16, v16
49 v18 = select v3, v17, v17
62 v21 = select v3, v18, v18
64 v23 = select v3, v21, v21
65 v24 = select v3, v23, v23
66 v25 = select v3, v24, v24
67 v26 = select v3, v25, v25
68 v27 = select v3, v26, v26
69 v28 = select v3, v27, v27
[all …]
|
| H A D | select.clif | 9 v5 = select.i8 v4, v1, v2
35 v5 = select.i16 v4, v1, v2
61 v5 = select.i32 v4, v1, v2
87 v5 = select.i64 v4, v1, v2
113 v5 = select.i128 v4, v1, v2
143 v5 = select.i8 v4, v1, v2
173 v5 = select.i16 v4, v1, v2
203 v5 = select.i32 v4, v1, v2
233 v5 = select.i64 v4, v1, v2
324 v5 = select.i8 v4, v1, v2
[all …]
|
| H A D | select-float.clif | 10 v5 = select.f16 v4, v1, v2
35 v5 = select.f32 v4, v1, v2
60 v5 = select.f64 v4, v1, v2
85 v5 = select.f128 v4, v1, v2
115 v5 = select.f16 v4, v1, v2
144 v5 = select.f32 v4, v1, v2
173 v5 = select.f64 v4, v1, v2
202 v5 = select.f128 v4, v1, v2
263 v5 = select.f16 v4, v1, v2
288 v5 = select.f32 v4, v1, v2
[all …]
|
| H A D | condops.clif | 9 v5 = select.i64 v4, v1, v2
18 ; select a0,a1,a2##condition=(a4 eq a3)
78 v3 = select.i8 v0, v1, v2
85 ; select a0,a1,a2##condition=(a3 ne zero)
100 v5 = select.i8 v4, v1, v2
109 ; select a0,a1,a2##condition=(a4 eq a3)
124 v3 = select.i128 v0, v1, v2
132 ; select [a0,a1],[a6,a2],[a3,a4]##condition=(a5 ne zero)
|
| H A D | zicond.clif | 9 v3 = select.i64 v0, v1, v2
27 v4 = select.i64 v3, v1, v2
45 v4 = select.i64 v3, v2, v1
63 v4 = select.i64 v3, v1, v2
82 v4 = select.i64 v3, v2, v1
101 v5 = select.i64 v4, v1, v2
123 v5 = select.i64 v4, v1, v2
144 v5 = select.i64 v4, v2, v3
170 v5 = select.i64 v4, v3, v3
|
| H A D | cls-zbb.clif | 16 ; select a1,a1,a0##condition=(a0 slt zero)
41 ; select a1,a1,a0##condition=(a0 slt zero)
66 ; select a1,a1,a0##condition=(a0 slt zero)
90 ; select a1,a1,a0##condition=(a0 slt zero)
113 ; select a2,a2,a0##condition=(a1 slt zero)
115 ; select a0,a0,a1##condition=(a1 slt zero)
118 ; select a5,a3,zero##condition=(a0 eq zero)
|
| /wasmtime-44.0.1/tests/misc_testsuite/winch/ |
| H A D | select.wast | 7 (func (export "select-i32") (param i32 i32 i32) (result i32)
8 (select (local.get 0) (local.get 1) (local.get 2))
10 (func (export "select-i64") (param i64 i64 i32) (result i64)
11 (select (local.get 0) (local.get 1) (local.get 2))
14 (select (local.get 0) (local.get 1) (local.get 2))
17 (select (local.get 0) (local.get 1) (local.get 2))
20 (func (export "as-select-first") (param i32) (result i32)
21 (select (select (i32.const 0) (i32.const 1) (local.get 0)) (i32.const 2) (i32.const 3))
23 (func (export "as-select-mid") (param i32) (result i32)
24 (select (i32.const 2) (select (i32.const 0) (i32.const 1) (local.get 0)) (i32.const 3))
[all …]
|
| H A D | ref-types-basic.wast | 34 ;; typed select between two funcrefs
35 (func (export "select-funcref") (param $c i32) (result funcref)
36 (select (result funcref) (ref.func $returns-42) (ref.func $returns-7) (local.get $c))
38 (func (export "select-null-first") (param $c i32) (result funcref)
39 (select (result funcref) (ref.null func) (ref.func $returns-7) (local.get $c))
77 ;; typed select
78 (assert_return (invoke "select-funcref" (i32.const 1)) (ref.func 0))
79 (assert_return (invoke "select-funcref" (i32.const 0)) (ref.func 1))
80 (assert_return (invoke "select-null-first" (i32.const 1)) (ref.null func))
81 (assert_return (invoke "select-null-first" (i32.const 0)) (ref.func 1))
|
| /wasmtime-44.0.1/cranelift/codegen/src/opts/ |
| H A D | selects.isle | 1 ;; `select`/`bitselect`-related rewrites
3 ;; remove select when both choices are the same
81 (rule (simplify (select ty cond
85 (rule (simplify (select ty cond
95 ;; fold add-select to select-add
98 (select ty c
102 (rule (simplify (select ty d a (select ty d _ y))) (select ty d a y))
103 (rule (simplify (select ty d (select ty d x _) a)) (select ty d x a))
181 (rule (simplify (select ty x (iconst_u ty 1) (bor ty x y))) (select ty x (iconst_u ty 1) y))
182 (rule (simplify (select ty x (iconst_u ty 1) (bor ty y x))) (select ty x (iconst_u ty 1) y))
[all …]
|
| H A D | spaceship.isle | 13 (rule (simplify (select ty (ult rty x y)
19 (rule (simplify (select ty (ult rty x y)
25 (rule (simplify (select ty (eq rty x y)
32 (rule (simplify (select ty (eq rty x y)
39 (rule (simplify (select ty (eq rty x y)
46 (rule (simplify (select ty (eq rty x y)
55 (rule (simplify (select ty (ugt rty x y)
59 (rule (simplify (select ty (ugt rty x y)
90 (rule (simplify (select ty (eq rty x y)
97 (rule (simplify (select ty (eq rty x y)
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/ |
| H A D | sink-float-but-dont-trap.wast | 6 (func (export "select-with-sink") (param i32) (result f64)
11 select
15 (func (export "select-with-fcmp-and-sink") (param i32 f64 f64) (result f64)
22 select
25 ;; Same as the above two but the order of operands to the `select` are
27 (func (export "select-with-sink-other-way") (param i32) (result f64)
32 select
34 (func (export "select-with-fcmp-and-sink-other-way") (param i32 f64 f64) (result f64)
41 select
45 (assert_return (invoke "select-with-sink" (i32.const 0xfff8)) (f64.const 0))
[all …]
|
| H A D | br-table-fuzzbug.wast | 33 select
35 select
67 select
68 select
70 select
86 select
123 select
147 select
151 select
177 select
[all …]
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/egraph/ |
| H A D | selects.clif | 5 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
10 v3 = select v0, v1, v2
25 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
30 v3 = select v0, v1, v2
45 ;; (iadd ty (select ty c x y) z) -> (select ty c (x + z) (y + z))
50 v3 = select v0, v1, v2
67 v3 = select v2, v1, v0
95 v3 = select v2, v0, v1
109 v5 = select v4, v1, v2
123 v4 = select v2, v0, v3
[all …]
|
| H A D | select.clif | 10 v2 = select v0, v1, v1
25 v3 = select v2, v0, v1
38 v3 = select v2, v1, v0
50 v3 = select v2, v0, v1
62 v3 = select v2, v0, v1
74 v3 = select v2, v0, v1
87 v3 = select v2, v0, v1
99 v3 = select v2, v0, v1
111 v3 = select v2, v0, v1
123 v3 = select v2, v0, v1
[all …]
|
| H A D | spaceship.clif | 15 v7 = select v3, v5, v6
16 v8 = select v2, v4, v7
31 v7 = select v3, v5, v6
32 v8 = select v2, v4, v7
48 v7 = select v3, v5, v6
49 v8 = select v2, v4, v7
64 v7 = select v3, v5, v6
65 v8 = select v2, v4, v7
81 v7 = select v3, v5, v6
82 v8 = select v2, v4, v7
[all …]
|
| H A D | fold-selects.clif | 7 v5 = select v0, v3, v2
8 v6 = select v0, v4, v5
14 ; v7 = select v0, v4, v2
20 v5 = select v0, v3, v2
21 v6 = select v0, v5, v4
27 ; v7 = select v0, v3, v4
|
| H A D | select-to-abs.clif | 28 v5 = select v2, v0, v4
43 v5 = select v2, v0, v4
58 v5 = select v2, v0, v4
75 v5 = select v2, v0, v4
90 v5 = select v2, v0, v4
105 v5 = select v2, v0, v4
120 v5 = select v2, v0, v4
153 v5 = select v2, v4, v0
168 v5 = select v2, v4, v0
183 v5 = select v2, v4, v0
[all …]
|
| H A D | issue-11578-semantics.clif | 18 v7 = select v4, v5, v6
33 v7 = select v4, v5, v6
48 v7 = select v4, v5, v6
63 v7 = select v4, v5, v6
70 ; select x, k1, k1 should be constant propagated
78 v6 = select v4, v5, v5
89 v4 = select v0, v1, v3
|
| /wasmtime-44.0.1/tests/disas/ |
| H A D | select.wat | 4 (func $untyped-select (result i32)
8 select)
10 (func $typed-select-1 (result externref)
14 select (result externref))
16 (func $typed-select-2 (param externref) (result externref)
20 select (result externref))
33 ;; @0029 v6 = select v5, v3, v4 ; v5 = 1, v3 = 42, v4 = 24
50 ;; @0033 v6 = select v5, v3, v4 ; v5 = 1, v3 = 0, v4 = 0
66 ;; @003f v6 = select v5, v4, v2 ; v5 = 1, v4 = 0
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/wasm/ |
| H A D | select.clif | 1 ; Test basic code generation for the select WebAssembly instruction.
10 v3 = select v2, v0, v1
16 v3 = select v2, v0, v1
22 v3 = select v2, v0, v1
28 v3 = select v2, v0, v1
|
| /wasmtime-44.0.1/tests/misc_testsuite/simd/ |
| H A D | v128-select.wast | 4 (func (export "select") (param v128 v128 i32) (result v128)
8 select)
11 (assert_return (invoke "select"
17 (assert_return (invoke "select"
|