b22a714840
The JIT that runs makepad apps from source: lexer, front end, type checker, lazy borrow checker (Gandalf; `--check-first` opts in), codegen, session and warm/cold caches keyed by compiler stamp, provided crates bound late, startup images, live patching. User-facing name is `makepad run` (binary `makepad`, MAKEPAD_RUN_* env, ~/.makepad-run); libs/relax stays the internal library name. `makepad check` reports rustc-style diagnostics with rustc error codes and checks a whole workspace (`--workspace`). Runs on macOS, Linux, Windows and Android. makepad-remote: one tool schema for apps and the WM (app/1): grabs, captures, traces, frame profiles and tweaks. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
34 lines
1.8 KiB
Rust
34 lines
1.8 KiB
Rust
// Mixed-sign integer ops (core/src/num/int_macros.rs:821 checked_sub_unsigned, :2019
|
|
// saturating_sub_unsigned, :2219 wrapping_sub_unsigned, :2753 overflowing_sub_unsigned;
|
|
// uint_macros.rs:2490 saturating_sub_signed, :2639 wrapping_sub_signed, :3032
|
|
// overflowing_add_signed, :3122 overflowing_sub_signed). glam's i16/i32 vectors use
|
|
// saturating_sub_unsigned; libm's hex_float.rs:320 does too.
|
|
#[test]
|
|
fn signed_with_unsigned() {
|
|
assert_eq!(5i32.saturating_sub_unsigned(7), -2);
|
|
assert_eq!(i32::MIN.saturating_sub_unsigned(1), i32::MIN);
|
|
assert_eq!((-100i8).saturating_sub_unsigned(200), i8::MIN);
|
|
assert_eq!(i16::MAX.saturating_sub_unsigned(u16::MAX), i16::MIN);
|
|
assert_eq!(5i8.checked_sub_unsigned(200), None);
|
|
assert_eq!(0i8.checked_sub_unsigned(128), Some(i8::MIN));
|
|
assert_eq!(0i8.checked_sub_unsigned(129), None);
|
|
assert_eq!(i64::MIN.wrapping_sub_unsigned(1), i64::MAX);
|
|
assert_eq!(1i16.overflowing_sub_unsigned(u16::MAX), (2, true));
|
|
assert_eq!(i16::MIN.overflowing_sub_unsigned(1), (i16::MAX, true));
|
|
assert_eq!((-1isize).overflowing_add_unsigned(1), (0, false));
|
|
}
|
|
|
|
#[test]
|
|
fn unsigned_with_signed() {
|
|
assert_eq!(1u8.saturating_sub_signed(2), 0);
|
|
assert_eq!(1u8.saturating_sub_signed(-2), 3);
|
|
assert_eq!((u8::MAX - 2).saturating_sub_signed(-4), u8::MAX);
|
|
assert_eq!(0u32.wrapping_sub_signed(1), u32::MAX);
|
|
assert_eq!(0u32.wrapping_sub_signed(-1), 1);
|
|
assert_eq!(1u64.overflowing_sub_signed(2), (u64::MAX, true));
|
|
assert_eq!(1u64.overflowing_sub_signed(-2), (3, false));
|
|
assert_eq!(1u16.overflowing_add_signed(-2), (u16::MAX, true));
|
|
assert_eq!(1u16.overflowing_add_signed(2), (3, false));
|
|
assert_eq!(u128::MAX.overflowing_add_signed(1), (0, true));
|
|
assert_eq!(2usize.overflowing_add_signed(-2), (0, false));
|
|
}
|