| ; 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 |
| } |