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>
38 lines
1.1 KiB
Rust
38 lines
1.1 KiB
Rust
// Big values built through temporaries (an array filled in a loop, a struct literal around it,
|
|
// Box::new of the struct) are built in place and big slots with disjoint lifetimes share
|
|
// stack (opt::forward_slot_dests_x, color_slots): Amp's 0.9 MB frames overflowed 2 MiB worker
|
|
// stacks. The values must come out the same: rustc prints the same hash, 12467953869637839889.
|
|
struct Big {
|
|
a: [u32; 40000],
|
|
n: usize,
|
|
}
|
|
impl Big {
|
|
fn new(k: u32) -> Big {
|
|
let mut a = [0u32; 40000];
|
|
for i in 0..40000 {
|
|
a[i] = i as u32 ^ k;
|
|
}
|
|
Big { a, n: k as usize }
|
|
}
|
|
}
|
|
#[inline(never)]
|
|
fn mk(k: u32) -> Box<Big> {
|
|
Box::new(Big::new(k))
|
|
}
|
|
#[inline(never)]
|
|
fn twice() -> u64 {
|
|
let a = mk(3);
|
|
let b = Box::new(Big::new(5));
|
|
let c = Box::new(Big { a: [7; 40000], n: 9 });
|
|
let mut h = 0u64;
|
|
for i in 0..40000 {
|
|
h = h.wrapping_mul(31) ^ a.a[i] as u64 ^ (b.a[i] as u64) << 7 ^ (c.a[i] as u64) << 13;
|
|
}
|
|
h ^ (a.n + b.n + c.n) as u64
|
|
}
|
|
#[test]
|
|
fn big_value_frames() {
|
|
let h = twice();
|
|
println!("hash {}", h);
|
|
assert_eq!(h, 12467953869637839889);
|
|
}
|