; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -indvars -verify -loop-rotate -loop-idiom < %s | FileCheck %s
; RUN: opt -S -indvars -verify -loop-rotate -loop-idiom -verify-memoryssa < %s | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"

; Verify that we invalidate SCEV properly.

define void @test_01() {
; CHECK-LABEL: @test_01(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    br label [[LBL1:%.*]]
; CHECK:       lbl1:
; CHECK-NEXT:    br label [[FOR_COND:%.*]]
; CHECK:       for.cond:
; CHECK-NEXT:    br i1 false, label [[FOR_BODY3_LR_PH:%.*]], label [[FOR_COND_FOR_END5_CRIT_EDGE:%.*]]
; CHECK:       for.body3.lr.ph:
; CHECK-NEXT:    br label [[FOR_BODY3:%.*]]
; CHECK:       for.cond1:
; CHECK-NEXT:    br i1 false, label [[FOR_BODY3]], label [[FOR_COND1_FOR_END5_CRIT_EDGE:%.*]]
; CHECK:       for.body3:
; CHECK-NEXT:    br i1 false, label [[IF_THEN:%.*]], label [[FOR_COND1:%.*]]
; CHECK:       if.then:
; CHECK-NEXT:    br label [[LBL1]]
; CHECK:       for.cond.for.end5_crit_edge:
; CHECK-NEXT:    br label [[FOR_END5:%.*]]
; CHECK:       for.cond1.for.end5_crit_edge:
; CHECK-NEXT:    br label [[FOR_END5]]
; CHECK:       for.end5:
; CHECK-NEXT:    ret void
;
entry:
  br label %lbl1

lbl1:                                             ; preds = %if.then, %entry
  br label %for.cond

for.cond:                                         ; preds = %lbl1
  br label %for.cond1

for.cond1:                                        ; preds = %if.end, %for.cond
  br i1 false, label %for.body3, label %for.end5

for.body3:                                        ; preds = %for.cond1
  br i1 false, label %if.then, label %if.end

if.then:                                          ; preds = %for.body3
  br label %lbl1

if.end:                                           ; preds = %for.body3
  br label %for.cond1

for.end5:                                         ; preds = %for.cond1
  ret void
}

define void @test_02() {
; CHECK-LABEL: @test_02(
; CHECK-NEXT:  entry:
; CHECK-NEXT:    br label [[LBL1:%.*]]
; CHECK:       lbl1:
; CHECK-NEXT:    br label [[FOR_COND:%.*]]
; CHECK:       for.cond:
; CHECK-NEXT:    br i1 false, label [[IF_THEN:%.*]], label [[IF_END7:%.*]]
; CHECK:       if.then:
; CHECK-NEXT:    br i1 false, label [[FOR_BODY_LR_PH:%.*]], label [[IF_THEN_FOR_END6_CRIT_EDGE:%.*]]
; CHECK:       for.body.lr.ph:
; CHECK-NEXT:    br label [[FOR_BODY:%.*]]
; CHECK:       for.body:
; CHECK-NEXT:    br i1 false, label [[IF_THEN3:%.*]], label [[IF_END:%.*]]
; CHECK:       if.then3:
; CHECK-NEXT:    br label [[LBL1]]
; CHECK:       if.end:
; CHECK-NEXT:    br label [[FOR_COND4:%.*]]
; CHECK:       for.cond4:
; CHECK-NEXT:    br i1 false, label [[FOR_BODY]], label [[FOR_COND1_FOR_END6_CRIT_EDGE:%.*]]
; CHECK:       if.then.for.end6_crit_edge:
; CHECK-NEXT:    br label [[FOR_END6:%.*]]
; CHECK:       for.cond1.for.end6_crit_edge:
; CHECK-NEXT:    br label [[FOR_END6]]
; CHECK:       for.end6:
; CHECK-NEXT:    ret void
; CHECK:       if.end7:
; CHECK-NEXT:    unreachable
;
entry:
  br label %lbl1

lbl1:                                             ; preds = %if.then3, %entry
  br label %for.cond

for.cond:                                         ; preds = %lbl1
  br i1 false, label %if.then, label %if.end7

if.then:                                          ; preds = %for.cond
  br label %for.cond1

for.cond1:                                        ; preds = %for.cond4, %if.then
  br i1 undef, label %for.body, label %for.end6

for.body:                                         ; preds = %for.cond1
  br i1 false, label %if.then3, label %if.end

if.then3:                                         ; preds = %for.body
  br label %lbl1

if.end:                                           ; preds = %for.body
  br label %for.cond4

for.cond4:                                        ; preds = %if.end
  br label %for.cond1

for.end6:                                         ; preds = %for.cond1
  ret void

if.end7:                                          ; preds = %for.cond
  unreachable
}