return vgetq_lane_u32(vcvtq_u32_f32 (k), 0); } gives define i32 @_Z1fv() local_unnamed_addr #0 { ret i32 undef } Instead, it should give INT_MAX. on AARCH64 this is correctly compiled to: define dso_local i32 @_Z1fv() local_unnamed_addr #0 { %1 = tai...