[llvm-bugs] [Bug 34096] New: Make "isMatMulOperandAcc" independent of isl representation.
llvm-bugs at lists.llvm.org
Mon Aug 7 00:37:52 PDT 2017
Bug ID: 34096
Summary: Make "isMatMulOperandAcc" independent of isl
Assignee: polly-dev at googlegroups.com
Reporter: cs14btech11001 at iith.ac.in
CC: llvm-bugs at lists.llvm.org
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
(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...
More information about the llvm-bugs