Emit getelementptr inbounds nuw for pointer::add()
This commit is contained in:
parent
5e9d8a7d55
commit
31cc4c074d
7 changed files with 55 additions and 15 deletions
|
@ -664,9 +664,15 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
|
|||
lhs.layout.ty,
|
||||
),
|
||||
|
||||
(OperandValue::Immediate(lhs_val), OperandValue::Immediate(rhs_val)) => {
|
||||
self.codegen_scalar_binop(bx, op, lhs_val, rhs_val, lhs.layout.ty)
|
||||
}
|
||||
(OperandValue::Immediate(lhs_val), OperandValue::Immediate(rhs_val)) => self
|
||||
.codegen_scalar_binop(
|
||||
bx,
|
||||
op,
|
||||
lhs_val,
|
||||
rhs_val,
|
||||
lhs.layout.ty,
|
||||
rhs.layout.ty,
|
||||
),
|
||||
|
||||
_ => bug!(),
|
||||
};
|
||||
|
@ -887,10 +893,11 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
|
|||
op: mir::BinOp,
|
||||
lhs: Bx::Value,
|
||||
rhs: Bx::Value,
|
||||
input_ty: Ty<'tcx>,
|
||||
lhs_ty: Ty<'tcx>,
|
||||
rhs_ty: Ty<'tcx>,
|
||||
) -> Bx::Value {
|
||||
let is_float = input_ty.is_floating_point();
|
||||
let is_signed = input_ty.is_signed();
|
||||
let is_float = lhs_ty.is_floating_point();
|
||||
let is_signed = lhs_ty.is_signed();
|
||||
match op {
|
||||
mir::BinOp::Add => {
|
||||
if is_float {
|
||||
|
@ -956,9 +963,9 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
|
|||
mir::BinOp::BitAnd => bx.and(lhs, rhs),
|
||||
mir::BinOp::BitXor => bx.xor(lhs, rhs),
|
||||
mir::BinOp::Offset => {
|
||||
let pointee_type = input_ty
|
||||
let pointee_type = lhs_ty
|
||||
.builtin_deref(true)
|
||||
.unwrap_or_else(|| bug!("deref of non-pointer {:?}", input_ty));
|
||||
.unwrap_or_else(|| bug!("deref of non-pointer {:?}", lhs_ty));
|
||||
let pointee_layout = bx.cx().layout_of(pointee_type);
|
||||
if pointee_layout.is_zst() {
|
||||
// `Offset` works in terms of the size of pointee,
|
||||
|
@ -966,7 +973,11 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
|
|||
lhs
|
||||
} else {
|
||||
let llty = bx.cx().backend_type(pointee_layout);
|
||||
bx.inbounds_gep(llty, lhs, &[rhs])
|
||||
if !rhs_ty.is_signed() {
|
||||
bx.inbounds_nuw_gep(llty, lhs, &[rhs])
|
||||
} else {
|
||||
bx.inbounds_gep(llty, lhs, &[rhs])
|
||||
}
|
||||
}
|
||||
}
|
||||
mir::BinOp::Shl | mir::BinOp::ShlUnchecked => {
|
||||
|
|
|
@ -332,6 +332,14 @@ pub trait BuilderMethods<'a, 'tcx>:
|
|||
ptr: Self::Value,
|
||||
indices: &[Self::Value],
|
||||
) -> Self::Value;
|
||||
fn inbounds_nuw_gep(
|
||||
&mut self,
|
||||
ty: Self::Type,
|
||||
ptr: Self::Value,
|
||||
indices: &[Self::Value],
|
||||
) -> Self::Value {
|
||||
self.inbounds_gep(ty, ptr, indices)
|
||||
}
|
||||
fn ptradd(&mut self, ptr: Self::Value, offset: Self::Value) -> Self::Value {
|
||||
self.gep(self.cx().type_i8(), ptr, &[offset])
|
||||
}
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue