[Polly] Add disjoint flag to some tests (NFC)

This commit is contained in:
Nikita Popov 2023-12-05 14:36:35 +01:00
parent 0626cedb17
commit 17168f7f78
4 changed files with 8 additions and 8 deletions

View File

@ -72,17 +72,17 @@ for.body6: ; preds = %for.body6, %for.con
%0 = load double, ptr %arrayidx8, align 8
%mul = fmul double %0, %beta
store double %mul, ptr %arrayidx12, align 8
%indvars.iv.next = or i64 %indvars.iv, 1
%indvars.iv.next = or disjoint i64 %indvars.iv, 1
%arrayidx8.1 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next
%1 = load double, ptr %arrayidx8.1, align 8
%mul.1 = fmul double %1, %beta
store double %mul.1, ptr %arrayidx12, align 8
%indvars.iv.next.1 = or i64 %indvars.iv, 2
%indvars.iv.next.1 = or disjoint i64 %indvars.iv, 2
%arrayidx8.2 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.1
%2 = load double, ptr %arrayidx8.2, align 8
%mul.2 = fmul double %2, %beta
store double %mul.2, ptr %arrayidx12, align 8
%indvars.iv.next.2 = or i64 %indvars.iv, 3
%indvars.iv.next.2 = or disjoint i64 %indvars.iv, 3
%arrayidx8.3 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.2
%3 = load double, ptr %arrayidx8.3, align 8
%mul.3 = fmul double %3, %beta

View File

@ -25,7 +25,7 @@ for.body215:
%4 = shl nuw nsw i64 %indvars.iv1921, 1
%arrayidx230 = getelementptr inbounds %struct.storable_picture.5.221.389.509.629.797.917.1133.1205.1445.1469.1517.1541.1565.1589.1661.1685.1757.1781.1829.1877.2165.2285.2405.2429.2453.2477.2501.2525.2837.2861.2885.2909.4417.1.7.13.17.23.29.55.57.59.61.187, ptr %1, i64 0, i32 5, i64 %indvars.iv1926, i64 1, i64 %4
store i64 undef, ptr %arrayidx230, align 8
%5 = or i64 %4, 1
%5 = or disjoint i64 %4, 1
%arrayidx248 = getelementptr inbounds %struct.storable_picture.5.221.389.509.629.797.917.1133.1205.1445.1469.1517.1541.1565.1589.1661.1685.1757.1781.1829.1877.2165.2285.2405.2429.2453.2477.2501.2525.2837.2861.2885.2909.4417.1.7.13.17.23.29.55.57.59.61.187, ptr %1, i64 0, i32 5, i64 %indvars.iv1926, i64 1, i64 %5
store i64 undef, ptr %arrayidx248, align 8
%arrayidx264 = getelementptr inbounds %struct.storable_picture.5.221.389.509.629.797.917.1133.1205.1445.1469.1517.1541.1565.1589.1661.1685.1757.1781.1829.1877.2165.2285.2405.2429.2453.2477.2501.2525.2837.2861.2885.2909.4417.1.7.13.17.23.29.55.57.59.61.187, ptr %2, i64 0, i32 5, i64 %indvars.iv1926, i64 1, i64 %4

View File

@ -43,17 +43,17 @@ for.body6: ; preds = %for.body6, %for.con
%0 = load double, ptr %arrayidx8, align 8
%mul = fmul double %0, %beta
store double %mul, ptr %arrayidx12, align 8
%indvars.iv.next = or i64 %indvars.iv, 1
%indvars.iv.next = or disjoint i64 %indvars.iv, 1
%arrayidx8.1 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next
%1 = load double, ptr %arrayidx8.1, align 8
%mul.1 = fmul double %1, %beta
store double %mul.1, ptr %arrayidx12, align 8
%indvars.iv.next.1 = or i64 %indvars.iv, 2
%indvars.iv.next.1 = or disjoint i64 %indvars.iv, 2
%arrayidx8.2 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.1
%2 = load double, ptr %arrayidx8.2, align 8
%mul.2 = fmul double %2, %beta
store double %mul.2, ptr %arrayidx12, align 8
%indvars.iv.next.2 = or i64 %indvars.iv, 3
%indvars.iv.next.2 = or disjoint i64 %indvars.iv, 3
%arrayidx8.3 = getelementptr inbounds [1024 x double], ptr %A, i64 %indvars.iv35, i64 %indvars.iv.next.2
%3 = load double, ptr %arrayidx8.3, align 8
%mul.3 = fmul double %3, %beta

View File

@ -20,7 +20,7 @@ for.end: ; preds = %for.body, %entry.sp
for.body81: ; preds = %for.body81, %for.end
%j.19 = phi i32 [ %shl, %for.end ], [ %add169, %for.body81 ]
%add13710 = or i32 %j.19, 1
%add13710 = or disjoint i32 %j.19, 1
%idxprom138 = sext i32 %add13710 to i64
%arrayidx139 = getelementptr inbounds double, ptr %a, i64 %idxprom138
store double undef, ptr %arrayidx139, align 8