Skip to content

cleanup overflow binop code #28

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 19 commits into from
Jun 20, 2016
Merged

cleanup overflow binop code #28

Changes from 1 commit
Commits
Show all changes
19 commits
Select commit Hold shift + click to select a range
58b4fac
implement overflowing ops
oli-obk Jun 17, 2016
3ba4f6d
remove code repetition and fix overflowing intrinsics
oli-obk Jun 17, 2016
6376ef4
run the *compiled* run-pass tests on the host machine
oli-obk Jun 17, 2016
4f48bef
cfail test for std::env::args()
oli-obk Jun 17, 2016
e3a2bf8
clippy
oli-obk Jun 17, 2016
00eb198
implement fn -> unsafe fn pointer casts
oli-obk Jun 17, 2016
874d683
improve method names and add documentation
oli-obk Jun 20, 2016
d977642
compiletest 2.0 uses json errors and doesn't depend on the output for…
oli-obk Jun 20, 2016
e90ee16
fix comparing of function pointers
oli-obk Jun 20, 2016
a1082b9
Merge remote-tracking branch 'origin/master' into oflo
oli-obk Jun 20, 2016
ed4af21
fix master
oli-obk Jun 20, 2016
b9ac85d
rustc does overflow checking for us, don't duplicate it.
oli-obk Jun 20, 2016
68469be
rename function cache member
oli-obk Jun 20, 2016
0821a15
no need for EvalContext::eval_binop
oli-obk Jun 20, 2016
3e3aeab
implement bit masks as the compiler would translate them
oli-obk Jun 20, 2016
a088f10
add a comment explaining the magic numbers
oli-obk Jun 20, 2016
001ae69
remove the bad rhs value error and panic instead. the typechecker pre…
oli-obk Jun 20, 2016
c7039db
simplify the masked rhs computation
oli-obk Jun 20, 2016
65de5dd
simplify even more
oli-obk Jun 20, 2016
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 10 additions & 8 deletions src/primval.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -82,17 +82,19 @@ pub fn binary_op<'tcx>(bin_op: mir::BinOp, left: PrimVal, right: PrimVal) -> Eva
U64(_) => 6,
_ => unreachable!(),
};
let mask = (1 << mask_bits) - 1;
let r = match right {
I8(i) => (i & ((1 << mask_bits) - 1)) as u32,
I16(i) => (i & ((1 << mask_bits) - 1)) as u32,
I32(i) => (i & ((1 << mask_bits) - 1)) as u32,
I64(i) => (i & ((1 << mask_bits) - 1)) as u32,
U8(i) => (i & ((1 << mask_bits) - 1)) as u32,
U16(i) => (i & ((1 << mask_bits) - 1)) as u32,
U32(i) => (i & ((1 << mask_bits) - 1)) as u32,
U64(i) => (i & ((1 << mask_bits) - 1)) as u32,
I8(i) => i as u8 & mask,
I16(i) => i as u8 & mask,
I32(i) => i as u8 & mask,
I64(i) => i as u8 & mask,
U8(i) => i as u8 & mask,
U16(i) => i as u8 & mask,
U32(i) => i as u8 & mask,
U64(i) => i as u8 & mask,
_ => panic!("bad MIR: bitshift rhs is not integral"),
Copy link
Member

@eddyb eddyb Jun 20, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@solson Do you have things set up so you can use bug! and span_bug! from librustc? I think those would be preferred.

Copy link
Contributor

@solson solson Jun 20, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That should be possible. I filed #32.

};
let r = r as u32;
Copy link
Member

@eddyb eddyb Jun 20, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This isn't necessary, is it?

Copy link
Member

@eddyb eddyb Jun 20, 2016

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Also, & mask can be done just once, afterwards.

macro_rules! shift {
($v:ident, $l:ident, $r:ident) => ({
match bin_op {
Expand Down