llvm/test/Transforms/PhaseOrdering/gdce.ll

   1 ; RUN: opt -O2 -S < %s | FileCheck %s
   2
   3 ; Run global DCE to eliminate unused ctor and dtor.
   4 ; rdar://9142819
   5
   6 ; CHECK: main
   7 ; CHECK-NOT: _ZN4BaseC1Ev
   8 ; CHECK-NOT: _ZN4BaseD1Ev
   9 ; CHECK-NOT: _ZN4BaseD2Ev
  10 ; CHECK-NOT: _ZN4BaseC2Ev
  11 ; CHECK-NOT: _ZN4BaseD0Ev
  12
  13 %class.Base = type { ptr }
  14
  15 @_ZTV4Base = linkonce_odr unnamed_addr constant [4 x ptr] [ptr null, ptr @_ZTI4Base, ptr @_ZN4BaseD1Ev, ptr @_ZN4BaseD0Ev]
  16 @_ZTVN10__cxxabiv117__class_type_infoE = external global ptr
  17 @_ZTS4Base = linkonce_odr constant [6 x i8] c"4Base\00"
  18 @_ZTI4Base = linkonce_odr unnamed_addr constant { ptr, ptr } { ptr getelementptr inbounds (ptr, ptr @_ZTVN10__cxxabiv117__class_type_infoE, i64 2), ptr @_ZTS4Base }
  19
  20 define i32 @main() uwtable ssp {
  21 entry:
  22   %retval = alloca i32, align 4
  23   %b = alloca %class.Base, align 8
  24   %cleanup.dest.slot = alloca i32
  25   store i32 0, ptr %retval
  26   call void @_ZN4BaseC1Ev(ptr %b)
  27   store i32 0, ptr %retval
  28   store i32 1, ptr %cleanup.dest.slot
  29   call void @_ZN4BaseD1Ev(ptr %b)
  30   %0 = load i32, ptr %retval
  31   ret i32 %0
  32 }
  33
  34 define linkonce_odr void @_ZN4BaseC1Ev(ptr %this) unnamed_addr uwtable ssp align 2 {
  35 entry:
  36   %this.addr = alloca ptr, align 8
  37   store ptr %this, ptr %this.addr, align 8
  38   %this1 = load ptr, ptr %this.addr
  39   call void @_ZN4BaseC2Ev(ptr %this1)
  40   ret void
  41 }
  42
  43 define linkonce_odr void @_ZN4BaseD1Ev(ptr %this) unnamed_addr uwtable ssp align 2 {
  44 entry:
  45   %this.addr = alloca ptr, align 8
  46   store ptr %this, ptr %this.addr, align 8
  47   %this1 = load ptr, ptr %this.addr
  48   call void @_ZN4BaseD2Ev(ptr %this1)
  49   ret void
  50 }
  51
  52 define linkonce_odr void @_ZN4BaseD2Ev(ptr %this) unnamed_addr nounwind uwtable ssp align 2 {
  53 entry:
  54   %this.addr = alloca ptr, align 8
  55   store ptr %this, ptr %this.addr, align 8
  56   %this1 = load ptr, ptr %this.addr
  57   ret void
  58 }
  59
  60 define linkonce_odr void @_ZN4BaseC2Ev(ptr %this) unnamed_addr nounwind uwtable ssp align 2 {
  61 entry:
  62   %this.addr = alloca ptr, align 8
  63   store ptr %this, ptr %this.addr, align 8
  64   %this1 = load ptr, ptr %this.addr
  65   store ptr getelementptr inbounds ([4 x ptr], ptr @_ZTV4Base, i64 0, i64 2), ptr %this1
  66   ret void
  67 }
  68
  69 define linkonce_odr void @_ZN4BaseD0Ev(ptr %this) unnamed_addr uwtable ssp align 2 personality ptr @__gxx_personality_v0 {
  70 entry:
  71   %this.addr = alloca ptr, align 8
  72   %exn.slot = alloca ptr
  73   %ehselector.slot = alloca i32
  74   store ptr %this, ptr %this.addr, align 8
  75   %this1 = load ptr, ptr %this.addr
  76   invoke void @_ZN4BaseD1Ev(ptr %this1)
  77           to label %invoke.cont unwind label %lpad
  78
  79 invoke.cont:                                      ; preds = %entry
  80   call void @_ZdlPv(ptr %this1) nounwind
  81   ret void
  82
  83 lpad:                                             ; preds = %entry
  84   %0 = landingpad { ptr, i32 }
  85           cleanup
  86   %1 = extractvalue { ptr, i32 } %0, 0
  87   store ptr %1, ptr %exn.slot
  88   %2 = extractvalue { ptr, i32 } %0, 1
  89   store i32 %2, ptr %ehselector.slot
  90   call void @_ZdlPv(ptr %this1) nounwind
  91   br label %eh.resume
  92
  93 eh.resume:                                        ; preds = %lpad
  94   %exn = load ptr, ptr %exn.slot
  95   %sel = load i32, ptr %ehselector.slot
  96   %lpad.val = insertvalue { ptr, i32 } undef, ptr %exn, 0
  97   %lpad.val2 = insertvalue { ptr, i32 } %lpad.val, i32 %sel, 1
  98   resume { ptr, i32 } %lpad.val2
  99 }
 100
 101 declare i32 @__gxx_personality_v0(...)
 102
 103 declare void @_ZdlPv(ptr) nounwind