a564048899
The current code did not properly handled duplicated FoldCacheUser ID entries when overwriting an existing entry in the FoldCache. This triggered verification failures reported by @uabelho and #59721. The patch fixes that by removing stale IDs when overwriting an existing entry in the cache. Fixes #59721.
23 lines
622 B
LLVM
23 lines
622 B
LLVM
; 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
|
|
}
|