OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Implement 128bit comparison binops

Browse Source
This commit is contained in:
bjorn3 2019-07-24 13:08:31 +02:00
parent 65e337cdf3
commit 4d35be684d
1 changed files with 28 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
src/codegen_i128.rs
View File

@ -60,22 +60,43 @@ pub fn maybe_codegen<'a, 'tcx>(
assert!(!checked);
let (lhs_lsb, lhs_msb) = fx.bcx.ins().isplit(lhs_val);
let (rhs_lsb, rhs_msb) = fx.bcx.ins().isplit(rhs_val);
let res = match (bin_op, is_signed) {
(BinOp::Eq, _) => {
let res = match bin_op {
BinOp::Eq => {
let lsb_eq = fx.bcx.ins().icmp(IntCC::Equal, lhs_lsb, rhs_lsb);
let msb_eq = fx.bcx.ins().icmp(IntCC::Equal, lhs_msb, rhs_msb);
fx.bcx.ins().band(lsb_eq, msb_eq)
}
(BinOp::Ne, _) => {
BinOp::Ne => {
let lsb_ne = fx.bcx.ins().icmp(IntCC::NotEqual, lhs_lsb, rhs_lsb);
let msb_ne = fx.bcx.ins().icmp(IntCC::NotEqual, lhs_msb, rhs_msb);
fx.bcx.ins().bor(lsb_ne, msb_ne)
}
_ => {
// FIXME implement it
let out_layout = fx.layout_of(out_ty);
return Some(crate::trap::trap_unreachable_ret_value(fx, out_layout, format!("unimplemented 128bit binop {:?}", bin_op)));
},
// if msb_eq {
// lhs_cc
// } else {
// msb_cc
// }
let cc = match (bin_op, is_signed) {
(BinOp::Ge, false) => IntCC::UnsignedGreaterThanOrEqual,
(BinOp::Gt, false) => IntCC::UnsignedGreaterThan,
(BinOp::Lt, false) => IntCC::UnsignedLessThan,
(BinOp::Le, false) => IntCC::UnsignedLessThanOrEqual,
(BinOp::Ge, true) => IntCC::SignedGreaterThanOrEqual,
(BinOp::Gt, true) => IntCC::SignedGreaterThan,
(BinOp::Lt, true) => IntCC::SignedLessThan,
(BinOp::Le, true) => IntCC::SignedLessThanOrEqual,
_ => unreachable!(),
};
let msb_eq = fx.bcx.ins().icmp(IntCC::Equal, lhs_msb, rhs_msb);
let lsb_cc = fx.bcx.ins().icmp(cc, lhs_lsb, rhs_lsb);
let msb_cc = fx.bcx.ins().icmp(cc, lhs_msb, rhs_msb);
fx.bcx.ins().select(msb_eq, lsb_cc, msb_cc)
}
};
let res = fx.bcx.ins().bint(types::I8, res);