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 datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   7 target triple = "wasm32-unknown-unknown"
   8
   9 declare double @copysign(double, double) nounwind readnone
  10 declare float @copysignf(float, float) nounwind readnone
  11
  12 ; CHECK-LABEL: fold_promote:
  13 ; CHECK: f64.promote_f32 $push0=, $pop{{[0-9]+}}{{$}}
  14 ; CHECK: f64.copysign    $push1=, $pop{{[0-9]+}}, $pop0{{$}}
  15 define double @fold_promote(double %a, float %b) {
  16   %c = fpext float %b to double
  17   %t = call double @copysign(double %a, double %c)
  18   ret double %t
  19 }
  20
  21 ; CHECK-LABEL: fold_demote:{{$}}
  22 ; CHECK: f32.demote_f64  $push0=, $pop{{[0-9]+}}{{$}}
  23 ; CHECK: f32.copysign    $push1=, $pop{{[0-9]+}}, $pop0{{$}}
  24 define float @fold_demote(float %a, double %b) {
  25   %c = fptrunc double %b to float
  26   %t = call float @copysignf(float %a, float %c)
  27   ret float %t
  28 }