Интересно, надо будет потестировать эти ckd_add, ckd_sub, ckd_mul на RISC-V.

А не работает в обратную сторону вероятно потому, что компилятор при сложении предполагает отсутствие переполнения, и поэтому оптимизатор выбрасывает весь код как несущественный.