| ; RUN: llc < %s -mtriple=aarch64-none-linux-gnu --verify-machineinstrs -aarch64-b-offset-bits=9 -aarch64-tbz-offset-bits=6 -aarch64-cbz-offset-bits=6 -aarch64-bcc-offset-bits=6 | FileCheck %s |
| |
| define void @relax_b_nospill(i1 zeroext %0) { |
| ; CHECK-LABEL: relax_b_nospill: |
| ; CHECK: // %bb.0: // %entry |
| ; CHECK-NEXT: tbnz w0, |
| ; CHECK-SAME: LBB0_1 |
| ; CHECK-NEXT: // %bb.3: // %entry |
| ; CHECK-NEXT: b .LBB0_2 |
| ; CHECK-NEXT: .LBB0_1: // %iftrue |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: .zero 2048 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB0_2: // %iffalse |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: .zero 8 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: ret |
| entry: |
| br i1 %0, label %iftrue, label %iffalse |
| |
| iftrue: |
| call void asm sideeffect ".space 2048", ""() |
| ret void |
| |
| iffalse: |
| call void asm sideeffect ".space 8", ""() |
| ret void |
| } |
| |
| define void @relax_b_spill() { |
| ; CHECK-LABEL: relax_b_spill: // @relax_b_spill |
| ; CHECK: // %bb.0: // %entry |
| ; CHECK-COUNT-5: // 16-byte Folded Spill |
| ; CHECK-NOT: // 16-byte Folded Spill |
| ; CHECK: //APP |
| ; CHECK-COUNT-29: mov {{x[0-9]+}}, |
| ; CHECK-NOT: mov {{x[0-9]+}}, |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: b.eq .LBB1_1 |
| ; CHECK-NEXT: // %bb.4: // %entry |
| ; CHECK-NEXT: str [[SPILL_REGISTER:x[0-9]+]], [sp, |
| ; CHECK-SAME: -16]! |
| ; CHECK-NEXT: b .LBB1_5 |
| ; CHECK-NEXT: .LBB1_1: // %iftrue |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: .zero 2048 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: b .LBB1_3 |
| ; CHECK-NEXT: .LBB1_5: // %iffalse |
| ; CHECK-NEXT: ldr [[SPILL_REGISTER]], [sp], |
| ; CHECK-SAME: 16 |
| ; CHECK-NEXT: // %bb.2: // %iffalse |
| ; CHECK-NEXT: //APP |
| ; CHECK-COUNT-29: // reg use {{x[0-9]+}} |
| ; CHECK-NOT: // reg use {{x[0-9]+}} |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: .LBB1_3: // %common.ret |
| ; CHECK-COUNT-5: // 16-byte Folded Reload |
| ; CHECK-NOT: // 16-byte Folded Reload |
| ; CHECK-NEXT: ret |
| entry: |
| %x0 = call i64 asm sideeffect "mov x0, 1", "={x0}"() |
| %x1 = call i64 asm sideeffect "mov x1, 1", "={x1}"() |
| %x2 = call i64 asm sideeffect "mov x2, 1", "={x2}"() |
| %x3 = call i64 asm sideeffect "mov x3, 1", "={x3}"() |
| %x4 = call i64 asm sideeffect "mov x4, 1", "={x4}"() |
| %x5 = call i64 asm sideeffect "mov x5, 1", "={x5}"() |
| %x6 = call i64 asm sideeffect "mov x6, 1", "={x6}"() |
| %x7 = call i64 asm sideeffect "mov x7, 1", "={x7}"() |
| %x8 = call i64 asm sideeffect "mov x8, 1", "={x8}"() |
| %x9 = call i64 asm sideeffect "mov x9, 1", "={x9}"() |
| %x10 = call i64 asm sideeffect "mov x10, 1", "={x10}"() |
| %x11 = call i64 asm sideeffect "mov x11, 1", "={x11}"() |
| %x12 = call i64 asm sideeffect "mov x12, 1", "={x12}"() |
| %x13 = call i64 asm sideeffect "mov x13, 1", "={x13}"() |
| %x14 = call i64 asm sideeffect "mov x14, 1", "={x14}"() |
| %x15 = call i64 asm sideeffect "mov x15, 1", "={x15}"() |
| %x16 = call i64 asm sideeffect "mov x16, 1", "={x16}"() |
| %x17 = call i64 asm sideeffect "mov x17, 1", "={x17}"() |
| %x18 = call i64 asm sideeffect "mov x18, 1", "={x18}"() |
| %x19 = call i64 asm sideeffect "mov x19, 1", "={x19}"() |
| %x20 = call i64 asm sideeffect "mov x20, 1", "={x20}"() |
| %x21 = call i64 asm sideeffect "mov x21, 1", "={x21}"() |
| %x22 = call i64 asm sideeffect "mov x22, 1", "={x22}"() |
| %x23 = call i64 asm sideeffect "mov x23, 1", "={x23}"() |
| %x24 = call i64 asm sideeffect "mov x24, 1", "={x24}"() |
| %x25 = call i64 asm sideeffect "mov x25, 1", "={x25}"() |
| %x26 = call i64 asm sideeffect "mov x26, 1", "={x26}"() |
| %x27 = call i64 asm sideeffect "mov x27, 1", "={x27}"() |
| %x28 = call i64 asm sideeffect "mov x28, 1", "={x28}"() |
| |
| %cmp = icmp eq i64 %x16, %x15 |
| br i1 %cmp, label %iftrue, label %iffalse |
| |
| iftrue: |
| call void asm sideeffect ".space 2048", ""() |
| ret void |
| |
| iffalse: |
| call void asm sideeffect "# reg use $0", "{x0}"(i64 %x0) |
| call void asm sideeffect "# reg use $0", "{x1}"(i64 %x1) |
| call void asm sideeffect "# reg use $0", "{x2}"(i64 %x2) |
| call void asm sideeffect "# reg use $0", "{x3}"(i64 %x3) |
| call void asm sideeffect "# reg use $0", "{x4}"(i64 %x4) |
| call void asm sideeffect "# reg use $0", "{x5}"(i64 %x5) |
| call void asm sideeffect "# reg use $0", "{x6}"(i64 %x6) |
| call void asm sideeffect "# reg use $0", "{x7}"(i64 %x7) |
| call void asm sideeffect "# reg use $0", "{x8}"(i64 %x8) |
| call void asm sideeffect "# reg use $0", "{x9}"(i64 %x9) |
| call void asm sideeffect "# reg use $0", "{x10}"(i64 %x10) |
| call void asm sideeffect "# reg use $0", "{x11}"(i64 %x11) |
| call void asm sideeffect "# reg use $0", "{x12}"(i64 %x12) |
| call void asm sideeffect "# reg use $0", "{x13}"(i64 %x13) |
| call void asm sideeffect "# reg use $0", "{x14}"(i64 %x14) |
| call void asm sideeffect "# reg use $0", "{x15}"(i64 %x15) |
| call void asm sideeffect "# reg use $0", "{x16}"(i64 %x16) |
| call void asm sideeffect "# reg use $0", "{x17}"(i64 %x17) |
| call void asm sideeffect "# reg use $0", "{x18}"(i64 %x18) |
| call void asm sideeffect "# reg use $0", "{x19}"(i64 %x19) |
| call void asm sideeffect "# reg use $0", "{x20}"(i64 %x20) |
| call void asm sideeffect "# reg use $0", "{x21}"(i64 %x21) |
| call void asm sideeffect "# reg use $0", "{x22}"(i64 %x22) |
| call void asm sideeffect "# reg use $0", "{x23}"(i64 %x23) |
| call void asm sideeffect "# reg use $0", "{x24}"(i64 %x24) |
| call void asm sideeffect "# reg use $0", "{x25}"(i64 %x25) |
| call void asm sideeffect "# reg use $0", "{x26}"(i64 %x26) |
| call void asm sideeffect "# reg use $0", "{x27}"(i64 %x27) |
| call void asm sideeffect "# reg use $0", "{x28}"(i64 %x28) |
| ret void |
| } |
| |
| define void @relax_b_x16_taken() { |
| ; CHECK-LABEL: relax_b_x16_taken: // @relax_b_x16_taken |
| ; COM: Since the source of the out-of-range branch is hot and x16 is |
| ; COM: taken, it makes sense to spill x16 and let the linker insert |
| ; COM: fixup code for this branch rather than inflating the hot code |
| ; COM: size by eagerly relaxing the unconditional branch. |
| ; CHECK: // %bb.0: // %entry |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: mov x16, #1 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: cbnz x16, .LBB2_1 |
| ; CHECK-NEXT: // %bb.3: // %entry |
| ; CHECK-NEXT: str [[SPILL_REGISTER]], [sp, |
| ; CHECK-SAME: -16]! |
| ; CHECK-NEXT: b .LBB2_4 |
| ; CHECK-NEXT: .LBB2_1: // %iftrue |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: .zero 2048 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: .LBB2_4: // %iffalse |
| ; CHECK-NEXT: ldr [[SPILL_REGISTER]], [sp], |
| ; CHECK-SAME: 16 |
| ; CHECK-NEXT: // %bb.2: // %iffalse |
| ; CHECK-NEXT: //APP |
| ; CHECK-NEXT: // reg use x16 |
| ; CHECK-NEXT: //NO_APP |
| ; CHECK-NEXT: ret |
| entry: |
| %x16 = call i64 asm sideeffect "mov x16, 1", "={x16}"() |
| |
| %cmp = icmp eq i64 %x16, 0 |
| br i1 %cmp, label %iffalse, label %iftrue |
| |
| iftrue: |
| call void asm sideeffect ".space 2048", ""() |
| ret void |
| |
| iffalse: |
| call void asm sideeffect "# reg use $0", "{x16}"(i64 %x16) |
| ret void |
| } |
| |
| declare i32 @bar() |
| declare i32 @baz() |
