Bug ID: 34096
           Summary: Make "isMatMulOperandAcc" independent of isl
           Product: Polly
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Optimizer

Created attachment 18920
(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

(Will not print "Matrix Multiplication pattern detected")

You are receiving this mail because:
You are on the CC list for the bug.
llvm-bugs mailing list

Reply via email to