maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[WebAssembly] Fix signature of __powitf2 libcall 

Add tests for @llvm.powi.f64/f128.

See: https://llvm.org/docs/LangRef.html#llvm-powi-intrinsic

Differential Revision: https://reviews.llvm.org/D74274
This commit is contained in:
Sam Clegg 2020-02-07 18:20:03 -08:00
parent 6ef4786dbc
commit caeb6cfbc2
2 changed files with 23 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
llvm/lib/Target/WebAssembly/WebAssemblyRuntimeLibcallSignatures.cpp
View File

@ -82,6 +82,7 @@ enum RuntimeLibcallSignature {
func_iPTR_i32, func_iPTR_i32,
func_iPTR_i64, func_iPTR_i64,
func_iPTR_i64_i64, func_iPTR_i64_i64,
func_iPTR_i64_i64_i32,
func_iPTR_i64_i64_i64_i64, func_iPTR_i64_i64_i64_i64,
func_iPTR_i64_i64_i64_i64_i64_i64, func_iPTR_i64_i64_i64_i64_i64_i64,
i32_func_i64_i64, i32_func_i64_i64,
@ -173,7 +174,7 @@ struct RuntimeLibcallSignatureTable {
Table[RTLIB::FMA_F128] = func_iPTR_i64_i64_i64_i64_i64_i64; Table[RTLIB::FMA_F128] = func_iPTR_i64_i64_i64_i64_i64_i64;
Table[RTLIB::POWI_F32] = f32_func_f32_i32; Table[RTLIB::POWI_F32] = f32_func_f32_i32;
Table[RTLIB::POWI_F64] = f64_func_f64_i32; Table[RTLIB::POWI_F64] = f64_func_f64_i32;
Table[RTLIB::POWI_F128] = func_iPTR_i64_i64_i64_i64; Table[RTLIB::POWI_F128] = func_iPTR_i64_i64_i32;
Table[RTLIB::SQRT_F32] = f32_func_f32; Table[RTLIB::SQRT_F32] = f32_func_f32;
Table[RTLIB::SQRT_F64] = f64_func_f64; Table[RTLIB::SQRT_F64] = f64_func_f64;
Table[RTLIB::SQRT_F128] = func_iPTR_i64_i64; Table[RTLIB::SQRT_F128] = func_iPTR_i64_i64;
@ -829,6 +830,12 @@ void llvm::getLibcallSignature(const WebAssemblySubtarget &Subtarget,
Params.push_back(wasm::ValType::I64); Params.push_back(wasm::ValType::I64);
Params.push_back(wasm::ValType::I64); Params.push_back(wasm::ValType::I64);
break; break;
case func_iPTR_i64_i64_i32:
Params.push_back(PtrTy);
Params.push_back(wasm::ValType::I64);
Params.push_back(wasm::ValType::I64);
Params.push_back(wasm::ValType::I32);
break;
case func_iPTR_i64_i64_i64_i64: case func_iPTR_i64_i64_i64_i64:
Params.push_back(PtrTy); Params.push_back(PtrTy);
Params.push_back(wasm::ValType::I64); Params.push_back(wasm::ValType::I64);

24
llvm/test/CodeGen/WebAssembly/libcalls.ll
View File

@ -10,10 +10,12 @@ declare fp128 @llvm.floor.f128(fp128)
declare fp128 @llvm.trunc.f128(fp128) declare fp128 @llvm.trunc.f128(fp128)
declare fp128 @llvm.nearbyint.f128(fp128) declare fp128 @llvm.nearbyint.f128(fp128)
declare fp128 @llvm.pow.f128(fp128, fp128) declare fp128 @llvm.pow.f128(fp128, fp128)
declare fp128 @llvm.powi.f128(fp128, i32)
declare double @llvm.cos.f64(double) declare double @llvm.cos.f64(double)
declare double @llvm.log10.f64(double) declare double @llvm.log10.f64(double)
declare double @llvm.pow.f64(double, double) declare double @llvm.pow.f64(double, double)
declare double @llvm.powi.f64(double, i32)
declare double @llvm.log.f64(double) declare double @llvm.log.f64(double)
declare double @llvm.exp.f64(double) declare double @llvm.exp.f64(double)
declare i32 @llvm.lround(double) declare i32 @llvm.lround(double)
@ -21,7 +23,7 @@ declare i32 @llvm.lround(double)
; CHECK-LABEL: fp128libcalls: ; CHECK-LABEL: fp128libcalls:
define fp128 @fp128libcalls(fp128 %x, fp128 %y) { define fp128 @fp128libcalls(fp128 %x, fp128 %y, i32 %z) {
; compiler-rt call ; compiler-rt call
; CHECK: call __addtf3 ; CHECK: call __addtf3
%a = fadd fp128 %x, %y %a = fadd fp128 %x, %y
@ -36,11 +38,13 @@ define fp128 @fp128libcalls(fp128 %x, fp128 %y) {
%e = call fp128 @llvm.floor.f128(fp128 %d) %e = call fp128 @llvm.floor.f128(fp128 %d)
; CHECK: call powl ; CHECK: call powl
%f = call fp128 @llvm.pow.f128(fp128 %e, fp128 %y) %f = call fp128 @llvm.pow.f128(fp128 %e, fp128 %y)
; CHECK: call __powitf2
%g = call fp128 @llvm.powi.f128(fp128 %f, i32 %z)
; CHECK: call truncl ; CHECK: call truncl
%g = call fp128 @llvm.trunc.f128(fp128 %f) %h = call fp128 @llvm.trunc.f128(fp128 %g)
; CHECK: call nearbyintl ; CHECK: call nearbyintl
%h = call fp128 @llvm.nearbyint.f128(fp128 %g) %i = call fp128 @llvm.nearbyint.f128(fp128 %h)
ret fp128 %h ret fp128 %i
} }
; CHECK-LABEL: i128libcalls: ; CHECK-LABEL: i128libcalls:
@ -56,20 +60,22 @@ define i128 @i128libcalls(i128 %x, i128 %y) {
} }
; CHECK-LABEL: f64libcalls: ; CHECK-LABEL: f64libcalls:
define i32 @f64libcalls(double %x, double %y) { define i32 @f64libcalls(double %x, double %y, i32 %z) {
; CHECK: f64.call $push{{[0-9]}}=, cos ; CHECK: f64.call $push{{[0-9]}}=, cos
%a = call double @llvm.cos.f64(double %x) %a = call double @llvm.cos.f64(double %x)
; CHECK: f64.call $push{{[0-9]}}=, log10 ; CHECK: f64.call $push{{[0-9]}}=, log10
%b = call double @llvm.log10.f64(double %a) %b = call double @llvm.log10.f64(double %a)
; CHECK: f64.call $push{{[0-9]}}=, pow ; CHECK: f64.call $push{{[0-9]}}=, pow
%c = call double @llvm.pow.f64(double %b, double %y) %c = call double @llvm.pow.f64(double %b, double %y)
; CHECK: f64.call $push{{[0-9]}}=, __powidf2
%d = call double @llvm.powi.f64(double %c, i32 %z)
; CHECK: f64.call $push{{[0-9]}}=, log ; CHECK: f64.call $push{{[0-9]}}=, log
%d = call double @llvm.log.f64(double %c) %e = call double @llvm.log.f64(double %d)
; CHECK: f64.call $push{{[0-9]}}=, exp ; CHECK: f64.call $push{{[0-9]}}=, exp
%e = call double @llvm.exp.f64(double %d) %f = call double @llvm.exp.f64(double %e)
; CHECK: i32.call $push{{[0-9]}}=, lround ; CHECK: i32.call $push{{[0-9]}}=, lround
%f = call i32 @llvm.lround(double %e) %g = call i32 @llvm.lround(double %f)
ret i32 %f ret i32 %g
} }
; fcmp ord and unord (RTLIB::O_F32 / RTLIB::UO_F32 etc) are a special case (see ; fcmp ord and unord (RTLIB::O_F32 / RTLIB::UO_F32 etc) are a special case (see