; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s

; Test a subset of compiler-rt/libm libcalls expected to be emitted by the wasm backend

target triple = "wasm32-unknown-unknown"

declare fp128 @llvm.sin.f128(fp128)
declare fp128 @llvm.cos.f128(fp128)
declare fp128 @llvm.tan.f128(fp128)
declare fp128 @llvm.asin.f128(fp128)
declare fp128 @llvm.acos.f128(fp128)
declare fp128 @llvm.atan.f128.i32(fp128)
declare fp128 @llvm.sinh.f128(fp128)
declare fp128 @llvm.cosh.f128(fp128)
declare fp128 @llvm.tanh.f128(fp128)

declare double @llvm.sin.f64(double)
declare double @llvm.cos.f64(double)
declare double @llvm.tan.f64(double)
declare double @llvm.asin.f64(double)
declare double @llvm.acos.f64(double)
declare double @llvm.atan.f64(double)
declare double @llvm.sinh.f64(double)
declare double @llvm.cosh.f64(double)
declare double @llvm.tanh.f64(double)

declare float @llvm.sin.f32(float)
declare float @llvm.cos.f32(float)
declare float @llvm.tan.f32(float)
declare float @llvm.asin.f32(float)
declare float @llvm.acos.f32(float)
declare float @llvm.atan.f32(float)
declare float @llvm.sinh.f32(float)
declare float @llvm.cosh.f32(float)
declare float @llvm.tanh.f32(float)


