Displaying 8 results from an estimated 8 matches for "min_int".
2017 Nov 29
3
RFC: Adding 'no-overflow' keyword to 'sdiv'\'udiv' instructions
...lt;result> = sdiv nof <ty> <op1>, <op2> ; yields ty:result
<result> = udiv nof <ty> <op1>, <op2> ; yields ty:result
Overview:
If the keyword is present, the compiler can assume no zero values in the denominator. Moreover, for sdiv the division MIN_INT / -1 is prohibited. Otherwise, undefined behavior.
Poison value is returned, in case of division by zero or MIN_INT/-1 if the keyword not present.
Motivation:
In the current state if the loop-vectorizer decides that it should vectorize a loop which contains a predicated integer division -...
2018 Jan 25
2
Late setting of SCEV NoWrap flags does bad with cache
...er a different problem related to this late flag setting. The problem is that current SCEV implementation caches a lot of data about SCEVs. In particular, information about ranges and loop backedge taken counts. A side effect of that is that if we had an AddRec like {1,+,1} and cached its range as [MIN_INT, MAX_INT+1), and then later found out that this recurrency provably has <nsw>, its cached range doesn't get updated. As well as ranges of all other SCEVs that depend on that. As result, we have a very weird behavior of SCEV that is unable to prove that sext({1,+,1}<nsw>) is a positi...
2018 Jan 25
1
Late setting of SCEV NoWrap flags does bad with cache
...er a different problem related to this late flag setting. The problem is that current SCEV implementation caches a lot of data about SCEVs. In particular, information about ranges and loop backedge taken counts. A side effect of that is that if we had an AddRec like {1,+,1} and cached its range as [MIN_INT, MAX_INT+1), and then later found out that this recurrency provably has <nsw>, its cached range doesn't get updated. As well as ranges of all other SCEVs that depend on that. As result, we have a very weird behavior of SCEV that is unable to prove that sext({1,+,1}<nsw>) is a positi...
2018 Jan 26
0
Late setting of SCEV NoWrap flags does bad with cache
...em related to this late flag
> setting. The problem is that current SCEV implementation caches a lot of
> data about SCEVs. In particular, information about ranges and loop backedge
> taken counts. A side effect of that is that if we had an AddRec like {1,+,1}
> and cached its range as [MIN_INT, MAX_INT+1), and then later found out that
> this recurrency provably has <nsw>, its cached range doesn't get updated. As
> well as ranges of all other SCEVs that depend on that. As result, we have a
> very weird behavior of SCEV that is unable to prove that sext({1,+,1}<nsw&g...
2018 Jan 26
2
Late setting of SCEV NoWrap flags does bad with cache
...elated to this late
> flag setting. The problem is that current SCEV implementation caches a
> lot of data about SCEVs. In particular, information about ranges and
> loop backedge taken counts. A side effect of that is that if we had an
> AddRec like {1,+,1} and cached its range as [MIN_INT, MAX_INT+1), and
> then later found out that this recurrency provably has <nsw>, its
> cached range doesn't get updated. As well as ranges of all other SCEVs
> that depend on that. As result, we have a very weird behavior of SCEV
> that is unable to prove that sext({1,+,1}...
2009 Jan 16
0
success: compilation of python2.5.2 under wine+msys+mingw32
...th the
dynamic libraries (such as pyexpat.pyd - python for win32's convention
is .pyd not .so).
running the regression testing has been... interesting :) several
bugs in wine have been detected, along with faults in the header-files
that need to be corrected. tmpfile() is faulty; MAX_LONG and MIN_INT
#defines cause problems; the default file format CRLF instead of LF
causes the builtin regression test to fail; _ctypes _utterly_ borks on
c structure creation and manipulation but is using assembly-stuff (a
copy of libffi is included in python) - there are a few more, but out
of 350 tests, the maj...
2018 Jan 26
0
Late setting of SCEV NoWrap flags does bad with cache
...is late
>> flag setting. The problem is that current SCEV implementation caches a
>> lot of data about SCEVs. In particular, information about ranges and
>> loop backedge taken counts. A side effect of that is that if we had an
>> AddRec like {1,+,1} and cached its range as [MIN_INT, MAX_INT+1), and
>> then later found out that this recurrency provably has <nsw>, its
>> cached range doesn't get updated. As well as ranges of all other SCEVs
>> that depend on that. As result, we have a very weird behavior of SCEV
>> that is unable to prove that...
2006 Aug 04
2
Warcraft III won't run
Did you ever resolve your problem with Warcraft III? I'm having the same problem.
Michael Gerst
21-H-05
One ATT Center
Saint Louis, MO 63101
314-235-5443
RESTRICTED-PROPRIETARY INFORMATION
The information contained herein is for use only by authorized employees of AT&T Services, Inc., and its authorized affiliates.
It is not for general distribution within or outside the respective