[MatMul] Make MatMul detection independent of internal isl representations.
commit9831ef6b9bdd119c438673c95b7fd4e8a5f0c0f7
authorMichael Kruse <llvm@meinersbur.de>
Sun, 20 Aug 2017 21:31:11 +0000 (20 21:31 +0000)
committerMichael Kruse <llvm@meinersbur.de>
Sun, 20 Aug 2017 21:31:11 +0000 (20 21:31 +0000)
tree4e438763deb31d66f4f696b3cd217591ce0d939e
parent3f65575965028542854f0bdad7bddbdb9014ef13
[MatMul] Make MatMul detection independent of internal isl representations.

The pattern recognition for MatMul is restrictive.

The number of "disjuncts" in the isl_map containing constraint
information was previously required to be 1
(as per isl_*_coalesce - which should ideally produce a domain map with
a single disjunct, but does not under some circumstances).

This was changed and made more flexible.

Contributed-by: Annanay Agarwal <cs14btech11001@iith.ac.in>
Differential Revision: https://reviews.llvm.org/D36460

git-svn-id: https://llvm.org/svn/llvm-project/polly/trunk@311302 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transform/ScheduleOptimizer.cpp
test/ScheduleOptimizer/pattern_matching_based_opts_splitmap.ll [new file with mode: 0644]
test/ScheduleOptimizer/pattern_matching_based_opts_splitmap___%for.body---%for.end23.jscop [new file with mode: 0644]
test/ScheduleOptimizer/pattern_matching_based_opts_splitmap___%for.body---%for.end23.jscop.transformed [new file with mode: 0644]