llvm/test/Analysis/MemorySSA/pr45976.ll

   1 ; RUN: opt -passes=licm -S < %s | FileCheck %s
   2 ; REQUIRES: asserts
   3
   4 @global1 = external global i64, align 8
   5 @global2 = external global [3 x [8 x [8 x { i32, i64, i8, i8, i16, i32 }]]], align 8
   6
   7 ; CHECK-LABEL: @f0(i1 %arg)
   8 define void @f0(i1 %arg) {
   9 bb:
  10   br label %bb18.i
  11
  12 bb18.i:                                           ; preds = %bb49.us.i.us, %bb
  13   tail call void @f1()
  14   br i1 %arg, label %.exit.loopexit, label %bb49.preheader.i
  15
  16 bb49.preheader.i:                                 ; preds = %bb18.i
  17   br i1 %arg, label %bb49.us.preheader.i, label %bb78.loopexit3.i
  18
  19 bb49.us.preheader.i:                              ; preds = %bb49.preheader.i
  20   br label %bb49.us.i.us
  21
  22 bb49.us.i.preheader:                              ; No predecessors!
  23   br label %.exit
  24
  25 bb49.us.i.us:                                     ; preds = %bb49.us.preheader.i
  26   br label %bb18.i
  27
  28 bb78.loopexit3.i:                                 ; preds = %bb49.preheader.i
  29   store i64 0, ptr @global1, align 8
  30   br label %.exit
  31
  32 .exit.loopexit:                                   ; preds = %bb18.i
  33   br label %.exit
  34
  35 .exit:                                            ; preds = %.exit.loopexit, %bb78.loopexit3.i, %bb49.us.i.preheader
  36   br i1 %arg, label %bb4.i.us.preheader, label %bb4.i
  37
  38 bb4.i.us.preheader:                               ; preds = %.exit
  39   br label %bb4.i.us
  40
  41 bb4.i.us:                                         ; preds = %bb4.i.us, %bb4.i.us.preheader
  42   store i32 0, ptr undef, align 4
  43   store i32 undef, ptr getelementptr inbounds ([3 x [8 x [8 x { i32, i64, i8, i8, i16, i32 }]]], ptr @global2, i64 0, i64 0, i64 6, i64 6, i32 0), align 8
  44   br label %bb4.i.us
  45
  46 bb4.i:                                            ; preds = %.exit
  47   ret void
  48 }
  49
  50 declare void @f1()
  51
  52