ADF_CODE
[ADF_CODE >> 20] = float64_add,
[ADF_CODE >> 20] = floatx80_add,
[ADF_CODE >> 20] = float32_add,