| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs |
| ; RUN: llc -enable-machine-outliner -mtriple=ppc32-unknown-linux < %s | FileCheck %s |
| ; RUN: llc -enable-machine-outliner -mtriple=powerpc-ibm-aix-xcoff < %s | FileCheck %s -check-prefix=AIX |
| ; NOTE: Machine outliner doesn't run. |
| @x = global i32 0, align 4 |
| |
| define dso_local i32 @check_boundaries() #0 { |
| %1 = alloca i32, align 4 |
| %2 = alloca i32, align 4 |
| %3 = alloca i32, align 4 |
| %4 = alloca i32, align 4 |
| %5 = alloca i32, align 4 |
| store i32 0, i32* %1, align 4 |
| store i32 0, i32* %2, align 4 |
| %6 = load i32, i32* %2, align 4 |
| %7 = icmp ne i32 %6, 0 |
| br i1 %7, label %9, label %8 |
| |
| store i32 1, i32* %2, align 4 |
| store i32 2, i32* %3, align 4 |
| store i32 3, i32* %4, align 4 |
| store i32 4, i32* %5, align 4 |
| br label %10 |
| |
| store i32 1, i32* %4, align 4 |
| br label %10 |
| |
| %11 = load i32, i32* %2, align 4 |
| %12 = icmp ne i32 %11, 0 |
| br i1 %12, label %14, label %13 |
| |
| store i32 1, i32* %2, align 4 |
| store i32 2, i32* %3, align 4 |
| store i32 3, i32* %4, align 4 |
| store i32 4, i32* %5, align 4 |
| br label %15 |
| |
| store i32 1, i32* %4, align 4 |
| br label %15 |
| |
| ret i32 0 |
| } |
| |
| define dso_local i32 @main() #0 { |
| %1 = alloca i32, align 4 |
| %2 = alloca i32, align 4 |
| %3 = alloca i32, align 4 |
| %4 = alloca i32, align 4 |
| %5 = alloca i32, align 4 |
| |
| store i32 0, i32* %1, align 4 |
| store i32 0, i32* @x, align 4 |
| store i32 1, i32* %2, align 4 |
| store i32 2, i32* %3, align 4 |
| store i32 3, i32* %4, align 4 |
| store i32 4, i32* %5, align 4 |
| store i32 1, i32* @x, align 4 |
| call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() |
| store i32 1, i32* %2, align 4 |
| store i32 2, i32* %3, align 4 |
| store i32 3, i32* %4, align 4 |
| store i32 4, i32* %5, align 4 |
| ret i32 0 |
| } |
| |
| attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } |
| ; CHECK-LABEL: check_boundaries: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: stwu 1, -32(1) |
| ; CHECK-NEXT: stw 31, 28(1) |
| ; CHECK-NEXT: .cfi_def_cfa_offset 32 |
| ; CHECK-NEXT: .cfi_offset r31, -4 |
| ; CHECK-NEXT: mr 31, 1 |
| ; CHECK-NEXT: .cfi_def_cfa_register r31 |
| ; CHECK-NEXT: li 4, 0 |
| ; CHECK-NEXT: li 3, 1 |
| ; CHECK-NEXT: stw 4, 24(31) |
| ; CHECK-NEXT: li 4, 2 |
| ; CHECK-NEXT: li 5, 3 |
| ; CHECK-NEXT: li 6, 4 |
| ; CHECK-NEXT: cmplwi 3, 0 |
| ; CHECK-NEXT: stw 3, 20(31) |
| ; CHECK-NEXT: stw 4, 16(31) |
| ; CHECK-NEXT: stw 5, 12(31) |
| ; CHECK-NEXT: stw 6, 8(31) |
| ; CHECK-NEXT: beq 0, .LBB0_2 |
| ; CHECK-NEXT: # %bb.1: |
| ; CHECK-NEXT: stw 3, 12(31) |
| ; CHECK-NEXT: b .LBB0_3 |
| ; CHECK-NEXT: .LBB0_2: |
| ; CHECK-NEXT: stw 3, 20(31) |
| ; CHECK-NEXT: stw 4, 16(31) |
| ; CHECK-NEXT: stw 5, 12(31) |
| ; CHECK-NEXT: stw 6, 8(31) |
| ; CHECK-NEXT: .LBB0_3: |
| ; CHECK-NEXT: li 3, 0 |
| ; CHECK-NEXT: lwz 31, 28(1) |
| ; CHECK-NEXT: addi 1, 1, 32 |
| ; CHECK-NEXT: blr |
| ; |
| ; CHECK-LABEL: main: |
| ; CHECK: # %bb.0: |
| ; CHECK-NEXT: stwu 1, -32(1) |
| ; CHECK-NEXT: stw 31, 28(1) |
| ; CHECK-NEXT: .cfi_def_cfa_offset 32 |
| ; CHECK-NEXT: .cfi_offset r31, -4 |
| ; CHECK-NEXT: mr 31, 1 |
| ; CHECK-NEXT: .cfi_def_cfa_register r31 |
| ; CHECK-NEXT: li 3, 0 |
| ; CHECK-NEXT: stw 3, 24(31) |
| ; CHECK-NEXT: li 3, 1 |
| ; CHECK-NEXT: li 4, 2 |
| ; CHECK-NEXT: li 5, 3 |
| ; CHECK-NEXT: li 6, 4 |
| ; CHECK-NEXT: lis 7, x@ha |
| ; CHECK-NEXT: stw 3, 20(31) |
| ; CHECK-NEXT: stw 4, 16(31) |
| ; CHECK-NEXT: stw 5, 12(31) |
| ; CHECK-NEXT: stw 6, 8(31) |
| ; CHECK-NEXT: stw 3, x@l(7) |
| ; CHECK-NEXT: #APP |
| ; CHECK-NEXT: #NO_APP |
| ; CHECK-NEXT: stw 3, 20(31) |
| ; CHECK-NEXT: li 3, 0 |
| ; CHECK-NEXT: stw 4, 16(31) |
| ; CHECK-NEXT: stw 5, 12(31) |
| ; CHECK-NEXT: stw 6, 8(31) |
| ; CHECK-NEXT: lwz 31, 28(1) |
| ; CHECK-NEXT: addi 1, 1, 32 |
| ; CHECK-NEXT: blr |
| ; |
| ; AIX-LABEL: check_boundaries: |
| ; AIX: # %bb.0: |
| ; AIX-NEXT: stw 31, -4(1) |
| ; AIX-NEXT: stwu 1, -48(1) |
| ; AIX-NEXT: mr 31, 1 |
| ; AIX-NEXT: li 4, 0 |
| ; AIX-NEXT: li 3, 1 |
| ; AIX-NEXT: stw 4, 40(31) |
| ; AIX-NEXT: li 4, 2 |
| ; AIX-NEXT: li 5, 3 |
| ; AIX-NEXT: li 6, 4 |
| ; AIX-NEXT: cmplwi 3, 0 |
| ; AIX-NEXT: stw 3, 36(31) |
| ; AIX-NEXT: stw 4, 32(31) |
| ; AIX-NEXT: stw 5, 28(31) |
| ; AIX-NEXT: stw 6, 24(31) |
| ; AIX-NEXT: beq 0, L..BB0_2 |
| ; AIX-NEXT: # %bb.1: |
| ; AIX-NEXT: stw 3, 28(31) |
| ; AIX-NEXT: b L..BB0_3 |
| ; AIX-NEXT: L..BB0_2: |
| ; AIX-NEXT: stw 3, 36(31) |
| ; AIX-NEXT: stw 4, 32(31) |
| ; AIX-NEXT: stw 5, 28(31) |
| ; AIX-NEXT: stw 6, 24(31) |
| ; AIX-NEXT: L..BB0_3: |
| ; AIX-NEXT: li 3, 0 |
| ; AIX-NEXT: addi 1, 1, 48 |
| ; AIX-NEXT: lwz 31, -4(1) |
| ; AIX-NEXT: blr |
| ; |
| ; AIX-LABEL: main: |
| ; AIX: # %bb.0: |
| ; AIX-NEXT: stw 31, -4(1) |
| ; AIX-NEXT: stwu 1, -48(1) |
| ; AIX-NEXT: lwz 4, L..C0(2) # @x |
| ; AIX-NEXT: mr 31, 1 |
| ; AIX-NEXT: li 3, 0 |
| ; AIX-NEXT: stw 3, 40(31) |
| ; AIX-NEXT: li 3, 1 |
| ; AIX-NEXT: li 5, 2 |
| ; AIX-NEXT: li 6, 3 |
| ; AIX-NEXT: li 7, 4 |
| ; AIX-NEXT: stw 3, 36(31) |
| ; AIX-NEXT: stw 5, 32(31) |
| ; AIX-NEXT: stw 6, 28(31) |
| ; AIX-NEXT: stw 7, 24(31) |
| ; AIX-NEXT: stw 3, 0(4) |
| ; AIX-NEXT: #APP |
| ; AIX-NEXT: #NO_APP |
| ; AIX-NEXT: stw 3, 36(31) |
| ; AIX-NEXT: li 3, 0 |
| ; AIX-NEXT: stw 5, 32(31) |
| ; AIX-NEXT: stw 6, 28(31) |
| ; AIX-NEXT: stw 7, 24(31) |
| ; AIX-NEXT: addi 1, 1, 48 |
| ; AIX-NEXT: lwz 31, -4(1) |
| ; AIX-NEXT: blr |