typedef short __attribute__((address_space(6))) *ubptr;

void ascendc_vadd(ubptr dst, ubptr src0, ubptr src1) {
    __builtin_cce___vadd(dst, src0, src1, 0);
}