define fp128 @fp128libcalls(fp128 %x) {
  ; compiler-rt call
; CHECK-LABEL: fp128libcalls:
; CHECK:         .functype fp128libcalls (i32, i64, i64) -> ()
; CHECK-NEXT:    .local i32
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    global.get      $push28=, __stack_pointer
; CHECK-NEXT:    i32.const       $push29=, 144
; CHECK-NEXT:    i32.sub         $push73=, $pop28, $pop29
; CHECK-NEXT:    local.tee       $push72=, 3, $pop73
; CHECK-NEXT:    global.set      __stack_pointer, $pop72
; CHECK-NEXT:    local.get       $push74=, 3
; CHECK-NEXT:    i32.const       $push62=, 128
; CHECK-NEXT:    i32.add         $push63=, $pop74, $pop62
; CHECK-NEXT:    local.get       $push76=, 1
; CHECK-NEXT:    local.get       $push75=, 2
; CHECK-NEXT:    call    sinl, $pop63, $pop76, $pop75
; CHECK-NEXT:    local.get       $push77=, 3
; CHECK-NEXT:    i32.const       $push58=, 112
; CHECK-NEXT:    i32.add         $push59=, $pop77, $pop58
; CHECK-NEXT:    local.get       $push78=, 3
; CHECK-NEXT:    i64.load        $push3=, 128($pop78)
; CHECK-NEXT:    local.get       $push79=, 3
; CHECK-NEXT:    i32.const       $push60=, 128
; CHECK-NEXT:    i32.add         $push61=, $pop79, $pop60
; CHECK-NEXT:    i32.const       $push0=, 8
; CHECK-NEXT:    i32.add         $push1=, $pop61, $pop0
; CHECK-NEXT:    i64.load        $push2=, 0($pop1)
; CHECK-NEXT:    call    cosl, $pop59, $pop3, $pop2
; CHECK-NEXT:    local.get       $push80=, 3
; CHECK-NEXT:    i32.const       $push54=, 96
; CHECK-NEXT:    i32.add         $push55=, $pop80, $pop54
; CHECK-NEXT:    local.get       $push81=, 3
; CHECK-NEXT:    i64.load        $push6=, 112($pop81)
; CHECK-NEXT:    local.get       $push82=, 3
; CHECK-NEXT:    i32.const       $push56=, 112
; CHECK-NEXT:    i32.add         $push57=, $pop82, $pop56
; CHECK-NEXT:    i32.const       $push71=, 8
; CHECK-NEXT:    i32.add         $push4=, $pop57, $pop71
; CHECK-NEXT:    i64.load        $push5=, 0($pop4)
; CHECK-NEXT:    call    tanl, $pop55, $pop6, $pop5
; CHECK-NEXT:    local.get       $push83=, 3
; CHECK-NEXT:    i32.const       $push50=, 80
; CHECK-NEXT:    i32.add         $push51=, $pop83, $pop50
; CHECK-NEXT:    local.get       $push84=, 3
; CHECK-NEXT:    i64.load        $push9=, 96($pop84)
; CHECK-NEXT:    local.get       $push85=, 3
; CHECK-NEXT:    i32.const       $push52=, 96
; CHECK-NEXT:    i32.add         $push53=, $pop85, $pop52
; CHECK-NEXT:    i32.const       $push70=, 8
; CHECK-NEXT:    i32.add         $push7=, $pop53, $pop70
; CHECK-NEXT:    i64.load        $push8=, 0($pop7)
; CHECK-NEXT:    call    asinl, $pop51, $pop9, $pop8
; CHECK-NEXT:    local.get       $push86=, 3
; CHECK-NEXT:    i32.const       $push46=, 64
; CHECK-NEXT:    i32.add         $push47=, $pop86, $pop46
; CHECK-NEXT:    local.get       $push87=, 3
; CHECK-NEXT:    i64.load        $push12=, 80($pop87)
; CHECK-NEXT:    local.get       $push88=, 3
; CHECK-NEXT:    i32.const       $push48=, 80
; CHECK-NEXT:    i32.add         $push49=, $pop88, $pop48
; CHECK-NEXT:    i32.const       $push69=, 8
; CHECK-NEXT:    i32.add         $push10=, $pop49, $pop69
; CHECK-NEXT:    i64.load        $push11=, 0($pop10)
; CHECK-NEXT:    call    acosl, $pop47, $pop12, $pop11
; CHECK-NEXT:    local.get       $push89=, 3
; CHECK-NEXT:    i32.const       $push42=, 48
; CHECK-NEXT:    i32.add         $push43=, $pop89, $pop42
; CHECK-NEXT:    local.get       $push90=, 3
; CHECK-NEXT:    i64.load        $push15=, 64($pop90)
; CHECK-NEXT:    local.get       $push91=, 3
; CHECK-NEXT:    i32.const       $push44=, 64
; CHECK-NEXT:    i32.add         $push45=, $pop91, $pop44
; CHECK-NEXT:    i32.const       $push68=, 8
; CHECK-NEXT:    i32.add         $push13=, $pop45, $pop68
; CHECK-NEXT:    i64.load        $push14=, 0($pop13)
; CHECK-NEXT:    call    atanl, $pop43, $pop15, $pop14
; CHECK-NEXT:    local.get       $push92=, 3
; CHECK-NEXT:    i32.const       $push38=, 32
; CHECK-NEXT:    i32.add         $push39=, $pop92, $pop38
; CHECK-NEXT:    local.get       $push93=, 3
; CHECK-NEXT:    i64.load        $push18=, 48($pop93)
; CHECK-NEXT:    local.get       $push94=, 3
; CHECK-NEXT:    i32.const       $push40=, 48
; CHECK-NEXT:    i32.add         $push41=, $pop94, $pop40
; CHECK-NEXT:    i32.const       $push67=, 8
; CHECK-NEXT:    i32.add         $push16=, $pop41, $pop67
; CHECK-NEXT:    i64.load        $push17=, 0($pop16)
; CHECK-NEXT:    call    sinhl, $pop39, $pop18, $pop17
; CHECK-NEXT:    local.get       $push95=, 3
; CHECK-NEXT:    i32.const       $push34=, 16
; CHECK-NEXT:    i32.add         $push35=, $pop95, $pop34
; CHECK-NEXT:    local.get       $push96=, 3
; CHECK-NEXT:    i64.load        $push21=, 32($pop96)
; CHECK-NEXT:    local.get       $push97=, 3
; CHECK-NEXT:    i32.const       $push36=, 32
; CHECK-NEXT:    i32.add         $push37=, $pop97, $pop36
; CHECK-NEXT:    i32.const       $push66=, 8
; CHECK-NEXT:    i32.add         $push19=, $pop37, $pop66
; CHECK-NEXT:    i64.load        $push20=, 0($pop19)
; CHECK-NEXT:    call    coshl, $pop35, $pop21, $pop20
; CHECK-NEXT:    local.get       $push100=, 3
; CHECK-NEXT:    local.get       $push98=, 3
; CHECK-NEXT:    i64.load        $push24=, 16($pop98)
; CHECK-NEXT:    local.get       $push99=, 3
; CHECK-NEXT:    i32.const       $push32=, 16
; CHECK-NEXT:    i32.add         $push33=, $pop99, $pop32
; CHECK-NEXT:    i32.const       $push65=, 8
; CHECK-NEXT:    i32.add         $push22=, $pop33, $pop65
; CHECK-NEXT:    i64.load        $push23=, 0($pop22)
; CHECK-NEXT:    call    tanhl, $pop100, $pop24, $pop23
; CHECK-NEXT:    local.get       $push102=, 0
; CHECK-NEXT:    local.get       $push101=, 3
; CHECK-NEXT:    i32.const       $push64=, 8
; CHECK-NEXT:    i32.add         $push25=, $pop101, $pop64
; CHECK-NEXT:    i64.load        $push26=, 0($pop25)
; CHECK-NEXT:    i64.store       8($pop102), $pop26
; CHECK-NEXT:    local.get       $push104=, 0
; CHECK-NEXT:    local.get       $push103=, 3
; CHECK-NEXT:    i64.load        $push27=, 0($pop103)
; CHECK-NEXT:    i64.store       0($pop104), $pop27
; CHECK-NEXT:    local.get       $push105=, 3
; CHECK-NEXT:    i32.const       $push30=, 144
; CHECK-NEXT:    i32.add         $push31=, $pop105, $pop30
; CHECK-NEXT:    global.set      __stack_pointer, $pop31
; CHECK-NEXT:    return
  ; libm calls
  %d = call fp128 @llvm.sin.f128(fp128 %x)
  %e = call fp128 @llvm.cos.f128(fp128 %d)
  %f = call fp128 @llvm.tan.f128(fp128 %e)
  %g = call fp128 @llvm.asin.f128.i32(fp128 %f)
  %h = call fp128 @llvm.acos.f128(fp128 %g)
  %i = call fp128 @llvm.atan.f128(fp128 %h)
  %a = call fp128 @llvm.sinh.f128(fp128 %i)
  %b = call fp128 @llvm.cosh.f128(fp128 %a)
  %c = call fp128 @llvm.tanh.f128(fp128 %b)
  ret fp128 %c
}

