Please use GitHub pull requests for new patches. Phabricator shutdown timeline

[SCCP] Add support for with.overflow intrinsics
ClosedPublic
Actions

Authored by nikic on Nov 9 2022, 6:43 AM.

Details

Reviewers

fhahn
efriedma

Commits

rGf101196d695e: [SCCP] Add support for with.overflow intrinsics

Summary

This adds SCCP support for extractvalues of with.overflow. We compute both the range of the result value and determine when the overflow value is always false.

Diff Detail

Repository: rG LLVM Github Monorepo

Event Timeline

nikic created this revision.Nov 9 2022, 6:43 AM

Herald added a project: Restricted Project. · View Herald TranscriptNov 9 2022, 6:43 AM

Herald added a subscriber: hiraditya. · View Herald Transcript

nikic requested review of this revision.Nov 9 2022, 6:43 AM

Herald added a project: Restricted Project. · View Herald TranscriptNov 9 2022, 6:43 AM

Herald added a subscriber: llvm-commits. · View Herald Transcript

nikic edited the summary of this revision. (Show Details)Nov 9 2022, 6:46 AM

Harbormaster completed remote builds in B196898: Diff 474257.Nov 9 2022, 8:00 AM

Ping :)

LGTM, thanks!

This revision is now accepted and ready to land.Dec 5 2022, 2:47 AM

Closed by commit rGf101196d695e: [SCCP] Add support for with.overflow intrinsics (authored by nikic). · Explain WhyDec 5 2022, 3:00 AM

This revision was automatically updated to reflect the committed changes.

nikic added a commit: rGf101196d695e: [SCCP] Add support for with.overflow intrinsics.

Revision Contents
Changeset List

Path

Size

llvm/

lib/

Transforms/

Utils/

SCCPSolver.cpp

31 lines

test/

Transforms/

SCCP/

with.overflow.ll

54 lines

Diff 480035

View Options

llvm/lib/Transforms/Utils/SCCPSolver.cpp