U/compline/d_castneg.U

   1 ?RCS: $Id: d_castneg.U,v 3.0.1.2 1995/05/12 12:11:21 ram Exp $
   2 ?RCS:
   3 ?RCS: Copyright (c) 1991-1993, Raphael Manfredi
   4 ?RCS:
   5 ?RCS: You may redistribute only under the terms of the Artistic Licence,
   6 ?RCS: as specified in the README file that comes with the distribution.
   7 ?RCS: You may reuse parts of this distribution only within the terms of
   8 ?RCS: that same Artistic Licence; a copy of which may be found at the root
   9 ?RCS: of the source tree for dist 3.0.
  10 ?RCS:
  11 ?RCS: $Log: d_castneg.U,v $
  12 ?RCS: Revision 3.0.1.2  1995/05/12  12:11:21  ram
  13 ?RCS: patch54: made sure cc and ccflags are conditional dependencies
  14 ?RCS: patch54: added improved test case for Interactive Unix
  15 ?RCS:
  16 ?RCS: Revision 3.0.1.1  1994/10/29  16:10:50  ram
  17 ?RCS: patch36: don't forget to tell user about compilation failures (ADO)
  18 ?RCS: patch36: declare signal handler correctly using 'signal_t' (ADO)
  19 ?RCS:
  20 ?RCS: Revision 3.0  1993/08/18  12:05:47  ram
  21 ?RCS: Baseline for dist 3.0 netwide release.
  22 ?RCS:
  23 ?X:
  24 ?X:     Can the compiler cast negative / odd floats to unsigned values.
  25 ?X:
  26 ?MAKE:d_castneg castflags: cat Compile rm Setvar signal_t run
  27 ?MAKE:  -pick add $@ %<
  28 ?S:d_castneg:
  29 ?S:     This variable conditionally defines CASTNEG, which indicates
  30 ?S:     wether the C compiler can cast negative float to unsigned.
  31 ?S:.
  32 ?S:castflags:
  33 ?S:     This variable contains a flag that precise difficulties the
  34 ?S:     compiler has casting odd floating values to unsigned long:
  35 ?S:             0 = ok
  36 ?S:             1 = couldn't cast < 0
  37 ?S:             2 = couldn't cast >= 0x80000000
  38 ?S:             4 = couldn't cast in argument expression list
  39 ?S:.
  40 ?C:CASTNEGFLOAT:
  41 ?C:     This symbol is defined if the C compiler can cast negative
  42 ?C:     numbers to unsigned longs, ints and shorts.
  43 ?C:.
  44 ?C:CASTFLAGS:
  45 ?C:     This symbol contains flags that say what difficulties the compiler
  46 ?C:     has casting odd floating values to unsigned long:
  47 ?C:             0 = ok
  48 ?C:             1 = couldn't cast < 0
  49 ?C:             2 = couldn't cast >= 0x80000000
  50 ?C:             4 = couldn't cast in argument expression list
  51 ?C:.
  52 ?H:#$d_castneg  CASTNEGFLOAT            /**/
  53 ?H:#define CASTFLAGS $castflags         /**/
  54 ?H:.
  55 ?LINT:set d_castneg
  56 : check for ability to cast negative floats to unsigned
  57 echo " "
  58 echo 'Checking whether your C compiler can cast negative float to unsigned.' >&4
  59 $cat >try.c <<EOCP
  60 #include <stdio.h>
  61 #include <sys/types.h>
  62 #include <signal.h>
  63 $signal_t blech(s) int s; { exit(7); }
  64 $signal_t blech_in_list(s) int s; { exit(4); }
  65 unsigned long dummy_long(p) unsigned long p; { return p; }
  66 unsigned int dummy_int(p) unsigned int p; { return p; }
  67 unsigned short dummy_short(p) unsigned short p; { return p; }
  68 int main()
  69 {
  70         double f;
  71         unsigned long along;
  72         unsigned int aint;
  73         unsigned short ashort;
  74         int result = 0;
  75         char str[16];
  76
  77         /* Frustrate gcc-2.7.2's optimizer which failed this test with
  78            a direct f = -123. assignment.  gcc-2.8.0 reportedly
  79            optimized the whole file away
  80         */
  81         /* Store the number in a writable string for gcc to pass to
  82            sscanf under HP/UX.
  83         */
  84         sprintf(str, "-123");
  85         sscanf(str, "%lf", &f);  /* f = -123.; */
  86
  87         signal(SIGFPE, blech);
  88         along = (unsigned long)f;
  89         aint = (unsigned int)f;
  90         ashort = (unsigned short)f;
  91         if (along != (unsigned long)-123)
  92                 result |= 1;
  93         if (aint != (unsigned int)-123)
  94                 result |= 1;
  95         if (ashort != (unsigned short)-123)
  96                 result |= 1;
  97         sprintf(str, "1073741824.");
  98         sscanf(str, "%lf", &f); /* f = (double)0x40000000; */
  99         f = f + f;
 100         along = 0;
 101         along = (unsigned long)f;
 102         if (along != 0x80000000)
 103                 result |= 2;
 104         f -= 1.;
 105         along = 0;
 106         along = (unsigned long)f;
 107         if (along != 0x7fffffff)
 108                 result |= 1;
 109         f += 2.;
 110         along = 0;
 111         along = (unsigned long)f;
 112         if (along != 0x80000001)
 113                 result |= 2;
 114         if (result)
 115                 exit(result);
 116 ?X:
 117 ?X: The following is a test for Interactive Unix Version 4.1, which
 118 ?X: has an 'improved' compiler which can correctly cast negative
 119 ?X: floats in expression lists, but apparently not in argument lists.
 120 ?X:     Contributed by Winfried Koenig <win@incom.rhein-main.de>
 121 ?X:
 122         signal(SIGFPE, blech_in_list);
 123         sprintf(str, "123.");
 124         sscanf(str, "%lf", &f);  /* f = 123.; */
 125         along = dummy_long((unsigned long)f);
 126         aint = dummy_int((unsigned int)f);
 127         ashort = dummy_short((unsigned short)f);
 128         if (along != (unsigned long)123)
 129                 result |= 4;
 130         if (aint != (unsigned int)123)
 131                 result |= 4;
 132         if (ashort != (unsigned short)123)
 133                 result |= 4;
 134         exit(result);
 135
 136 }
 137 EOCP
 138 set try
 139 if eval $compile_ok; then
 140         $run ./try
 141         castflags=$?
 142 else
 143         echo "(I can't seem to compile the test program--assuming it can't)"
 144         castflags=7
 145 fi
 146 case "$castflags" in
 147 0)      val="$define"
 148         echo "Yup, it can."
 149         ;;
 150 *)      val="$undef"
 151         echo "Nope, it can't."
 152         ;;
 153 esac
 154 set d_castneg
 155 eval $setvar
 156 $rm -f try.*
 157