1480093f4SDimitry Andric//===- llvm/IR/ConstrainedOps.def - Constrained intrinsics ------*- C++ -*-===// 2480093f4SDimitry Andric// 3480093f4SDimitry Andric// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4480093f4SDimitry Andric// See https://llvm.org/LICENSE.txt for license information. 5480093f4SDimitry Andric// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6480093f4SDimitry Andric// 7480093f4SDimitry Andric//===----------------------------------------------------------------------===// 8480093f4SDimitry Andric// 9480093f4SDimitry Andric// Defines properties of constrained intrinsics, in particular corresponding 10480093f4SDimitry Andric// floating point operations and DAG nodes. 11480093f4SDimitry Andric// 12480093f4SDimitry Andric//===----------------------------------------------------------------------===// 13480093f4SDimitry Andric 145ffd83dbSDimitry Andric// DAG_FUNCTION defers to DAG_INSTRUCTION if its defined, otherwise FUNCTION. 155ffd83dbSDimitry Andric#ifndef DAG_FUNCTION 165ffd83dbSDimitry Andric#ifdef DAG_INSTRUCTION 175ffd83dbSDimitry Andric#define DAG_FUNCTION(N,A,R,I,D) DAG_INSTRUCTION(N,A,R,I,D) 185ffd83dbSDimitry Andric#else 195ffd83dbSDimitry Andric#define DAG_FUNCTION(N,A,R,I,D) FUNCTION(N,A,R,I) 205ffd83dbSDimitry Andric#endif 215ffd83dbSDimitry Andric#endif 225ffd83dbSDimitry Andric 23480093f4SDimitry Andric#ifndef INSTRUCTION 245ffd83dbSDimitry Andric#define INSTRUCTION(N,A,R,I) 255ffd83dbSDimitry Andric#endif 265ffd83dbSDimitry Andric 275ffd83dbSDimitry Andric// DAG_INSTRUCTION is treated like an INSTRUCTION if the DAG node isn't used. 285ffd83dbSDimitry Andric#ifndef DAG_INSTRUCTION 295ffd83dbSDimitry Andric#define DAG_INSTRUCTION(N,A,R,I,D) INSTRUCTION(N,A,R,I) 30480093f4SDimitry Andric#endif 31480093f4SDimitry Andric 32480093f4SDimitry Andric// In most cases intrinsic function is handled similar to instruction. 33480093f4SDimitry Andric#ifndef FUNCTION 345ffd83dbSDimitry Andric#define FUNCTION(N,A,R,I) INSTRUCTION(N,A,R,I) 35480093f4SDimitry Andric#endif 36480093f4SDimitry Andric 375ffd83dbSDimitry Andric// Compare instruction have a DAG node so they are treated like DAG_INSTRUCTION. 38480093f4SDimitry Andric#ifndef CMP_INSTRUCTION 395ffd83dbSDimitry Andric#define CMP_INSTRUCTION(N,A,R,I,D) DAG_INSTRUCTION(N,A,R,I,D) 40480093f4SDimitry Andric#endif 41480093f4SDimitry Andric 42480093f4SDimitry Andric// Arguments of the entries are: 43480093f4SDimitry Andric// - instruction or intrinsic function name. 44480093f4SDimitry Andric// - Number of original instruction/intrinsic arguments. 45480093f4SDimitry Andric// - 1 if the corresponding constrained intrinsic has rounding mode argument. 46480093f4SDimitry Andric// - name of the constrained intrinsic to represent this instruction/function. 47480093f4SDimitry Andric// - DAG node corresponding to the constrained intrinsic without prefix STRICT_. 48480093f4SDimitry Andric 49480093f4SDimitry Andric// These are definitions for instructions, that are converted into constrained 50480093f4SDimitry Andric// intrinsics. 51480093f4SDimitry Andric// 525ffd83dbSDimitry AndricDAG_INSTRUCTION(FAdd, 2, 1, experimental_constrained_fadd, FADD) 535ffd83dbSDimitry AndricDAG_INSTRUCTION(FSub, 2, 1, experimental_constrained_fsub, FSUB) 545ffd83dbSDimitry AndricDAG_INSTRUCTION(FMul, 2, 1, experimental_constrained_fmul, FMUL) 555ffd83dbSDimitry AndricDAG_INSTRUCTION(FDiv, 2, 1, experimental_constrained_fdiv, FDIV) 565ffd83dbSDimitry AndricDAG_INSTRUCTION(FRem, 2, 1, experimental_constrained_frem, FREM) 575ffd83dbSDimitry AndricDAG_INSTRUCTION(FPExt, 1, 0, experimental_constrained_fpext, FP_EXTEND) 585ffd83dbSDimitry AndricDAG_INSTRUCTION(SIToFP, 1, 1, experimental_constrained_sitofp, SINT_TO_FP) 595ffd83dbSDimitry AndricDAG_INSTRUCTION(UIToFP, 1, 1, experimental_constrained_uitofp, UINT_TO_FP) 605ffd83dbSDimitry AndricDAG_INSTRUCTION(FPToSI, 1, 0, experimental_constrained_fptosi, FP_TO_SINT) 615ffd83dbSDimitry AndricDAG_INSTRUCTION(FPToUI, 1, 0, experimental_constrained_fptoui, FP_TO_UINT) 625ffd83dbSDimitry AndricDAG_INSTRUCTION(FPTrunc, 1, 1, experimental_constrained_fptrunc, FP_ROUND) 63480093f4SDimitry Andric 64480093f4SDimitry Andric// These are definitions for compare instructions (signaling and quiet version). 65480093f4SDimitry Andric// Both of these match to FCmp / SETCC. 66480093f4SDimitry AndricCMP_INSTRUCTION(FCmp, 2, 0, experimental_constrained_fcmp, FSETCC) 67480093f4SDimitry AndricCMP_INSTRUCTION(FCmp, 2, 0, experimental_constrained_fcmps, FSETCCS) 68480093f4SDimitry Andric 69480093f4SDimitry Andric// Theses are definitions for intrinsic functions, that are converted into 70480093f4SDimitry Andric// constrained intrinsics. 71480093f4SDimitry Andric// 725ffd83dbSDimitry AndricDAG_FUNCTION(ceil, 1, 0, experimental_constrained_ceil, FCEIL) 735ffd83dbSDimitry AndricDAG_FUNCTION(cos, 1, 1, experimental_constrained_cos, FCOS) 745ffd83dbSDimitry AndricDAG_FUNCTION(exp, 1, 1, experimental_constrained_exp, FEXP) 755ffd83dbSDimitry AndricDAG_FUNCTION(exp2, 1, 1, experimental_constrained_exp2, FEXP2) 765ffd83dbSDimitry AndricDAG_FUNCTION(floor, 1, 0, experimental_constrained_floor, FFLOOR) 775ffd83dbSDimitry AndricDAG_FUNCTION(fma, 3, 1, experimental_constrained_fma, FMA) 785ffd83dbSDimitry AndricDAG_FUNCTION(log, 1, 1, experimental_constrained_log, FLOG) 795ffd83dbSDimitry AndricDAG_FUNCTION(log10, 1, 1, experimental_constrained_log10, FLOG10) 805ffd83dbSDimitry AndricDAG_FUNCTION(log2, 1, 1, experimental_constrained_log2, FLOG2) 815ffd83dbSDimitry AndricDAG_FUNCTION(lrint, 1, 1, experimental_constrained_lrint, LRINT) 825ffd83dbSDimitry AndricDAG_FUNCTION(llrint, 1, 1, experimental_constrained_llrint, LLRINT) 835ffd83dbSDimitry AndricDAG_FUNCTION(lround, 1, 0, experimental_constrained_lround, LROUND) 845ffd83dbSDimitry AndricDAG_FUNCTION(llround, 1, 0, experimental_constrained_llround, LLROUND) 855ffd83dbSDimitry AndricDAG_FUNCTION(maxnum, 2, 0, experimental_constrained_maxnum, FMAXNUM) 865ffd83dbSDimitry AndricDAG_FUNCTION(minnum, 2, 0, experimental_constrained_minnum, FMINNUM) 875ffd83dbSDimitry AndricDAG_FUNCTION(maximum, 2, 0, experimental_constrained_maximum, FMAXIMUM) 885ffd83dbSDimitry AndricDAG_FUNCTION(minimum, 2, 0, experimental_constrained_minimum, FMINIMUM) 895ffd83dbSDimitry AndricDAG_FUNCTION(nearbyint, 1, 1, experimental_constrained_nearbyint, FNEARBYINT) 905ffd83dbSDimitry AndricDAG_FUNCTION(pow, 2, 1, experimental_constrained_pow, FPOW) 915ffd83dbSDimitry AndricDAG_FUNCTION(powi, 2, 1, experimental_constrained_powi, FPOWI) 92*06c3fb27SDimitry AndricDAG_FUNCTION(ldexp, 2, 1, experimental_constrained_ldexp, FLDEXP) 935ffd83dbSDimitry AndricDAG_FUNCTION(rint, 1, 1, experimental_constrained_rint, FRINT) 945ffd83dbSDimitry AndricDAG_FUNCTION(round, 1, 0, experimental_constrained_round, FROUND) 955ffd83dbSDimitry AndricDAG_FUNCTION(roundeven, 1, 0, experimental_constrained_roundeven, FROUNDEVEN) 965ffd83dbSDimitry AndricDAG_FUNCTION(sin, 1, 1, experimental_constrained_sin, FSIN) 975ffd83dbSDimitry AndricDAG_FUNCTION(sqrt, 1, 1, experimental_constrained_sqrt, FSQRT) 985ffd83dbSDimitry AndricDAG_FUNCTION(trunc, 1, 0, experimental_constrained_trunc, FTRUNC) 995ffd83dbSDimitry Andric 1005ffd83dbSDimitry Andric// This is definition for fmuladd intrinsic function, that is converted into 1015ffd83dbSDimitry Andric// constrained FMA or FMUL + FADD intrinsics. 1025ffd83dbSDimitry AndricFUNCTION(fmuladd, 3, 1, experimental_constrained_fmuladd) 103480093f4SDimitry Andric 104480093f4SDimitry Andric#undef INSTRUCTION 105480093f4SDimitry Andric#undef FUNCTION 106480093f4SDimitry Andric#undef CMP_INSTRUCTION 1075ffd83dbSDimitry Andric#undef DAG_INSTRUCTION 1085ffd83dbSDimitry Andric#undef DAG_FUNCTION 109