; RUN: opt -verify-scev -passes='print<iv-users>' -disable-output %s 2>&1 | FileCheck %s

target datalayout = "n16"

define i16 @zext_cache_invalidation_1(i1 %c) {
; CHECK:      IV Users for loop %loop with backedge-taken count 13:
; CHECK-NEXT:   %iv = {-3,+,4}<nuw><nsw><%loop> in    %iv.ext = zext i16 %iv to i32
;
entry:
  br i1 false, label %loop, label %exit

loop:
  %iv = phi i16 [ -3, %entry ], [ %iv.next, %loop ]
  %iv.ext = zext i16 %iv to i32
  %iv.inc = add i32 %iv.ext, 4
  %iv.next = trunc i32 %iv.inc to i16
  %cond = icmp ult i16 %iv.next, 51
  br i1 %cond, label %loop, label %exit

exit:
  ret i16 0
}