0074a462f1
The profiling of the LLVM Test-suite reveals that a significant portion, specifically 14,090 out of 139,323, loop nests were identified as non-viable candidates for transformation, leading to the transform exiting from isComputableLoopNest() without any action. More importantly, dependence information was computed for these loop nests before reaching the function isComputableLoopNest(), which does not require DI and relies solely on scalar evolution (SE). To enhance compile-time efficiency, this patch moves the call to isComputableLoopNest() earlier in the control-flow, thereby avoiding unnecessary dependence calculations. The impact of this change is evident on the compile-time-tracker, with the overall geometric mean improvement recorded at 0.11%, while the lencode benchmark gets a more substantial benefit of 0.44%. This improvement can be tracked in the isc-ln-exp-2 branch under my repo.
63 lines
2.2 KiB
LLVM
63 lines
2.2 KiB
LLVM
; RUN: opt < %s -passes=loop-interchange -cache-line-size=64 -pass-remarks-missed='loop-interchange' -pass-remarks-output=%t -S \
|
|
; RUN: -verify-dom-info -verify-loop-info -verify-loop-lcssa 2>&1
|
|
; RUN: FileCheck --input-file=%t --check-prefix=REMARKS %s
|
|
|
|
; REMARKS: --- !Analysis
|
|
; REMARKS-NEXT: Pass: loop-interchange
|
|
; REMARKS-NEXT: Name: Dependence
|
|
; REMARKS-NEXT: Function: pr48212
|
|
; REMARKS-NEXT: Args:
|
|
; REMARKS-NEXT: - String: Computed dependence info, invoking the transform.
|
|
; REMARKS-NEXT: ...
|
|
|
|
; REMARKS: --- !Passed
|
|
; REMARKS-NEXT: Pass: loop-interchange
|
|
; REMARKS-NEXT: Name: Interchanged
|
|
; REMARKS-NEXT: Function: pr48212
|
|
|
|
define void @pr48212(ptr %filter) {
|
|
entry:
|
|
br label %L1
|
|
|
|
L1: ; preds = %entry
|
|
br label %for.body
|
|
|
|
for.body: ; preds = %L1, %for.inc6
|
|
%temp.04 = phi i32 [ undef, %L1 ], [ %temp.1.lcssa, %for.inc6 ]
|
|
%k1.03 = phi i32 [ 0, %L1 ], [ %inc7, %for.inc6 ]
|
|
br label %L2
|
|
|
|
L2: ; preds = %for.body
|
|
br label %for.body3
|
|
|
|
for.body3: ; preds = %L2, %for.inc
|
|
%temp.12 = phi i32 [ %temp.04, %L2 ], [ %add, %for.inc ]
|
|
%k2.01 = phi i32 [ 0, %L2 ], [ %inc, %for.inc ]
|
|
%idxprom = sext i32 %k2.01 to i64
|
|
%arrayidx = getelementptr inbounds [5 x i32], ptr %filter, i64 %idxprom
|
|
%idxprom4 = sext i32 %k1.03 to i64
|
|
%arrayidx5 = getelementptr inbounds [5 x i32], ptr %arrayidx, i64 0, i64 %idxprom4
|
|
%0 = load i32, ptr %arrayidx5
|
|
%add = add nsw i32 %temp.12, %0
|
|
br label %for.inc
|
|
|
|
for.inc: ; preds = %for.body3
|
|
%inc = add nsw i32 %k2.01, 1
|
|
%cmp2 = icmp slt i32 %inc, 3
|
|
br i1 %cmp2, label %for.body3, label %for.end
|
|
|
|
for.end: ; preds = %for.inc
|
|
%temp.1.lcssa = phi i32 [ %add, %for.inc ]
|
|
br label %for.inc6
|
|
|
|
for.inc6: ; preds = %for.end
|
|
%inc7 = add nsw i32 %k1.03, 1
|
|
%cmp = icmp slt i32 %inc7, 5
|
|
br i1 %cmp, label %for.body, label %for.end8
|
|
|
|
for.end8: ; preds = %for.inc6
|
|
ret void
|
|
}
|
|
|
|
|