check-label
fma-through-zero-or-one