llvm/test/CodeGen/WebAssembly/copysign-casts.ll

   1 ; RUN: llc < %s -asm-verbose=false -wasm-keep-registers | FileCheck %s
   2
   3 ; DAGCombiner oddly folds casts into the rhs of copysign. Test that they get
   4 ; unfolded.
   5
   6 target triple = "wasm32-unknown-unknown"
   7
   8 declare double @copysign(double, double) nounwind readnone
   9 declare float @copysignf(float, float) nounwind readnone
  10
  11 ; CHECK-LABEL: fold_promote:
  12 ; CHECK: f64.promote_f32 $push0=, $pop{{[0-9]+}}{{$}}
  13 ; CHECK: f64.copysign    $push1=, $pop{{[0-9]+}}, $pop0{{$}}
  14 define double @fold_promote(double %a, float %b) {
  15   %c = fpext float %b to double
  16   %t = call double @copysign(double %a, double %c)
  17   ret double %t
  18 }
  19
  20 ; CHECK-LABEL: fold_demote:{{$}}
  21 ; CHECK: f32.demote_f64  $push0=, $pop{{[0-9]+}}{{$}}
  22 ; CHECK: f32.copysign    $push1=, $pop{{[0-9]+}}, $pop0{{$}}
  23 define float @fold_demote(float %a, double %b) {
  24   %c = fptrunc double %b to float
  25   %t = call float @copysignf(float %a, float %c)
  26   ret float %t
  27 }