| ; RUN: llc -verify-machineinstrs -mcpu=pwr8 < %s | FileCheck %s |
| ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -O0 < %s | FileCheck %s |
| ; RUN: llc -verify-machineinstrs < %s | FileCheck %s |
| ; RUN: llc -verify-machineinstrs -O0 < %s | FileCheck %s |
| |
| ; The second run of the test case is to ensure the behaviour is the same |
| ; without specifying -mcpu=pwr8 as that is now the baseline for ppc64le. |
| |
| target datalayout = "e-m:e-i64:64-n32:64" |
| target triple = "powerpc64le-unknown-linux-gnu" |
| |
| @number64 = global i64 10, align 8 |
| |
| ; CHECK: .abiversion 2 |
| |
| define i64 @use_toc(i64 %a) nounwind { |
| entry: |
| ; CHECK-LABEL: @use_toc |
| ; CHECK-NEXT: .L{{.*}}: |
| ; CHECK-NEXT: .Lfunc_gep[[FN:[0-9]+]]: |
| ; CHECK-NEXT: addis 2, 12, .TOC.-.Lfunc_gep[[FN]]@ha |
| ; CHECK-NEXT: addi 2, 2, .TOC.-.Lfunc_gep[[FN]]@l |
| ; CHECK-NEXT: .Lfunc_lep[[FN]]: |
| ; CHECK-NEXT: .localentry use_toc, .Lfunc_lep[[FN]]-.Lfunc_gep[[FN]] |
| ; CHECK-NEXT: %entry |
| %0 = load i64, i64* @number64, align 8 |
| %cmp = icmp eq i64 %0, %a |
| %conv1 = zext i1 %cmp to i64 |
| ret i64 %conv1 |
| } |
| |
| declare void @callee() |
| define void @use_toc_implicit() nounwind { |
| entry: |
| ; CHECK-LABEL: @use_toc_implicit |
| ; CHECK-NEXT: .L{{.*}}: |
| ; CHECK-NEXT: .Lfunc_gep[[FN:[0-9]+]]: |
| ; CHECK-NEXT: addis 2, 12, .TOC.-.Lfunc_gep[[FN]]@ha |
| ; CHECK-NEXT: addi 2, 2, .TOC.-.Lfunc_gep[[FN]]@l |
| ; CHECK-NEXT: .Lfunc_lep[[FN]]: |
| ; CHECK-NEXT: .localentry use_toc_implicit, .Lfunc_lep[[FN]]-.Lfunc_gep[[FN]] |
| ; CHECK-NEXT: %entry |
| call void @callee() |
| ret void |
| } |
| |
| define i64 @no_toc(i64 %a) nounwind { |
| entry: |
| ; CHECK-LABEL: @no_toc |
| ; CHECK-NEXT: .L{{.*}}: |
| ; CHECK-NEXT: %entry |
| ret i64 %a |
| } |
| |