LLVM 20.0.0git
Macros | Functions | Variables
X86FloatingPoint.cpp File Reference
#include "X86.h"
#include "X86InstrInfo.h"
#include "llvm/ADT/DepthFirstIterator.h"
#include "llvm/ADT/STLExtras.h"
#include "llvm/ADT/SmallSet.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/Statistic.h"
#include "llvm/CodeGen/EdgeBundles.h"
#include "llvm/CodeGen/LiveRegUnits.h"
#include "llvm/CodeGen/MachineFunctionPass.h"
#include "llvm/CodeGen/MachineInstrBuilder.h"
#include "llvm/CodeGen/MachineRegisterInfo.h"
#include "llvm/CodeGen/Passes.h"
#include "llvm/CodeGen/TargetInstrInfo.h"
#include "llvm/CodeGen/TargetSubtargetInfo.h"
#include "llvm/Config/llvm-config.h"
#include "llvm/IR/InlineAsm.h"
#include "llvm/InitializePasses.h"
#include "llvm/Support/Debug.h"
#include "llvm/Support/ErrorHandling.h"
#include "llvm/Support/raw_ostream.h"
#include "llvm/Target/TargetMachine.h"
#include <algorithm>
#include <bitset>

Go to the source code of this file.

Macros

#define DEBUG_TYPE   "x86-codegen"
 
#define ASSERT_SORTED(TABLE)
 

