|
|
|
@ -16,18 +16,14 @@ void BFI(TranslatorVisitor& v, u64 insn, const IR::U32& src_a, const IR::U32& ba
|
|
|
|
|
BitField<47, 1, u64> cc;
|
|
|
|
|
} const bfi{insn};
|
|
|
|
|
|
|
|
|
|
if (bfi.cc != 0) {
|
|
|
|
|
throw NotImplementedException("BFI CC");
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
const IR::U32 offset{v.ir.BitFieldExtract(src_a, v.ir.Imm32(0), v.ir.Imm32(8), false)};
|
|
|
|
|
const IR::U32 zero{v.ir.Imm32(0)};
|
|
|
|
|
const IR::U32 offset{v.ir.BitFieldExtract(src_a, zero, v.ir.Imm32(8), false)};
|
|
|
|
|
const IR::U32 unsafe_count{v.ir.BitFieldExtract(src_a, v.ir.Imm32(8), v.ir.Imm32(8), false)};
|
|
|
|
|
const IR::U32 max_size{v.ir.Imm32(32)};
|
|
|
|
|
|
|
|
|
|
// Edge case conditions
|
|
|
|
|
const IR::U1 zero_offset{v.ir.IEqual(offset, v.ir.Imm32(0))};
|
|
|
|
|
const IR::U1 exceed_offset{v.ir.IGreaterThanEqual(offset, max_size, false)};
|
|
|
|
|
const IR::U1 exceed_count{v.ir.IGreaterThanEqual(unsafe_count, max_size, false)};
|
|
|
|
|
const IR::U1 exceed_count{v.ir.IGreaterThan(unsafe_count, max_size, false)};
|
|
|
|
|
|
|
|
|
|
const IR::U32 remaining_size{v.ir.ISub(max_size, offset)};
|
|
|
|
|
const IR::U32 safe_count{v.ir.Select(exceed_count, remaining_size, unsafe_count)};
|
|
|
|
@ -36,9 +32,14 @@ void BFI(TranslatorVisitor& v, u64 insn, const IR::U32& src_a, const IR::U32& ba
|
|
|
|
|
IR::U32 result{v.ir.BitFieldInsert(base, insert, offset, safe_count)};
|
|
|
|
|
|
|
|
|
|
result = IR::U32{v.ir.Select(exceed_offset, base, result)};
|
|
|
|
|
result = IR::U32{v.ir.Select(zero_offset, base, result)};
|
|
|
|
|
|
|
|
|
|
v.X(bfi.dest_reg, result);
|
|
|
|
|
if (bfi.cc != 0) {
|
|
|
|
|
v.SetZFlag(v.ir.IEqual(result, zero));
|
|
|
|
|
v.SetSFlag(v.ir.ILessThan(result, zero, true));
|
|
|
|
|
v.ResetCFlag();
|
|
|
|
|
v.ResetOFlag();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
} // Anonymous namespace
|
|
|
|
|
|
|
|
|
|