test/Transforms/Inline/crash.ll

   1 ; RUN: opt < %s -inline -argpromotion -instcombine -disable-output
   2
   3 ; This test was failing because the inliner would inline @list_DeleteElement
   4 ; into @list_DeleteDuplicates and then into @inf_GetBackwardPartnerLits,
   5 ; turning the indirect call into a direct one.  This allowed instcombine to see
   6 ; the bitcast and eliminate it, deleting the original call and introducing
   7 ; another one.  This crashed the inliner because the new call was not in the
   8 ; callgraph.
   9
  10 target datalayout = "e-p:32:32:32-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-f80:128:128"
  11 target triple = "i386-apple-darwin10.0"
  12
  13
  14 define void @list_DeleteElement(i32 (i8*, i8*)* nocapture %Test) nounwind ssp {
  15 entry:
  16   %0 = call i32 %Test(i8* null, i8* undef) nounwind
  17   ret void
  18 }
  19
  20
  21 define void @list_DeleteDuplicates(i32 (i8*, i8*)* nocapture %Test) nounwind ssp {
  22 foo:
  23   call void @list_DeleteElement(i32 (i8*, i8*)* %Test) nounwind ssp
  24   call fastcc void @list_Rplacd1284() nounwind ssp
  25   unreachable
  26
  27 }
  28
  29 define internal i32 @inf_LiteralsHaveSameSubtermAndAreFromSameClause(i32* nocapture %L1, i32* nocapture %L2) nounwind readonly ssp {
  30 entry:
  31   unreachable
  32 }
  33
  34
  35 define internal fastcc void @inf_GetBackwardPartnerLits(i32* nocapture %Flags) nounwind ssp {
  36 test:
  37   call void @list_DeleteDuplicates(i32 (i8*, i8*)* bitcast (i32 (i32*, i32*)* @inf_LiteralsHaveSameSubtermAndAreFromSameClause to i32 (i8*, i8*)*)) nounwind
  38   ret void
  39 }
  40
  41
  42 define void @inf_BackwardEmptySortPlusPlus() nounwind ssp {
  43 entry:
  44   call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp
  45   unreachable
  46 }
  47
  48 define void @inf_BackwardWeakening() nounwind ssp {
  49 entry:
  50   call fastcc void @inf_GetBackwardPartnerLits(i32* null) nounwind ssp
  51   unreachable
  52 }
  53
  54 declare fastcc void @list_Rplacd1284() nounwind ssp
  55
  56
  57
  58
  59 ;============================
  60 ; PR5208
  61
  62 define void @AAA() {
  63 entry:
  64   %A = alloca i8, i32 undef, align 1
  65   invoke fastcc void @XXX()
  66           to label %invcont98 unwind label %lpad156
  67
  68 invcont98:
  69   unreachable
  70
  71 lpad156:
  72   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
  73             cleanup
  74   unreachable
  75 }
  76
  77 declare i32 @__gxx_personality_v0(...)
  78
  79 declare fastcc void @YYY()
  80
  81 define internal fastcc void @XXX() {
  82 entry:
  83   %B = alloca i8, i32 undef, align 1
  84   invoke fastcc void @YYY()
  85           to label %bb260 unwind label %lpad
  86
  87 bb260:
  88   ret void
  89
  90 lpad:
  91   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
  92             cleanup
  93   resume { i8*, i32 } %exn
  94 }
  95
  96
  97
  98 ;; This exposed a crash handling devirtualized calls.
  99 define void @f1(void ()* %f) ssp {
 100 entry:
 101   call void %f()
 102   ret void
 103 }
 104
 105 define void @f4(i32 %size) ssp {
 106 entry:
 107   invoke void @f1(void ()* @f3)
 108           to label %invcont3 unwind label %lpad18
 109
 110 invcont3:                                         ; preds = %bb1
 111   ret void
 112
 113 lpad18:                                           ; preds = %invcont3, %bb1
 114   %exn = landingpad {i8*, i32} personality i32 (...)* @__gxx_personality_v0
 115             cleanup
 116   unreachable
 117 }
 118
 119 define void @f3() ssp {
 120 entry:
 121   unreachable
 122 }
 123
 124 declare void @f5() ssp
 125
 126
 127