151 lines
4.9 KiB
LLVM
151 lines
4.9 KiB
LLVM
; 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
|
|
}
|