1test compile precise-output
2target pulley32
3
4function %ret_stack() -> i32 {
5    ss0 = explicit_slot 4
6block0():
7    v0 = stack_addr.i32 ss0
8    return v0
9}
10
11; VCode:
12;   push_frame_save 16, {}
13; block0:
14;   x0 = load_addr Slot(0)
15;   pop_frame_restore 16, {}
16;   ret
17;
18; Disassembled:
19; push_frame_save 16,
20; xmov x0, sp
21; pop_frame_restore 16,
22; ret
23
24