| #
4028bb10 |
| 26-Nov-2024 |
Matt Arsenault <Matthew.Arsenault@amd.com> |
Local: Handle noalias_addrspace in combineMetadata (#103938)
This should act like range.
Previously ConstantRangeList assumed a 64-bit range. Now query from the
actual entries. This also means t
Local: Handle noalias_addrspace in combineMetadata (#103938)
This should act like range.
Previously ConstantRangeList assumed a 64-bit range. Now query from the
actual entries. This also means that the empty range has no bitwidth, so
move asserts to avoid checking the bitwidth of empty ranges.
show more ...
|
| #
9f10252c |
| 28-Jun-2024 |
Haopeng Liu <153236845+haopliu@users.noreply.github.com> |
Add ConstantRangeList::subtract(ConstantRange) (#97093)
Add ConstantRangeList::subtract(ConstantRange).
This API will be used in the "initializes" attribute inference as well
(for load instructi
Add ConstantRangeList::subtract(ConstantRange) (#97093)
Add ConstantRangeList::subtract(ConstantRange).
This API will be used in the "initializes" attribute inference as well
(for load instructions).
show more ...
|
| #
e6c22169 |
| 25-Jun-2024 |
Haopeng Liu <153236845+haopliu@users.noreply.github.com> |
Add ConstantRangeList::unionWith() and ::intersectWith() (#96547)
Add ConstantRangeList::unionWith() and ::intersectWith().
These methods will be used in the "initializes" attribute inference.
Add ConstantRangeList::unionWith() and ::intersectWith() (#96547)
Add ConstantRangeList::unionWith() and ::intersectWith().
These methods will be used in the "initializes" attribute inference.
https://github.com/llvm/llvm-project/commit/df11106068294fb00f11988d3f48336e2cbed364
show more ...
|
| #
5ece35df |
| 21-Jun-2024 |
Haopeng Liu <153236845+haopliu@users.noreply.github.com> |
Add the 'initializes' attribute langref and support (#84803)
We propose adding a new LLVM attribute,
`initializes((Lo1,Hi1),(Lo2,Hi2),...)`, which expresses the notion of
memory space (i.e., inter
Add the 'initializes' attribute langref and support (#84803)
We propose adding a new LLVM attribute,
`initializes((Lo1,Hi1),(Lo2,Hi2),...)`, which expresses the notion of
memory space (i.e., intervals, in bytes) that the argument pointing to
is initialized in the function.
Will commit the attribute inferring in the follow-up PRs.
https://discourse.llvm.org/t/rfc-llvm-new-initialized-parameter-attribute-for-improved-interprocedural-dse/77337
show more ...
|