diff --git a/src/librustc_trans/intrinsic.rs b/src/librustc_trans/intrinsic.rs index f1cb8b224b3dc..3cd60e7f1bc7f 100644 --- a/src/librustc_trans/intrinsic.rs +++ b/src/librustc_trans/intrinsic.rs @@ -406,8 +406,8 @@ pub fn trans_intrinsic_call<'a, 'tcx>(bcx: &Builder<'a, 'tcx>, let zero = C_null(bcx.ccx.isize_ty()); // `offset == 0` let is_zero = bcx.icmp(llvm::IntPredicate::IntEQ, offset, zero); - // `if offset == 0 { 0 } else { offset - align }` - bcx.select(is_zero, zero, bcx.sub(offset, align)) + // `if offset == 0 { 0 } else { align - offset }` + bcx.select(is_zero, zero, bcx.sub(align, offset)) } name if name.starts_with("simd_") => { match generic_simd_intrinsic(bcx, name, diff --git a/src/test/run-pass/align-offset-sign.rs b/src/test/run-pass/align-offset-sign.rs new file mode 100644 index 0000000000000..aaa0419d061cb --- /dev/null +++ b/src/test/run-pass/align-offset-sign.rs @@ -0,0 +1,16 @@ +// Copyright 2017 The Rust Project Developers. See the COPYRIGHT +// file at the top-level directory of this distribution and at +// http://rust-lang.org/COPYRIGHT. +// +// Licensed under the Apache License, Version 2.0 or the MIT license +// , at your +// option. This file may not be copied, modified, or distributed +// except according to those terms. + +#![feature(align_offset)] + +fn main() { + let x = 1 as *const u8; + assert_eq!(x.align_offset(8), 7); +}