130_o2_copy_prop_ext.toy (275B)
1 fn widen_copy(x: i8): i64 { 2 let a: i16 = @zext<i16>(x); 3 let b: i32 = @zext<i32>(a); 4 let c: i64 = @zext<i64>(b); 5 let d: i64 = c; 6 let e: i64 = d; 7 return e; 8 } 9 10 fn __user_main(): i64 { 11 return widen_copy(42 as i8); 12 } 13 14 fn main(): i32 { return __user_main() as i32; }