test/Transforms/LICM/loopsink-pr39570.ll

   1 ; RUN: opt -S -loop-sink < %s | FileCheck %s
   2
   3 ; CHECK: pr39570
   4 ; Make sure not to assert.
   5
   6 %0 = type { i32, %1*, %2, %6*, %33* }
   7 %1 = type { i32 (...)** }
   8 %2 = type { %3* }
   9 %3 = type { %4, i32, %5* }
  10 %4 = type { i32 (...)**, i32 }
  11 %5 = type opaque
  12 %6 = type { %7, %1*, %31*, i8, %2, %32* }
  13 %7 = type <{ %8, %9*, %10, i32, %33*, %33*, %33*, %27, %28, i16 }>
  14 %8 = type { i32 (...)** }
  15 %9 = type opaque
  16 %10 = type { %11, %16, %18, %19 }
  17 %11 = type { %12*, i32, i32, %13* }
  18 %12 = type { i32 (...)** }
  19 %13 = type { %14*, %14* }
  20 %14 = type { %15, i32 }
  21 %15 = type { %12*, i32, i32, i16* }
  22 %16 = type { %12*, i32, i32, %17* }
  23 %17 = type { %13, %14* }
  24 %18 = type { %12*, i32, i32, %14** }
  25 %19 = type { %20, %21, %12*, float, i32, i32, %22, %22, %24, i32, i32 }
  26 %20 = type { i8 }
  27 %21 = type { i8 }
  28 %22 = type { %12*, %23*, %23* }
  29 %23 = type opaque
  30 %24 = type { %12*, i32, i32, %25* }
  31 %25 = type { %12*, i32, i32, %26* }
  32 %26 = type opaque
  33 %27 = type { %33* }
  34 %28 = type { %29, i32, i32, %14* }
  35 %29 = type { %30 }
  36 %30 = type { i32 (...)** }
  37 %31 = type opaque
  38 %32 = type { i32 (...)** }
  39 %33 = type <{ %8, %9*, %10, i32, %33*, %33*, %33*, %27, %28, i16, [2 x i8] }>
  40
  41 define dso_local void @pr39570() local_unnamed_addr align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !prof !1 {
  42   br i1 undef, label %8, label %1, !prof !2
  43
  44 ; <label>:1:                                      ; preds = %0
  45   %2 = load %0*, %0** undef, align 4
  46   br label %3
  47
  48 ; <label>:3:                                      ; preds = %7, %1
  49   %4 = getelementptr inbounds %0, %0* %2, i32 undef, i32 0
  50   br label %5
  51
  52 ; <label>:5:                                      ; preds = %3
  53   %6 = getelementptr inbounds %0, %0* %2, i32 undef, i32 4
  54   br i1 undef, label %18, label %7, !prof !3
  55
  56 ; <label>:7:                                      ; preds = %5
  57   br label %3
  58
  59 ; <label>:8:                                      ; preds = %0
  60   invoke void @baz()
  61           to label %9 unwind label %12
  62
  63 ; <label>:9:                                      ; preds = %8
  64   invoke void @bar()
  65           to label %17 unwind label %10
  66
  67 ; <label>:10:                                     ; preds = %9
  68   %11 = landingpad { i8*, i32 }
  69           catch i8* null
  70   unreachable
  71
  72 ; <label>:12:                                     ; preds = %8
  73   %13 = landingpad { i8*, i32 }
  74           cleanup
  75   invoke void @bar()
  76           to label %16 unwind label %14
  77
  78 ; <label>:14:                                     ; preds = %12
  79   %15 = landingpad { i8*, i32 }
  80           catch i8* null
  81   unreachable
  82
  83 ; <label>:16:                                     ; preds = %12
  84   resume { i8*, i32 } %13
  85
  86 ; <label>:17:                                     ; preds = %9
  87   br label %18
  88
  89 ; <label>:18:                                     ; preds = %17, %5
  90   invoke void @baz()
  91           to label %19 unwind label %20
  92
  93 ; <label>:19:                                     ; preds = %18
  94   invoke void @bar()
  95           to label %22 unwind label %20
  96
  97 ; <label>:20:                                     ; preds = %19
  98   %21 = landingpad { i8*, i32 }
  99           catch i8* null
 100   unreachable
 101
 102 ; <label>:22:                                     ; preds = %19
 103   ret void
 104 }
 105
 106 declare dso_local i32 @__gxx_personality_v0(...)
 107 declare dso_local void @bar() local_unnamed_addr
 108 declare dso_local void @baz() local_unnamed_addr align 2
 109
 110 !1 = !{!"function_entry_count", i64 0}
 111 !2 = !{!"branch_weights", i32 1, i32 3215551}
 112 !3 = !{!"branch_weights", i32 3215551, i32 1}