HomePhabricator

[BasicAA] Fix aliasGEP/DecomposeGEPExpression for scalable type.

Authored by huihuiz on Apr 10 2020, 4:24 PM.

Description

[BasicAA] Fix aliasGEP/DecomposeGEPExpression for scalable type.

Summary:
Don't attempt to analyze the decomposed GEP for scalable type.
GEP index scale is not compile-time constant for scalable type.
Be conservative, return MayAlias.

Explicitly call TypeSize::getFixedSize() to assert on places where
scalable type doesn't make sense.

Add unit tests to check functionality of -basicaa for scalable type.

This patch is needed for D76944.

Reviewers: sdesmalen, efriedma, spatel, bjope, ctetreau

Reviewed By: efriedma

Subscribers: tschuett, hiraditya, rkruppe, psnobl, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D77828

Details

Committed
huihuizApr 10 2020, 4:58 PM
Reviewer
efriedma
Differential Revision
D77828: [BasicAA] Fix aliasGEP/DecomposeGEPExpression for scalable type.
Parents
rGf78fcd6906a0: [lldb/Test] Rewrite ReproducerInstrumentationTest
Branches
Unknown
Tags
Unknown