| /wasmtime-44.0.1/tests/disas/winch/aarch64/br_table/ |
| H A D | large.wat | 768 ;; 68: .byte 0x9c, 0x80, 0x01, 0x00
769 ;; .byte 0xa4, 0x80, 0x01, 0x00
770 ;; .byte 0x9c, 0x80, 0x01, 0x00
771 ;; .byte 0xa4, 0x80, 0x01, 0x00
772 ;; .byte 0x9c, 0x80, 0x01, 0x00
773 ;; .byte 0xa4, 0x80, 0x01, 0x00
774 ;; .byte 0x9c, 0x80, 0x01, 0x00
775 ;; .byte 0xa4, 0x80, 0x01, 0x00
776 ;; .byte 0x9c, 0x80, 0x01, 0x00
777 ;; .byte 0xa4, 0x80, 0x01, 0x00
[all …]
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/isa/riscv64/ |
| H A D | simd-vconst.clif | 20 ; .byte 0x57, 0x70, 0x08, 0xcc
23 ; .byte 0x07, 0x84, 0x0f, 0x02
24 ; .byte 0x27, 0x04, 0x05, 0x02
26 ; .byte 0x00, 0x00, 0x00, 0x00
27 ; .byte 0x00, 0x00, 0x00, 0x00
28 ; .byte 0x00, 0x00, 0x00, 0x00
29 ; .byte 0x00, 0x00, 0x00, 0x00
30 ; .byte 0x00, 0x00, 0x00, 0x00
31 ; .byte 0x00, 0x00, 0x00, 0x00
47 ; .byte 0x57, 0x70, 0x08, 0xcc
[all …]
|
| H A D | simd-scalartovector.clif | 22 ; .byte 0x57, 0x70, 0x08, 0xcc
23 ; .byte 0x57, 0x44, 0x00, 0x5e
24 ; .byte 0x57, 0x70, 0x81, 0xcd
25 ; .byte 0x57, 0xb0, 0x00, 0x5e
26 ; .byte 0x57, 0x70, 0x08, 0xcc
27 ; .byte 0xd7, 0xc4, 0x85, 0x5c
28 ; .byte 0xa7, 0x04, 0x05, 0x02
47 ; .byte 0x57, 0x70, 0x84, 0xcc
48 ; .byte 0x57, 0x44, 0x00, 0x5e
49 ; .byte 0x57, 0x70, 0x81, 0xcd
[all …]
|
| H A D | simd-iadd_pairwise.clif | 44 ; .byte 0x57, 0x70, 0x08, 0xcc
46 ; .byte 0x87, 0x84, 0x0f, 0x02
48 ; .byte 0x07, 0x84, 0x0f, 0x02
51 ; .byte 0x57, 0x70, 0x81, 0xcd
52 ; .byte 0x57, 0xe5, 0x05, 0x42
53 ; .byte 0x57, 0x70, 0x08, 0xcc
54 ; .byte 0x57, 0x26, 0x95, 0x5e
55 ; .byte 0xd7, 0x26, 0x85, 0x5e
56 ; .byte 0x57, 0x36, 0xd4, 0x3a
59 ; .byte 0x57, 0x70, 0x81, 0xcd
[all …]
|
| H A D | simd-vconst-64bit.clif | 20 ; .byte 0x57, 0x70, 0x04, 0xcc
23 ; .byte 0x07, 0x84, 0x0f, 0x02
24 ; .byte 0x27, 0x04, 0x05, 0x02
26 ; .byte 0x00, 0x00, 0x00, 0x00
27 ; .byte 0x00, 0x00, 0x00, 0x00
43 ; .byte 0x57, 0x70, 0x04, 0xcc
46 ; .byte 0x07, 0x84, 0x0f, 0x02
47 ; .byte 0x27, 0x04, 0x05, 0x02
49 ; .byte 0xff, 0xff, 0xff, 0xff
50 ; .byte 0xff, 0xff, 0xff, 0xff
[all …]
|
| H A D | simd-load-extend.clif | 21 ; .byte 0x57, 0xf0, 0x80, 0xcd
23 ; .byte 0x57, 0x70, 0x84, 0xcc
24 ; .byte 0x57, 0x24, 0x93, 0x4a
25 ; .byte 0x57, 0x70, 0x08, 0xcc
26 ; .byte 0x27, 0x04, 0x05, 0x02
44 ; .byte 0x57, 0xf0, 0x80, 0xcd
46 ; .byte 0x57, 0x70, 0x84, 0xcc
47 ; .byte 0x57, 0xa4, 0x93, 0x4a
48 ; .byte 0x57, 0x70, 0x08, 0xcc
49 ; .byte 0x27, 0x04, 0x05, 0x02
[all …]
|
| H A D | simd-splat.clif | 20 ; .byte 0x57, 0x70, 0x08, 0xcc
21 ; .byte 0x57, 0xc4, 0x05, 0x5e
22 ; .byte 0x27, 0x04, 0x05, 0x02
39 ; .byte 0x57, 0x70, 0x84, 0xcc
40 ; .byte 0x57, 0xc4, 0x05, 0x5e
41 ; .byte 0x57, 0x70, 0x08, 0xcc
42 ; .byte 0x27, 0x04, 0x05, 0x02
59 ; .byte 0x57, 0x70, 0x02, 0xcd
60 ; .byte 0x57, 0xc4, 0x05, 0x5e
61 ; .byte 0x57, 0x70, 0x08, 0xcc
[all …]
|
| H A D | simd-bitselect.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x87, 0x84, 0x0f, 0x02
44 ; .byte 0x07, 0x85, 0x0f, 0x02
45 ; .byte 0x57, 0x70, 0x81, 0xcd
46 ; .byte 0xd7, 0x84, 0x84, 0x26
47 ; .byte 0xd7, 0xb5, 0x8f, 0x2e
48 ; .byte 0x57, 0x06, 0xb5, 0x26
49 ; .byte 0x57, 0x07, 0x96, 0x2a
50 ; .byte 0x57, 0x70, 0x08, 0xcc
[all …]
|
| H A D | simd-popcnt.clif | 49 ; .byte 0x57, 0x70, 0x08, 0xcc
51 ; .byte 0x07, 0x84, 0x0f, 0x02
53 ; .byte 0xd7, 0xb4, 0x80, 0xa2
54 ; .byte 0xd7, 0xc4, 0x95, 0x26
55 ; .byte 0x57, 0x85, 0x84, 0x0a
57 ; .byte 0x57, 0x37, 0xa1, 0xa2
58 ; .byte 0x57, 0x44, 0xe6, 0x26
59 ; .byte 0xd7, 0x44, 0xa6, 0x26
60 ; .byte 0x57, 0x04, 0x94, 0x02
62 ; .byte 0xd7, 0x34, 0x82, 0xa2
[all …]
|
| H A D | zfa.clif | 20 ; .byte 0x53, 0x25, 0xb5, 0x28
37 ; .byte 0x53, 0x25, 0xb5, 0x2a
53 ; .byte 0x53, 0x35, 0xb5, 0x28
69 ; .byte 0x53, 0x35, 0xb5, 0x2a
87 ; .byte 0x53, 0x35, 0x45, 0x40
104 ; .byte 0x53, 0x35, 0x45, 0x42
121 ; .byte 0x53, 0x25, 0x45, 0x40
138 ; .byte 0x53, 0x25, 0x45, 0x42
155 ; .byte 0x53, 0x15, 0x45, 0x40
172 ; .byte 0x53, 0x15, 0x45, 0x42
[all …]
|
| H A D | simd-fcmp-one.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x07, 0x85, 0x0f, 0x02
43 ; .byte 0x57, 0x70, 0x02, 0xcd
44 ; .byte 0xd7, 0x14, 0x85, 0x6e
45 ; .byte 0x57, 0x14, 0xa4, 0x6e
46 ; .byte 0x57, 0x20, 0x94, 0x6a
47 ; .byte 0x57, 0x36, 0x00, 0x5e
48 ; .byte 0x57, 0xb7, 0xcf, 0x5c
49 ; .byte 0x57, 0x70, 0x08, 0xcc
[all …]
|
| H A D | simd-fcmp-ueq.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x07, 0x85, 0x0f, 0x02
43 ; .byte 0x57, 0x70, 0x02, 0xcd
44 ; .byte 0xd7, 0x14, 0x85, 0x6e
45 ; .byte 0x57, 0x14, 0xa4, 0x6e
46 ; .byte 0x57, 0x20, 0x94, 0x7a
47 ; .byte 0x57, 0x36, 0x00, 0x5e
48 ; .byte 0x57, 0xb7, 0xcf, 0x5c
49 ; .byte 0x57, 0x70, 0x08, 0xcc
[all …]
|
| H A D | simd-fcmp-ugt.clif | 37 ; .byte 0x57, 0x70, 0x08, 0xcc
39 ; .byte 0x07, 0x84, 0x0f, 0x02
41 ; .byte 0x87, 0x84, 0x0f, 0x02
42 ; .byte 0x57, 0x70, 0x02, 0xcd
43 ; .byte 0x57, 0x94, 0x84, 0x66
44 ; .byte 0x57, 0x20, 0x84, 0x76
45 ; .byte 0x57, 0x35, 0x00, 0x5e
46 ; .byte 0x57, 0xb6, 0xaf, 0x5c
47 ; .byte 0x57, 0x70, 0x08, 0xcc
48 ; .byte 0x27, 0x06, 0x05, 0x02
[all …]
|
| H A D | simd-fcmp-ule.clif | 37 ; .byte 0x57, 0x70, 0x08, 0xcc
39 ; .byte 0x07, 0x84, 0x0f, 0x02
41 ; .byte 0x87, 0x84, 0x0f, 0x02
42 ; .byte 0x57, 0x70, 0x02, 0xcd
43 ; .byte 0x57, 0x14, 0x94, 0x6e
44 ; .byte 0x57, 0x20, 0x84, 0x76
45 ; .byte 0x57, 0x35, 0x00, 0x5e
46 ; .byte 0x57, 0xb6, 0xaf, 0x5c
47 ; .byte 0x57, 0x70, 0x08, 0xcc
48 ; .byte 0x27, 0x06, 0x05, 0x02
[all …]
|
| H A D | simd-fcmp-uge.clif | 37 ; .byte 0x57, 0x70, 0x08, 0xcc
39 ; .byte 0x07, 0x84, 0x0f, 0x02
41 ; .byte 0x87, 0x84, 0x0f, 0x02
42 ; .byte 0x57, 0x70, 0x02, 0xcd
43 ; .byte 0x57, 0x94, 0x84, 0x6e
44 ; .byte 0x57, 0x20, 0x84, 0x76
45 ; .byte 0x57, 0x35, 0x00, 0x5e
46 ; .byte 0x57, 0xb6, 0xaf, 0x5c
47 ; .byte 0x57, 0x70, 0x08, 0xcc
48 ; .byte 0x27, 0x06, 0x05, 0x02
[all …]
|
| H A D | simd-fcmp-ult.clif | 37 ; .byte 0x57, 0x70, 0x08, 0xcc
39 ; .byte 0x07, 0x84, 0x0f, 0x02
41 ; .byte 0x87, 0x84, 0x0f, 0x02
42 ; .byte 0x57, 0x70, 0x02, 0xcd
43 ; .byte 0x57, 0x14, 0x94, 0x66
44 ; .byte 0x57, 0x20, 0x84, 0x76
45 ; .byte 0x57, 0x35, 0x00, 0x5e
46 ; .byte 0x57, 0xb6, 0xaf, 0x5c
47 ; .byte 0x57, 0x70, 0x08, 0xcc
48 ; .byte 0x27, 0x06, 0x05, 0x02
[all …]
|
| H A D | simd-insertlane.clif | 35 ; .byte 0x57, 0x70, 0x08, 0xcc
37 ; .byte 0x07, 0x84, 0x0f, 0x02
39 ; .byte 0x57, 0x70, 0x81, 0xcd
40 ; .byte 0x57, 0x60, 0x06, 0x42
41 ; .byte 0x57, 0x70, 0x08, 0xcc
42 ; .byte 0xd7, 0xc4, 0x85, 0x5c
43 ; .byte 0xa7, 0x04, 0x05, 0x02
78 ; .byte 0x57, 0x70, 0x08, 0xcc
80 ; .byte 0x07, 0x84, 0x0f, 0x02
82 ; .byte 0x57, 0x70, 0x81, 0xcd
[all …]
|
| H A D | nan-canonicalization-has_v.clif | 41 ; .byte 0x57, 0x70, 0x08, 0xcc
43 ; .byte 0x07, 0x84, 0x0f, 0x02
45 ; .byte 0x87, 0x84, 0x0f, 0x02
46 ; .byte 0x57, 0x70, 0x02, 0xcd
47 ; .byte 0xd7, 0x96, 0x84, 0x02
50 ; .byte 0x57, 0x57, 0x07, 0x5e
51 ; .byte 0x57, 0x95, 0xd6, 0x72
52 ; .byte 0x57, 0x96, 0xd6, 0x72
53 ; .byte 0x57, 0x20, 0xa6, 0x6a
54 ; .byte 0x57, 0x04, 0xd7, 0x5c
[all …]
|
| H A D | simd-iadd-swiden-high.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x87, 0x84, 0x0f, 0x02
43 ; .byte 0x57, 0x70, 0x02, 0xcd
44 ; .byte 0x57, 0x34, 0x81, 0x3e
45 ; .byte 0xd7, 0x34, 0x91, 0x3e
46 ; .byte 0x57, 0x70, 0x71, 0xcd
47 ; .byte 0x57, 0xa5, 0x84, 0xc6
48 ; .byte 0x57, 0x70, 0x08, 0xcc
49 ; .byte 0x27, 0x05, 0x05, 0x02
[all …]
|
| H A D | simd-isub-uwiden-high.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x87, 0x84, 0x0f, 0x02
43 ; .byte 0x57, 0x70, 0x02, 0xcd
44 ; .byte 0x57, 0x34, 0x81, 0x3e
45 ; .byte 0xd7, 0x34, 0x91, 0x3e
46 ; .byte 0x57, 0x70, 0x71, 0xcd
47 ; .byte 0x57, 0xa5, 0x84, 0xca
48 ; .byte 0x57, 0x70, 0x08, 0xcc
49 ; .byte 0x27, 0x05, 0x05, 0x02
[all …]
|
| H A D | simd-isub-swiden-high.clif | 38 ; .byte 0x57, 0x70, 0x08, 0xcc
40 ; .byte 0x07, 0x84, 0x0f, 0x02
42 ; .byte 0x87, 0x84, 0x0f, 0x02
43 ; .byte 0x57, 0x70, 0x02, 0xcd
44 ; .byte 0x57, 0x34, 0x81, 0x3e
45 ; .byte 0xd7, 0x34, 0x91, 0x3e
46 ; .byte 0x57, 0x70, 0x71, 0xcd
47 ; .byte 0x57, 0xa5, 0x84, 0xce
48 ; .byte 0x57, 0x70, 0x08, 0xcc
49 ; .byte 0x27, 0x05, 0x05, 0x02
[all …]
|
| H A D | simd-iadd-uwiden-high.clif | 39 ; .byte 0x57, 0x70, 0x08, 0xcc
41 ; .byte 0x07, 0x84, 0x0f, 0x02
43 ; .byte 0x87, 0x84, 0x0f, 0x02
44 ; .byte 0x57, 0x70, 0x02, 0xcd
45 ; .byte 0x57, 0x34, 0x81, 0x3e
46 ; .byte 0xd7, 0x34, 0x91, 0x3e
47 ; .byte 0x57, 0x70, 0x71, 0xcd
48 ; .byte 0x57, 0xa5, 0x84, 0xc2
49 ; .byte 0x57, 0x70, 0x08, 0xcc
50 ; .byte 0x27, 0x05, 0x05, 0x02
[all …]
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/isa/s390x/ |
| H A D | vec-constants-le-lane.clif | 68 ; .byte 0x00, 0x00
69 ; .byte 0x00, 0x00
70 ; .byte 0x00, 0x00
71 ; .byte 0x00, 0x00
72 ; .byte 0x80, 0x00
90 ; .byte 0x00, 0x00
91 ; .byte 0xff, 0xff
92 ; .byte 0xff, 0xff
93 ; .byte 0xff, 0xff
94 ; .byte 0x7f, 0xff
[all …]
|
| H A D | vec-constants.clif | 68 ; .byte 0x00, 0x00
69 ; .byte 0x00, 0x00
70 ; .byte 0x00, 0x00
71 ; .byte 0x00, 0x00
72 ; .byte 0x80, 0x00
90 ; .byte 0x00, 0x00
91 ; .byte 0xff, 0xff
92 ; .byte 0xff, 0xff
93 ; .byte 0xff, 0xff
94 ; .byte 0x7f, 0xff
[all …]
|
| H A D | multivalue-ret.clif | 100 ; .byte 0x00, 0x00
101 ; .byte 0x00, 0x00
102 ; .byte 0x00, 0x00
103 ; .byte 0x00, 0x00
104 ; .byte 0x00, 0x00
105 ; .byte 0x00, 0x00
106 ; .byte 0x00, 0x00
108 ; .byte 0x00, 0x00
109 ; .byte 0x00, 0x00
110 ; .byte 0x00, 0x00
[all …]
|