; RUN: opt < %s -loop-vectorize -S | FileCheck %s | |
; getDemandedBits() is called on the pointer-typed GEP instruction here. | |
; Only make sure we do not crash. | |
; CHECK: @test | |
define void @test(i8* %ptr, i8* %ptr_end) { | |
start: | |
br label %loop | |
loop: | |
%ptr2 = phi i8* [ %ptr3, %loop ], [ %ptr, %start ] | |
%x = sext i8 undef to i64 | |
%ptr3 = getelementptr inbounds i8, i8* %ptr2, i64 1 | |
%cmp = icmp ult i8* %ptr3, %ptr_end | |
br i1 %cmp, label %loop, label %end | |
end: | |
ret void | |
} |