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