358 lines
13 KiB
LLVM
358 lines
13 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -mtriple=x86_64-unknown-unknown -O2 --relocation-model=pic --tls-load-hoist=true -o - %s | FileCheck %s --check-prefix=HOIST0
|
|
; RUN: llc -mtriple=x86_64-unknown-unknown -O2 --relocation-model=pic -o - %s | FileCheck %s --check-prefix=HOIST2
|
|
|
|
; This test has no module flag {"tls-load-hoist", i32 0}, so use --tls-load-hoist=x
|
|
; to choose the way of loading thread_local address.
|
|
|
|
; This test come from compiling clang/test/CodeGen/intel/tls_loads.cpp with:
|
|
; (clang tls_loads.cpp -fPIC -ftls-model=global-dynamic -O2 -S -emit-llvm)
|
|
|
|
$_ZTW5thl_x = comdat any
|
|
|
|
$_ZTW6thl_x2 = comdat any
|
|
|
|
@thl_x = thread_local global i32 0, align 4
|
|
@thl_x2 = thread_local global i32 0, align 4
|
|
@_ZZ2f2iE2st.0 = internal thread_local unnamed_addr global i8 0, align 4
|
|
@_ZZ2f2iE2st.1 = internal thread_local unnamed_addr global i32 0, align 4
|
|
|
|
; For HOIST0, check call __tls_get_addr@PLT only one time for each thread_local variable.
|
|
; For HOIST2, Check the default way: usually call __tls_get_addr@PLT every time when use thread_local variable.
|
|
|
|
; Function Attrs: mustprogress uwtable
|
|
define i32 @_Z2f1i(i32 %c) local_unnamed_addr #0 {
|
|
; HOIST0-LABEL: _Z2f1i:
|
|
; HOIST0: # %bb.0: # %entry
|
|
; HOIST0-NEXT: pushq %r15
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST0-NEXT: pushq %r14
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST0-NEXT: pushq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 32
|
|
; HOIST0-NEXT: .cfi_offset %rbx, -32
|
|
; HOIST0-NEXT: .cfi_offset %r14, -24
|
|
; HOIST0-NEXT: .cfi_offset %r15, -16
|
|
; HOIST0-NEXT: movl %edi, %ebx
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: rex64
|
|
; HOIST0-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST0-NEXT: movq %rax, %r14
|
|
; HOIST0-NEXT: testl %ebx, %ebx
|
|
; HOIST0-NEXT: je .LBB0_4
|
|
; HOIST0-NEXT: # %bb.1: # %while.body.preheader
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: leaq thl_x2@TLSGD(%rip), %rdi
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: rex64
|
|
; HOIST0-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST0-NEXT: movq %rax, %r15
|
|
; HOIST0-NEXT: .p2align 4, 0x90
|
|
; HOIST0-NEXT: .LBB0_2: # %while.body
|
|
; HOIST0-NEXT: # =>This Inner Loop Header: Depth=1
|
|
; HOIST0-NEXT: movl (%r15), %edi
|
|
; HOIST0-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST0-NEXT: addl (%r14), %eax
|
|
; HOIST0-NEXT: movl %eax, (%r14)
|
|
; HOIST0-NEXT: decl %ebx
|
|
; HOIST0-NEXT: jne .LBB0_2
|
|
; HOIST0-NEXT: jmp .LBB0_3
|
|
; HOIST0-NEXT: .LBB0_4: # %entry.while.end_crit_edge
|
|
; HOIST0-NEXT: movl (%r14), %eax
|
|
; HOIST0-NEXT: .LBB0_3: # %while.end
|
|
; HOIST0-NEXT: popq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST0-NEXT: popq %r14
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST0-NEXT: popq %r15
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST0-NEXT: retq
|
|
;
|
|
; HOIST2-LABEL: _Z2f1i:
|
|
; HOIST2: # %bb.0: # %entry
|
|
; HOIST2-NEXT: pushq %rbp
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST2-NEXT: pushq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST2-NEXT: pushq %rax
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 32
|
|
; HOIST2-NEXT: .cfi_offset %rbx, -24
|
|
; HOIST2-NEXT: .cfi_offset %rbp, -16
|
|
; HOIST2-NEXT: testl %edi, %edi
|
|
; HOIST2-NEXT: je .LBB0_4
|
|
; HOIST2-NEXT: # %bb.1:
|
|
; HOIST2-NEXT: movl %edi, %ebx
|
|
; HOIST2-NEXT: .p2align 4, 0x90
|
|
; HOIST2-NEXT: .LBB0_2: # %while.body
|
|
; HOIST2-NEXT: # =>This Inner Loop Header: Depth=1
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x2@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: movl (%rax), %edi
|
|
; HOIST2-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST2-NEXT: movl %eax, %ebp
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: addl (%rax), %ebp
|
|
; HOIST2-NEXT: movl %ebp, (%rax)
|
|
; HOIST2-NEXT: decl %ebx
|
|
; HOIST2-NEXT: jne .LBB0_2
|
|
; HOIST2-NEXT: jmp .LBB0_3
|
|
; HOIST2-NEXT: .LBB0_4: # %entry.while.end_crit_edge
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: movl (%rax), %ebp
|
|
; HOIST2-NEXT: .LBB0_3: # %while.end
|
|
; HOIST2-NEXT: movl %ebp, %eax
|
|
; HOIST2-NEXT: addq $8, %rsp
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST2-NEXT: popq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST2-NEXT: popq %rbp
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST2-NEXT: retq
|
|
entry:
|
|
%tobool.not3 = icmp eq i32 %c, 0
|
|
br i1 %tobool.not3, label %entry.while.end_crit_edge, label %while.body
|
|
|
|
entry.while.end_crit_edge: ; preds = %entry
|
|
%.pre = load i32, ptr @thl_x, align 4
|
|
br label %while.end
|
|
|
|
while.body: ; preds = %entry, %while.body
|
|
%c.addr.04 = phi i32 [ %dec, %while.body ], [ %c, %entry ]
|
|
%dec = add nsw i32 %c.addr.04, -1
|
|
%0 = load i32, ptr @thl_x2, align 4
|
|
%call = tail call i32 @_Z6gfunc2i(i32 %0)
|
|
%1 = load i32, ptr @thl_x, align 4
|
|
%add = add nsw i32 %1, %call
|
|
store i32 %add, ptr @thl_x, align 4
|
|
%tobool.not = icmp eq i32 %dec, 0
|
|
br i1 %tobool.not, label %while.end, label %while.body
|
|
|
|
while.end: ; preds = %while.body, %entry.while.end_crit_edge
|
|
%2 = phi i32 [ %.pre, %entry.while.end_crit_edge ], [ %add, %while.body ]
|
|
ret i32 %2
|
|
}
|
|
|
|
declare i32 @_Z6gfunc2i(i32) local_unnamed_addr #1
|
|
|
|
; Function Attrs: mustprogress uwtable
|
|
define i32 @_Z2f2i(i32 %c) local_unnamed_addr #0 {
|
|
; HOIST0-LABEL: _Z2f2i:
|
|
; HOIST0: # %bb.0: # %entry
|
|
; HOIST0-NEXT: pushq %r15
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST0-NEXT: pushq %r14
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST0-NEXT: pushq %r12
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 32
|
|
; HOIST0-NEXT: pushq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 40
|
|
; HOIST0-NEXT: pushq %rax
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 48
|
|
; HOIST0-NEXT: .cfi_offset %rbx, -40
|
|
; HOIST0-NEXT: .cfi_offset %r12, -32
|
|
; HOIST0-NEXT: .cfi_offset %r14, -24
|
|
; HOIST0-NEXT: .cfi_offset %r15, -16
|
|
; HOIST0-NEXT: movl %edi, %ebx
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: rex64
|
|
; HOIST0-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST0-NEXT: movq %rax, %r14
|
|
; HOIST0-NEXT: testl %ebx, %ebx
|
|
; HOIST0-NEXT: je .LBB1_3
|
|
; HOIST0-NEXT: # %bb.1: # %while.body.preheader
|
|
; HOIST0-NEXT: leaq _ZZ2f2iE2st.0@TLSLD(%rip), %rdi
|
|
; HOIST0-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST0-NEXT: movq %rax, %rcx
|
|
; HOIST0-NEXT: leaq _ZZ2f2iE2st.0@DTPOFF(%rax), %r15
|
|
; HOIST0-NEXT: leaq _ZZ2f2iE2st.1@DTPOFF(%rax), %r12
|
|
; HOIST0-NEXT: .p2align 4, 0x90
|
|
; HOIST0-NEXT: .LBB1_2: # %while.body
|
|
; HOIST0-NEXT: # =>This Inner Loop Header: Depth=1
|
|
; HOIST0-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST0-NEXT: addl %eax, (%r14)
|
|
; HOIST0-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST0-NEXT: addb %al, (%r15)
|
|
; HOIST0-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST0-NEXT: addl %eax, (%r12)
|
|
; HOIST0-NEXT: decl %ebx
|
|
; HOIST0-NEXT: jne .LBB1_2
|
|
; HOIST0-NEXT: .LBB1_3: # %while.end
|
|
; HOIST0-NEXT: movl (%r14), %eax
|
|
; HOIST0-NEXT: addq $8, %rsp
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 40
|
|
; HOIST0-NEXT: popq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 32
|
|
; HOIST0-NEXT: popq %r12
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST0-NEXT: popq %r14
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST0-NEXT: popq %r15
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST0-NEXT: retq
|
|
;
|
|
; HOIST2-LABEL: _Z2f2i:
|
|
; HOIST2: # %bb.0: # %entry
|
|
; HOIST2-NEXT: pushq %rbp
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST2-NEXT: pushq %r14
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST2-NEXT: pushq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 32
|
|
; HOIST2-NEXT: .cfi_offset %rbx, -32
|
|
; HOIST2-NEXT: .cfi_offset %r14, -24
|
|
; HOIST2-NEXT: .cfi_offset %rbp, -16
|
|
; HOIST2-NEXT: testl %edi, %edi
|
|
; HOIST2-NEXT: je .LBB1_3
|
|
; HOIST2-NEXT: # %bb.1: # %while.body.preheader
|
|
; HOIST2-NEXT: movl %edi, %ebx
|
|
; HOIST2-NEXT: .p2align 4, 0x90
|
|
; HOIST2-NEXT: .LBB1_2: # %while.body
|
|
; HOIST2-NEXT: # =>This Inner Loop Header: Depth=1
|
|
; HOIST2-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST2-NEXT: movl %eax, %ebp
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: addl %ebp, (%rax)
|
|
; HOIST2-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST2-NEXT: movl %eax, %ebp
|
|
; HOIST2-NEXT: leaq _ZZ2f2iE2st.0@TLSLD(%rip), %rdi
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: movq %rax, %r14
|
|
; HOIST2-NEXT: addb %bpl, _ZZ2f2iE2st.0@DTPOFF(%rax)
|
|
; HOIST2-NEXT: callq _Z5gfuncv@PLT
|
|
; HOIST2-NEXT: movl %eax, %ecx
|
|
; HOIST2-NEXT: movq %r14, %rax
|
|
; HOIST2-NEXT: addl %ecx, _ZZ2f2iE2st.1@DTPOFF(%r14)
|
|
; HOIST2-NEXT: decl %ebx
|
|
; HOIST2-NEXT: jne .LBB1_2
|
|
; HOIST2-NEXT: .LBB1_3: # %while.end
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: movl (%rax), %eax
|
|
; HOIST2-NEXT: popq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 24
|
|
; HOIST2-NEXT: popq %r14
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST2-NEXT: popq %rbp
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST2-NEXT: retq
|
|
entry:
|
|
%tobool.not9 = icmp eq i32 %c, 0
|
|
br i1 %tobool.not9, label %while.end, label %while.body
|
|
|
|
while.body: ; preds = %entry, %while.body
|
|
%c.addr.010 = phi i32 [ %dec, %while.body ], [ %c, %entry ]
|
|
%dec = add nsw i32 %c.addr.010, -1
|
|
%call = tail call i32 @_Z5gfuncv()
|
|
%0 = load i32, ptr @thl_x, align 4
|
|
%add = add nsw i32 %0, %call
|
|
store i32 %add, ptr @thl_x, align 4
|
|
%call1 = tail call i32 @_Z5gfuncv()
|
|
%1 = load i8, ptr @_ZZ2f2iE2st.0, align 4
|
|
%2 = trunc i32 %call1 to i8
|
|
%conv5 = add i8 %1, %2
|
|
store i8 %conv5, ptr @_ZZ2f2iE2st.0, align 4
|
|
%call6 = tail call i32 @_Z5gfuncv()
|
|
%3 = load i32, ptr @_ZZ2f2iE2st.1, align 4
|
|
%add7 = add nsw i32 %3, %call6
|
|
store i32 %add7, ptr @_ZZ2f2iE2st.1, align 4
|
|
%tobool.not = icmp eq i32 %dec, 0
|
|
br i1 %tobool.not, label %while.end, label %while.body
|
|
|
|
while.end: ; preds = %while.body, %entry
|
|
%4 = load i32, ptr @thl_x, align 4
|
|
ret i32 %4
|
|
}
|
|
|
|
declare i32 @_Z5gfuncv() local_unnamed_addr #1
|
|
|
|
; Function Attrs: mustprogress uwtable
|
|
define i32 @_Z2f3i(i32 %c) local_unnamed_addr #0 {
|
|
; HOIST0-LABEL: _Z2f3i:
|
|
; HOIST0: # %bb.0: # %entry
|
|
; HOIST0-NEXT: pushq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST0-NEXT: .cfi_offset %rbx, -16
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: data16
|
|
; HOIST0-NEXT: rex64
|
|
; HOIST0-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST0-NEXT: movq %rax, %rbx
|
|
; HOIST0-NEXT: movl (%rax), %edi
|
|
; HOIST0-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST0-NEXT: movl (%rbx), %edi
|
|
; HOIST0-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST0-NEXT: movl $1, %eax
|
|
; HOIST0-NEXT: popq %rbx
|
|
; HOIST0-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST0-NEXT: retq
|
|
;
|
|
; HOIST2-LABEL: _Z2f3i:
|
|
; HOIST2: # %bb.0: # %entry
|
|
; HOIST2-NEXT: pushq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 16
|
|
; HOIST2-NEXT: .cfi_offset %rbx, -16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: leaq thl_x@TLSGD(%rip), %rdi
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: data16
|
|
; HOIST2-NEXT: rex64
|
|
; HOIST2-NEXT: callq __tls_get_addr@PLT
|
|
; HOIST2-NEXT: movq %rax, %rbx
|
|
; HOIST2-NEXT: movl (%rax), %edi
|
|
; HOIST2-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST2-NEXT: movl (%rbx), %edi
|
|
; HOIST2-NEXT: callq _Z6gfunc2i@PLT
|
|
; HOIST2-NEXT: movl $1, %eax
|
|
; HOIST2-NEXT: popq %rbx
|
|
; HOIST2-NEXT: .cfi_def_cfa_offset 8
|
|
; HOIST2-NEXT: retq
|
|
entry:
|
|
%0 = load i32, ptr @thl_x, align 4
|
|
%call = tail call i32 @_Z6gfunc2i(i32 %0)
|
|
%1 = load i32, ptr @thl_x, align 4
|
|
%call1 = tail call i32 @_Z6gfunc2i(i32 %1)
|
|
ret i32 1
|
|
}
|
|
|
|
attributes #0 = { nounwind mustprogress uwtable "frame-pointer"="none" "min-legal-vector-width"="0" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
|
|
attributes #1 = { "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
|
|
attributes #2 = { uwtable "frame-pointer"="none" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+cx8,+fxsr,+mmx,+sse,+sse2,+x87" "tune-cpu"="generic" }
|
|
|
|
!llvm.module.flags = !{!0, !1, !2}
|
|
|
|
!0 = !{i32 1, !"wchar_size", i32 4}
|
|
!1 = !{i32 7, !"PIC Level", i32 2}
|
|
!2 = !{i32 7, !"uwtable", i32 1}
|