| # REQUIRES: system-linux |
| |
| # RUN: llvm-mc -filetype=obj -triple x86_64-unknown-unknown \ |
| # RUN: %s -o %t.o |
| # RUN: link_fdata %s %t.o %t.fdata |
| # RUN: link_fdata %s %t.o %t.fdata2 "FDATA2" |
| # RUN: link_fdata %s %t.o %t.fdata3 "FDATA3" |
| # RUN: %clang %cflags %t.o -o %t.exe -Wl,-q |
| # RUN: llvm-bolt %t.exe --data %t.fdata --reorder-blocks=ext-tsp \ |
| # RUN: --print-finalized --loop-inversion-opt -o %t.out \ |
| # RUN: | FileCheck %s |
| # RUN: llvm-bolt %t.exe --data %t.fdata2 --reorder-blocks=ext-tsp \ |
| # RUN: --print-finalized --loop-inversion-opt -o %t.out2 \ |
| # RUN: | FileCheck --check-prefix="CHECK2" %s |
| # RUN: llvm-bolt %t.exe --data %t.fdata3 --reorder-blocks=none \ |
| # RUN: --print-finalized --loop-inversion-opt -o %t.out3 \ |
| # RUN: | FileCheck --check-prefix="CHECK3" %s |
| |
| # The case where the loop is used: |
| # FDATA: 1 main 2 1 main #.J1# 0 420 |
| # FDATA: 1 main b 1 main #.Jloop# 0 420 |
| # FDATA: 1 main b 1 main d 0 1 |
| # CHECK: BB Layout : .LBB00, .Ltmp0, .Ltmp1, .LFT0 |
| |
| # The case where the loop is unused: |
| # FDATA2: 1 main 2 1 main #.J1# 0 420 |
| # FDATA2: 1 main b 1 main #.Jloop# 0 1 |
| # FDATA2: 1 main b 1 main d 0 420 |
| # CHECK2: BB Layout : .LBB00, .Ltmp1, .LFT0, .Ltmp0 |
| |
| # The case where the loop does not require rotation: |
| # FDATA3: 1 main 2 1 main #.J1# 0 420 |
| # FDATA3: 1 main b 1 main #.Jloop# 0 420 |
| # FDATA3: 1 main b 1 main d 0 1 |
| # CHECK3: BB Layout : .LBB00, .Ltmp0, .Ltmp1, .LFT0 |
| |
| .text |
| .globl main |
| .type main, %function |
| .size main, .Lend-main |
| main: |
| xor %eax, %eax |
| jmp .J1 |
| .Jloop: |
| inc %rax |
| .J1: |
| cmp $16, %rax |
| jl .Jloop |
| retq |
| |
| # For relocations against .text |
| call exit |
| .Lend: |