From mboxrd@z Thu Jan 1 00:00:00 1970 Message-ID: <87c109280f2fc2bdaa0c68867f849daf@hamnavoe.com> To: 9fans@9fans.net From: Richard Miller <9fans@hamnavoe.com> Date: Tue, 29 Jan 2013 22:10:55 +0000 In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit Subject: Re: [9fans] emulated fp on arm Topicbox-Message-UUID: 11595a14-ead8-11e9-9d60-3106f5b1d025 > i'm not a fp expert, but i think there are two problems here. first > it is bad form to generate -0 in the emulator, even if it is technically > correct, and second, -0 is defined to be equal to 0 by the spec, so > -0 == 0 should always be true. I think you're right on the second point (I haven't read the IEEE spec lately, just looked at wikipedia), and wrong on the first. IEEE fp definitely allows for positive and negative zero, so the emulator should be generating them when the spec calls for them to do so. I hope we will soon be emulating vfp floating point instead of the old arm7500 architecture.