[polly] a5d9810 - [Polly] Remove the test case that depends on InstCombine and DeLICM.

[Roman Gareev via llvm-commits]

Author: Roman Gareev
Date: 2022-08-14T12:51:57+03:00
New Revision: a5d981045de7a7ca88bc1d9448a3735c3a3260ad

URL: https://github.com/llvm/llvm-project/commit/a5d981045de7a7ca88bc1d9448a3735c3a3260ad
DIFF: https://github.com/llvm/llvm-project/commit/a5d981045de7a7ca88bc1d9448a3735c3a3260ad.diff

LOG: [Polly] Remove the test case that depends on InstCombine and DeLICM.

Added: 
    

Modified: 
    

Removed: 
    polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll


################################################################################
diff  --git a/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll b/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll
deleted file mode 100644
index 2ca48156d3e3b..0000000000000
--- a/polly/test/ScheduleOptimizer/pattern-matching-based-opts_23.ll
+++ /dev/null
@@ -1,79 +0,0 @@
-; RUN: opt %loadPolly -polly-delicm -polly-simplify -polly-opt-isl \
-; RUN: -polly-pattern-matching-based-opts=true \
-; RUN: -polly-tc-opt=true -debug -disable-output < %s 2>&1 | FileCheck %s
-; REQUIRES: asserts
-;
-; Check that a region statement, which has the correct order of accesses, is not
-; detected.
-;
-;    for (int i = 0; i < 32; i++)
-;      for (int j = 0; j < 32; j++)
-;        for (int k = 0; k < 32; k++) {
-;          int c = C[i][j];
-;          if (i*j*k < 10) {
-;            C[i][j] = A[i][k] + B[k][j];
-;          } else {
-;            C[i][j] = c;
-;          }
-;        }
-;
-; CHECK-NOT: The tensor contraction pattern was detected
-;
-target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
-; Function Attrs: nounwind uwtable
-define dso_local void @foo([64 x double]* noundef %C, [64 x double]* noundef %A, [64 x double]* noundef %B) #0 {
-entry:
-  br label %for.cond1.preheader
-
-for.cond1.preheader:                              ; preds = %entry, %for.inc34
-  %indvars.iv48 = phi i64 [ 0, %entry ], [ %indvars.iv.next49, %for.inc34 ]
-  br label %for.cond5.preheader
-
-for.cond5.preheader:                              ; preds = %for.cond1.preheader, %for.inc31
-  %indvars.iv43 = phi i64 [ 0, %for.cond1.preheader ], [ %indvars.iv.next44, %for.inc31 ]
-  br label %for.body8
-
-for.body8:                                        ; preds = %for.cond5.preheader, %if.end
-  %indvars.iv = phi i64 [ 0, %for.cond5.preheader ], [ %indvars.iv.next, %if.end ]
-  %arrayidx10 = getelementptr inbounds [64 x double], [64 x double]* %C, i64 %indvars.iv48, i64 %indvars.iv43
-  %0 = mul nuw nsw i64 %indvars.iv43, %indvars.iv48
-  %1 = mul nuw nsw i64 %0, %indvars.iv
-  %cmp12 = icmp ult i64 %1, 10
-  br i1 %cmp12, label %if.then, label %if.else
-
-if.then:                                          ; preds = %for.body8
-  %arrayidx17 = getelementptr inbounds [64 x double], [64 x double]* %A, i64 %indvars.iv48, i64 %indvars.iv
-  %2 = load double, double* %arrayidx17, align 8
-  %arrayidx21 = getelementptr inbounds [64 x double], [64 x double]* %B, i64 %indvars.iv, i64 %indvars.iv43
-  %3 = load double, double* %arrayidx21, align 8
-  %add = fadd fast double %3, %2
-  br label %if.end
-
-if.else:                                          ; preds = %for.body8
-  %4 = load double, double* %arrayidx10, align 8
-  %conv = fptosi double %4 to i32
-  %conv26 = sitofp i32 %conv to double
-  br label %if.end
-
-if.end:                                           ; preds = %if.else, %if.then
-  %storemerge = phi double [ %conv26, %if.else ], [ %add, %if.then ]
-  store double %storemerge, double* %arrayidx10, align 8
-  %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
-  %exitcond = icmp ne i64 %indvars.iv.next, 32
-  br i1 %exitcond, label %for.body8, label %for.inc31
-
-for.inc31:                                        ; preds = %if.end
-  %indvars.iv.next44 = add nuw nsw i64 %indvars.iv43, 1
-  %exitcond47 = icmp ne i64 %indvars.iv.next44, 32
-  br i1 %exitcond47, label %for.cond5.preheader, label %for.inc34
-
-for.inc34:                                        ; preds = %for.inc31
-  %indvars.iv.next49 = add nuw nsw i64 %indvars.iv48, 1
-  %exitcond51 = icmp ne i64 %indvars.iv.next49, 32
-  br i1 %exitcond51, label %for.cond1.preheader, label %for.end36
-
-for.end36:                                        ; preds = %for.inc34
-  ret void
-}