xref: /llvm-project/llvm/test/CodeGen/PowerPC/negative-integer-fp-libcall.ll (revision 90c14748638f1e10e31173b145fdbb5c4529c922)
1*90c14748STimothy Pearson; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
2*90c14748STimothy Pearson; RUN: llc -O1 -mtriple=powerpc64-unknown-linux-gnu -mcpu=pwr8 < %s | FileCheck %s
3*90c14748STimothy Pearson
4*90c14748STimothy Pearson; Test that a negative parameter smaller than 64 bits (e.g., int)
5*90c14748STimothy Pearson; is correctly implemented with sign-extension when passed to
6*90c14748STimothy Pearson; a floating point libcall.
7*90c14748STimothy Pearson
8*90c14748STimothy Pearsondefine double @ldexp_test(ptr %a, ptr %b) nounwind {
9*90c14748STimothy Pearson; CHECK-LABEL: ldexp_test:
10*90c14748STimothy Pearson; CHECK:       # %bb.0:
11*90c14748STimothy Pearson; CHECK-NEXT:    mflr 0
12*90c14748STimothy Pearson; CHECK-NEXT:    stdu 1, -112(1)
13*90c14748STimothy Pearson; CHECK-NEXT:    std 0, 128(1)
14*90c14748STimothy Pearson; CHECK-NEXT:    lfd 1, 0(3)
15*90c14748STimothy Pearson; CHECK-NEXT:    lwa 4, 0(4)
16*90c14748STimothy Pearson; CHECK-NEXT:    bl ldexp
17*90c14748STimothy Pearson; CHECK-NEXT:    nop
18*90c14748STimothy Pearson; CHECK-NEXT:    addi 1, 1, 112
19*90c14748STimothy Pearson; CHECK-NEXT:    ld 0, 16(1)
20*90c14748STimothy Pearson; CHECK-NEXT:    mtlr 0
21*90c14748STimothy Pearson; CHECK-NEXT:    blr
22*90c14748STimothy Pearson  %base = load double, ptr %a
23*90c14748STimothy Pearson  %exp = load i32, ptr %b
24*90c14748STimothy Pearson  %call = call double @llvm.ldexp.f64.i32(double %base, i32 signext %exp)
25*90c14748STimothy Pearson  ret double %call
26*90c14748STimothy Pearson}
27