mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-01-27 14:34:58 +00:00
Refactor TLS code and add some tests. The tests and expected results are:
pic | declaration | linkage | visibility | !pic | declaration | external | default | tls1.ll tls2.ll | local exec pic | declaration | external | default | tls1-pic.ll tls2-pic.ll | general dynamic !pic | !declaration | external | default | tls3.ll tls4.ll | initial exec pic | !declaration | external | default | tls3-pic.ll tls4-pic.ll | general dynamic !pic | declaration | external | hidden | tls7.ll tls8.ll | local exec pic | declaration | external | hidden | X | local dynamic !pic | !declaration | external | hidden | tls9.ll tls10.ll | local exec pic | !declaration | external | hidden | X | local dynamic !pic | declaration | internal | default | tls5.ll tls6.ll | local exec pic | declaration | internal | default | X | local dynamic The ones marked with an X have not been implemented since local dynamic is not implemented. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@65632 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
0186250b31
commit
9a58023c6c
@ -30,6 +30,7 @@
|
||||
#include "llvm/ADT/SmallSet.h"
|
||||
#include "llvm/ADT/STLExtras.h"
|
||||
#include "llvm/CodeGen/DebugLoc.h"
|
||||
#include "llvm/Target/TargetMachine.h"
|
||||
#include <climits>
|
||||
#include <map>
|
||||
#include <vector>
|
||||
@ -54,6 +55,18 @@ namespace llvm {
|
||||
class TargetSubtarget;
|
||||
class Value;
|
||||
|
||||
// FIXME: should this be here?
|
||||
namespace TLSModel {
|
||||
enum Model {
|
||||
GeneralDynamic,
|
||||
LocalDynamic,
|
||||
InitialExec,
|
||||
LocalExec
|
||||
};
|
||||
}
|
||||
TLSModel::Model getTLSModel(const GlobalValue *GV, Reloc::Model reloc);
|
||||
|
||||
|
||||
//===----------------------------------------------------------------------===//
|
||||
/// TargetLowering - This class defines information used to lower LLVM code to
|
||||
/// legal SelectionDAG operators that the target instruction selector can accept
|
||||
|
@ -26,6 +26,28 @@
|
||||
#include "llvm/Support/MathExtras.h"
|
||||
using namespace llvm;
|
||||
|
||||
namespace llvm {
|
||||
TLSModel::Model getTLSModel(const GlobalValue *GV, Reloc::Model reloc) {
|
||||
bool isLocal = GV->hasLocalLinkage();
|
||||
bool isDeclaration = GV->isDeclaration();
|
||||
// FIXME: what should we do for protected and internal visibility?
|
||||
// For variables, is internal different from hidden?
|
||||
bool isHidden = GV->hasHiddenVisibility();
|
||||
|
||||
if (reloc == Reloc::PIC_) {
|
||||
if (isLocal || isHidden)
|
||||
return TLSModel::LocalDynamic;
|
||||
else
|
||||
return TLSModel::GeneralDynamic;
|
||||
} else {
|
||||
if (!isDeclaration || isHidden)
|
||||
return TLSModel::LocalExec;
|
||||
else
|
||||
return TLSModel::InitialExec;
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
/// InitLibcallNames - Set default libcall names.
|
||||
///
|
||||
static void InitLibcallNames(const char **Names) {
|
||||
|
@ -439,13 +439,30 @@ void X86ATTAsmPrinter::printOperand(const MachineInstr *MI, unsigned OpNo,
|
||||
printOffset(MO.getOffset());
|
||||
|
||||
if (isThreadLocal) {
|
||||
if (TM.getRelocationModel() == Reloc::PIC_ || Subtarget->is64Bit())
|
||||
O << "@TLSGD"; // general dynamic TLS model
|
||||
else
|
||||
if (GV->isDeclaration())
|
||||
O << "@INDNTPOFF"; // initial exec TLS model
|
||||
TLSModel::Model model = getTLSModel(GVar, TM.getRelocationModel());
|
||||
switch (model) {
|
||||
case TLSModel::GeneralDynamic:
|
||||
O << "@TLSGD";
|
||||
break;
|
||||
case TLSModel::LocalDynamic:
|
||||
// O << "@TLSLD"; // local dynamic not implemented
|
||||
O << "@TLSGD";
|
||||
break;
|
||||
case TLSModel::InitialExec:
|
||||
if (Subtarget->is64Bit())
|
||||
O << "@TLSGD"; // 64 bit intial exec not implemented
|
||||
else
|
||||
O << "@NTPOFF"; // local exec TLS model
|
||||
O << "@INDNTPOFF";
|
||||
break;
|
||||
case TLSModel::LocalExec:
|
||||
if (Subtarget->is64Bit())
|
||||
O << "@TLSGD"; // 64 bit local exec not implemented
|
||||
else
|
||||
O << "@NTPOFF";
|
||||
break;
|
||||
default:
|
||||
assert (0 && "Unknown TLS model");
|
||||
}
|
||||
} else if (isMemOp) {
|
||||
if (shouldPrintGOT(TM, Subtarget)) {
|
||||
if (Subtarget->GVRequiresExtraLoad(GV, TM, false))
|
||||
|
@ -4795,7 +4795,7 @@ LowerToTLSGeneralDynamicModel64(GlobalAddressSDNode *GA, SelectionDAG &DAG,
|
||||
// Lower ISD::GlobalTLSAddress using the "initial exec" (for no-pic) or
|
||||
// "local exec" model.
|
||||
static SDValue LowerToTLSExecModel(GlobalAddressSDNode *GA, SelectionDAG &DAG,
|
||||
const MVT PtrVT) {
|
||||
const MVT PtrVT, TLSModel::Model model) {
|
||||
DebugLoc dl = GA->getDebugLoc();
|
||||
// Get the Thread Pointer
|
||||
SDValue ThreadPointer = DAG.getNode(X86ISD::THREAD_POINTER,
|
||||
@ -4807,7 +4807,7 @@ static SDValue LowerToTLSExecModel(GlobalAddressSDNode *GA, SelectionDAG &DAG,
|
||||
GA->getOffset());
|
||||
SDValue Offset = DAG.getNode(X86ISD::Wrapper, dl, PtrVT, TGA);
|
||||
|
||||
if (GA->getGlobal()->isDeclaration()) // initial exec TLS model
|
||||
if (model == TLSModel::InitialExec)
|
||||
Offset = DAG.getLoad(PtrVT, dl, DAG.getEntryNode(), Offset,
|
||||
PseudoSourceValue::getGOT(), 0);
|
||||
|
||||
@ -4823,15 +4823,31 @@ X86TargetLowering::LowerGlobalTLSAddress(SDValue Op, SelectionDAG &DAG) {
|
||||
assert(Subtarget->isTargetELF() &&
|
||||
"TLS not implemented for non-ELF targets");
|
||||
GlobalAddressSDNode *GA = cast<GlobalAddressSDNode>(Op);
|
||||
// If the relocation model is PIC, use the "General Dynamic" TLS Model,
|
||||
// otherwise use the "Local Exec"TLS Model
|
||||
GlobalValue *GV = GA->getGlobal();
|
||||
TLSModel::Model model =
|
||||
getTLSModel (GV, getTargetMachine().getRelocationModel());
|
||||
if (Subtarget->is64Bit()) {
|
||||
return LowerToTLSGeneralDynamicModel64(GA, DAG, getPointerTy());
|
||||
switch (model) {
|
||||
case TLSModel::GeneralDynamic:
|
||||
case TLSModel::LocalDynamic: // not implemented
|
||||
case TLSModel::InitialExec: // not implemented
|
||||
case TLSModel::LocalExec: // not implemented
|
||||
return LowerToTLSGeneralDynamicModel64(GA, DAG, getPointerTy());
|
||||
default:
|
||||
assert (0 && "Unknown TLS model");
|
||||
}
|
||||
} else {
|
||||
if (getTargetMachine().getRelocationModel() == Reloc::PIC_)
|
||||
switch (model) {
|
||||
case TLSModel::GeneralDynamic:
|
||||
case TLSModel::LocalDynamic: // not implemented
|
||||
return LowerToTLSGeneralDynamicModel32(GA, DAG, getPointerTy());
|
||||
else
|
||||
return LowerToTLSExecModel(GA, DAG, getPointerTy());
|
||||
|
||||
case TLSModel::InitialExec:
|
||||
case TLSModel::LocalExec:
|
||||
return LowerToTLSExecModel(GA, DAG, getPointerTy(), model);
|
||||
default:
|
||||
assert (0 && "Unknown TLS model");
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
|
11
test/CodeGen/X86/tls1-pic.ll
Normal file
11
test/CodeGen/X86/tls1-pic.ll
Normal file
@ -0,0 +1,11 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic > %t
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax} %t
|
||||
; RUN: grep {call ___tls_get_addr@PLT} %t
|
||||
|
||||
@i = thread_local global i32 15
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i
|
||||
ret i32 %tmp1
|
||||
}
|
@ -1,19 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu | \
|
||||
; RUN: grep {movl %gs:i@NTPOFF, %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu | \
|
||||
; RUN: grep {leal i@NTPOFF(%eax), %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic | \
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:i@NTPOFF, %eax} %t
|
||||
|
||||
@i = thread_local global i32 15 ; <i32*> [#uses=2]
|
||||
@i = thread_local global i32 15
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i ; <i32> [#uses=1]
|
||||
%tmp1 = load i32* @i
|
||||
ret i32 %tmp1
|
||||
}
|
||||
|
||||
define i32* @g() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
||||
|
10
test/CodeGen/X86/tls10.ll
Normal file
10
test/CodeGen/X86/tls10.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:0, %eax} %t
|
||||
; RUN: grep {leal i@NTPOFF(%eax), %eax} %t
|
||||
|
||||
@i = external hidden thread_local global i32
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
10
test/CodeGen/X86/tls2-pic.ll
Normal file
10
test/CodeGen/X86/tls2-pic.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic > %t
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax} %t
|
||||
; RUN: grep {call ___tls_get_addr@PLT} %t
|
||||
|
||||
@i = thread_local global i32 15
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
@ -1,19 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu | \
|
||||
; RUN: grep {movl %gs:(%eax), %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu | \
|
||||
; RUN: grep {addl i@INDNTPOFF, %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic | \
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax}
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:0, %eax} %t
|
||||
; RUN: grep {leal i@NTPOFF(%eax), %eax} %t
|
||||
|
||||
@i = external thread_local global i32 ; <i32*> [#uses=2]
|
||||
@i = thread_local global i32 15
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i ; <i32> [#uses=1]
|
||||
ret i32 %tmp1
|
||||
}
|
||||
|
||||
define i32* @g() {
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
||||
|
11
test/CodeGen/X86/tls3-pic.ll
Normal file
11
test/CodeGen/X86/tls3-pic.ll
Normal file
@ -0,0 +1,11 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic > %t
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax} %t
|
||||
; RUN: grep {call ___tls_get_addr@PLT} %t
|
||||
|
||||
@i = external thread_local global i32 ; <i32*> [#uses=2]
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i ; <i32> [#uses=1]
|
||||
ret i32 %tmp1
|
||||
}
|
11
test/CodeGen/X86/tls3.ll
Normal file
11
test/CodeGen/X86/tls3.ll
Normal file
@ -0,0 +1,11 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl i@INDNTPOFF, %eax} %t
|
||||
; RUN: grep {movl %gs:(%eax), %eax} %t
|
||||
|
||||
@i = external thread_local global i32 ; <i32*> [#uses=2]
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i ; <i32> [#uses=1]
|
||||
ret i32 %tmp1
|
||||
}
|
10
test/CodeGen/X86/tls4-pic.ll
Normal file
10
test/CodeGen/X86/tls4-pic.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu -relocation-model=pic > %t
|
||||
; RUN: grep {leal i@TLSGD(,%ebx,1), %eax} %t
|
||||
; RUN: grep {call ___tls_get_addr@PLT} %t
|
||||
|
||||
@i = external thread_local global i32 ; <i32*> [#uses=2]
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
10
test/CodeGen/X86/tls4.ll
Normal file
10
test/CodeGen/X86/tls4.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:0, %eax} %t
|
||||
; RUN: grep {addl i@INDNTPOFF, %eax} %t
|
||||
|
||||
@i = external thread_local global i32 ; <i32*> [#uses=2]
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
10
test/CodeGen/X86/tls5.ll
Normal file
10
test/CodeGen/X86/tls5.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:i@NTPOFF, %eax} %t
|
||||
|
||||
@i = internal thread_local global i32 15
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i
|
||||
ret i32 %tmp1
|
||||
}
|
10
test/CodeGen/X86/tls6.ll
Normal file
10
test/CodeGen/X86/tls6.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:0, %eax} %t
|
||||
; RUN: grep {leal i@NTPOFF(%eax), %eax} %t
|
||||
|
||||
@i = internal thread_local global i32 15
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
10
test/CodeGen/X86/tls7.ll
Normal file
10
test/CodeGen/X86/tls7.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:i@NTPOFF, %eax} %t
|
||||
|
||||
@i = hidden thread_local global i32 15
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i
|
||||
ret i32 %tmp1
|
||||
}
|
10
test/CodeGen/X86/tls8.ll
Normal file
10
test/CodeGen/X86/tls8.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:0, %eax} %t
|
||||
; RUN: grep {leal i@NTPOFF(%eax), %eax} %t
|
||||
|
||||
@i = hidden thread_local global i32 15
|
||||
|
||||
define i32* @f() {
|
||||
entry:
|
||||
ret i32* @i
|
||||
}
|
10
test/CodeGen/X86/tls9.ll
Normal file
10
test/CodeGen/X86/tls9.ll
Normal file
@ -0,0 +1,10 @@
|
||||
; RUN: llvm-as < %s | llc -march=x86 -mtriple=i386-linux-gnu > %t
|
||||
; RUN: grep {movl %gs:i@NTPOFF, %eax} %t
|
||||
|
||||
@i = external hidden thread_local global i32
|
||||
|
||||
define i32 @f() {
|
||||
entry:
|
||||
%tmp1 = load i32* @i
|
||||
ret i32 %tmp1
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user