diff options
Diffstat (limited to 'kvx/SelectOp.vp')
| -rw-r--r-- | kvx/SelectOp.vp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/kvx/SelectOp.vp b/kvx/SelectOp.vp index 65dba3ac..aa241c1e 100644 --- a/kvx/SelectOp.vp +++ b/kvx/SelectOp.vp @@ -704,7 +704,6 @@ Definition platform_builtin (b: platform_builtin) (args: exprlist) : option expr | BI_fmax => Some (Eop Omaxf args) | BI_fminf => Some (Eop Ominfs args) | BI_fmaxf => Some (Eop Omaxfs args) - | BI_fabsf => Some (Eop Oabsfs args) | BI_fma => gen_fma args | BI_fmaf => gen_fmaf args end. |