[all-commits] [llvm/llvm-project] 9345ab: [SCEVExpander] Skip creating <u 0 check, which is ...
Florian Hahn via All-commits
all-commits at lists.llvm.org
Sat Jan 8 02:42:00 PST 2022
Author: Florian Hahn <flo at fhahn.com>
Date: 2022-01-08 (Sat, 08 Jan 2022)
[SCEVExpander] Skip creating <u 0 check, which is always false.
Unsigned compares of the form <u 0 are always false. Do not create such
a redundant check in generateOverflowCheck.
The patch introduces a new lambda to create the check, so we can
exit early conveniently and skip creating some instructions feeding the
I am planning to sink a few additional instructions as follow-ups, but I
would prefer to do this separately, to keep the changes and diff
Reviewed By: reames
Differential Revision: https://reviews.llvm.org/D116811
More information about the All-commits