| JF Bastien | 5ca0bac | 2015-07-10 18:23:10 +0000 | [diff] [blame] | 1 | // WebAssemblyInstrFloat.td-WebAssembly Float codegen support ---*- tablegen -*- |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | /// |
| 10 | /// \file |
| 11 | /// \brief WebAssembly Floating-point operand code-gen constructs. |
| 12 | /// |
| 13 | //===----------------------------------------------------------------------===// |
| 14 | |
| JF Bastien | d9767a3 | 2015-07-14 21:13:29 +0000 | [diff] [blame] | 15 | defm FADD : BinaryFP<fadd>; |
| 16 | defm FSUB : BinaryFP<fsub>; |
| 17 | defm FMUL : BinaryFP<fmul>; |
| 18 | defm FDIV : BinaryFP<fdiv>; |
| 19 | defm FABS : UnaryFP<fabs>; |
| 20 | defm FNEG : UnaryFP<fneg>; |
| 21 | defm COPYSIGN : BinaryFP<fcopysign>; |
| JF Bastien | ef172fc | 2015-08-11 02:45:15 +0000 | [diff] [blame] | 22 | |
| 23 | /* |
| 24 | * TODO(jfb): add and test these: |
| 25 | * defm CEIL : UnaryFP<fceil>; |
| 26 | * defm FLOOR : UnaryFP<ffloor>; |
| 27 | * defm TRUNC : UnaryFP<ftrunc>; |
| 28 | * defm NEARESTINT : UnaryFP<fnearbyint>; |
| 29 | */ |
| JF Bastien | d9767a3 | 2015-07-14 21:13:29 +0000 | [diff] [blame] | 30 | |
| JF Bastien | da06bce | 2015-08-11 21:02:46 +0000 | [diff] [blame] | 31 | defm EQ : ComparisonFP<SETOEQ>; |
| 32 | defm NE : ComparisonFP<SETUNE>; |
| 33 | defm LT : ComparisonFP<SETOLT>; |
| 34 | defm LE : ComparisonFP<SETOLE>; |
| 35 | defm GT : ComparisonFP<SETOGT>; |
| 36 | defm GE : ComparisonFP<SETOGE>; |
| JF Bastien | d9767a3 | 2015-07-14 21:13:29 +0000 | [diff] [blame] | 37 | |
| JF Bastien | 71d29ac | 2015-08-12 17:53:29 +0000 | [diff] [blame^] | 38 | // Don't care floating-point comparisons, supported via other comparisons. |
| 39 | def : Pat<(seteq f32:$lhs, f32:$rhs), (EQ_F32 f32:$lhs, f32:$rhs)>; |
| 40 | def : Pat<(setne f32:$lhs, f32:$rhs), (NE_F32 f32:$lhs, f32:$rhs)>; |
| 41 | def : Pat<(setlt f32:$lhs, f32:$rhs), (LT_F32 f32:$lhs, f32:$rhs)>; |
| 42 | def : Pat<(setle f32:$lhs, f32:$rhs), (LE_F32 f32:$lhs, f32:$rhs)>; |
| 43 | def : Pat<(setgt f32:$lhs, f32:$rhs), (GT_F32 f32:$lhs, f32:$rhs)>; |
| 44 | def : Pat<(setge f32:$lhs, f32:$rhs), (GE_F32 f32:$lhs, f32:$rhs)>; |
| 45 | def : Pat<(seteq f64:$lhs, f64:$rhs), (EQ_F64 f64:$lhs, f64:$rhs)>; |
| 46 | def : Pat<(setne f64:$lhs, f64:$rhs), (NE_F64 f64:$lhs, f64:$rhs)>; |
| 47 | def : Pat<(setlt f64:$lhs, f64:$rhs), (LT_F64 f64:$lhs, f64:$rhs)>; |
| 48 | def : Pat<(setle f64:$lhs, f64:$rhs), (LE_F64 f64:$lhs, f64:$rhs)>; |
| 49 | def : Pat<(setgt f64:$lhs, f64:$rhs), (GT_F64 f64:$lhs, f64:$rhs)>; |
| 50 | def : Pat<(setge f64:$lhs, f64:$rhs), (GE_F64 f64:$lhs, f64:$rhs)>; |
| 51 | |
| JF Bastien | d9767a3 | 2015-07-14 21:13:29 +0000 | [diff] [blame] | 52 | defm SQRT : UnaryFP<fsqrt>; |
| 53 | |
| 54 | /* |
| 55 | * TODO(jfb): Add the following for 32-bit and 64-bit. |
| 56 | * |
| JF Bastien | 5ca0bac | 2015-07-10 18:23:10 +0000 | [diff] [blame] | 57 | * float32.min: minimum (binary operator); if either operand is NaN, returns NaN |
| 58 | * float32.max: maximum (binary operator); if either operand is NaN, returns NaN |
| 59 | */ |