| Hal Finkel | 2b655bb | 2013-11-30 19:39:27 +0000 | [diff] [blame] | 1 | ; RUN: llc -O0 < %s -march=ppc64 -mcpu=ppc64 | FileCheck -check-prefix=OPT0 %s |
| 2 | ; RUN: llc -O1 < %s -march=ppc64 -mcpu=ppc64 | FileCheck -check-prefix=OPT1 %s |
| Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 3 | |
| 4 | @a = thread_local global i32 0, align 4 |
| 5 | |
| Stephen Lin | d24ab20 | 2013-07-14 06:24:09 +0000 | [diff] [blame] | 6 | ;OPT0-LABEL: localexec: |
| 7 | ;OPT1-LABEL: localexec: |
| Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 8 | define i32 @localexec() nounwind { |
| 9 | entry: |
| Bill Schmidt | b454829 | 2013-02-25 16:44:35 +0000 | [diff] [blame] | 10 | ;OPT0: addis [[REG1:[0-9]+]], 13, a@tprel@ha |
| 11 | ;OPT0-NEXT: li [[REG2:[0-9]+]], 42 |
| 12 | ;OPT0-NEXT: addi [[REG1]], [[REG1]], a@tprel@l |
| Bill Schmidt | a1b72d0 | 2013-03-27 02:40:14 +0000 | [diff] [blame] | 13 | ;OPT0: stw [[REG2]], 0([[REG1]]) |
| Bill Schmidt | b454829 | 2013-02-25 16:44:35 +0000 | [diff] [blame] | 14 | ;OPT1: addis [[REG1:[0-9]+]], 13, a@tprel@ha |
| 15 | ;OPT1-NEXT: li [[REG2:[0-9]+]], 42 |
| 16 | ;OPT1-NEXT: stw [[REG2]], a@tprel@l([[REG1]]) |
| Roman Divacky | e3f15c98 | 2012-06-04 17:36:38 +0000 | [diff] [blame] | 17 | store i32 42, i32* @a, align 4 |
| 18 | ret i32 0 |
| 19 | } |
| Roman Divacky | 1bab705 | 2013-12-11 22:25:39 +0000 | [diff] [blame^] | 20 | |
| 21 | ; Test correct assembly code generation for thread-local storage |
| 22 | ; using the initial-exec model. |
| 23 | |
| 24 | @a2 = external thread_local global i32 |
| 25 | |
| 26 | define signext i32 @main2() nounwind { |
| 27 | entry: |
| 28 | %retval = alloca i32, align 4 |
| 29 | store i32 0, i32* %retval |
| 30 | %0 = load i32* @a2, align 4 |
| 31 | ret i32 %0 |
| 32 | } |
| 33 | |
| 34 | ; OPT1-LABEL: main2: |
| 35 | ; OPT1: addis [[REG1:[0-9]+]], 2, a2@got@tprel@ha |
| 36 | ; OPT1: ld [[REG2:[0-9]+]], a2@got@tprel@l([[REG1]]) |
| 37 | ; OPT1: add {{[0-9]+}}, [[REG2]], a2@tls |
| 38 | |