nandi/rustnim · 004-signed-shr.rs

⑂ 4e4d09dcdd22d17ba510de5639fc3a952ac73f6e

004-signed-shr.rs · 10 lines · 340 BRust    Blame HistoryRaw
Add the differential test runner, and a lowering to measure with it  nandithebull 1// DESIGN.md item 1: Nim's `shr` on a signed integer is arithmetic, like Rust's
2// `>>`. This is the operation base16ct's constant-time decoder depends on.
3fn main() {
4    let x: i16 = -256;
5    println!("{}", x >> 8);
6    println!("{}", (-1i32) >> 16);
7    let y: u16 = 65280;
8    println!("{}", y >> 8);
9    println!("{}", 1i32 << 10);

Add the differential test runner, and a lowering to measure with it 8ac32af nandithebull 14h ago	1	// DESIGN.md item 1: Nim's `shr` on a signed integer is arithmetic, like Rust's
	2	// `>>`. This is the operation base16ct's constant-time decoder depends on.
	3	fn main() {
	4	let x: i16 = -256;
	5	println!("{}", x >> 8);
	6	println!("{}", (-1i32) >> 16);
	7	let y: u16 = 65280;
	8	println!("{}", y >> 8);
	9	println!("{}", 1i32 << 10);
	10	}