如何在llvm-ir中模拟thread_local?

时间:2017-02-07 16:59:02

标签: c++ multithreading llvm llvm-ir lli

以下代码目前在lli中不起作用:

//main.cpp 
extern thread_local int tls;
int main() {
    tls = 42;
    return 0;
}

//clang++ -S -emit-llvm main.cpp && lli main.ll

LLVM-IR:

; ModuleID = 'main.cpp'
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-linux-gnu"

@tls = external thread_local global i32, align 4

; Function Attrs: norecurse uwtable
define i32 @main() #0 {
  %1 = alloca i32, align 4
  store i32 0, i32* %1, align 4
  %2 = call i32* @_ZTW3tls()
  store i32 42, i32* %2, align 4
  ret i32 0
}

define weak_odr hidden i32* @_ZTW3tls() {
  br i1 icmp ne (void ()* @_ZTH3tls, void ()* null), label %1, label %2

; <label>:1                                       ; preds = %0
  call void @_ZTH3tls()
  br label %2

; <label>:2                                       ; preds = %1, %0
  ret i32* @tls
}

declare extern_weak void @_ZTH3tls()

导致以下错误:

LLVM ERROR: Cannot select: 0x55ec0e9c3a60: i64 = X86ISD::WrapperRIP 
TargetGlobalTLSAddress:i64<i32* @tls> 0 [TF=10]
   0x55ec0e9c3858: i64 = TargetGlobalTLSAddress<i32* @tls> 0 [TF=10]
In function: _ZTW3tls

有没有办法模拟TLS并转换llvm-ir以使其工作?

使用从thread_id到指针的全局映射并用allocator / deallocator / getter / setter替换每次出现的本地线程是否可行?

-femulated-tls-ftls-model是否有用?

相关问题:

how to perform TargetLowering in a IR-trasformation pass?

http://lists.llvm.org/pipermail/llvm-dev/2017-February/109947.html

1 个答案:

答案 0 :(得分:1)

因为你还没有说出错误是什么,你看到我假设它是某种形式的东西 LLVM ERROR: Program used external function '_ZTH3tls' which could not be resolved!

这是一个链接错误,它实际上指的是tls被声明为具有外部链接的事实,但没有另一个定义要链接到(至少你已发布)。 / p>

替换

extern thread_local int tls;

thread_local int tls;

然后编译器将生成以下IR

@tls = thread_local global i32 0, align 4

如果您确实需要外部链接并使用lli,则需要首先将llvm文件与llvm-link相关联,因为lli无法链接本身。

e.g。

ext.cpp

thread_local int tls = 0;

的main.cpp

extern thread_local int tls;
int main() {
  tls = 42;
  return 0;
}

对此进行编译会生成ext.llmain.ll。运行llvm-link -S ext.ll main.ll > output.ll以获取链接文件,然后lli output.ll也应该有效。

如果能解决它,请告诉我。