140 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S < %s -passes=load-store-vectorizer | FileCheck %s3; RUN: opt -S < %s -passes='function(load-store-vectorizer)' | FileCheck %s4 5declare void @llvm.sideeffect()6 7; load-store vectorization across a @llvm.sideeffect.8 9define void @test_sideeffect(ptr %p) {10; CHECK-LABEL: @test_sideeffect(11; CHECK-NEXT: [[TMP2:%.*]] = load <4 x float>, ptr [[P:%.*]], align 1612; CHECK-NEXT: [[L01:%.*]] = extractelement <4 x float> [[TMP2]], i32 013; CHECK-NEXT: [[L12:%.*]] = extractelement <4 x float> [[TMP2]], i32 114; CHECK-NEXT: [[L23:%.*]] = extractelement <4 x float> [[TMP2]], i32 215; CHECK-NEXT: [[L34:%.*]] = extractelement <4 x float> [[TMP2]], i32 316; CHECK-NEXT: call void @llvm.sideeffect()17; CHECK-NEXT: call void @llvm.sideeffect()18; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x float> poison, float [[L01]], i32 019; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x float> [[TMP3]], float [[L12]], i32 120; CHECK-NEXT: [[TMP5:%.*]] = insertelement <4 x float> [[TMP4]], float [[L23]], i32 221; CHECK-NEXT: [[TMP6:%.*]] = insertelement <4 x float> [[TMP5]], float [[L34]], i32 322; CHECK-NEXT: store <4 x float> [[TMP6]], ptr [[P]], align 1623; CHECK-NEXT: ret void24;25 %p1 = getelementptr float, ptr %p, i64 126 %p2 = getelementptr float, ptr %p, i64 227 %p3 = getelementptr float, ptr %p, i64 328 %l0 = load float, ptr %p, align 1629 %l1 = load float, ptr %p130 %l2 = load float, ptr %p231 call void @llvm.sideeffect()32 %l3 = load float, ptr %p333 store float %l0, ptr %p, align 1634 call void @llvm.sideeffect()35 store float %l1, ptr %p136 store float %l2, ptr %p237 store float %l3, ptr %p338 ret void39}40 41declare void @foo()42 43define void @test_inaccessiblememonly_nounwind_willreturn(ptr %p) {44; CHECK-LABEL: @test_inaccessiblememonly_nounwind_willreturn(45; CHECK-NEXT: [[TMP2:%.*]] = load <4 x float>, ptr [[P:%.*]], align 1646; CHECK-NEXT: [[L01:%.*]] = extractelement <4 x float> [[TMP2]], i32 047; CHECK-NEXT: [[L12:%.*]] = extractelement <4 x float> [[TMP2]], i32 148; CHECK-NEXT: [[L23:%.*]] = extractelement <4 x float> [[TMP2]], i32 249; CHECK-NEXT: [[L34:%.*]] = extractelement <4 x float> [[TMP2]], i32 350; CHECK-NEXT: call void @foo() #[[ATTR1:[0-9]+]]51; CHECK-NEXT: call void @foo() #[[ATTR1]]52; CHECK-NEXT: [[TMP3:%.*]] = insertelement <4 x float> poison, float [[L01]], i32 053; CHECK-NEXT: [[TMP4:%.*]] = insertelement <4 x float> [[TMP3]], float [[L12]], i32 154; CHECK-NEXT: [[TMP5:%.*]] = insertelement <4 x float> [[TMP4]], float [[L23]], i32 255; CHECK-NEXT: [[TMP6:%.*]] = insertelement <4 x float> [[TMP5]], float [[L34]], i32 356; CHECK-NEXT: store <4 x float> [[TMP6]], ptr [[P]], align 1657; CHECK-NEXT: ret void58;59 %p1 = getelementptr float, ptr %p, i64 160 %p2 = getelementptr float, ptr %p, i64 261 %p3 = getelementptr float, ptr %p, i64 362 %l0 = load float, ptr %p, align 1663 %l1 = load float, ptr %p164 %l2 = load float, ptr %p265 call void @foo() inaccessiblememonly nounwind willreturn66 %l3 = load float, ptr %p367 store float %l0, ptr %p, align 1668 call void @foo() inaccessiblememonly nounwind willreturn69 store float %l1, ptr %p170 store float %l2, ptr %p271 store float %l3, ptr %p372 ret void73}74 75define void @test_inaccessiblememonly_not_willreturn(ptr %p) {76; CHECK-LABEL: @test_inaccessiblememonly_not_willreturn(77; CHECK-NEXT: [[P1:%.*]] = getelementptr float, ptr [[P:%.*]], i64 178; CHECK-NEXT: [[P2:%.*]] = getelementptr float, ptr [[P]], i64 279; CHECK-NEXT: [[P3:%.*]] = getelementptr float, ptr [[P]], i64 380; CHECK-NEXT: [[L0:%.*]] = load float, ptr [[P]], align 1681; CHECK-NEXT: call void @foo() #[[ATTR2:[0-9]+]]82; CHECK-NEXT: [[L1:%.*]] = load float, ptr [[P1]], align 483; CHECK-NEXT: [[L2:%.*]] = load float, ptr [[P2]], align 484; CHECK-NEXT: [[L3:%.*]] = load float, ptr [[P3]], align 485; CHECK-NEXT: store float [[L0]], ptr [[P]], align 1686; CHECK-NEXT: call void @foo() #[[ATTR2]]87; CHECK-NEXT: store float [[L1]], ptr [[P1]], align 488; CHECK-NEXT: store float [[L2]], ptr [[P2]], align 489; CHECK-NEXT: store float [[L3]], ptr [[P3]], align 490; CHECK-NEXT: ret void91;92 %p1 = getelementptr float, ptr %p, i64 193 %p2 = getelementptr float, ptr %p, i64 294 %p3 = getelementptr float, ptr %p, i64 395 %l0 = load float, ptr %p, align 1696 call void @foo() inaccessiblememonly nounwind97 %l1 = load float, ptr %p198 %l2 = load float, ptr %p299 %l3 = load float, ptr %p3100 store float %l0, ptr %p, align 16101 call void @foo() inaccessiblememonly nounwind102 store float %l1, ptr %p1103 store float %l2, ptr %p2104 store float %l3, ptr %p3105 ret void106}107 108define void @test_inaccessiblememonly_not_nounwind(ptr %p) {109; CHECK-LABEL: @test_inaccessiblememonly_not_nounwind(110; CHECK-NEXT: [[P1:%.*]] = getelementptr float, ptr [[P:%.*]], i64 1111; CHECK-NEXT: [[P2:%.*]] = getelementptr float, ptr [[P]], i64 2112; CHECK-NEXT: [[P3:%.*]] = getelementptr float, ptr [[P]], i64 3113; CHECK-NEXT: [[L0:%.*]] = load float, ptr [[P]], align 16114; CHECK-NEXT: call void @foo() #[[ATTR3:[0-9]+]]115; CHECK-NEXT: [[L1:%.*]] = load float, ptr [[P1]], align 4116; CHECK-NEXT: [[L2:%.*]] = load float, ptr [[P2]], align 4117; CHECK-NEXT: [[L3:%.*]] = load float, ptr [[P3]], align 4118; CHECK-NEXT: store float [[L0]], ptr [[P]], align 16119; CHECK-NEXT: call void @foo() #[[ATTR3]]120; CHECK-NEXT: store float [[L1]], ptr [[P1]], align 4121; CHECK-NEXT: store float [[L2]], ptr [[P2]], align 4122; CHECK-NEXT: store float [[L3]], ptr [[P3]], align 4123; CHECK-NEXT: ret void124;125 %p1 = getelementptr float, ptr %p, i64 1126 %p2 = getelementptr float, ptr %p, i64 2127 %p3 = getelementptr float, ptr %p, i64 3128 %l0 = load float, ptr %p, align 16129 call void @foo() inaccessiblememonly willreturn130 %l1 = load float, ptr %p1131 %l2 = load float, ptr %p2132 %l3 = load float, ptr %p3133 store float %l0, ptr %p, align 16134 call void @foo() inaccessiblememonly willreturn135 store float %l1, ptr %p1136 store float %l2, ptr %p2137 store float %l3, ptr %p3138 ret void139}140