23 lines · plain
1; RUN: opt -verify-scev -passes='print<iv-users>' -disable-output %s 2>&1 | FileCheck %s2 3target datalayout = "n16"4 5define i16 @zext_cache_invalidation_1(i1 %c) {6; CHECK: IV Users for loop %loop with backedge-taken count 13:7; CHECK-NEXT: %iv = {-3,+,4}<nuw><nsw><%loop> in %iv.ext = zext i16 %iv to i328;9entry:10 br i1 false, label %loop, label %exit11 12loop:13 %iv = phi i16 [ -3, %entry ], [ %iv.next, %loop ]14 %iv.ext = zext i16 %iv to i3215 %iv.inc = add i32 %iv.ext, 416 %iv.next = trunc i32 %iv.inc to i1617 %cond = icmp ult i16 %iv.next, 5118 br i1 %cond, label %loop, label %exit19 20exit:21 ret i16 022}23