#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>

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);                   \
    }                                                                          \
  }

Definition at line 621 of file X86FloatingPoint.cpp.

Referenced by getConcreteOpcode().

◆ DEBUG_TYPE

#define DEBUG_TYPE "x86-codegen"

Definition at line 51 of file X86FloatingPoint.cpp.

Function Documentation

◆ doesInstructionSetFPSW()

bool doesInstructionSetFPSW ( MachineInstr & MI )

static

Definition at line 847 of file X86FloatingPoint.cpp.

References llvm::MachineOperand::isDead(), and MI.

◆ getConcreteOpcode()

unsigned getConcreteOpcode ( unsigned Opcode )

static

Definition at line 805 of file X86FloatingPoint.cpp.

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

◆ getFPReg()

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 313 of file X86FloatingPoint.cpp.

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

◆ getNextFPInstruction()

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

static

Definition at line 856 of file X86FloatingPoint.cpp.

References I, llvm::X86::isX87Instruction(), MBB, and MI.

◆ INITIALIZE_PASS_BEGIN()

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

References DEBUG_TYPE, and INITIALIZE_PASS_DEPENDENCY.

◆ Lookup()

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

static

Definition at line 611 of file X86FloatingPoint.cpp.

References llvm::ArrayRef< T >::end(), I, and llvm::lower_bound().

Referenced by llvm::PointerSumType< TagT, MemberTs... >::cast(), llvm::PointerSumType< TagT, MemberTs... >::create(), llvm::TargetLowering::CTTZTableLookup(), llvm::PointerSumType< TagT, MemberTs... >::get(), getConcreteOpcode(), llvm::getExtInstName(), llvm::getLinkStringForBuiltIn(), llvm::SelectionDAG::getNodeIfExists(), llvm::ConstantUniqueMap< ConstantArray >::getOrCreate(), llvm::ReachingDefInfo::getReachingDef(), llvm::getSpirvBuiltInIdByName(), llvm::getSymbolicOperandMaxVersion(), llvm::getSymbolicOperandMinVersion(), llvm::getSymbolicOperandMnemonic(), llvm::orc::EPCGenericDylibManager::lookup(), llvm::orc::EPCGenericDylibManager::lookup(), llvm::orc::EPCGenericDylibManager::lookupAsync(), llvm::orc::EPCGenericDylibManager::lookupAsync(), llvm::ConstantUniqueMap< ConstantArray >::replaceOperandsInPlace(), llvm::PointerSumType< TagT, MemberTs... >::set(), and llvm::FunctionImporter::SortedImportList::SortedImportList().

◆ 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 306 of file X86FloatingPoint.cpp.

◆ false

X86 FP false

Definition at line 307 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 1294 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 1326 of file X86FloatingPoint.cpp.

◆ OpcodeTable

const TableEntry OpcodeTable[]

static

Definition at line 640 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 819 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 1310 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 1342 of file X86FloatingPoint.cpp.

◆ Stackifier

X86 FP Stackifier

Definition at line 306 of file X86FloatingPoint.cpp.

Macros

Functions

Variables

Macro Definition Documentation

◆ ASSERT_SORTED

◆ DEBUG_TYPE

Function Documentation

◆ doesInstructionSetFPSW()

◆ getConcreteOpcode()

◆ getFPReg()

◆ getNextFPInstruction()

◆ INITIALIZE_PASS_BEGIN()

◆ Lookup()

◆ STATISTIC() [1/2]

◆ STATISTIC() [2/2]

Variable Documentation

◆ DEBUG_TYPE

◆ false

◆ ForwardST0Table

◆ ForwardSTiTable

◆ OpcodeTable

◆ PopTable

◆ ReverseST0Table

◆ ReverseSTiTable

◆ Stackifier