HomePhabricator

Reland [AssumeBundles] Use operand bundles to encode alignment assumptions

Authored by Tyker on Sep 12 2020, 4:36 AM.

Description

Reland [AssumeBundles] Use operand bundles to encode alignment assumptions

NOTE: There is a mailing list discussion on this: http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.html

Complemantary to the assumption outliner prototype in D71692, this patch
shows how we could simplify the code emitted for an alignemnt
assumption. The generated code is smaller, less fragile, and it makes it
easier to recognize the additional use as a "assumption use".

As mentioned in D71692 and on the mailing list, we could adopt this
scheme, and similar schemes for other patterns, without adopting the
assumption outlining.

Details

Committed
TykerSep 12 2020, 6:36 AM
Parents
rGd030aad7893a: [InstCombine][X86] Add tests for masked load/stores with comparisons.
Branches
Unknown
Tags
Unknown

Event Timeline

jdoerfert added inline comments.
/clang/test/CodeGen/builtin-assume-aligned.c
10

Hm, we actually don't need this bitcast :(