OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [testsuite/] [gnat.dg/] [boolean_expr1.adb] - Rev 696

Compare with Previous | Blame | View Log

-- PR middle-end/36554
-- Origin: Laurent Guerby <laurent@guerby.net>
 
-- { dg-do compile }
-- { dg-options "-O2" }
 
package body Boolean_Expr1 is
 
   function Long_Float_Is_Valid (X : in Long_Float) return Boolean is
      Is_Nan : constant Boolean := X /= X;
      Is_P_Inf : constant Boolean := X > Long_Float'Last;
      Is_M_Inf : constant Boolean := X < Long_Float'First;
      Is_Invalid : constant Boolean := Is_Nan or Is_P_Inf or Is_M_Inf;
   begin
      return not Is_Invalid;
   end Long_Float_Is_Valid;
 
   function S (V : in Long_Float) return String is
   begin
      if not Long_Float_Is_Valid (V) then
         return "INVALID";
      else
         return "OK";
      end if;
   exception
      when others =>
         return "ERROR";
   end S;
 
end Boolean_Expr1;
 

Compare with Previous | Blame | View Log

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.