llvm/llvm/test/CodeGen/X86/split-reg-with-hint.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2
; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s

; %ptr has a hint to %rdi in entry block, it also has a interference with %rdi
; in block if.then. It should be split in cold block if.then.
; Similarly %p2, %p3, %p4, %p5 and %p6 should also be split in cold block
; if.then.

define ptr @foo(ptr %ptr, i64 %p2, i64 %p3, i64 %p4, i64 %p5, i64 %p6) {
; CHECK-LABEL: foo:
; CHECK:       # %bb.0: # %entry
; CHECK-NEXT:    testq %rdi, %rdi
; CHECK-NEXT:    je .LBB0_1
; CHECK-NEXT:  # %bb.2: # %if.end
; CHECK-NEXT:    incq %rdi
; CHECK-NEXT:    jmp qux@PLT # TAILCALL
; CHECK-NEXT:  .LBB0_1: # %if.then
; CHECK-NEXT:    pushq %r15
; CHECK-NEXT:    .cfi_def_cfa_offset 16
; CHECK-NEXT:    pushq %r14
; CHECK-NEXT:    .cfi_def_cfa_offset 24
; CHECK-NEXT:    pushq %r13
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    pushq %r12
; CHECK-NEXT:    .cfi_def_cfa_offset 40
; CHECK-NEXT:    pushq %rbx
; CHECK-NEXT:    .cfi_def_cfa_offset 48
; CHECK-NEXT:    .cfi_offset %rbx, -48
; CHECK-NEXT:    .cfi_offset %r12, -40
; CHECK-NEXT:    .cfi_offset %r13, -32
; CHECK-NEXT:    .cfi_offset %r14, -24
; CHECK-NEXT:    .cfi_offset %r15, -16
; CHECK-NEXT:    movq %rsi, %rbx
; CHECK-NEXT:    movq %rdx, %r14
; CHECK-NEXT:    movq %rcx, %r15
; CHECK-NEXT:    movq %r8, %r12
; CHECK-NEXT:    movq %r9, %r13
; CHECK-NEXT:    callq bar@PLT
; CHECK-NEXT:    movq %rbx, %rsi
; CHECK-NEXT:    movq %r14, %rdx
; CHECK-NEXT:    movq %r15, %rcx
; CHECK-NEXT:    movq %r12, %r8
; CHECK-NEXT:    movq %r13, %r9
; CHECK-NEXT:    movq %rax, %rdi
; CHECK-NEXT:    popq %rbx
; CHECK-NEXT:    .cfi_def_cfa_offset 40
; CHECK-NEXT:    popq %r12
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    popq %r13
; CHECK-NEXT:    .cfi_def_cfa_offset 24
; CHECK-NEXT:    popq %r14
; CHECK-NEXT:    .cfi_def_cfa_offset 16
; CHECK-NEXT:    popq %r15
; CHECK-NEXT:    .cfi_def_cfa_offset 8
; CHECK-NEXT:    .cfi_restore %rbx
; CHECK-NEXT:    .cfi_restore %r12
; CHECK-NEXT:    .cfi_restore %r13
; CHECK-NEXT:    .cfi_restore %r14
; CHECK-NEXT:    .cfi_restore %r15
; CHECK-NEXT:    incq %rdi
; CHECK-NEXT:    jmp qux@PLT # TAILCALL
entry:
  %tobool.not = icmp eq ptr %ptr, null
  br i1 %tobool.not, label %if.then, label %if.end, !prof !5

if.then:                                          ; preds = %entry
  %call = tail call ptr @bar(ptr %ptr, i64 %p2, i64 %p3, i64 %p4, i64 %p5, i64 %p6)
  br label %if.end

if.end:                                           ; preds = %if.then, %entry
  %ptr.addr.0 = phi ptr [ %call, %if.then ], [ %ptr, %entry ]
  %incdec.ptr = getelementptr inbounds i8, ptr %ptr.addr.0, i64 1
  %call2 = tail call ptr @qux(ptr %incdec.ptr, i64 %p2, i64 %p3, i64 %p4, i64 %p5, i64 %p6)
  ret ptr %call2
}

!5 = !{!"branch_weights", i32 1, i32 2000}

declare ptr @bar(ptr, i64, i64, i64, i64, i64)
declare ptr @qux(ptr, i64, i64, i64, i64, i64)