67_abi_attrs.toy (263B)
1 fn load_first(p @[.nonnull, .readonly, .align(8), .dereferenceable(8)]: *i64): i64 @[.zeroext] { 2 return p[0]; 3 } 4 5 fn __user_main(): i64 { 6 let p: *i64 = @alloca<i64>(1, 8); 7 p[0] = 42; 8 return load_first(p); 9 } 10 11 fn main(): i32 { return __user_main() as i32; }