77 lines · plain
1; RUN: opt -passes=load-store-vectorizer %s -S | FileCheck %s2; RUN: opt -aa-pipeline=basic-aa -passes='function(load-store-vectorizer)' %s -S | FileCheck %s3 4; Check that setting wrapping flags after a SCEV node is created5; does not invalidate "sorted by complexity" invariant for6; operands of commutative and associative SCEV operators.7 8target triple = "x86_64--"9 10@global_value0 = external constant i3211@global_value1 = external constant i3212@other_value = external global float13@a = external global float14@b = external global float15@c = external global float16@d = external global float17@plus1 = external global i3218@cnd = external global i819 20; Function Attrs: nounwind21define void @main() local_unnamed_addr #0 {22; CHECK-LABEL: @main()23; CHECK: = load <2 x float>, ptr %preheader.load0.address24; CHECK-LABEL: for.body23:25entry:26 %tmp = load i32, ptr @global_value0, !range !027 %tmp2 = load i32, ptr @global_value128 %and.i.i = and i32 %tmp2, 229 %add.nuw.nsw.i.i = add nuw nsw i32 %and.i.i, 030 %mul.i.i = shl nuw nsw i32 %add.nuw.nsw.i.i, 131 %and6.i.i = and i32 %tmp2, 332 %and9.i.i = and i32 %tmp2, 433 %add.nuw.nsw10.i.i = add nuw nsw i32 %and6.i.i, %and9.i.i34 %conv3.i42.i = add nuw nsw i32 %mul.i.i, 135 %reass.add346.7 = add nuw nsw i32 %add.nuw.nsw10.i.i, 5636 %reass.mul347.7 = mul nuw nsw i32 %tmp, %reass.add346.737 %add7.i.7 = add nuw nsw i32 %reass.mul347.7, 038 %preheader.address0.idx = add nuw nsw i32 %add7.i.7, %mul.i.i39 %preheader.address0.idx.zext = zext i32 %preheader.address0.idx to i6440 %preheader.load0.address = getelementptr inbounds float, ptr @other_value, i64 %preheader.address0.idx.zext41 %preheader.load0. = load float, ptr %preheader.load0.address, align 4, !tbaa !142 %common.address.idx = add nuw nsw i32 %add7.i.7, %conv3.i42.i43 %preheader.header.common.address.idx.zext = zext i32 %common.address.idx to i6444 %preheader.load1.address = getelementptr inbounds float, ptr @other_value, i64 %preheader.header.common.address.idx.zext45 %preheader.load1. = load float, ptr %preheader.load1.address, align 4, !tbaa !146 br label %for.body2347 48for.body23: ; preds = %for.body23, %entry49 %loop.header.load0.address = getelementptr inbounds float, ptr @other_value, i64 %preheader.header.common.address.idx.zext50 %loop.header.load0. = load float, ptr %loop.header.load0.address, align 4, !tbaa !151 %reass.mul343.7 = mul nuw nsw i32 %reass.add346.7, 7252 %add7.i286.7.7 = add nuw nsw i32 %reass.mul343.7, 5653 %add9.i288.7.7 = add nuw nsw i32 %add7.i286.7.7, %mul.i.i54 %loop.header.address1.idx = add nuw nsw i32 %add9.i288.7.7, 155 %loop.header.address1.idx.zext = zext i32 %loop.header.address1.idx to i6456 %loop.header.load1.address = getelementptr inbounds float, ptr @other_value, i64 %loop.header.address1.idx.zext57 %loop.header.load1. = load float, ptr %loop.header.load1.address, align 4, !tbaa !158 store float %preheader.load0., ptr @a, align 4, !tbaa !159 store float %preheader.load1., ptr @b, align 4, !tbaa !160 store float %loop.header.load0., ptr @c, align 4, !tbaa !161 store float %loop.header.load1., ptr @d, align 4, !tbaa !162 %loaded.cnd = load i8, ptr @cnd63 %condition = trunc i8 %loaded.cnd to i164 br i1 %condition, label %for.body23, label %exit65 66exit:67 ret void68}69 70attributes #0 = { nounwind }71 72!0 = !{i32 0, i32 65536}73!1 = !{!2, !2, i64 0}74!2 = !{!"float", !3, i64 0}75!3 = !{!"omnipotent char", !4, i64 0}76!4 = !{!"Simple C++ TBAA"}77