test/CodeGen/WebAssembly/implicit-def.ll

   1 ; RUN: llc -o - %s -asm-verbose=false -wasm-keep-registers -disable-wasm-fallthrough-return-opt -mattr=+simd128 | FileCheck %s
   2
   3 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   4 target triple = "wasm32-unknown-unknown"
   5
   6 ; Test that stackified IMPLICIT_DEF instructions are converted into
   7 ; CONST_XXX instructions to provide an explicit push.
   8
   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{{$}}
  15 define i32 @implicit_def_i32() {
  16   br i1 undef, label %A, label %X
  17
  18 A:                                                ; preds = %0
  19   %d = icmp slt i1 0, 0
  20   br i1 %d, label %C, label %B
  21
  22 B:                                                ; preds = %A
  23   br label %C
  24
  25 C:                                                ; preds = %B, %A
  26   %h = phi i32 [ undef, %A ], [ 0, %B ]
  27   br label %X
  28
  29 X:                                                ; preds = %0, C
  30   %i = phi i32 [ 1, %0 ], [ %h, %C ]
  31   ret i32 %i
  32 }
  33
  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{{$}}
  40 define i64 @implicit_def_i64() {
  41   br i1 undef, label %A, label %X
  42
  43 A:                                                ; preds = %0
  44   %d = icmp slt i1 0, 0
  45   br i1 %d, label %C, label %B
  46
  47 B:                                                ; preds = %A
  48   br label %C
  49
  50 C:                                                ; preds = %B, %A
  51   %h = phi i64 [ undef, %A ], [ 0, %B ]
  52   br label %X
  53
  54 X:                                                ; 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{{$}}
  65 define float @implicit_def_f32() {
  66   br i1 undef, label %A, label %X
  67
  68 A:                                                ; preds = %0
  69   %d = icmp slt i1 0, 0
  70   br i1 %d, label %C, label %B
  71
  72 B:                                                ; preds = %A
  73   br label %C
  74
  75 C:                                                ; preds = %B, %A
  76   %h = phi float [ undef, %A ], [ 0.0, %B ]
  77   br label %X
  78
  79 X:                                                ; 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{{$}}
  90 define double @implicit_def_f64() {
  91   br i1 undef, label %A, label %X
  92
  93 A:                                                ; preds = %0
  94   %d = icmp slt i1 0, 0
  95   br i1 %d, label %C, label %B
  96
  97 B:                                                ; preds = %A
  98   br label %C
  99
 100 C:                                                ; preds = %B, %A
 101   %h = phi double [ undef, %A ], [ 0.0, %B ]
 102   br label %X
 103
 104 X:                                                ; 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{{$}}
 112 ; CHECK-NEXT: i32.const $push[[L0:[0-9]+]]=, 0{{$}}
 113 ; CHECK-NEXT: i32x4.splat $push[[R:[0-9]+]]=, $pop[[L0]]
 114 ; CHECK-NEXT: return $pop[[R]]{{$}}
 115 ; CHECK-NEXT: end_function{{$}}
 116 define <4 x i32> @implicit_def_v4i32() {
 117   br i1 undef, label %A, label %X
 118
 119 A:                                                ; preds = %0
 120   %d = icmp slt i1 0, 0
 121   br i1 %d, label %C, label %B
 122
 123 B:                                                ; preds = %A
 124   br label %C
 125
 126 C:                                                ; 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
 130 X:                                                ; 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 }