# 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: