llvm/test/Transforms/InstCombine/intptr8.ll

   1 ; RUN: opt < %s  -instcombine -S | FileCheck %s
   2
   3 ; PR45033: Don't try to insert a cast into a catchswich block.
   4
   5 target datalayout = "e-m:w-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-pc-windows-msvc"
   7
   8 %struct.intrusive_ptr = type { %struct.C* }
   9 %struct.C = type { %struct.intrusive_ref_counter }
  10 %struct.intrusive_ref_counter = type { i32 }
  11
  12 declare dso_local %struct.C* @"?mk@@YAPEAUC@@XZ"() #3
  13 declare dso_local void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter*) #3
  14 declare dso_local void @"?terminate@@YAXXZ"()
  15 declare dso_local i32 @__CxxFrameHandler3(...)
  16
  17 define dso_local void @"?crash@@YAXXZ"() local_unnamed_addr #0 personality i8* bitcast (i32 (...)* @__CxxFrameHandler3 to i8*) {
  18 entry:
  19   %call1 = invoke %struct.C* @"?mk@@YAPEAUC@@XZ"()
  20           to label %invoke.cont2 unwind label %catch.dispatch
  21
  22 invoke.cont2:                                     ; preds = %entry
  23   %0 = ptrtoint %struct.C* %call1 to i64
  24   %call5 = invoke %struct.C* @"?mk@@YAPEAUC@@XZ"()
  25           to label %try.cont unwind label %catch.dispatch
  26
  27 catch.dispatch:                                   ; preds = %invoke.cont2, %entry
  28   %a.sroa.0.0 = phi i64 [ %0, %invoke.cont2 ], [ 0, %entry ]
  29   %1 = catchswitch within none [label %catch] unwind label %ehcleanup
  30
  31 catch:                                            ; preds = %catch.dispatch
  32   %2 = catchpad within %1 [i8* null, i32 64, i8* null]
  33   catchret from %2 to label %try.cont
  34
  35 try.cont:                                         ; preds = %invoke.cont2, %catch
  36   %a.sroa.0.1 = phi i64 [ %0, %invoke.cont2 ], [ %a.sroa.0.0, %catch ]
  37   %3 = inttoptr i64 %a.sroa.0.1 to %struct.C*
  38   %tobool.i3 = icmp eq %struct.C* %3, null
  39   br i1 %tobool.i3, label %"??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit6", label %if.then.i4
  40
  41 if.then.i4:                                       ; preds = %try.cont
  42   %4 = getelementptr %struct.C, %struct.C* %3, i64 0, i32 0
  43   invoke void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter* %4)
  44           to label %"??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit6" unwind label %terminate.i5
  45
  46 terminate.i5:                                     ; preds = %if.then.i4
  47   %5 = cleanuppad within none []
  48   call void @"?terminate@@YAXXZ"() #4 [ "funclet"(token %5) ]
  49   unreachable
  50
  51 "??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit6":         ; preds = %try.cont, %if.then.i4
  52   ret void
  53
  54 ehcleanup:                                        ; preds = %catch.dispatch
  55   %6 = cleanuppad within none []
  56   %7 = inttoptr i64 %a.sroa.0.0 to %struct.C*
  57   %tobool.i = icmp eq %struct.C* %7, null
  58   br i1 %tobool.i, label %"??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit", label %if.then.i
  59
  60 if.then.i:                                        ; preds = %ehcleanup
  61   %8 = getelementptr %struct.C, %struct.C* %7, i64 0, i32 0
  62   invoke void @"?intrusive_ptr_release@@YAXPEBUintrusive_ref_counter@@@Z"(%struct.intrusive_ref_counter* %8) [ "funclet"(token %6) ]
  63           to label %"??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit" unwind label %terminate.i
  64
  65 terminate.i:                                      ; preds = %if.then.i
  66   %9 = cleanuppad within %6 []
  67   call void @"?terminate@@YAXXZ"() #4 [ "funclet"(token %9) ]
  68   unreachable
  69
  70 "??1?$intrusive_ptr@UC@@@@QEAA@XZ.exit":          ; preds = %ehcleanup, %if.then.i
  71   cleanupret from %6 unwind to caller
  72 }
  73
  74 ; CHECK-LABEL: define dso_local void @"?crash@@YAXXZ"
  75 ; CHECK: catch.dispatch:
  76 ; CHECK-NEXT: %a.sroa.0.0 = phi i64
  77 ; CHECK-NEXT: catchswitch within none [label %catch] unwind label %ehcleanup