llvm/test/CodeGen/PowerPC/2007-11-16-landingpad-split.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -simplifycfg-require-and-preserve-domtree=1 < %s | FileCheck %s
   3 ;; Formerly crashed, see PR 1508
   4 target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f128:64:128"
   5 target triple = "powerpc64-unknown-linux-gnu"
   6         %struct.Range = type { i64, i64 }
   7
   8 define void @Bork(i64 %range.0.0, i64 %range.0.1, i64 %size) personality ptr @__gxx_personality_v0 {
   9 ; CHECK-LABEL: Bork:
  10 ; CHECK:       # %bb.0: # %entry
  11 ; CHECK-NEXT:    mflr 0
  12 ; CHECK-NEXT:    std 31, -8(1)
  13 ; CHECK-NEXT:    stdu 1, -176(1)
  14 ; CHECK-NEXT:    std 0, 192(1)
  15 ; CHECK-NEXT:    .cfi_def_cfa_offset 176
  16 ; CHECK-NEXT:    .cfi_offset r31, -8
  17 ; CHECK-NEXT:    .cfi_offset lr, 16
  18 ; CHECK-NEXT:    mr 31, 1
  19 ; CHECK-NEXT:    .cfi_def_cfa_register r31
  20 ; CHECK-NEXT:    .cfi_offset r27, -40
  21 ; CHECK-NEXT:    .cfi_offset r28, -32
  22 ; CHECK-NEXT:    .cfi_offset r29, -24
  23 ; CHECK-NEXT:    .cfi_offset r30, -16
  24 ; CHECK-NEXT:    std 29, 152(31) # 8-byte Folded Spill
  25 ; CHECK-NEXT:    mr 29, 3
  26 ; CHECK-NEXT:    rldic 3, 5, 3, 29
  27 ; CHECK-NEXT:    std 27, 136(31) # 8-byte Folded Spill
  28 ; CHECK-NEXT:    std 30, 160(31) # 8-byte Folded Spill
  29 ; CHECK-NEXT:    mr 30, 4
  30 ; CHECK-NEXT:    addi 3, 3, 15
  31 ; CHECK-NEXT:    rldicl 3, 3, 60, 4
  32 ; CHECK-NEXT:    mr 27, 1
  33 ; CHECK-NEXT:    rldicl 3, 3, 4, 28
  34 ; CHECK-NEXT:    addi 4, 31, 176
  35 ; CHECK-NEXT:    neg 3, 3
  36 ; CHECK-NEXT:    std 28, 144(31) # 8-byte Folded Spill
  37 ; CHECK-NEXT:    stdux 4, 1, 3
  38 ; CHECK-NEXT:    addi 3, 1, 112
  39 ; CHECK-NEXT:  .Ltmp0:
  40 ; CHECK-NEXT:    bl Foo
  41 ; CHECK-NEXT:    nop
  42 ; CHECK-NEXT:  .Ltmp1:
  43 ; CHECK-NEXT:  # %bb.1: # %bb30.preheader
  44 ; CHECK-NEXT:    addi 28, 31, 120
  45 ; CHECK-NEXT:    cmpldi 30, 0
  46 ; CHECK-NEXT:    beq 0, .LBB0_4
  47 ; CHECK-NEXT:  .LBB0_2: # %cond_true
  48 ; CHECK-NEXT:    #
  49 ; CHECK-NEXT:  .Ltmp3:
  50 ; CHECK-NEXT:    mr 3, 29
  51 ; CHECK-NEXT:    mr 4, 28
  52 ; CHECK-NEXT:    bl Bar
  53 ; CHECK-NEXT:    nop
  54 ; CHECK-NEXT:  .Ltmp4:
  55 ; CHECK-NEXT:  # %bb.3: # %invcont23
  56 ; CHECK-NEXT:    #
  57 ; CHECK-NEXT:    ld 3, 128(31)
  58 ; CHECK-NEXT:    sub 30, 30, 3
  59 ; CHECK-NEXT:    cmpldi 30, 0
  60 ; CHECK-NEXT:    bne 0, .LBB0_2
  61 ; CHECK-NEXT:  .LBB0_4: # %cleanup
  62 ; CHECK-NEXT:    ld 30, 160(31) # 8-byte Folded Reload
  63 ; CHECK-NEXT:    ld 29, 152(31) # 8-byte Folded Reload
  64 ; CHECK-NEXT:    ld 28, 144(31) # 8-byte Folded Reload
  65 ; CHECK-NEXT:    ld 27, 136(31) # 8-byte Folded Reload
  66 ; CHECK-NEXT:    ld 1, 0(1)
  67 ; CHECK-NEXT:    ld 0, 16(1)
  68 ; CHECK-NEXT:    ld 31, -8(1)
  69 ; CHECK-NEXT:    mtlr 0
  70 ; CHECK-NEXT:    blr
  71 ; CHECK-NEXT:  .LBB0_5: # %unwind.loopexit.split-lp
  72 ; CHECK-NEXT:  .Ltmp2:
  73 ; CHECK-NEXT:    b .LBB0_7
  74 ; CHECK-NEXT:  .LBB0_6: # %unwind.loopexit
  75 ; CHECK-NEXT:  .Ltmp5:
  76 ; CHECK-NEXT:  .LBB0_7: # %unwind
  77 ; CHECK-NEXT:    ld 4, 0(1)
  78 ; CHECK-NEXT:    mr 1, 27
  79 ; CHECK-NEXT:    std 4, 0(1)
  80 ; CHECK-NEXT:    bl _Unwind_Resume
  81 ; CHECK-NEXT:    nop
  82 entry:
  83         %effectiveRange = alloca %struct.Range, align 8         ; <ptr> [#uses=2]
  84         %tmp4 = call ptr @llvm.stacksave()              ; <ptr> [#uses=1]
  85         %size1 = trunc i64 %size to i32         ; <i32> [#uses=1]
  86         %tmp17 = alloca ptr, i32 %size1         ; <ptr> [#uses=1]
  87         invoke void @Foo(ptr %tmp17)
  88                         to label %bb30.preheader unwind label %unwind
  89
  90 bb30.preheader:         ; preds = %entry
  91         %tmp26 = getelementptr %struct.Range, ptr %effectiveRange, i64 0, i32 1         ; <ptr> [#uses=1]
  92         br label %bb30
  93
  94 unwind:         ; preds = %cond_true, %entry
  95         %exn = landingpad {ptr, i32}
  96                  cleanup
  97         call void @llvm.stackrestore(ptr %tmp4)
  98         resume { ptr, i32 } %exn
  99
 100 invcont23:              ; preds = %cond_true
 101         %tmp27 = load i64, ptr %tmp26, align 8          ; <i64> [#uses=1]
 102         %tmp28 = sub i64 %range_addr.1.0, %tmp27                ; <i64> [#uses=1]
 103         br label %bb30
 104
 105 bb30:           ; preds = %invcont23, %bb30.preheader
 106         %range_addr.1.0 = phi i64 [ %tmp28, %invcont23 ], [ %range.0.1, %bb30.preheader ]               ; <i64> [#uses=2]
 107         %tmp33 = icmp eq i64 %range_addr.1.0, 0         ; <i1> [#uses=1]
 108         br i1 %tmp33, label %cleanup, label %cond_true
 109
 110 cond_true:              ; preds = %bb30
 111         invoke void @Bar(i64 %range.0.0, ptr %effectiveRange)
 112                         to label %invcont23 unwind label %unwind
 113
 114 cleanup:                ; preds = %bb30
 115         ret void
 116 }
 117
 118 declare ptr @llvm.stacksave() nounwind
 119
 120 declare void @Foo(ptr)
 121
 122 declare void @Bar(i64, ptr)
 123
 124 declare void @llvm.stackrestore(ptr) nounwind
 125
 126 declare i32 @__gxx_personality_v0(...)