1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
| ; RUN: llc -o - %s -asm-verbose=false -wasm-keep-registers -disable-wasm-fallthrough-return-opt -mattr=+simd128 | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"
; Test that stackified IMPLICIT_DEF instructions are converted into
; CONST_XXX instructions to provide an explicit push.
; CHECK-LABEL: implicit_def_i32:
; CHECK: i32.const $push{{[0-9]+}}=, 0{{$}}
; CHECK: i32.const $push{{[0-9]+}}=, 0{{$}}
; CHECK: i32.const $push[[R:[0-9]+]]=, 0{{$}}
; CHECK-NEXT: return $pop[[R]]{{$}}
define i32 @implicit_def_i32() {
br i1 undef, label %A, label %X
A: ; preds = %0
%d = icmp slt i1 0, 0
br i1 %d, label %C, label %B
B: ; preds = %A
br label %C
C: ; preds = %B, %A
%h = phi i32 [ undef, %A ], [ 0, %B ]
br label %X
X: ; preds = %0, C
%i = phi i32 [ 1, %0 ], [ %h, %C ]
ret i32 %i
}
; CHECK-LABEL: implicit_def_i64:
; CHECK: i64.const $push[[R:[0-9]+]]=, 0{{$}}
; CHECK-NEXT: return $pop[[R]]{{$}}
define i64 @implicit_def_i64() {
br i1 undef, label %A, label %X
A: ; preds = %0
%d = icmp slt i1 0, 0
br i1 %d, label %C, label %B
B: ; preds = %A
br label %C
C: ; preds = %B, %A
%h = phi i64 [ undef, %A ], [ 0, %B ]
br label %X
X: ; preds = %0, C
%i = phi i64 [ 1, %0 ], [ %h, %C ]
ret i64 %i
}
; CHECK-LABEL: implicit_def_f32:
; CHECK: f32.const $push[[R:[0-9]+]]=, 0x0p0{{$}}
; CHECK-NEXT: return $pop[[R]]{{$}}
define float @implicit_def_f32() {
br i1 undef, label %A, label %X
A: ; preds = %0
%d = icmp slt i1 0, 0
br i1 %d, label %C, label %B
B: ; preds = %A
br label %C
C: ; preds = %B, %A
%h = phi float [ undef, %A ], [ 0.0, %B ]
br label %X
X: ; preds = %0, C
%i = phi float [ 1.0, %0 ], [ %h, %C ]
ret float %i
}
; CHECK-LABEL: implicit_def_f64:
; CHECK: f64.const $push[[R:[0-9]+]]=, 0x0p0{{$}}
; CHECK-NEXT: return $pop[[R]]{{$}}
define double @implicit_def_f64() {
br i1 undef, label %A, label %X
A: ; preds = %0
%d = icmp slt i1 0, 0
br i1 %d, label %C, label %B
B: ; preds = %A
br label %C
C: ; preds = %B, %A
%h = phi double [ undef, %A ], [ 0.0, %B ]
br label %X
X: ; preds = %0, C
%i = phi double [ 1.0, %0 ], [ %h, %C ]
ret double %i
}
; CHECK-LABEL: implicit_def_v4i32:
; CHECK: i32.const $push{{[0-9]+}}=, 0{{$}}
; CHECK: i32.const $push{{[0-9]+}}=, 0{{$}}
; CHECK: i32.const $push[[L0:[0-9]+]]=, 0{{$}}
; CHECK-NEXT: i32x4.splat $push[[R:[0-9]+]]=, $pop[[L0]]
; CHECK-NEXT: return $pop[[R]]{{$}}
define <4 x i32> @implicit_def_v4i32() {
br i1 undef, label %A, label %X
A: ; preds = %0
%d = icmp slt i1 0, 0
br i1 %d, label %C, label %B
B: ; preds = %A
br label %C
C: ; preds = %B, %A
%h = phi <4 x i32> [ undef, %A ], [ <i32 0, i32 0, i32 0, i32 0>, %B ]
br label %X
X: ; preds = %0, C
%i = phi <4 x i32> [ <i32 1, i32 1, i32 1, i32 1>, %0 ], [ %h, %C ]
ret <4 x i32> %i
}
|