History log of /llvm-project/llvm/unittests/IR/ConstantRangeListTest.cpp (Results 1 – 3 of 3)
Revision Date Author Comments
# 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 ...