From f06ac4054b79ea9293332ef33764d4eb00edeca0 Mon Sep 17 00:00:00 2001
From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Fri, 14 Sep 2007 13:42:17 +0000
Subject: [PATCH] ffreep added

[r15808]
---
 ir/be/ia32/ia32_spec.pl | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/ir/be/ia32/ia32_spec.pl b/ir/be/ia32/ia32_spec.pl
index efea8925b..bafc8a474 100644
--- a/ir/be/ia32/ia32_spec.pl
+++ b/ir/be/ia32/ia32_spec.pl
@@ -2245,6 +2245,14 @@ fpop => {
 	attr_type => "ia32_x87_attr_t",
 },
 
+ffreep => {
+	op_flags  => "R|K",
+	reg_req   => { },
+	cmp_attr  => "return 1;",
+	emit      => '. ffreep %X0',
+	attr_type => "ia32_x87_attr_t",
+},
+
 # compare
 
 fcomJmp => {
-- 
2.20.1