[AggressiveInstCombine] fixed PR36134
ClosedPublic
Actions

Authored by aaboud on Jan 30 2018, 4:11 AM.

Details

Reviewers

craig.topper
spatel
uabelho

Commits

rL323862: [AggressiveInstCombine] Make TruncCombine class ignore unreachable basic blocks.
rGd895bff5f280: [AggressiveInstCombine] Make TruncCombine class ignore unreachable basic blocks.

Summary

Make TruncCombine class ignore unreachable basic blocks.

This should solve PR36134.

Diff Detail

Repository: rL LLVM

Event Timeline

aaboud created this revision.Jan 30 2018, 4:11 AM

I don't know this code but the fix makes sense to me and it makes the crash I saw go away.

LGTM.

Nit: when proposing patches and writing the commit message, make the title be more descriptive than 'Fixed Bug ###'. Ie, the title should be something like the summary text shown here:
"Make TruncCombine class ignore unreachable basic blocks"

...and then add some motivation in the summary:
"because dead code may contain non-standard IR that causes infinite looping or crashes in underlying analysis. See PR### for more details."

That lets people who are scanning the mailing list or doing bisection archaeology know quickly what this commit is doing and why.

This revision is now accepted and ready to land.Jan 30 2018, 7:34 AM

Closed by commit rL323862: [AggressiveInstCombine] Make TruncCombine class ignore unreachable basic blocks. (authored by aaboud, committed by ). · Explain WhyJan 31 2018, 2:44 AM

This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

			Path	Packages
M			llvm/trunk/lib/Transforms/AggressiveInstCombine/AggressiveInstCombine.cpp (10 lines)
M			llvm/trunk/lib/Transforms/AggressiveInstCombine/AggressiveInstCombineInternal.h (7 lines)
M			llvm/trunk/lib/Transforms/AggressiveInstCombine/TruncInstCombine.cpp (7 lines)
M			llvm/trunk/test/Transforms/AggressiveInstCombine/trunc_unreachable_bb.ll (48 lines)