Functions

 STATISTIC (NumFXCH, "Number of fxch instructions inserted")
 
 STATISTIC (NumFP, "Number of floating point instructions")
 
 INITIALIZE_PASS_BEGIN (FPS, DEBUG_TYPE, "X86 FP Stackifier", false, false) INITIALIZE_PASS_END(FPS
 
static unsigned getFPReg (const MachineOperand &MO)
 getFPReg - Return the X86::FPx register number for the specified operand.
 
static int Lookup (ArrayRef< TableEntry > Table, unsigned Opcode)
 
static unsigned getConcreteOpcode (unsigned Opcode)
 
static bool doesInstructionSetFPSW (MachineInstr &MI)
 
static MachineBasicBlock::iterator getNextFPInstruction (MachineBasicBlock::iterator I)
 

Variables

 DEBUG_TYPE
 
X86 FP Stackifier
 
X86 FP false
 
static const TableEntry OpcodeTable []
 
static const TableEntry PopTable []
 
static const TableEntry ForwardST0Table []
 
static const TableEntry ReverseST0Table []
 
static const TableEntry ForwardSTiTable []
 
static const TableEntry ReverseSTiTable []
 

Macro Definition Documentation

◆ ASSERT_SORTED

#define ASSERT_SORTED (   TABLE)
Value:
{ \
static std::atomic<bool> TABLE##Checked(false); \
if (!TABLE##Checked.load(std::memory_order_relaxed)) { \
assert(is_sorted(TABLE) && \
"All lookup tables must be sorted for efficient access!"); \
TABLE##Checked.store(true, std::memory_order_relaxed); \
} \
}
bool is_sorted(R &&Range, Compare C)
Wrapper function around std::is_sorted to check if elements in a range R are sorted with respect to a...
Definition: STLExtras.h:1902

Definition at line 605 of file X86FloatingPoint.cpp.

◆ DEBUG_TYPE

#define DEBUG_TYPE   "x86-codegen"

Definition at line 51 of file X86FloatingPoint.cpp.

Function Documentation

◆ doesInstructionSetFPSW()

static bool doesInstructionSetFPSW ( MachineInstr MI)
static

Definition at line 831 of file X86FloatingPoint.cpp.

References MI.

◆ getConcreteOpcode()

static unsigned getConcreteOpcode ( unsigned  Opcode)
static

Definition at line 789 of file X86FloatingPoint.cpp.

References assert(), ASSERT_SORTED, Lookup(), and OpcodeTable.

◆ getFPReg()

static unsigned getFPReg ( const MachineOperand MO)
static

getFPReg - Return the X86::FPx register number for the specified operand.

For example, this returns 3 for X86::FP3.

Definition at line 314 of file X86FloatingPoint.cpp.

References assert(), llvm::MachineOperand::getReg(), and llvm::MachineOperand::isReg().

◆ getNextFPInstruction()

static MachineBasicBlock::iterator getNextFPInstruction ( MachineBasicBlock::iterator  I)
static

◆ INITIALIZE_PASS_BEGIN()

INITIALIZE_PASS_BEGIN ( FPS  ,
DEBUG_TYPE  ,
"X86 FP Stackifier"  ,
false  ,
false   
)

◆ Lookup()

static int Lookup ( ArrayRef< TableEntry Table,
unsigned  Opcode 
)
static

◆ STATISTIC() [1/2]

STATISTIC ( NumFP  ,
"Number of floating point instructions"   
)

◆ STATISTIC() [2/2]

STATISTIC ( NumFXCH  ,
"Number of fxch instructions inserted"   
)

Variable Documentation

◆ DEBUG_TYPE

DEBUG_TYPE

Definition at line 307 of file X86FloatingPoint.cpp.

◆ false

X86 FP false

Definition at line 308 of file X86FloatingPoint.cpp.

◆ ForwardST0Table

const TableEntry ForwardST0Table[]
static
Initial value:
= {
{ X86::ADD_Fp32 , X86::ADD_FST0r },
{ X86::ADD_Fp64 , X86::ADD_FST0r },
{ X86::ADD_Fp80 , X86::ADD_FST0r },
{ X86::DIV_Fp32 , X86::DIV_FST0r },
{ X86::DIV_Fp64 , X86::DIV_FST0r },
{ X86::DIV_Fp80 , X86::DIV_FST0r },
{ X86::MUL_Fp32 , X86::MUL_FST0r },
{ X86::MUL_Fp64 , X86::MUL_FST0r },
{ X86::MUL_Fp80 , X86::MUL_FST0r },
{ X86::SUB_Fp32 , X86::SUB_FST0r },
{ X86::SUB_Fp64 , X86::SUB_FST0r },
{ X86::SUB_Fp80 , X86::SUB_FST0r },
}

Definition at line 1278 of file X86FloatingPoint.cpp.

◆ ForwardSTiTable

const TableEntry ForwardSTiTable[]
static
Initial value:
= {
{ X86::ADD_Fp32 , X86::ADD_FrST0 },
{ X86::ADD_Fp64 , X86::ADD_FrST0 },
{ X86::ADD_Fp80 , X86::ADD_FrST0 },
{ X86::DIV_Fp32 , X86::DIVR_FrST0 },
{ X86::DIV_Fp64 , X86::DIVR_FrST0 },
{ X86::DIV_Fp80 , X86::DIVR_FrST0 },
{ X86::MUL_Fp32 , X86::MUL_FrST0 },
{ X86::MUL_Fp64 , X86::MUL_FrST0 },
{ X86::MUL_Fp80 , X86::MUL_FrST0 },
{ X86::SUB_Fp32 , X86::SUBR_FrST0 },
{ X86::SUB_Fp64 , X86::SUBR_FrST0 },
{ X86::SUB_Fp80 , X86::SUBR_FrST0 },
}

Definition at line 1310 of file X86FloatingPoint.cpp.

◆ OpcodeTable

const TableEntry OpcodeTable[]
static

Definition at line 624 of file X86FloatingPoint.cpp.

Referenced by getConcreteOpcode().

◆ PopTable

const TableEntry PopTable[]
static
Initial value:
= {
{ X86::ADD_FrST0 , X86::ADD_FPrST0 },
{ X86::COMP_FST0r, X86::FCOMPP },
{ X86::COM_FIr , X86::COM_FIPr },
{ X86::COM_FST0r , X86::COMP_FST0r },
{ X86::DIVR_FrST0, X86::DIVR_FPrST0 },
{ X86::DIV_FrST0 , X86::DIV_FPrST0 },
{ X86::IST_F16m , X86::IST_FP16m },
{ X86::IST_F32m , X86::IST_FP32m },
{ X86::MUL_FrST0 , X86::MUL_FPrST0 },
{ X86::ST_F32m , X86::ST_FP32m },
{ X86::ST_F64m , X86::ST_FP64m },
{ X86::ST_Frr , X86::ST_FPrr },
{ X86::SUBR_FrST0, X86::SUBR_FPrST0 },
{ X86::SUB_FrST0 , X86::SUB_FPrST0 },
{ X86::UCOM_FIr , X86::UCOM_FIPr },
{ X86::UCOM_FPr , X86::UCOM_FPPr },
{ X86::UCOM_Fr , X86::UCOM_FPr },
}

Definition at line 803 of file X86FloatingPoint.cpp.

◆ ReverseST0Table

const TableEntry ReverseST0Table[]
static
Initial value:
= {
{ X86::ADD_Fp32 , X86::ADD_FST0r },
{ X86::ADD_Fp64 , X86::ADD_FST0r },
{ X86::ADD_Fp80 , X86::ADD_FST0r },
{ X86::DIV_Fp32 , X86::DIVR_FST0r },
{ X86::DIV_Fp64 , X86::DIVR_FST0r },
{ X86::DIV_Fp80 , X86::DIVR_FST0r },
{ X86::MUL_Fp32 , X86::MUL_FST0r },
{ X86::MUL_Fp64 , X86::MUL_FST0r },
{ X86::MUL_Fp80 , X86::MUL_FST0r },
{ X86::SUB_Fp32 , X86::SUBR_FST0r },
{ X86::SUB_Fp64 , X86::SUBR_FST0r },
{ X86::SUB_Fp80 , X86::SUBR_FST0r },
}

Definition at line 1294 of file X86FloatingPoint.cpp.

◆ ReverseSTiTable

const TableEntry ReverseSTiTable[]
static
Initial value:
= {
{ X86::ADD_Fp32 , X86::ADD_FrST0 },
{ X86::ADD_Fp64 , X86::ADD_FrST0 },
{ X86::ADD_Fp80 , X86::ADD_FrST0 },
{ X86::DIV_Fp32 , X86::DIV_FrST0 },
{ X86::DIV_Fp64 , X86::DIV_FrST0 },
{ X86::DIV_Fp80 , X86::DIV_FrST0 },
{ X86::MUL_Fp32 , X86::MUL_FrST0 },
{ X86::MUL_Fp64 , X86::MUL_FrST0 },
{ X86::MUL_Fp80 , X86::MUL_FrST0 },
{ X86::SUB_Fp32 , X86::SUB_FrST0 },
{ X86::SUB_Fp64 , X86::SUB_FrST0 },
{ X86::SUB_Fp80 , X86::SUB_FrST0 },
}

Definition at line 1326 of file X86FloatingPoint.cpp.

◆ Stackifier

X86 FP Stackifier

Definition at line 307 of file X86FloatingPoint.cpp.