--- /dev/null
+; RUN: opt -verify-scev -passes='print<iv-users>' -disable-output %s | FileCheck %s
+
+; XFAIL: *
+
+target datalayout = "n16"
+
+define i16 @zext_cache_invalidation_1(i1 %c) {
+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
+}