X64: Port fpromote to ISLE (#4230)

2022-06-06 14:47:44 -07:00
parent 6df56e6aa6
commit 3f152273d3
3 changed files with 12 additions and 5 deletions
--- a/cranelift/codegen/src/isa/x64/lower.isle
+++ b/cranelift/codegen/src/isa/x64/lower.isle
@@ -2318,6 +2318,10 @@
 (rule (lower (has_type $F64X2 (sqrt x)))
      (x64_sqrtpd x))

+;; Rules for `fpromote` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+(rule (lower (has_type $F64 (fpromote x)))
+      (x64_cvtss2sd x))
+
 ;; Rules for `fmin` ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

 (rule (lower (has_type $F32 (fmin x y)))