llvm-project/llvm/test/CodeGen/PowerPC/block-placement-1.mir

# RUN: llc -verify-machineinstrs -mcpu=pwr9 -mtriple powerpc64le-unknown-linux-gnu \
# RUN:   -run-pass=block-placement -o - %s | FileCheck %s
--- |
  ; ModuleID = 'test.ll'
  source_filename = "test.ll"
  target datalayout = "e-m:e-i64:64-n32:64"
  
  @_ZTIl = external constant i8*
  @_ZTIi = external constant i8*
  @_ZTIc = external constant i8*
  
  define dso_local void @_Z6calleev() local_unnamed_addr {
  entry:
    tail call void @__cxa_rethrow()
    unreachable
  }
  
  declare void @__cxa_rethrow() local_unnamed_addr
  
  define dso_local void @_Z14TestSinglePredv() local_unnamed_addr personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
  entry:
    br label %for.body
  
  for.cond.cleanup:                                 ; preds = %for.inc
    ret void
  
  for.body:                                         ; preds = %for.inc, %entry
    %lsr.iv = phi i32 [ %lsr.iv.next, %for.inc ], [ 10, %entry ]
    invoke void @__cxa_rethrow()
            to label %.noexc unwind label %lpad
  
  .noexc:                                           ; preds = %for.body
    unreachable
  
  lpad:                                             ; preds = %for.body
    %0 = landingpad { i8*, i32 }
            catch i8* bitcast (i8** @_ZTIl to i8*)
            catch i8* bitcast (i8** @_ZTIi to i8*)
            catch i8* null
    %1 = extractvalue { i8*, i32 } %0, 0
    %2 = extractvalue { i8*, i32 } %0, 1
    %3 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIl to i8*))
    %matches = icmp eq i32 %2, %3
    br i1 %matches, label %catch4, label %catch.fallthrough
  
  catch4:                                           ; preds = %lpad
    %4 = tail call i8* @__cxa_begin_catch(i8* %1)
    invoke void @__cxa_rethrow()
            to label %unreachable unwind label %lpad6
  
  catch.fallthrough:                                ; preds = %lpad
    %5 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIi to i8*))
    %matches1 = icmp eq i32 %2, %5
    %6 = tail call i8* @__cxa_begin_catch(i8* %1)
    br i1 %matches1, label %catch2, label %catch
  
  catch2:                                           ; preds = %catch.fallthrough
    tail call void @__cxa_end_catch()
    br label %for.inc
  
  catch:                                            ; preds = %catch.fallthrough
    tail call void @__cxa_end_catch()
    br label %for.inc
  
  lpad6:                                            ; preds = %catch4
    %7 = landingpad { i8*, i32 }
            cleanup
            catch i8* bitcast (i8** @_ZTIc to i8*)
    %8 = extractvalue { i8*, i32 } %7, 1
    %9 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @_ZTIc to i8*))
    %matches9 = icmp eq i32 %8, %9
    br i1 %matches9, label %catch10, label %ehcleanup
  
  catch10:                                          ; preds = %lpad6
    %10 = extractvalue { i8*, i32 } %7, 0
    %11 = tail call i8* @__cxa_begin_catch(i8* %10)
    tail call void @__cxa_end_catch()
    tail call void @__cxa_end_catch()
    br label %for.inc
  
  for.inc:                                          ; preds = %catch10, %catch, %catch2
    %lsr.iv.next = add nsw i32 %lsr.iv, -1
    %exitcond = icmp eq i32 %lsr.iv.next, 0
    br i1 %exitcond, label %for.cond.cleanup, label %for.body
  
  ehcleanup:                                        ; preds = %lpad6
    tail call void @__cxa_end_catch()
    %exn.obj = extractvalue { i8*, i32 } %7, 0
    call void @_Unwind_Resume(i8* %exn.obj)
    unreachable
  
  unreachable:                                      ; preds = %catch4
    unreachable
  }
  
  declare i32 @__gxx_personality_v0(...)
  
  ; Function Attrs: nounwind readnone
  declare i32 @llvm.eh.typeid.for(i8*) #0
  
  declare i8* @__cxa_begin_catch(i8*) local_unnamed_addr
  
  declare void @__cxa_end_catch() local_unnamed_addr
  
  ; Function Attrs: nounwind
  declare void @llvm.stackprotector(i8*, i8**) #1
  
  declare void @_Unwind_Resume(i8*)
  
  attributes #0 = { nounwind readnone }
  attributes #1 = { nounwind }

...
---
name:            _Z6calleev
alignment:       16
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
registers:       []
liveins:         []
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       32
  offsetAdjustment: 0
  maxAlignment:    0
  adjustsStack:    true
  hasCalls:        true
  stackProtector:  ''
  maxCallFrameSize: 32
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  localFrameSize:  0
  savePoint:       ''
  restorePoint:    ''
fixedStack:      []
stack:           []
callSites:       []
constants:       []
machineFunctionInfo: {}
body:             |
  bb.0.entry:
    $x0 = MFLR8 implicit $lr8
    STD killed $x0, 16, $x1
    $x1 = STDU $x1, -32, $x1
    CFI_INSTRUCTION def_cfa_offset 32
    CFI_INSTRUCTION offset $lr8, 16
    BL8_NOP @__cxa_rethrow, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1

...
---
name:            _Z14TestSinglePredv
alignment:       16
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
registers:       []
liveins:         []
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       64
  offsetAdjustment: 0
  maxAlignment:    0
  adjustsStack:    true
  hasCalls:        true
  stackProtector:  ''
  maxCallFrameSize: 32
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  localFrameSize:  0
  savePoint:       ''
  restorePoint:    ''
