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