llvm/test/CodeGen/X86/lrshrink-ehpad-phis.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
; RUN: llc -mtriple x86_64-unknown-linux-gnu %s -o - | FileCheck %s

declare i32 @__gxx_personality_v0(...)
declare void @maythrow()
declare void @cleanup(i32)

@external_bool = external global i1
@externalA = external global i32
@externalB = external global i32
@externalC = external global i32
@externalD = external global i32

define void @test() personality ptr @__gxx_personality_v0  {
; CHECK-LABEL: test:
; CHECK:       # %bb.0:
; CHECK-NEXT:    pushq %rbp
; CHECK-NEXT:    .cfi_def_cfa_offset 16
; CHECK-NEXT:    pushq %r15
; CHECK-NEXT:    .cfi_def_cfa_offset 24
; CHECK-NEXT:    pushq %r14
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    pushq %r13
; CHECK-NEXT:    .cfi_def_cfa_offset 40
; CHECK-NEXT:    pushq %r12
; CHECK-NEXT:    .cfi_def_cfa_offset 48
; CHECK-NEXT:    pushq %rbx
; CHECK-NEXT:    .cfi_def_cfa_offset 56
; CHECK-NEXT:    pushq %rax
; CHECK-NEXT:    .cfi_def_cfa_offset 64
; CHECK-NEXT:    .cfi_offset %rbx, -56
; CHECK-NEXT:    .cfi_offset %r12, -48
; CHECK-NEXT:    .cfi_offset %r13, -40
; CHECK-NEXT:    .cfi_offset %r14, -32
; CHECK-NEXT:    .cfi_offset %r15, -24
; CHECK-NEXT:    .cfi_offset %rbp, -16
; CHECK-NEXT:    movq external_bool@GOTPCREL(%rip), %rax
; CHECK-NEXT:    cmpb $1, (%rax)
; CHECK-NEXT:    jne .LBB0_3
; CHECK-NEXT:  # %bb.1: # %branchA
; CHECK-NEXT:    movq externalA@GOTPCREL(%rip), %rax
; CHECK-NEXT:    movl (%rax), %eax
; CHECK-NEXT:    movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
; CHECK-NEXT:    movq externalC@GOTPCREL(%rip), %rax
; CHECK-NEXT:    movl (%rax), %eax
; CHECK-NEXT:    movl %eax, (%rsp) # 4-byte Spill
; CHECK-NEXT:    #APP
; CHECK-NEXT:    #NO_APP
; CHECK-NEXT:  .Ltmp2:
; CHECK-NEXT:    callq maythrow@PLT
; CHECK-NEXT:  .Ltmp3:
; CHECK-NEXT:    jmp .LBB0_4
; CHECK-NEXT:  .LBB0_3: # %branchB
; CHECK-NEXT:    movq externalB@GOTPCREL(%rip), %rax
; CHECK-NEXT:    movl (%rax), %eax
; CHECK-NEXT:    movl %eax, {{[-0-9]+}}(%r{{[sb]}}p) # 4-byte Spill
; CHECK-NEXT:    movq externalD@GOTPCREL(%rip), %rax
; CHECK-NEXT:    movl (%rax), %eax
; CHECK-NEXT:    movl %eax, (%rsp) # 4-byte Spill
; CHECK-NEXT:    #APP
; CHECK-NEXT:    #NO_APP
; CHECK-NEXT:  .Ltmp0:
; CHECK-NEXT:    callq maythrow@PLT
; CHECK-NEXT:  .Ltmp1:
; CHECK-NEXT:  .LBB0_4: # %end
; CHECK-NEXT:    addq $8, %rsp
; CHECK-NEXT:    .cfi_def_cfa_offset 56
; CHECK-NEXT:    popq %rbx
; CHECK-NEXT:    .cfi_def_cfa_offset 48
; CHECK-NEXT:    popq %r12
; CHECK-NEXT:    .cfi_def_cfa_offset 40
; CHECK-NEXT:    popq %r13
; CHECK-NEXT:    .cfi_def_cfa_offset 32
; CHECK-NEXT:    popq %r14
; CHECK-NEXT:    .cfi_def_cfa_offset 24
; CHECK-NEXT:    popq %r15
; CHECK-NEXT:    .cfi_def_cfa_offset 16
; CHECK-NEXT:    popq %rbp
; CHECK-NEXT:    .cfi_def_cfa_offset 8
; CHECK-NEXT:    retq
; CHECK-NEXT:  .LBB0_2: # %lpad
; CHECK-NEXT:    .cfi_def_cfa_offset 64
; CHECK-NEXT:  .Ltmp4:
; CHECK-NEXT:    movq %rax, %rbx
; CHECK-NEXT:    movl {{[-0-9]+}}(%r{{[sb]}}p), %edi # 4-byte Reload
; CHECK-NEXT:    addl (%rsp), %edi # 4-byte Folded Reload
; CHECK-NEXT:    callq cleanup@PLT
; CHECK-NEXT:    movq %rbx, %rdi
; CHECK-NEXT:    callq _Unwind_Resume@PLT
  %1 = load i1, ptr @external_bool
  br i1 %1, label %branchA, label %branchB
branchA:
  %valueA = load i32, ptr @externalA
  %valueC = load i32, ptr @externalC
  call void asm sideeffect "", "~{rbp},~{rsi},~{rdi},~{rcx},~{rbx},~{r12},~{r13},~{r14},~{r15},~{flags}"()
  invoke void @maythrow() to label %end unwind label %lpad
branchB:
  %valueB = load i32, ptr @externalB
  %valueD = load i32, ptr @externalD
  call void asm sideeffect "", "~{rbp},~{rsi},~{rdi},~{rcx},~{rbx},~{r12},~{r13},~{r14},~{r15},~{flags}"()
  invoke void @maythrow() to label %end unwind label %lpad
lpad:
  %phiValue = phi i32 [%valueA, %branchA], [%valueB, %branchB]
  %phiValue2 = phi i32 [%valueC, %branchA], [%valueD, %branchB]
  %lp = landingpad { ptr, i32 }
          cleanup
  %3 = add i32 %phiValue2, %phiValue
  call void @cleanup(i32 %3)
  resume { ptr, i32 } %lp
end:
  ret void
}