Skip to content

Commit 8a9cde4

Browse files
committed
add fallback test.
1 parent 55046ec commit 8a9cde4

File tree

1 file changed

+40
-0
lines changed

1 file changed

+40
-0
lines changed
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
1+
;;! target = "x86_64"
2+
;;! test = "winch"
3+
;;! flags = [ "-Ccranelift-has-avx" ]
4+
5+
(module
6+
(memory 1 1)
7+
(func (param v128 v128) (result v128)
8+
(i64x2.mul
9+
(local.get 0)
10+
(local.get 1)
11+
)))
12+
;; wasm[0]::function[0]:
13+
;; pushq %rbp
14+
;; movq %rsp, %rbp
15+
;; movq 8(%rdi), %r11
16+
;; movq 0x10(%r11), %r11
17+
;; addq $0x30, %r11
18+
;; cmpq %rsp, %r11
19+
;; ja 0x72
20+
;; 1c: movq %rdi, %r14
21+
;; subq $0x30, %rsp
22+
;; movq %rdi, 0x28(%rsp)
23+
;; movq %rsi, 0x20(%rsp)
24+
;; movdqu %xmm0, 0x10(%rsp)
25+
;; movdqu %xmm1, (%rsp)
26+
;; movdqu (%rsp), %xmm0
27+
;; movdqu 0x10(%rsp), %xmm1
28+
;; vpsrlq $0x20, %xmm1, %xmm15
29+
;; vpmuldq %xmm0, %xmm15, %xmm2
30+
;; vpsrlq $0x20, %xmm0, %xmm15
31+
;; vpmuludq %xmm1, %xmm15, %xmm15
32+
;; vpaddq %xmm2, %xmm15, %xmm15
33+
;; vpsllq $0x20, %xmm15, %xmm15
34+
;; vpmuludq %xmm0, %xmm1, %xmm2
35+
;; vpaddq %xmm2, %xmm15, %xmm1
36+
;; movdqa %xmm1, %xmm0
37+
;; addq $0x30, %rsp
38+
;; popq %rbp
39+
;; retq
40+
;; 72: ud2

0 commit comments

Comments
 (0)