define double @f64libcalls(double %x) {
; CHECK-LABEL: f64libcalls:
; CHECK:         .functype f64libcalls (f64) -> (f64)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push9=, 0
; CHECK-NEXT:    call    $push0=, sin, $pop9
; CHECK-NEXT:    call    $push1=, cos, $pop0
; CHECK-NEXT:    call    $push2=, tan, $pop1
; CHECK-NEXT:    call    $push3=, asin, $pop2
; CHECK-NEXT:    call    $push4=, acos, $pop3
; CHECK-NEXT:    call    $push5=, atan, $pop4
; CHECK-NEXT:    call    $push6=, sinh, $pop5
; CHECK-NEXT:    call    $push7=, cosh, $pop6
; CHECK-NEXT:    call    $push8=, tanh, $pop7  
; CHECK-NEXT:    return $pop8


 %k = call double @llvm.sin.f64(double %x)
 %a = call double @llvm.cos.f64(double %k)
 %b = call double @llvm.tan.f64(double %a)
 %c = call double @llvm.asin.f64(double %b)
 %d = call double @llvm.acos.f64(double %c)
 %e = call double @llvm.atan.f64(double %d)
 %f = call double @llvm.sinh.f64(double %e)
 %g = call double @llvm.cosh.f64(double %f)
 %h = call double @llvm.tanh.f64(double %g)
 ret double %h
}

define float @f32libcalls(float %x) {
; CHECK-LABEL: f32libcalls:
; CHECK:         .functype f32libcalls (f32) -> (f32)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push9=, 0
; CHECK-NEXT:    call    $push0=, sinf, $pop9
; CHECK-NEXT:    call    $push1=, cosf, $pop0
; CHECK-NEXT:    call    $push2=, tanf, $pop1
; CHECK-NEXT:    call    $push3=, asinf, $pop2
; CHECK-NEXT:    call    $push4=, acosf, $pop3
; CHECK-NEXT:    call    $push5=, atanf, $pop4
; CHECK-NEXT:    call    $push6=, sinhf, $pop5
; CHECK-NEXT:    call    $push7=, coshf, $pop6
; CHECK-NEXT:    call    $push8=, tanhf, $pop7  
; CHECK-NEXT:    return $pop8


 %k = call float @llvm.sin.f32(float %x)
 %a = call float @llvm.cos.f32(float %k)
 %b = call float @llvm.tan.f32(float %a)
 %c = call float @llvm.asin.f32(float %b)
 %d = call float @llvm.acos.f32(float %c)
 %e = call float @llvm.atan.f32(float %d)
 %f = call float @llvm.sinh.f32(float %e)
 %g = call float @llvm.cosh.f32(float %f)
 %h = call float @llvm.tanh.f32(float %g)
 ret float %h
}