frederik
/
oscar64
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix negative range propabation on binary or

This commit is contained in:
drmortalwombat 2024-09-17 15:19:01 +02:00
parent 637a10b234
commit 3e78933e9c
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
oscar64/InterCode.cpp
View File

@ -8354,6 +8354,16 @@ void InterCodeBasicBlock::UpdateLocalIntegerRangeSetsForward(const GrowingVariab
if (vr.mMaxState == IntegerValueRange::S_BOUND && ins->mSrc[0].mIntConst >= 0)
vr.mMaxValue = BuildLowerBitsMask(vr.mMaxValue) | ins->mSrc[0].mIntConst;
else if (ins->mSrc[0].mIntConst < 0)
{
if (vr.mMinState == IntegerValueRange::S_BOUND)
vr.mMinValue = int64min(vr.mMinValue, ins->mSrc[0].mIntConst);
else
{
vr.mMinState = IntegerValueRange::S_BOUND;
vr.mMinValue = ins->mSrc[0].mIntConst;
}
}
}
else if (ins->mSrc[1].mTemp < 0)
{
@ -8361,6 +8371,16 @@ void InterCodeBasicBlock::UpdateLocalIntegerRangeSetsForward(const GrowingVariab
if (vr.mMaxState == IntegerValueRange::S_BOUND && ins->mSrc[0].mIntConst >= 0)
vr.mMaxValue = BuildLowerBitsMask(vr.mMaxValue) | ins->mSrc[0].mIntConst;
else if (ins->mSrc[1].mIntConst < 0)
{
if (vr.mMinState == IntegerValueRange::S_BOUND)
vr.mMinValue = int64min(vr.mMinValue, ins->mSrc[1].mIntConst);
else
{
vr.mMinState = IntegerValueRange::S_BOUND;
vr.mMinValue = ins->mSrc[0].mIntConst;
}
}
}
else
vr.mMaxState = vr.mMinState = IntegerValueRange::S_UNBOUND;