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

; This test is based on one of benchmarks from SPEC2006. It exposes a bug with
; incorrect updating of the dom-tree.
; RUN: opt < %s -passes=loop-vectorize -verify-dom-info
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

@PL_utf8skip = external constant [0 x i8]

define void @Perl_pp_quotemeta(i1 %arg) {
  %len = alloca i64, align 8
  br i1 %arg, label %2, label %1

; <label>:
  br label %3

; <label>:
  br label %3

; <label>:
  br i1 %arg, label %34, label %4

; <label>:
  br i1 %arg, label %5, label %6

; <label>:
  br label %6

; <label>:
  br i1 %arg, label %7, label %8

; <label>:
  br label %8

; <label>:
  br i1 %arg, label %.preheader, label %9

.preheader:
  br i1 %arg, label %.loopexit, label %.lr.ph

; <label>:
  br i1 %arg, label %thread-pre-split.preheader, label %.preheader

thread-pre-split.preheader:
  br i1 %arg, label %thread-pre-split._crit_edge, label %.lr.ph21

.thread-pre-split.loopexit_crit_edge:
  %scevgep.sum = xor i64 %umax, -1
  %scevgep45 = getelementptr i8, ptr %d.020, i64 %scevgep.sum
  br label %thread-pre-split.loopexit

thread-pre-split.loopexit:
  %d.1.lcssa = phi ptr [ %scevgep45, %.thread-pre-split.loopexit_crit_edge ], [ %d.020, %11 ]
  br i1 false, label %thread-pre-split._crit_edge, label %.lr.ph21

.lr.ph21:
  %d.020 = phi ptr [ zeroinitializer, %26 ], [ %d.1.lcssa, %thread-pre-split.loopexit ], [ zeroinitializer, %thread-pre-split.preheader ]
  %10 = phi i64 [ %28, %26 ], [ zeroinitializer, %thread-pre-split.loopexit ], [ zeroinitializer, %thread-pre-split.preheader ]
  br i1 %arg, label %11, label %22

; <label>:
  %12 = getelementptr inbounds [0 x i8], ptr @PL_utf8skip, i64 0, i64 0
  %13 = load i8, ptr %12, align 1
  %14 = zext i8 %13 to i64
  %15 = icmp ugt i64 %14, %10
  %. = select i1 %15, i64 %10, i64 %14
  br i1 %arg, label %thread-pre-split.loopexit, label %.lr.ph28

.lr.ph28:
  %16 = xor i64 %10, -1
  %17 = xor i64 %14, -1
  %18 = icmp ugt i64 %16, %17
  %umax = select i1 %18, i64 %16, i64 %17
  br label %19

; <label>:
  %ulen.126 = phi i64 [ %., %.lr.ph28 ], [ %20, %19 ]
  %20 = add i64 %ulen.126, -1
  %21 = icmp eq i64 %20, 0
  br i1 %21, label %.thread-pre-split.loopexit_crit_edge, label %19

; <label>:
  br i1 %arg, label %26, label %23

; <label>:
  br i1 %arg, label %26, label %24

; <label>:
  br i1 %arg, label %26, label %25

; <label>:
  br label %26

; <label>:
  %27 = load i64, ptr %len, align 8
  %28 = add i64 %27, -1
  br i1 %arg, label %thread-pre-split._crit_edge, label %.lr.ph21

thread-pre-split._crit_edge:
  br label %.loopexit

.lr.ph:
  br i1 %arg, label %29, label %thread-pre-split5

; <label>:
  br i1 %arg, label %33, label %30

; <label>:
  br i1 %arg, label %33, label %31

thread-pre-split5:
  br i1 %arg, label %33, label %31

; <label>:
  br i1 %arg, label %33, label %32

; <label>:
  br label %33

; <label>:
  br i1 %arg, label %.loopexit, label %.lr.ph

.loopexit:
  br label %35

; <label>:
  br label %35

; <label>:
  br i1 %arg, label %37, label %36

; <label>:
  br label %37

; <label>:
  ret void
}