test/CodeGen/ARM/2010-06-21-nondarwin-tc.ll

   1 ; RUN: llc < %s -march=arm -mtriple=armv4t-unknown-linux-gnueabi  | FileCheck %s
   2 ; PR 7433
   3
   4 %0 = type { i8*, i8* }
   5 %1 = type { i8*, i8*, i8* }
   6 %"class.llvm::Record" = type { i32, %"class.std::basic_string", %"class.llvm::SMLoc", %"class.std::vector", %"class.std::vector", %"class.std::vector" }
   7 %"class.llvm::RecordVal" = type { %"class.std::basic_string", %"struct.llvm::Init"*, i32, %"struct.llvm::Init"* }
   8 %"class.llvm::SMLoc" = type { i8* }
   9 %"class.llvm::StringInit" = type { [8 x i8], %"class.std::basic_string" }
  10 %"class.std::basic_string" = type { %"class.llvm::SMLoc" }
  11 %"class.std::vector" = type { [12 x i8] }
  12 %"struct.llvm::Init" = type { i32 (...)** }
  13
  14 @_ZTIN4llvm5RecTyE = external constant %0         ; <%0*> [#uses=1]
  15 @_ZTIN4llvm4InitE = external constant %0          ; <%0*> [#uses=1]
  16 @_ZTIN4llvm11RecordRecTyE = external constant %1  ; <%1*> [#uses=1]
  17 @.str8 = external constant [47 x i8]              ; <[47 x i8]*> [#uses=1]
  18 @_ZTIN4llvm9UnsetInitE = external constant %1     ; <%1*> [#uses=1]
  19 @.str51 = external constant [45 x i8]             ; <[45 x i8]*> [#uses=1]
  20 @__PRETTY_FUNCTION__._ZNK4llvm7VarInit12getFieldInitERNS_6RecordEPKNS_9RecordValERKSs = external constant [116 x i8] ; <[116 x i8]*> [#uses=1]
  21
  22 @_ZN4llvm9RecordValC1ERKSsPNS_5RecTyEj = alias void (%"class.llvm::RecordVal"*, %"class.std::basic_string"*, %"struct.llvm::Init"*, i32)* @_ZN4llvm9RecordValC2ERKSsPNS_5RecTyEj ; <void (%"class.llvm::RecordVal"*, %"class.std::basic_string"*, %"struct.llvm::Init"*, i32)*> [#uses=0]
  23
  24 declare i8* @__dynamic_cast(i8*, i8*, i8*, i32)
  25
  26 declare void @__assert_fail(i8*, i8*, i32, i8*) noreturn
  27
  28 declare void @_ZN4llvm9RecordValC2ERKSsPNS_5RecTyEj(%"class.llvm::RecordVal"*, %"class.std::basic_string"*, %"struct.llvm::Init"*, i32) align 2
  29
  30 define %"struct.llvm::Init"* @_ZNK4llvm7VarInit12getFieldInitERNS_6RecordEPKNS_9RecordValERKSs(%"class.llvm::StringInit"* %this, %"class.llvm::Record"* %R, %"class.llvm::RecordVal"* %RV, %"class.std::basic_string"* %FieldName) align 2 {
  31 ;CHECK:  ldmia sp!, {r4, r5, r6, r7, r8, lr}
  32 ;CHECK:  bx  r12  @ TAILCALL
  33 entry:
  34   %.loc = alloca i32                              ; <i32*> [#uses=2]
  35   %tmp.i = getelementptr inbounds %"class.llvm::StringInit"* %this, i32 0, i32 0, i32 4 ; <i8*> [#uses=1]
  36   %0 = bitcast i8* %tmp.i to %"struct.llvm::Init"** ; <%"struct.llvm::Init"**> [#uses=1]
  37   %tmp2.i = load %"struct.llvm::Init"** %0        ; <%"struct.llvm::Init"*> [#uses=2]
  38   %1 = icmp eq %"struct.llvm::Init"* %tmp2.i, null ; <i1> [#uses=1]
  39   br i1 %1, label %entry.return_crit_edge, label %tmpbb
  40
  41 entry.return_crit_edge:                           ; preds = %entry
  42   br label %return
  43
  44 tmpbb:                                            ; preds = %entry
  45   %2 = bitcast %"struct.llvm::Init"* %tmp2.i to i8* ; <i8*> [#uses=1]
  46   %3 = tail call i8* @__dynamic_cast(i8* %2, i8* bitcast (%0* @_ZTIN4llvm5RecTyE to i8*), i8* bitcast (%1* @_ZTIN4llvm11RecordRecTyE to i8*), i32 -1) ; <i8*> [#uses=1]
  47   %phitmp = icmp eq i8* %3, null                  ; <i1> [#uses=1]
  48   br i1 %phitmp, label %.return_crit_edge, label %if.then
  49
  50 .return_crit_edge:                                ; preds = %tmpbb
  51   br label %return
  52
  53 if.then:                                          ; preds = %tmpbb
  54   %tmp2.i.i.i.i = getelementptr inbounds %"class.llvm::StringInit"* %this, i32 0, i32 1, i32 0, i32 0 ; <i8**> [#uses=1]
  55   %tmp3.i.i.i.i = load i8** %tmp2.i.i.i.i         ; <i8*> [#uses=2]
  56   %arrayidx.i.i.i.i = getelementptr inbounds i8* %tmp3.i.i.i.i, i32 -12 ; <i8*> [#uses=1]
  57   %tmp.i.i.i = bitcast i8* %arrayidx.i.i.i.i to i32* ; <i32*> [#uses=1]
  58   %tmp2.i.i.i = load i32* %tmp.i.i.i              ; <i32> [#uses=1]
  59   %tmp.i5 = getelementptr inbounds %"class.llvm::Record"* %R, i32 0, i32 4 ; <%"class.std::vector"*> [#uses=1]
  60   %tmp2.i.i = getelementptr inbounds %"class.llvm::Record"* %R, i32 0, i32 4, i32 0, i32 4 ; <i8*> [#uses=1]
  61   %4 = bitcast i8* %tmp2.i.i to %"class.llvm::RecordVal"** ; <%"class.llvm::RecordVal"**> [#uses=1]
  62   %tmp3.i.i6 = load %"class.llvm::RecordVal"** %4 ; <%"class.llvm::RecordVal"*> [#uses=1]
  63   %tmp5.i.i = bitcast %"class.std::vector"* %tmp.i5 to %"class.llvm::RecordVal"** ; <%"class.llvm::RecordVal"**> [#uses=1]
  64   %tmp6.i.i = load %"class.llvm::RecordVal"** %tmp5.i.i ; <%"class.llvm::RecordVal"*> [#uses=5]
  65   %sub.ptr.lhs.cast.i.i = ptrtoint %"class.llvm::RecordVal"* %tmp3.i.i6 to i32 ; <i32> [#uses=1]
  66   %sub.ptr.rhs.cast.i.i = ptrtoint %"class.llvm::RecordVal"* %tmp6.i.i to i32 ; <i32> [#uses=1]
  67   %sub.ptr.sub.i.i = sub i32 %sub.ptr.lhs.cast.i.i, %sub.ptr.rhs.cast.i.i ; <i32> [#uses=1]
  68   %sub.ptr.div.i.i = ashr i32 %sub.ptr.sub.i.i, 4 ; <i32> [#uses=1]
  69   br label %codeRepl
  70
  71 codeRepl:                                         ; preds = %if.then
  72   %targetBlock = call i1 @_ZNK4llvm7VarInit12getFieldInitERNS_6RecordEPKNS_9RecordValERKSs_for.cond.i(i32 %sub.ptr.div.i.i, %"class.llvm::RecordVal"* %tmp6.i.i, i32 %tmp2.i.i.i, i8* %tmp3.i.i.i.i, i32* %.loc) ; <i1> [#uses=1]
  73   %.reload = load i32* %.loc                      ; <i32> [#uses=3]
  74   br i1 %targetBlock, label %for.cond.i.return_crit_edge, label %_ZN4llvm6Record8getValueENS_9StringRefE.exit
  75
  76 for.cond.i.return_crit_edge:                      ; preds = %codeRepl
  77   br label %return
  78
  79 _ZN4llvm6Record8getValueENS_9StringRefE.exit:     ; preds = %codeRepl
  80   %add.ptr.i.i = getelementptr inbounds %"class.llvm::RecordVal"* %tmp6.i.i, i32 %.reload ; <%"class.llvm::RecordVal"*> [#uses=2]
  81   %tobool5 = icmp eq %"class.llvm::RecordVal"* %add.ptr.i.i, null ; <i1> [#uses=1]
  82   br i1 %tobool5, label %_ZN4llvm6Record8getValueENS_9StringRefE.exit.return_crit_edge, label %if.then6
  83
  84 _ZN4llvm6Record8getValueENS_9StringRefE.exit.return_crit_edge: ; preds = %_ZN4llvm6Record8getValueENS_9StringRefE.exit
  85   br label %return
  86
  87 if.then6:                                         ; preds = %_ZN4llvm6Record8getValueENS_9StringRefE.exit
  88   %cmp = icmp eq %"class.llvm::RecordVal"* %add.ptr.i.i, %RV ; <i1> [#uses=1]
  89   br i1 %cmp, label %if.then6.if.end_crit_edge, label %land.lhs.true
  90
  91 if.then6.if.end_crit_edge:                        ; preds = %if.then6
  92   br label %if.end
  93
  94 land.lhs.true:                                    ; preds = %if.then6
  95   %tobool10 = icmp eq %"class.llvm::RecordVal"* %RV, null ; <i1> [#uses=1]
  96   br i1 %tobool10, label %lor.lhs.false, label %land.lhs.true.return_crit_edge
  97
  98 land.lhs.true.return_crit_edge:                   ; preds = %land.lhs.true
  99   br label %return
 100
 101 lor.lhs.false:                                    ; preds = %land.lhs.true
 102   %tmp.i3 = getelementptr inbounds %"class.llvm::RecordVal"* %tmp6.i.i, i32 %.reload, i32 3 ; <%"struct.llvm::Init"**> [#uses=1]
 103   %tmp2.i4 = load %"struct.llvm::Init"** %tmp.i3  ; <%"struct.llvm::Init"*> [#uses=2]
 104   %5 = icmp eq %"struct.llvm::Init"* %tmp2.i4, null ; <i1> [#uses=1]
 105   br i1 %5, label %lor.lhs.false.if.end_crit_edge, label %tmpbb1
 106
 107 lor.lhs.false.if.end_crit_edge:                   ; preds = %lor.lhs.false
 108   br label %if.end
 109
 110 tmpbb1:                                           ; preds = %lor.lhs.false
 111   %6 = bitcast %"struct.llvm::Init"* %tmp2.i4 to i8* ; <i8*> [#uses=1]
 112   %7 = tail call i8* @__dynamic_cast(i8* %6, i8* bitcast (%0* @_ZTIN4llvm4InitE to i8*), i8* bitcast (%1* @_ZTIN4llvm9UnsetInitE to i8*), i32 -1) ; <i8*> [#uses=1]
 113   %phitmp32 = icmp eq i8* %7, null                ; <i1> [#uses=1]
 114   br i1 %phitmp32, label %.if.end_crit_edge, label %.return_crit_edge1
 115
 116 .return_crit_edge1:                               ; preds = %tmpbb1
 117   br label %return
 118
 119 .if.end_crit_edge:                                ; preds = %tmpbb1
 120   br label %if.end
 121
 122 if.end:                                           ; preds = %.if.end_crit_edge, %lor.lhs.false.if.end_crit_edge, %if.then6.if.end_crit_edge
 123   %tmp.i1 = getelementptr inbounds %"class.llvm::RecordVal"* %tmp6.i.i, i32 %.reload, i32 3 ; <%"struct.llvm::Init"**> [#uses=1]
 124   %tmp2.i2 = load %"struct.llvm::Init"** %tmp.i1  ; <%"struct.llvm::Init"*> [#uses=3]
 125   %8 = bitcast %"class.llvm::StringInit"* %this to %"struct.llvm::Init"* ; <%"struct.llvm::Init"*> [#uses=1]
 126   %cmp19 = icmp eq %"struct.llvm::Init"* %tmp2.i2, %8 ; <i1> [#uses=1]
 127   br i1 %cmp19, label %cond.false, label %cond.end
 128
 129 cond.false:                                       ; preds = %if.end
 130   tail call void @__assert_fail(i8* getelementptr inbounds ([45 x i8]* @.str51, i32 0, i32 0), i8* getelementptr inbounds ([47 x i8]* @.str8, i32 0, i32 0), i32 1141, i8* getelementptr inbounds ([116 x i8]* @__PRETTY_FUNCTION__._ZNK4llvm7VarInit12getFieldInitERNS_6RecordEPKNS_9RecordValERKSs, i32 0, i32 0)) noreturn
 131   unreachable
 132
 133 cond.end:                                         ; preds = %if.end
 134   %9 = bitcast %"struct.llvm::Init"* %tmp2.i2 to %"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)*** ; <%"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)***> [#uses=1]
 135   %10 = load %"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)*** %9 ; <%"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)**> [#uses=1]
 136   %vfn = getelementptr inbounds %"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)** %10, i32 8 ; <%"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)**> [#uses=1]
 137   %11 = load %"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)** %vfn ; <%"struct.llvm::Init"* (%"struct.llvm::Init"*, %"class.llvm::Record"*, %"class.llvm::RecordVal"*, %"class.std::basic_string"*)*> [#uses=1]
 138   %call25 = tail call %"struct.llvm::Init"* %11(%"struct.llvm::Init"* %tmp2.i2, %"class.llvm::Record"* %R, %"class.llvm::RecordVal"* %RV, %"class.std::basic_string"* %FieldName) ; <%"struct.llvm::Init"*> [#uses=1]
 139   ret %"struct.llvm::Init"* %call25
 140
 141 return:                                           ; preds = %.return_crit_edge1, %land.lhs.true.return_crit_edge, %_ZN4llvm6Record8getValueENS_9StringRefE.exit.return_crit_edge, %for.cond.i.return_crit_edge, %.return_crit_edge, %entry.return_crit_edge
 142   ret %"struct.llvm::Init"* null
 143 }
 144
 145 declare i1 @_ZNK4llvm7VarInit12getFieldInitERNS_6RecordEPKNS_9RecordValERKSs_for.cond.i(i32, %"class.llvm::RecordVal"*, i32, i8*, i32*)