[thin_check (rust)] sm bitmap entries were being unpacked incorrectly.

This commit is contained in:
Joe Thornber 2020-08-10 12:55:05 +01:00
parent b915257e10
commit d5444d2255

View File

@ -134,11 +134,14 @@ impl Unpack for Bitmap {
let val = word & 0x3; let val = word & 0x3;
word >>= 2; word >>= 2;
if val < 3 { // The bits are stored with the high bit at b * 2 + 1,
entries.push(BitmapEntry::Small(val as u8)); // and low at b *2. So we have to interpret this val.
} else { entries.push(match val {
entries.push(BitmapEntry::Overflow); 0 => BitmapEntry::Small(0),
} 1 => BitmapEntry::Small(2),
2 => BitmapEntry::Small(1),
_ => BitmapEntry::Overflow,
});
} }
i = tmp; i = tmp;