blob: 5f48283f52a434ce68a68b5e738a554fb495dd98 [file] [log] [blame]
; RUN: opt -loop-vectorize -force-vector-width=2 -S %s | FileCheck %s
; Tests with alias sets that contain points with uncomputable bounds because
; they include %offset.1, which is loaded in each loop iteration.
; Alias set with uncomputable bounds contains a single load. We do not need
; runtime checks for that group and it should not block vectorization.
define void @test1_uncomputable_bounds_single_load(i32* noalias %ptr.1, i32* noalias %ptr.2, i32* noalias %ptr.3, i64 %N, i64 %X) {
; CHECK-LABEL: define void @test1_uncomputable_bounds_single_load
; CHECK: vector.body
; CHECK: ret void
entry:
%cond = icmp sgt i64 %N, 0
br i1 %cond, label %ph, label %exit
ph:
br label %loop
loop:
%iv = phi i64 [ 0, %ph ], [ %iv.next, %loop ]
%gep.1 = getelementptr inbounds i32, i32* %ptr.3, i64 %iv
%offset.1 = load i32, i32* %gep.1, align 4
%gep.2 = getelementptr inbounds i32, i32* %ptr.2, i32 %offset.1
%lv = load i32, i32* %gep.2, align 4
%gep.3 = getelementptr inbounds i32, i32* %ptr.1, i64 %iv
store i32 %lv , i32* %gep.3, align 4
%offset.2 = add nsw i64 %iv, %X
%gep.4 = getelementptr inbounds i32, i32* %ptr.1, i64 %offset.2
store i32 %lv, i32* %gep.4, align 4
%iv.next = add nuw nsw i64 %iv, 1
%exitcond = icmp eq i64 %iv.next, %N
br i1 %exitcond, label %loop.exit, label %loop
loop.exit:
br label %exit
exit:
ret void
}
; Alias set with uncomputable bounds contains a single store. We do not need
; runtime checks for that group and it should not block vectorization.
define void @test2_uncomputable_bounds_single_store(i32* noalias %ptr.1, i32* noalias %ptr.2, i32* noalias %ptr.3, i64 %N, i64 %X) {
; CHECK-LABEL: define void @test2_uncomputable_bounds_single_store
; CHECK: vector.body
; CHECK: ret void
entry:
%cond = icmp sgt i64 %N, 0
br i1 %cond, label %ph, label %exit
ph:
br label %loop
loop:
%iv = phi i64 [ 0, %ph ], [ %iv.next, %loop ]
%gep.1 = getelementptr inbounds i32, i32* %ptr.3, i64 %iv
%offset.1 = load i32, i32* %gep.1, align 4
%gep.2 = getelementptr inbounds i32, i32* %ptr.2, i32 %offset.1
store i32 20, i32* %gep.2, align 4
%gep.3 = getelementptr inbounds i32, i32* %ptr.1, i64 %iv
store i32 0 , i32* %gep.3, align 4
%offset.2 = add nsw i64 %iv, %X
%gep.4 = getelementptr inbounds i32, i32* %ptr.1, i64 %offset.2
store i32 10, i32* %gep.4, align 4
%iv.next = add nuw nsw i64 %iv, 1
%exitcond = icmp eq i64 %iv.next, %N
br i1 %exitcond, label %loop.exit, label %loop
loop.exit:
br label %exit
exit:
ret void
}
; Alias set with uncomputable bounds contains a load and a store. This blocks
; vectorization, as we cannot generate runtime-checks for the set.
define void @test3_uncomputable_bounds_load_store(i32* noalias %ptr.1, i32* noalias %ptr.2, i32* noalias %ptr.3, i64 %N, i64 %X) {
; CHECK-LABEL: define void @test3_uncomputable_bounds_load_store
; CHECK-NOT: vector.body
entry:
%cond = icmp sgt i64 %N, 0
br i1 %cond, label %ph, label %exit
ph:
br label %loop
loop:
%iv = phi i64 [ 0, %ph ], [ %iv.next, %loop ]
%gep.1 = getelementptr inbounds i32, i32* %ptr.3, i64 %iv
%offset.1 = load i32, i32* %gep.1, align 4
%gep.2 = getelementptr inbounds i32, i32* %ptr.2, i32 %offset.1
store i32 20, i32* %gep.2, align 4
%gep.22 = getelementptr inbounds i32, i32* %ptr.2, i64 %iv
%lv = load i32, i32* %gep.22, align 4
%gep.3 = getelementptr inbounds i32, i32* %ptr.1, i64 %iv
store i32 %lv , i32* %gep.3, align 4
%offset.2 = add nsw i64 %iv, %X
%gep.4 = getelementptr inbounds i32, i32* %ptr.1, i64 %offset.2
store i32 %lv, i32* %gep.4, align 4
%iv.next = add nuw nsw i64 %iv, 1
%exitcond = icmp eq i64 %iv.next, %N
br i1 %exitcond, label %loop.exit, label %loop
loop.exit:
br label %exit
exit:
ret void
}
; Alias set with uncomputable bounds contains a load and a store. This blocks
; vectorization, as we cannot generate runtime-checks for the set.
define void @test4_uncomputable_bounds_store_store(i32* noalias %ptr.1, i32* noalias %ptr.2, i32* noalias %ptr.3, i64 %N, i64 %X) {
; CHECK-LABEL: define void @test4_uncomputable_bounds_store_store
; CHECK-NOT: vector.body
entry:
%cond = icmp sgt i64 %N, 0
br i1 %cond, label %ph, label %exit
ph:
br label %loop
loop:
%iv = phi i64 [ 0, %ph ], [ %iv.next, %loop ]
%gep.1 = getelementptr inbounds i32, i32* %ptr.3, i64 %iv
%offset.1 = load i32, i32* %gep.1, align 4
%gep.2 = getelementptr inbounds i32, i32* %ptr.2, i32 %offset.1
store i32 20, i32* %gep.2, align 4
%gep.22 = getelementptr inbounds i32, i32* %ptr.2, i64 %iv
store i32 30, i32* %gep.22, align 4
%gep.3 = getelementptr inbounds i32, i32* %ptr.1, i64 %iv
store i32 0 , i32* %gep.3, align 4
%offset.2 = add nsw i64 %iv, %X
%gep.4 = getelementptr inbounds i32, i32* %ptr.1, i64 %offset.2
store i32 10, i32* %gep.4, align 4
%iv.next = add nuw nsw i64 %iv, 1
%exitcond = icmp eq i64 %iv.next, %N
br i1 %exitcond, label %loop.exit, label %loop
loop.exit:
br label %exit
exit:
ret void
}