[polly] r299353 - Add test case for r299352.
Tobias Grosser via llvm-commits
llvm-commits at lists.llvm.org
Mon Apr 3 00:44:23 PDT 2017
Author: grosser
Date: Mon Apr 3 02:44:23 2017
New Revision: 299353
URL: http://llvm.org/viewvc/llvm-project?rev=299353&view=rev
Log:
Add test case for r299352.
Added:
polly/trunk/test/Isl/CodeGen/alias_metadata_too_many_arrays.ll
Added: polly/trunk/test/Isl/CodeGen/alias_metadata_too_many_arrays.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/Isl/CodeGen/alias_metadata_too_many_arrays.ll?rev=299353&view=auto
==============================================================================
--- polly/trunk/test/Isl/CodeGen/alias_metadata_too_many_arrays.ll (added)
+++ polly/trunk/test/Isl/CodeGen/alias_metadata_too_many_arrays.ll Mon Apr 3 02:44:23 2017
@@ -0,0 +1,200 @@
+; RUN: opt %loadPolly -polly-codegen -polly-ignore-aliasing -S < %s \
+; RUN: | FileCheck %s
+;
+; void manyarrays(float A1[], float A2[], float A3[], float A4[], float A5[],
+; float A6[], float A7[], float A8[], float A9[]) {
+; for (long i = 0; i <= 1024; i++) {
+; A1[i] += i;
+; A2[i] += i;
+; A3[i] += i;
+; A4[i] += i;
+; A5[i] += i;
+; A6[i] += i;
+; A7[i] += i;
+; A8[i] += i;
+; A9[i] += i;
+; }
+; }
+;
+; CHECK-LABEL @manyarrays
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+; CHECK: load{{.*}}!alias.scope
+; CHECK: store{{.*}}!alias.scope
+;
+; void toomanyarrays(float A1[], float A2[], float A3[], float A4[], float A5[],
+; float A6[], float A7[], float A8[], float A9[], float A10[],
+; float A11[]) {
+; for (long i = 0; i <= 1024; i++) {
+; A1[i] += i;
+; A2[i] += i;
+; A3[i] += i;
+; A4[i] += i;
+; A5[i] += i;
+; A6[i] += i;
+; A7[i] += i;
+; A8[i] += i;
+; A9[i] += i;
+; A10[i] += i;
+; A11[i] += i;
+; }
+; }
+;
+; CHECK-LABEL: @toomanyarrays
+; CHECK-NOT: !alias.scope
+;
+target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
+
+define void @manyarrays(float* %A1, float* %A2, float* %A3, float* %A4, float* %A5, float* %A6, float* %A7, float* %A8, float* %A9) {
+bb:
+ br label %bb1
+
+bb1: ; preds = %bb38, %bb
+ %i.0 = phi i64 [ 0, %bb ], [ %tmp39, %bb38 ]
+ %exitcond = icmp ne i64 %i.0, 1025
+ br i1 %exitcond, label %bb2, label %bb40
+
+bb2: ; preds = %bb1
+ %tmp = sitofp i64 %i.0 to float
+ %tmp3 = getelementptr inbounds float, float* %A1, i64 %i.0
+ %tmp4 = load float, float* %tmp3, align 4
+ %tmp5 = fadd float %tmp4, %tmp
+ store float %tmp5, float* %tmp3, align 4
+ %tmp6 = sitofp i64 %i.0 to float
+ %tmp7 = getelementptr inbounds float, float* %A2, i64 %i.0
+ %tmp8 = load float, float* %tmp7, align 4
+ %tmp9 = fadd float %tmp8, %tmp6
+ store float %tmp9, float* %tmp7, align 4
+ %tmp10 = sitofp i64 %i.0 to float
+ %tmp11 = getelementptr inbounds float, float* %A3, i64 %i.0
+ %tmp12 = load float, float* %tmp11, align 4
+ %tmp13 = fadd float %tmp12, %tmp10
+ store float %tmp13, float* %tmp11, align 4
+ %tmp14 = sitofp i64 %i.0 to float
+ %tmp15 = getelementptr inbounds float, float* %A4, i64 %i.0
+ %tmp16 = load float, float* %tmp15, align 4
+ %tmp17 = fadd float %tmp16, %tmp14
+ store float %tmp17, float* %tmp15, align 4
+ %tmp18 = sitofp i64 %i.0 to float
+ %tmp19 = getelementptr inbounds float, float* %A5, i64 %i.0
+ %tmp20 = load float, float* %tmp19, align 4
+ %tmp21 = fadd float %tmp20, %tmp18
+ store float %tmp21, float* %tmp19, align 4
+ %tmp22 = sitofp i64 %i.0 to float
+ %tmp23 = getelementptr inbounds float, float* %A6, i64 %i.0
+ %tmp24 = load float, float* %tmp23, align 4
+ %tmp25 = fadd float %tmp24, %tmp22
+ store float %tmp25, float* %tmp23, align 4
+ %tmp26 = sitofp i64 %i.0 to float
+ %tmp27 = getelementptr inbounds float, float* %A7, i64 %i.0
+ %tmp28 = load float, float* %tmp27, align 4
+ %tmp29 = fadd float %tmp28, %tmp26
+ store float %tmp29, float* %tmp27, align 4
+ %tmp30 = sitofp i64 %i.0 to float
+ %tmp31 = getelementptr inbounds float, float* %A8, i64 %i.0
+ %tmp32 = load float, float* %tmp31, align 4
+ %tmp33 = fadd float %tmp32, %tmp30
+ store float %tmp33, float* %tmp31, align 4
+ %tmp34 = sitofp i64 %i.0 to float
+ %tmp35 = getelementptr inbounds float, float* %A9, i64 %i.0
+ %tmp36 = load float, float* %tmp35, align 4
+ %tmp37 = fadd float %tmp36, %tmp34
+ store float %tmp37, float* %tmp35, align 4
+ br label %bb38
+
+bb38: ; preds = %bb2
+ %tmp39 = add nuw nsw i64 %i.0, 1
+ br label %bb1
+
+bb40: ; preds = %bb1
+ ret void
+}
+
+define void @toomanyarrays(float* %A1, float* %A2, float* %A3, float* %A4, float* %A5, float* %A6, float* %A7, float* %A8, float* %A9, float* %A10, float* %A11) {
+bb:
+ br label %bb1
+
+bb1: ; preds = %bb46, %bb
+ %i.0 = phi i64 [ 0, %bb ], [ %tmp47, %bb46 ]
+ %exitcond = icmp ne i64 %i.0, 1025
+ br i1 %exitcond, label %bb2, label %bb48
+
+bb2: ; preds = %bb1
+ %tmp = sitofp i64 %i.0 to float
+ %tmp3 = getelementptr inbounds float, float* %A1, i64 %i.0
+ %tmp4 = load float, float* %tmp3, align 4
+ %tmp5 = fadd float %tmp4, %tmp
+ store float %tmp5, float* %tmp3, align 4
+ %tmp6 = sitofp i64 %i.0 to float
+ %tmp7 = getelementptr inbounds float, float* %A2, i64 %i.0
+ %tmp8 = load float, float* %tmp7, align 4
+ %tmp9 = fadd float %tmp8, %tmp6
+ store float %tmp9, float* %tmp7, align 4
+ %tmp10 = sitofp i64 %i.0 to float
+ %tmp11 = getelementptr inbounds float, float* %A3, i64 %i.0
+ %tmp12 = load float, float* %tmp11, align 4
+ %tmp13 = fadd float %tmp12, %tmp10
+ store float %tmp13, float* %tmp11, align 4
+ %tmp14 = sitofp i64 %i.0 to float
+ %tmp15 = getelementptr inbounds float, float* %A4, i64 %i.0
+ %tmp16 = load float, float* %tmp15, align 4
+ %tmp17 = fadd float %tmp16, %tmp14
+ store float %tmp17, float* %tmp15, align 4
+ %tmp18 = sitofp i64 %i.0 to float
+ %tmp19 = getelementptr inbounds float, float* %A5, i64 %i.0
+ %tmp20 = load float, float* %tmp19, align 4
+ %tmp21 = fadd float %tmp20, %tmp18
+ store float %tmp21, float* %tmp19, align 4
+ %tmp22 = sitofp i64 %i.0 to float
+ %tmp23 = getelementptr inbounds float, float* %A6, i64 %i.0
+ %tmp24 = load float, float* %tmp23, align 4
+ %tmp25 = fadd float %tmp24, %tmp22
+ store float %tmp25, float* %tmp23, align 4
+ %tmp26 = sitofp i64 %i.0 to float
+ %tmp27 = getelementptr inbounds float, float* %A7, i64 %i.0
+ %tmp28 = load float, float* %tmp27, align 4
+ %tmp29 = fadd float %tmp28, %tmp26
+ store float %tmp29, float* %tmp27, align 4
+ %tmp30 = sitofp i64 %i.0 to float
+ %tmp31 = getelementptr inbounds float, float* %A8, i64 %i.0
+ %tmp32 = load float, float* %tmp31, align 4
+ %tmp33 = fadd float %tmp32, %tmp30
+ store float %tmp33, float* %tmp31, align 4
+ %tmp34 = sitofp i64 %i.0 to float
+ %tmp35 = getelementptr inbounds float, float* %A9, i64 %i.0
+ %tmp36 = load float, float* %tmp35, align 4
+ %tmp37 = fadd float %tmp36, %tmp34
+ store float %tmp37, float* %tmp35, align 4
+ %tmp38 = sitofp i64 %i.0 to float
+ %tmp39 = getelementptr inbounds float, float* %A10, i64 %i.0
+ %tmp40 = load float, float* %tmp39, align 4
+ %tmp41 = fadd float %tmp40, %tmp38
+ store float %tmp41, float* %tmp39, align 4
+ %tmp42 = sitofp i64 %i.0 to float
+ %tmp43 = getelementptr inbounds float, float* %A11, i64 %i.0
+ %tmp44 = load float, float* %tmp43, align 4
+ %tmp45 = fadd float %tmp44, %tmp42
+ store float %tmp45, float* %tmp43, align 4
+ br label %bb46
+
+bb46: ; preds = %bb2
+ %tmp47 = add nuw nsw i64 %i.0, 1
+ br label %bb1
+
+bb48: ; preds = %bb1
+ ret void
+}
More information about the llvm-commits
mailing list