31 lines · plain
1; RUN: opt -S -passes='verify<scalar-evolution>' < %s2 3; Make sure this does not fail ValuesAtScopes consistency verification.4; This used to register a ValuesAtScopes user, even though nothing was5; added to ValuesAtScope due to a prior invalidation.6 7define void @main(ptr %p) {8entry:9 br label %loop110 11loop1:12 br label %loop213 14loop2:15 %i = phi i64 [ 0, %loop1 ], [ %i.next, %loop2.latch ]16 %i.next = add nuw nsw i64 %i, 117 %gep = getelementptr i8, ptr %p, i64 %i18 %val = load i8, ptr %gep19 %c = icmp eq i8 %val, 020 br i1 %c, label %loop2.latch, label %exit21 22loop2.latch:23 br i1 false, label %loop2, label %loop1.latch24 25loop1.latch:26 br label %loop127 28exit:29 ret void30}31