Displaying 2 results from an estimated 2 matches for "setnooverflow".
2020 Sep 22
2
How to clean-up SCEVs from sext/zext/trunc ?
...the SCEVs. Does PSE do that ?
Cheers,
Stefanos
Στις Δευ, 21 Σεπ 2020 στις 11:59 π.μ., ο/η Michael Kruse <
llvmdev at meinersbur.de> έγραψε:
> Have you looked into PredicatedScalarEvolution? It can generate
> runtime-checks for no-overflow assumptions
> (PredicatedScalarEvolution::setNoOverflow).
>
> Michael
>
> Am Fr., 18. Sept. 2020 um 18:13 Uhr schrieb Stefanos Baziotis via llvm-dev
> <llvm-dev at lists.llvm.org>:
>
>> Hi everyone,
>>
>> I've been using SCEV Delinearization but it fails when
>> other-than-pointer-size values are used...
2020 Sep 18
2
How to clean-up SCEVs from sext/zext/trunc ?
Hi everyone,
I've been using SCEV Delinearization but it fails when
other-than-pointer-size values are used in the subscripts. To make that
clear, say that we have a target in which pointers are 64-bit
for (int32_t i ...)
for (int32_t j ...)
a[i][j] = ...
doesn't work
while this:
for (int64_t i ...)
for (int64_t j ...)
does work.
I assume that the former does not work because