Home | History | Annotate | Download | only in Inline 
      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   unreachable
     73 }
     74 
     75 declare fastcc void @YYY()
     76 
     77 define internal fastcc void @XXX() {
     78 entry:
     79   %B = alloca i8, i32 undef, align 1
     80   invoke fastcc void @YYY()
     81           to label %bb260 unwind label %lpad
     82 
     83 bb260:                              
     84   ret void
     85 
     86 lpad:                               
     87   unwind
     88 }
     89 
     90 
     91 
     92 ;; This exposed a crash handling devirtualized calls.
     93 define void @f1(void ()* %f) ssp {
     94 entry:
     95   call void %f()
     96   ret void
     97 }
     98 
     99 define void @f4(i32 %size) ssp {
    100 entry:
    101   invoke void @f1(void ()* @f3)
    102           to label %invcont3 unwind label %lpad18
    103 
    104 invcont3:                                         ; preds = %bb1
    105   ret void
    106 
    107 lpad18:                                           ; preds = %invcont3, %bb1
    108   unreachable
    109 }
    110 
    111 define void @f3() ssp {
    112 entry:
    113   unreachable
    114 }
    115 
    116 declare void @f5() ssp
    117 
    118 
    119 
    120