test/CodeGen/X86/unwindraise.ll

   1 ; RUN: llc < %s -verify-machineinstrs
   2 ; PR13188
   3 ;
   4 ; The _Unwind_RaiseException function can return normally and via eh.return.
   5 ; This causes confusion about the function live-out registers, since the two
   6 ; different ways of returning have different return values.
   7 ;
   8 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
   9 target triple = "x86_64-unknown-freebsd9.0"
  10
  11 %struct._Unwind_Context = type { [18 x i8*], i8*, i8*, i8*, %struct.dwarf_eh_bases, i64, i64, i64, [18 x i8] }
  12 %struct.dwarf_eh_bases = type { i8*, i8*, i8* }
  13 %struct._Unwind_FrameState = type { %struct.frame_state_reg_info, i64, i64, i8*, i32, i8*, i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)*, i64, i64, i64, i8, i8, i8, i8, i8* }
  14 %struct.frame_state_reg_info = type { [18 x %struct.anon], %struct.frame_state_reg_info* }
  15 %struct.anon = type { %union.anon, i32 }
  16 %union.anon = type { i64 }
  17 %struct._Unwind_Exception = type { i64, void (i32, %struct._Unwind_Exception*)*, i64, i64 }
  18
  19 @dwarf_reg_size_table = external hidden unnamed_addr global [18 x i8], align 16
  20
  21 declare void @abort() noreturn
  22
  23 declare fastcc i32 @uw_frame_state_for(%struct._Unwind_Context*, %struct._Unwind_FrameState*) uwtable
  24
  25 define hidden i32 @_Unwind_RaiseException(%struct._Unwind_Exception* %exc) uwtable {
  26 entry:
  27   %fs.i = alloca %struct._Unwind_FrameState, align 8
  28   %this_context = alloca %struct._Unwind_Context, align 8
  29   %cur_context = alloca %struct._Unwind_Context, align 8
  30   %fs = alloca %struct._Unwind_FrameState, align 8
  31   call void @llvm.eh.unwind.init()
  32   %0 = call i8* @llvm.eh.dwarf.cfa(i32 0)
  33   %1 = call i8* @llvm.returnaddress(i32 0)
  34   call fastcc void @uw_init_context_1(%struct._Unwind_Context* %this_context, i8* %0, i8* %1)
  35   %2 = bitcast %struct._Unwind_Context* %cur_context to i8*
  36   %3 = bitcast %struct._Unwind_Context* %this_context to i8*
  37   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %3, i64 240, i32 8, i1 false)
  38   %personality = getelementptr inbounds %struct._Unwind_FrameState, %struct._Unwind_FrameState* %fs, i64 0, i32 6
  39   %retaddr_column.i = getelementptr inbounds %struct._Unwind_FrameState, %struct._Unwind_FrameState* %fs, i64 0, i32 9
  40   %flags.i.i.i.i = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 5
  41   %ra.i = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 2
  42   %exception_class = getelementptr inbounds %struct._Unwind_Exception, %struct._Unwind_Exception* %exc, i64 0, i32 0
  43   br label %while.body
  44
  45 while.body:                                       ; preds = %uw_update_context.exit, %entry
  46   %call = call fastcc i32 @uw_frame_state_for(%struct._Unwind_Context* %cur_context, %struct._Unwind_FrameState* %fs)
  47   switch i32 %call, label %do.end21 [
  48     i32 5, label %do.end21.loopexit46
  49     i32 0, label %if.end3
  50   ]
  51
  52 if.end3:                                          ; preds = %while.body
  53   %4 = load i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)*, i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)** %personality, align 8
  54   %tobool = icmp eq i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)* %4, null
  55   br i1 %tobool, label %if.end13, label %if.then4
  56
  57 if.then4:                                         ; preds = %if.end3
  58   %5 = load i64, i64* %exception_class, align 8
  59   %call6 = call i32 %4(i32 1, i32 1, i64 %5, %struct._Unwind_Exception* %exc, %struct._Unwind_Context* %cur_context)
  60   switch i32 %call6, label %do.end21.loopexit46 [
  61     i32 6, label %while.end
  62     i32 8, label %if.end13
  63   ]
  64
  65 if.end13:                                         ; preds = %if.then4, %if.end3
  66   call fastcc void @uw_update_context_1(%struct._Unwind_Context* %cur_context, %struct._Unwind_FrameState* %fs)
  67   %6 = load i64, i64* %retaddr_column.i, align 8
  68   %conv.i = trunc i64 %6 to i32
  69   %cmp.i.i.i = icmp slt i32 %conv.i, 18
  70   br i1 %cmp.i.i.i, label %cond.end.i.i.i, label %cond.true.i.i.i
  71
  72 cond.true.i.i.i:                                  ; preds = %if.end13
  73   call void @abort() noreturn
  74   unreachable
  75
  76 cond.end.i.i.i:                                   ; preds = %if.end13
  77   %sext.i = shl i64 %6, 32
  78   %idxprom.i.i.i = ashr exact i64 %sext.i, 32
  79   %arrayidx.i.i.i = getelementptr inbounds [18 x i8], [18 x i8]* @dwarf_reg_size_table, i64 0, i64 %idxprom.i.i.i
  80   %7 = load i8, i8* %arrayidx.i.i.i, align 1
  81   %arrayidx2.i.i.i = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 0, i64 %idxprom.i.i.i
  82   %8 = load i8*, i8** %arrayidx2.i.i.i, align 8
  83   %9 = load i64, i64* %flags.i.i.i.i, align 8
  84   %and.i.i.i.i = and i64 %9, 4611686018427387904
  85   %tobool.i.i.i = icmp eq i64 %and.i.i.i.i, 0
  86   br i1 %tobool.i.i.i, label %if.end.i.i.i, label %land.lhs.true.i.i.i
  87
  88 land.lhs.true.i.i.i:                              ; preds = %cond.end.i.i.i
  89   %arrayidx4.i.i.i = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 8, i64 %idxprom.i.i.i
  90   %10 = load i8, i8* %arrayidx4.i.i.i, align 1
  91   %tobool6.i.i.i = icmp eq i8 %10, 0
  92   br i1 %tobool6.i.i.i, label %if.end.i.i.i, label %if.then.i.i.i
  93
  94 if.then.i.i.i:                                    ; preds = %land.lhs.true.i.i.i
  95   %11 = ptrtoint i8* %8 to i64
  96   br label %uw_update_context.exit
  97
  98 if.end.i.i.i:                                     ; preds = %land.lhs.true.i.i.i, %cond.end.i.i.i
  99   %cmp8.i.i.i = icmp eq i8 %7, 8
 100   br i1 %cmp8.i.i.i, label %if.then10.i.i.i, label %cond.true14.i.i.i
 101
 102 if.then10.i.i.i:                                  ; preds = %if.end.i.i.i
 103   %12 = bitcast i8* %8 to i64*
 104   %13 = load i64, i64* %12, align 8
 105   br label %uw_update_context.exit
 106
 107 cond.true14.i.i.i:                                ; preds = %if.end.i.i.i
 108   call void @abort() noreturn
 109   unreachable
 110
 111 uw_update_context.exit:                           ; preds = %if.then10.i.i.i, %if.then.i.i.i
 112   %retval.0.i.i.i = phi i64 [ %11, %if.then.i.i.i ], [ %13, %if.then10.i.i.i ]
 113   %14 = inttoptr i64 %retval.0.i.i.i to i8*
 114   store i8* %14, i8** %ra.i, align 8
 115   br label %while.body
 116
 117 while.end:                                        ; preds = %if.then4
 118   %private_1 = getelementptr inbounds %struct._Unwind_Exception, %struct._Unwind_Exception* %exc, i64 0, i32 2
 119   store i64 0, i64* %private_1, align 8
 120   %15 = load i8*, i8** %ra.i, align 8
 121   %16 = ptrtoint i8* %15 to i64
 122   %private_2 = getelementptr inbounds %struct._Unwind_Exception, %struct._Unwind_Exception* %exc, i64 0, i32 3
 123   store i64 %16, i64* %private_2, align 8
 124   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %2, i8* %3, i64 240, i32 8, i1 false)
 125   %17 = bitcast %struct._Unwind_FrameState* %fs.i to i8*
 126   call void @llvm.lifetime.start(i64 -1, i8* %17)
 127   %personality.i = getelementptr inbounds %struct._Unwind_FrameState, %struct._Unwind_FrameState* %fs.i, i64 0, i32 6
 128   %retaddr_column.i22 = getelementptr inbounds %struct._Unwind_FrameState, %struct._Unwind_FrameState* %fs.i, i64 0, i32 9
 129   br label %while.body.i
 130
 131 while.body.i:                                     ; preds = %uw_update_context.exit44, %while.end
 132   %call.i = call fastcc i32 @uw_frame_state_for(%struct._Unwind_Context* %cur_context, %struct._Unwind_FrameState* %fs.i)
 133   %18 = load i8*, i8** %ra.i, align 8
 134   %19 = ptrtoint i8* %18 to i64
 135   %20 = load i64, i64* %private_2, align 8
 136   %cmp.i = icmp eq i64 %19, %20
 137   %cmp2.i = icmp eq i32 %call.i, 0
 138   br i1 %cmp2.i, label %if.end.i, label %do.end21
 139
 140 if.end.i:                                         ; preds = %while.body.i
 141   %21 = load i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)*, i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)** %personality.i, align 8
 142   %tobool.i = icmp eq i32 (i32, i32, i64, %struct._Unwind_Exception*, %struct._Unwind_Context*)* %21, null
 143   br i1 %tobool.i, label %if.end12.i, label %if.then3.i
 144
 145 if.then3.i:                                       ; preds = %if.end.i
 146   %or.i = select i1 %cmp.i, i32 6, i32 2
 147   %22 = load i64, i64* %exception_class, align 8
 148   %call5.i = call i32 %21(i32 1, i32 %or.i, i64 %22, %struct._Unwind_Exception* %exc, %struct._Unwind_Context* %cur_context)
 149   switch i32 %call5.i, label %do.end21 [
 150     i32 7, label %do.body19
 151     i32 8, label %if.end12.i
 152   ]
 153
 154 if.end12.i:                                       ; preds = %if.then3.i, %if.end.i
 155   br i1 %cmp.i, label %cond.true.i, label %cond.end.i
 156
 157 cond.true.i:                                      ; preds = %if.end12.i
 158   call void @abort() noreturn
 159   unreachable
 160
 161 cond.end.i:                                       ; preds = %if.end12.i
 162   call fastcc void @uw_update_context_1(%struct._Unwind_Context* %cur_context, %struct._Unwind_FrameState* %fs.i)
 163   %23 = load i64, i64* %retaddr_column.i22, align 8
 164   %conv.i23 = trunc i64 %23 to i32
 165   %cmp.i.i.i24 = icmp slt i32 %conv.i23, 18
 166   br i1 %cmp.i.i.i24, label %cond.end.i.i.i33, label %cond.true.i.i.i25
 167
 168 cond.true.i.i.i25:                                ; preds = %cond.end.i
 169   call void @abort() noreturn
 170   unreachable
 171
 172 cond.end.i.i.i33:                                 ; preds = %cond.end.i
 173   %sext.i26 = shl i64 %23, 32
 174   %idxprom.i.i.i27 = ashr exact i64 %sext.i26, 32
 175   %arrayidx.i.i.i28 = getelementptr inbounds [18 x i8], [18 x i8]* @dwarf_reg_size_table, i64 0, i64 %idxprom.i.i.i27
 176   %24 = load i8, i8* %arrayidx.i.i.i28, align 1
 177   %arrayidx2.i.i.i29 = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 0, i64 %idxprom.i.i.i27
 178   %25 = load i8*, i8** %arrayidx2.i.i.i29, align 8
 179   %26 = load i64, i64* %flags.i.i.i.i, align 8
 180   %and.i.i.i.i31 = and i64 %26, 4611686018427387904
 181   %tobool.i.i.i32 = icmp eq i64 %and.i.i.i.i31, 0
 182   br i1 %tobool.i.i.i32, label %if.end.i.i.i39, label %land.lhs.true.i.i.i36
 183
 184 land.lhs.true.i.i.i36:                            ; preds = %cond.end.i.i.i33
 185   %arrayidx4.i.i.i34 = getelementptr inbounds %struct._Unwind_Context, %struct._Unwind_Context* %cur_context, i64 0, i32 8, i64 %idxprom.i.i.i27
 186   %27 = load i8, i8* %arrayidx4.i.i.i34, align 1
 187   %tobool6.i.i.i35 = icmp eq i8 %27, 0
 188   br i1 %tobool6.i.i.i35, label %if.end.i.i.i39, label %if.then.i.i.i37
 189
 190 if.then.i.i.i37:                                  ; preds = %land.lhs.true.i.i.i36
 191   %28 = ptrtoint i8* %25 to i64
 192   br label %uw_update_context.exit44
 193
 194 if.end.i.i.i39:                                   ; preds = %land.lhs.true.i.i.i36, %cond.end.i.i.i33
 195   %cmp8.i.i.i38 = icmp eq i8 %24, 8
 196   br i1 %cmp8.i.i.i38, label %if.then10.i.i.i40, label %cond.true14.i.i.i41
 197
 198 if.then10.i.i.i40:                                ; preds = %if.end.i.i.i39
 199   %29 = bitcast i8* %25 to i64*
 200   %30 = load i64, i64* %29, align 8
 201   br label %uw_update_context.exit44
 202
 203 cond.true14.i.i.i41:                              ; preds = %if.end.i.i.i39
 204   call void @abort() noreturn
 205   unreachable
 206
 207 uw_update_context.exit44:                         ; preds = %if.then10.i.i.i40, %if.then.i.i.i37
 208   %retval.0.i.i.i42 = phi i64 [ %28, %if.then.i.i.i37 ], [ %30, %if.then10.i.i.i40 ]
 209   %31 = inttoptr i64 %retval.0.i.i.i42 to i8*
 210   store i8* %31, i8** %ra.i, align 8
 211   br label %while.body.i
 212
 213 do.body19:                                        ; preds = %if.then3.i
 214   call void @llvm.lifetime.end(i64 -1, i8* %17)
 215   %call20 = call fastcc i64 @uw_install_context_1(%struct._Unwind_Context* %this_context, %struct._Unwind_Context* %cur_context)
 216   %32 = load i8*, i8** %ra.i, align 8
 217   call void @llvm.eh.return.i64(i64 %call20, i8* %32)
 218   unreachable
 219
 220 do.end21.loopexit46:                              ; preds = %if.then4, %while.body
 221   %retval.0.ph = phi i32 [ 3, %if.then4 ], [ 5, %while.body ]
 222   br label %do.end21
 223
 224 do.end21:                                         ; preds = %do.end21.loopexit46, %if.then3.i, %while.body.i, %while.body
 225   %retval.0 = phi i32 [ %retval.0.ph, %do.end21.loopexit46 ], [ 3, %while.body ], [ 2, %while.body.i ], [ 2, %if.then3.i ]
 226   ret i32 %retval.0
 227 }
 228
 229 declare void @llvm.eh.unwind.init() nounwind
 230
 231 declare fastcc void @uw_init_context_1(%struct._Unwind_Context*, i8*, i8*) uwtable
 232
 233 declare i8* @llvm.eh.dwarf.cfa(i32) nounwind
 234
 235 declare i8* @llvm.returnaddress(i32) nounwind readnone
 236
 237 declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
 238
 239 declare fastcc i64 @uw_install_context_1(%struct._Unwind_Context*, %struct._Unwind_Context*) uwtable
 240
 241 declare void @llvm.eh.return.i64(i64, i8*) nounwind
 242
 243 declare fastcc void @uw_update_context_1(%struct._Unwind_Context*, %struct._Unwind_FrameState* nocapture) uwtable
 244
 245 declare void @llvm.lifetime.start(i64, i8* nocapture) nounwind
 246
 247 declare void @llvm.lifetime.end(i64, i8* nocapture) nounwind