[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / tls-pic.ll
blobdb60ec7e22a7fd921aa421297b77cb4c6a6e5bd2
1 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -O0 -relocation-model=pic < %s | FileCheck -check-prefix=OPT0 %s
2 ; RUN: llc -verify-machineinstrs -mcpu=pwr7 -O1 -relocation-model=pic < %s | FileCheck -check-prefix=OPT1 %s
3 ; RUN: llc -verify-machineinstrs -mtriple=ppc32-- -O0 -relocation-model=pic < %s | FileCheck -check-prefix=OPT0-32 %s
4 ; RUN: llc -verify-machineinstrs -mtriple=ppc32-- -O1 -relocation-model=pic < %s | FileCheck -check-prefix=OPT1-32 %s
6 target triple = "powerpc64-unknown-linux-gnu"
7 ; Test correct assembly code generation for thread-local storage using
8 ; the local dynamic model.
10 @a = hidden thread_local global i32 0, align 4
12 define signext i32 @main() nounwind {
13 entry:
14   %retval = alloca i32, align 4
15   store i32 0, i32* %retval
16   %0 = load i32, i32* @a, align 4
17   ret i32 %0
20 ; OPT0-LABEL: main:
21 ; OPT0:      addis [[REG:[0-9]+]], 2, a@got@tlsld@ha
22 ; OPT0:      addi 3, [[REG]], a@got@tlsld@l
23 ; OPT0:      bl __tls_get_addr(a@tlsld)
24 ; OPT0-NEXT: nop
25 ; OPT0:      addis [[REG2:[0-9]+]], 3, a@dtprel@ha
26 ; OPT0:      addi {{[0-9]+}}, [[REG2]], a@dtprel@l
27 ; OPT0-32-LABEL: main
28 ; OPT0-32:        addi {{[0-9]+}}, {{[0-9]+}}, a@got@tlsld
29 ; OPT0-32:        bl __tls_get_addr(a@tlsld)@PLT
30 ; OPT0-32:        addis [[REG:[0-9]+]], 3, a@dtprel@ha
31 ; OPT0-32:        addi  {{[0-9]+}}, [[REG]], a@dtprel@l
32 ; OPT1-32-LABEL: main
33 ; OPT1-32:        addi 3, {{[0-9]+}}, a@got@tlsld
34 ; OPT1-32:        bl __tls_get_addr(a@tlsld)@PLT
35 ; OPT1-32:        addis [[REG:[0-9]+]], 3, a@dtprel@ha
36 ; OPT1-32:        addi  {{[0-9]+}}, [[REG]], a@dtprel@l
38 ; Test peephole optimization for thread-local storage using the
39 ; local dynamic model.
41 ; OPT1-LABEL: main:
42 ; OPT1:      addis [[REG:[0-9]+]], 2, a@got@tlsld@ha
43 ; OPT1:      addi 3, [[REG]], a@got@tlsld@l
44 ; OPT1:      bl __tls_get_addr(a@tlsld)
45 ; OPT1-NEXT: nop
46 ; OPT1:      addis [[REG2:[0-9]+]], 3, a@dtprel@ha
47 ; OPT1:      lwa {{[0-9]+}}, a@dtprel@l([[REG2]])
49 ; Test correct assembly code generation for thread-local storage using
50 ; the general dynamic model.
52 @a2 = thread_local global i32 0, align 4
54 define signext i32 @main2() nounwind {
55 entry:
56   %retval = alloca i32, align 4
57   store i32 0, i32* %retval
58   %0 = load i32, i32* @a2, align 4
59   ret i32 %0
62 ; OPT1-LABEL: main2
63 ; OPT1:      addis [[REG:[0-9]+]], 2, a2@got@tlsgd@ha
64 ; OPT1:      addi 3, [[REG]], a2@got@tlsgd@l
65 ; OPT1:      bl __tls_get_addr(a2@tlsgd)
66 ; OPT1-NEXT: nop
67 ; OPT1-32-LABEL: main2
68 ; OPT1-32:        addi 3, {{[0-9]+}}, a2@got@tlsgd
69 ; OPT1-32:        bl __tls_get_addr(a2@tlsgd)@PLT