test/Transforms/LoopVectorize/incorrect-dom-info.ll

   1 ; This test is based on one of benchmarks from SPEC2006. It exposes a bug with
   2 ; incorrect updating of the dom-tree.
   3 ; RUN: opt < %s  -loop-vectorize -verify-dom-info
   4 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
   5
   6 @PL_utf8skip = external constant [0 x i8]
   7
   8 ; Function Attrs: nounwind ssp uwtable
   9 define void @Perl_pp_quotemeta() #0 {
  10   %len = alloca i64, align 8
  11   br i1 undef, label %2, label %1
  12
  13 ; <label>:1                                       ; preds = %0
  14   br label %3
  15
  16 ; <label>:2                                       ; preds = %0
  17   br label %3
  18
  19 ; <label>:3                                       ; preds = %2, %1
  20   br i1 undef, label %34, label %4
  21
  22 ; <label>:4                                       ; preds = %3
  23   br i1 undef, label %5, label %6
  24
  25 ; <label>:5                                       ; preds = %4
  26   br label %6
  27
  28 ; <label>:6                                       ; preds = %5, %4
  29   br i1 undef, label %7, label %8
  30
  31 ; <label>:7                                       ; preds = %6
  32   br label %8
  33
  34 ; <label>:8                                       ; preds = %7, %6
  35   br i1 undef, label %.preheader, label %9
  36
  37 .preheader:                                       ; preds = %9, %8
  38   br i1 undef, label %.loopexit, label %.lr.ph
  39
  40 ; <label>:9                                       ; preds = %8
  41   br i1 undef, label %thread-pre-split.preheader, label %.preheader
  42
  43 thread-pre-split.preheader:                       ; preds = %9
  44   br i1 undef, label %thread-pre-split._crit_edge, label %.lr.ph21
  45
  46 .thread-pre-split.loopexit_crit_edge:             ; preds = %19
  47   %scevgep.sum = xor i64 %umax, -1
  48   %scevgep45 = getelementptr i8, i8* %d.020, i64 %scevgep.sum
  49   br label %thread-pre-split.loopexit
  50
  51 thread-pre-split.loopexit:                        ; preds = %11, %.thread-pre-split.loopexit_crit_edge
  52   %d.1.lcssa = phi i8* [ %scevgep45, %.thread-pre-split.loopexit_crit_edge ], [ %d.020, %11 ]
  53   br i1 false, label %thread-pre-split._crit_edge, label %.lr.ph21
  54
  55 .lr.ph21:                                         ; preds = %26, %thread-pre-split.loopexit, %thread-pre-split.preheader
  56   %d.020 = phi i8* [ undef, %26 ], [ %d.1.lcssa, %thread-pre-split.loopexit ], [ undef, %thread-pre-split.preheader ]
  57   %10 = phi i64 [ %28, %26 ], [ undef, %thread-pre-split.loopexit ], [ undef, %thread-pre-split.preheader ]
  58   br i1 undef, label %11, label %22
  59
  60 ; <label>:11                                      ; preds = %.lr.ph21
  61   %12 = getelementptr inbounds [0 x i8], [0 x i8]* @PL_utf8skip, i64 0, i64 undef
  62   %13 = load i8, i8* %12, align 1
  63   %14 = zext i8 %13 to i64
  64   %15 = icmp ugt i64 %14, %10
  65   %. = select i1 %15, i64 %10, i64 %14
  66   br i1 undef, label %thread-pre-split.loopexit, label %.lr.ph28
  67
  68 .lr.ph28:                                         ; preds = %11
  69   %16 = xor i64 %10, -1
  70   %17 = xor i64 %14, -1
  71   %18 = icmp ugt i64 %16, %17
  72   %umax = select i1 %18, i64 %16, i64 %17
  73   br label %19
  74
  75 ; <label>:19                                      ; preds = %19, %.lr.ph28
  76   %ulen.126 = phi i64 [ %., %.lr.ph28 ], [ %20, %19 ]
  77   %20 = add i64 %ulen.126, -1
  78   %21 = icmp eq i64 %20, 0
  79   br i1 %21, label %.thread-pre-split.loopexit_crit_edge, label %19
  80
  81 ; <label>:22                                      ; preds = %.lr.ph21
  82   br i1 undef, label %26, label %23
  83
  84 ; <label>:23                                      ; preds = %22
  85   br i1 undef, label %26, label %24
  86
  87 ; <label>:24                                      ; preds = %23
  88   br i1 undef, label %26, label %25
  89
  90 ; <label>:25                                      ; preds = %24
  91   br label %26
  92
  93 ; <label>:26                                      ; preds = %25, %24, %23, %22
  94   %27 = load i64, i64* %len, align 8
  95   %28 = add i64 %27, -1
  96   br i1 undef, label %thread-pre-split._crit_edge, label %.lr.ph21
  97
  98 thread-pre-split._crit_edge:                      ; preds = %26, %thread-pre-split.loopexit, %thread-pre-split.preheader
  99   br label %.loopexit
 100
 101 .lr.ph:                                           ; preds = %33, %.preheader
 102   br i1 undef, label %29, label %thread-pre-split5
 103
 104 ; <label>:29                                      ; preds = %.lr.ph
 105   br i1 undef, label %33, label %30
 106
 107 ; <label>:30                                      ; preds = %29
 108   br i1 undef, label %33, label %31
 109
 110 thread-pre-split5:                                ; preds = %.lr.ph
 111   br i1 undef, label %33, label %31
 112
 113 ; <label>:31                                      ; preds = %thread-pre-split5, %30
 114   br i1 undef, label %33, label %32
 115
 116 ; <label>:32                                      ; preds = %31
 117   br label %33
 118
 119 ; <label>:33                                      ; preds = %32, %31, %thread-pre-split5, %30, %29
 120   br i1 undef, label %.loopexit, label %.lr.ph
 121
 122 .loopexit:                                        ; preds = %33, %thread-pre-split._crit_edge, %.preheader
 123   br label %35
 124
 125 ; <label>:34                                      ; preds = %3
 126   br label %35
 127
 128 ; <label>:35                                      ; preds = %34, %.loopexit
 129   br i1 undef, label %37, label %36
 130
 131 ; <label>:36                                      ; preds = %35
 132   br label %37
 133
 134 ; <label>:37                                      ; preds = %36, %35
 135   ret void
 136 }
 137
 138 attributes #0 = { nounwind ssp uwtable "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" }
 139
 140 !llvm.ident = !{!0}
 141
 142 !0 = !{!"clang version 3.6.0 "}