test/Analysis/MemorySSA/pr41640.ll

   1 ; RUN: opt -disable-output -licm -print-memoryssa -enable-mssa-loop-dependency=true < %s 2>&1 | FileCheck %s
   2 target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
   3 target triple = "s390x-ibm-linux"
   4
   5 @g_248 = external dso_local local_unnamed_addr global i32, align 4
   6 @g_976 = external dso_local global i64, align 8
   7 @g_1087 = external dso_local global i32**, align 8
   8
   9 ; CHECK-LABEL: @f1()
  10 ; CHECK: 5 = MemoryPhi(
  11 ; CHECK-NOT: 7 = MemoryPhi(
  12 define dso_local fastcc void @f1() unnamed_addr #0 {
  13 label0:
  14   br i1 undef, label %thread-pre-split.i.preheader, label %label5
  15
  16 thread-pre-split.i.preheader:                     ; preds = %label0
  17   br label %thread-pre-split.i
  18
  19 thread-pre-split.i.us:                            ; preds = %.critedge1.i.us
  20   br i1 undef, label %.preheader.i.us.preheader, label %label2
  21
  22 .preheader.i.us.preheader:                        ; preds = %thread-pre-split.i.us
  23   br label %.preheader.i.us
  24
  25 .preheader.i.us:                                  ; preds = %._crit_edge.i.us, %.preheader.i.us.preheader
  26   br i1 undef, label %.lr.ph.i.us, label %._crit_edge.i.us
  27
  28 .lr.ph.i.us:                                      ; preds = %.preheader.i.us
  29   br label %label1
  30
  31 label1:                                      ; preds = %label1, %.lr.ph.i.us
  32   br i1 undef, label %label1, label %._crit_edge.i.us
  33
  34 ._crit_edge.i.us:                                 ; preds = %label1, %.preheader.i.us
  35   br i1 undef, label %.preheader.i.us, label %._crit_edge5.i.us
  36
  37 ._crit_edge5.i.us:                                ; preds = %._crit_edge.i.us
  38   br label %label2
  39
  40 label2:                                  ; preds = %._crit_edge5.i.us, %thread-pre-split.i.us
  41   tail call void @foo16()
  42   br i1 undef, label %.lr.ph8.i.us.preheader, label %label4
  43
  44 .lr.ph8.i.us.preheader:                           ; preds = %label2
  45   br label %.lr.ph8.i.us
  46
  47 .lr.ph8.i.us:                                     ; preds = %.lr.ph8.i.us, %.lr.ph8.i.us.preheader
  48   %tmp3 = load volatile i64, i64* @g_976, align 8
  49   br i1 undef, label %.lr.ph8.i.us, label %._crit_edge9.i.us
  50
  51 ._crit_edge9.i.us:                                ; preds = %.lr.ph8.i.us
  52   br label %label4
  53
  54 label4:                                      ; preds = %._crit_edge9.i.us, %label2
  55   br i1 true, label %f9.exit, label %.critedge1.i.us
  56
  57 .critedge1.i.us:                                  ; preds = %label4
  58   br i1 undef, label %thread-pre-split.i.us, label %f9.exit
  59
  60 label5:                                      ; preds = %label0
  61   unreachable
  62
  63 thread-pre-split.i:                               ; preds = %.critedge1.i, %thread-pre-split.i.preheader
  64   br i1 undef, label %.preheader.i.preheader, label %.critedge1.i
  65
  66 .preheader.i.preheader:                           ; preds = %thread-pre-split.i
  67   br label %.preheader.i
  68
  69 .preheader.i:                                     ; preds = %._crit_edge.i, %.preheader.i.preheader
  70   br i1 undef, label %.lr.ph.i, label %._crit_edge.i
  71
  72 .lr.ph.i:                                         ; preds = %.preheader.i
  73   br label %label6
  74
  75 label6:                                      ; preds = %label6, %.lr.ph.i
  76   br i1 undef, label %label6, label %._crit_edge.i.loopexit
  77
  78 ._crit_edge.i.loopexit:                           ; preds = %label6
  79   br label %._crit_edge.i
  80
  81 ._crit_edge.i:                                    ; preds = %._crit_edge.i.loopexit, %.preheader.i
  82   br i1 undef, label %.preheader.i, label %._crit_edge5.i
  83
  84 ._crit_edge5.i:                                   ; preds = %._crit_edge.i
  85   br label %.critedge1.i
  86
  87 .critedge1.i:                                     ; preds = %._crit_edge5.i, %thread-pre-split.i
  88   %tmp7 = load i32, i32* @g_248, align 4
  89   %tmp8 = xor i32 %tmp7, 55987
  90   store i32 %tmp8, i32* @g_248, align 4
  91   br i1 undef, label %thread-pre-split.i, label %f9.exit.loopexit
  92
  93 f9.exit.loopexit:                                 ; preds = %.critedge1.i
  94   br label %f9.exit
  95
  96 f9.exit:                                          ; preds = %f9.exit.loopexit, %.critedge1.i.us, %label4
  97   %tmp9 = load volatile i32**, i32*** @g_1087, align 8
  98   ret void
  99 }
 100
 101 declare dso_local void @foo16() local_unnamed_addr #1
 102
 103 attributes #0 = { "target-features"="+transactional-execution,+vector" }
 104 attributes #1 = { "use-soft-float"="false" }