[llvm-bugs] [Bug 34096] New: Make "isMatMulOperandAcc" independent of isl representation.

[via llvm-bugs]

https://bugs.llvm.org/show_bug.cgi?id=34096

            Bug ID: 34096
           Summary: Make "isMatMulOperandAcc" independent of isl
                    representation.
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer
          Assignee: polly-dev at googlegroups.com
          Reporter: cs14btech11001 at iith.ac.in
                CC: llvm-bugs at lists.llvm.org

Created attachment 18920
  --> https://bugs.llvm.org/attachment.cgi?id=18920&action=edit
(Non-reduced) test-case for matmul recognition in TensorFlow.

The MatMul pattern recognition is quite restrictive. The number of "disjuncts"
in the isl_map containing constraint information is 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) and the number of constraints
on the disjunct is required to be 2. 

We should come up with a more efficient implementation of the MatMul
recognition that is independent of this isl representation. 

******************

To run test case -

opt matmul.ll -sroa -simplifycfg -loop-rotate -loop-simplify -polly-scops
-polly-delicm -polly-opt-isl -polly-process-unprofitable -polly-use-llvm-names
-pass-remarks-analysis=polly-detect -debug-only=polly-opt-isl,polly-delicm
-polly-delicm-partial-writes

(Will not print "Matrix Multiplication pattern detected")

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20170807/c05b0cb1/attachment.html>