Diffusion LLVM Github Monorepo a3614a31c46a

[BasicAA] Pass context instruction to isKnownNonZero()
a3614a31c46a
Actions

Authored by nikic on Dec 25 2020, 2:43 AM.

Tags

None

Subscribers

Description

[BasicAA] Pass context instruction to isKnownNonZero()

This allows us to handle additional cases like assumes.

Details

Committed

Dec 25 2020, 3:58 AM

Parents

rGb96a6ea0a94e: [BasicAA] Make sure context instruction is symmetric

Branches

Unknown

Tags

Unknown

Event Timeline

nikic committed rGa3614a31c46a: [BasicAA] Pass context instruction to isKnownNonZero() (authored by nikic).Dec 25 2020, 3:58 AM

house812815 added a subscriber: house812815.Dec 25 2020, 7:32 AM

uabelho mentioned this in rGb21840751278: [ValueTracking] Handle more non-trivial conditions in isKnownNonZero().Jan 4 2021, 4:41 AM

Changes (2)

Path

Size

llvm/

lib/

Analysis/

BasicAliasAnalysis.cpp

test/

Analysis/

BasicAA/

sequential-gep.ll

rGa3614a31c46a

llvm/lib/Analysis/BasicAliasAnalysis.cpp

Loading...

llvm/test/Analysis/BasicAA/sequential-gep.ll

Loading...