fixedStack:
  - { id: 0, type: spill-slot, offset: -80, size: 8, alignment: 16, stack-id: default, 
      callee-saved-register: '$x30', callee-saved-restored: true, debug-info-variable: '', 
      debug-info-expression: '', debug-info-location: '' }
  - { id: 1, type: spill-slot, offset: -88, size: 8, alignment: 8, stack-id: default, 
      callee-saved-register: '$x29', callee-saved-restored: true, debug-info-variable: '', 
      debug-info-expression: '', debug-info-location: '' }
stack:           []
callSites:       []
constants:       []
machineFunctionInfo: {}
body:             |
  bb.0.entry:
    successors: %bb.1(0x80000000)
    liveins: $x29, $x30
  
    $x0 = MFLR8 implicit $lr8
    CFI_INSTRUCTION def_cfa_offset 64
    CFI_INSTRUCTION offset $lr8, 16
    CFI_INSTRUCTION offset $x29, -24
    CFI_INSTRUCTION offset $x30, -16
    STD killed $x29, -24, $x1 :: (store 8 into %fixed-stack.1)
    STD killed $x30, -16, $x1 :: (store 8 into %fixed-stack.0, align 16)
    STD killed $x0, 16, $x1
    $x1 = STDU $x1, -64, $x1
    renamable $r29 = LI 10
  
  bb.1.for.body:
    successors: %bb.2(0x7ffff800), %bb.3(0x00000800)
    liveins: $r29
  
    EH_LABEL <mcsymbol .Ltmp0>
    BL8_NOP @__cxa_rethrow, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1
    EH_LABEL <mcsymbol .Ltmp1>
  
  bb.2..noexc:
    successors: 
  
  
  bb.3.lpad (landing-pad):
    successors: %bb.4(0x00000001), %bb.5(0x7fffffff)
    liveins: $r29, $x3, $x4
  
    EH_LABEL <mcsymbol .Ltmp2>
    $x30 = OR8 killed $x4, $x4
    renamable $cr0 = CMPLWI renamable $r30, 3
    BCC 71, killed renamable $cr0, %bb.5
  
  bb.4.catch4:
    successors: %bb.11(0x7ffff800), %bb.6(0x00000800)
    liveins: $r29, $x3
  
    BL8_NOP @__cxa_begin_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit $x2, implicit-def $r1, implicit-def dead $x3
    EH_LABEL <mcsymbol .Ltmp3>
    BL8_NOP @__cxa_rethrow, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1
    EH_LABEL <mcsymbol .Ltmp4>
    B %bb.11
  
  bb.5.catch.fallthrough:
    successors: %bb.8(0x80000000)
    liveins: $r29, $x3, $x30
  
    BL8_NOP @__cxa_begin_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit $x2, implicit-def $r1, implicit-def dead $x3
    renamable $cr0 = CMPLWI killed renamable $r30, 2, implicit $x30
    B %bb.8
  
  bb.6.lpad6 (landing-pad):
    successors: %bb.7(0x7fffffff), %bb.10(0x00000001)
    liveins: $r29, $x3, $x4
  
    EH_LABEL <mcsymbol .Ltmp5>
    renamable $cr0 = CMPLWI killed renamable $r4, 4, implicit $x4
    $x30 = OR8 killed $x3, $x3
    BCC 70, killed renamable $cr0, %bb.10
  
  bb.7.catch10:
    successors: %bb.8(0x80000000)
    liveins: $r29, $x30
  
    $x3 = OR8 killed $x30, $x30
    BL8_NOP @__cxa_begin_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit-def $r1, implicit-def dead $x3
    BL8_NOP @__cxa_end_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1
  
  bb.8.for.inc:
    successors: %bb.9(0x04000000), %bb.1(0x7c000000)
    liveins: $r29
  
    BL8_NOP @__cxa_end_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1
    renamable $r29 = nsw ADDI killed renamable $r29, -1
    renamable $cr0 = CMPLWI renamable $r29, 0
    BCC 68, killed renamable $cr0, %bb.1
  
  bb.9.for.cond.cleanup:
    $x1 = ADDI8 $x1, 64
    $x0 = LD 16, $x1
    MTLR8 killed $x0, implicit-def $lr8
    $x30 = LD -16, $x1 :: (load 8 from %fixed-stack.0, align 16)
    $x29 = LD -24, $x1 :: (load 8 from %fixed-stack.1)
    BLR8 implicit $lr8, implicit $rm
  
  bb.10.ehcleanup:
    successors: 
    liveins: $x30
  
    BL8_NOP @__cxa_end_catch, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit-def $r1
    $x3 = OR8 killed $x30, $x30
    BL8_NOP @_Unwind_Resume, csr_svr464_altivec, implicit-def dead $lr8, implicit $rm, implicit killed $x3, implicit-def $r1
  
  bb.11.unreachable:

  ; CHECK:      bb.1.for.body:
  ; CHECK:        successors: %bb.2(0x7ffff800), %bb.3(0x00000800)
  ; CHECK:        B %bb.2

  ; CHECK:      bb.4.catch4:
  ; CHECK:        successors: %bb.11(0x7ffff800), %bb.6(0x00000800)
  ; CHECK:        B %bb.11

  ; CHECK:      bb.2..noexc:

  ; CHECK:      bb.11.unreachable: 
...