[PATCH] D104143: [IRSim][IROutliner] Canonicalizing commutative value numbering between similarity sections.
Andrew Litteken via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Jun 11 12:05:26 PDT 2021
AndrewLitteken created this revision.
AndrewLitteken added a reviewer: jroelofs.
Herald added subscribers: ormris, hiraditya.
AndrewLitteken requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.
When the initial relationship between two pairs of values between similar sections is ambiguous to commutativity, arguments to the outlined functions can be passed in such that the order is incorrect, causing miscompilations. This adds a canonical mapping to each similarity section, so that we can maintain the relationship of global value numbering from one section to another.
Added Tests:
Transforms/IROutliner/outlining-commutative-operands-opposite-order.ll
unittests/Analysis/IRSimilarityIdentifierTest.cpp - IRSimilarityCandidate:CanonicalNumbering
Repository:
rG LLVM Github Monorepo
https://reviews.llvm.org/D104143
Files:
llvm/include/llvm/Analysis/IRSimilarityIdentifier.h
llvm/include/llvm/Transforms/IPO/IROutliner.h
llvm/lib/Analysis/IRSimilarityIdentifier.cpp
llvm/lib/Transforms/IPO/IROutliner.cpp
llvm/test/Transforms/IROutliner/outlining-commutative-operands-opposite-order.ll
llvm/unittests/Analysis/IRSimilarityIdentifierTest.cpp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D104143.351526.patch
Type: text/x-patch
Size: 21670 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20210611/d400634b/attachment.bin>
More information about the llvm-commits
mailing list