RE: Problem with interpreted double operations on IA64

RE: Problem with interpreted double operations on IA64

[Boehm, Hans]

[-- Attachment #1: Type: text/plain, Size: 1251 bytes --]

It's attached, but probably not very informative; __java_double is
understood by the front end.  But it's a bit hard for me to follow what it
does with it, or why it exists as a type distinct from double.

Hans

> -----Original Message-----
> From: Andrew Haley [mailto:aph@cambridge.redhat.com]
> Sent: Tuesday, April 09, 2002 9:37 AM
> To: Boehm, Hans
> Cc: 'java@gcc.gnu.org'; 'tromey@redhat.com'
> Subject: Problem with interpreted double operations on IA64
> 
> 
> Boehm, Hans writes:
>  > Could someone point me at a description of exactly how 
> type __java_double
>  > should differ from double?  As far as I can tell, 
> __java_double is used
>  > primarily by the interpreter?  On X86 this seems to work 
> correctly.  On IA64
>  > (and perhaps other 64-bit platforms?), it seems to get 
> confused about the
>  > low order bits.  This means that "double precision" results in the
>  > interpreter are computed at most to single precision 
> accuracy.  Here's a C++
>  > example to demonstrate the issue.  Gij runs into the same 
> problems, causing
>  > scimark to fail, etc.  (This is with a very recent 3.1 tree.)
> 
> Weird.  Could you please run gcc with '-save-temps -dD' and let us
> have the double.ii file you get?
> 
> Andrew.
> 


[-- Attachment #2: double.ii --]
[-- Type: application/octet-stream, Size: 25205 bytes --]

# 1 "double.cc"
# 1 "<built-in>"
# 1 "<command line>"
# 1 "double.cc"
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 1 3
# 37 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
# 1 "/usr/include/features.h" 1 3
# 283 "/usr/include/features.h" 3
# 1 "/usr/include/sys/cdefs.h" 1 3
# 284 "/usr/include/features.h" 2 3
# 312 "/usr/include/features.h" 3
# 1 "/usr/include/gnu/stubs.h" 1 3
# 313 "/usr/include/features.h" 2 3
# 38 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 2 3

extern "C" {



# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 201 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 3
typedef long unsigned int size_t;
# 44 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 2 3

# 1 "/usr/include/bits/types.h" 1 3
# 29 "/usr/include/bits/types.h" 3
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 30 "/usr/include/bits/types.h" 2 3


typedef unsigned char __u_char;
typedef unsigned short int __u_short;
typedef unsigned int __u_int;
typedef unsigned long int __u_long;
typedef unsigned long int __u_quad_t;
typedef long int __quad_t;
typedef signed char __int8_t;
typedef unsigned char __uint8_t;
typedef signed short int __int16_t;
typedef unsigned short int __uint16_t;
typedef signed int __int32_t;
typedef unsigned int __uint32_t;
typedef signed long int __int64_t;
typedef unsigned long int __uint64_t;
typedef __quad_t *__qaddr_t;

typedef __uint64_t __dev_t;
typedef __uint32_t __uid_t;
typedef __uint32_t __gid_t;
typedef __uint64_t __ino_t;
typedef __uint64_t __ino64_t;
typedef __uint32_t __mode_t;
typedef __uint64_t __nlink_t;
typedef __int64_t __off_t;
typedef __int64_t __off64_t;
typedef __int64_t __loff_t;
typedef __int32_t __pid_t;
typedef __int64_t __ssize_t;
typedef __uint64_t __rlim_t;
typedef __uint64_t __rlim64_t;
typedef __int64_t __blkcnt_t;
typedef __int64_t __blkcnt64_t;
typedef __uint64_t __fsblkcnt_t;
typedef __uint64_t __fsblkcnt64_t;
typedef __uint64_t __fsfilcnt_t;
typedef __uint64_t __fsfilcnt64_t;
typedef __uint32_t __id_t;

typedef struct
  {
    int __val[2];
  } __fsid_t;


typedef int __daddr_t;
typedef char *__caddr_t;
typedef long int __time_t;
typedef unsigned int __useconds_t;
typedef long int __suseconds_t;
typedef long int __swblk_t;
typedef long int __clock_t;
typedef int __key_t;


typedef int __clockid_t;


typedef int __timer_t;


typedef int __ipc_pid_t;


typedef long int __blksize_t;






typedef int __t_scalar_t;
typedef unsigned int __t_uscalar_t;


typedef long int __intptr_t;


typedef unsigned int __socklen_t;



# 1 "/usr/include/bits/pthreadtypes.h" 1 3
# 23 "/usr/include/bits/pthreadtypes.h" 3
# 1 "/usr/include/bits/sched.h" 1 3
# 68 "/usr/include/bits/sched.h" 3
struct __sched_param
  {
    int __sched_priority;
  };
# 24 "/usr/include/bits/pthreadtypes.h" 2 3


struct _pthread_fastlock
{
  long int __status;
  int __spinlock;

};



typedef struct _pthread_descr_struct *_pthread_descr;





typedef struct __pthread_attr_s
{
  int __detachstate;
  int __schedpolicy;
  struct __sched_param __schedparam;
  int __inheritsched;
  int __scope;
  size_t __guardsize;
  int __stackaddr_set;
  void *__stackaddr;
  size_t __stacksize;
} pthread_attr_t;



typedef struct
{
  struct _pthread_fastlock __c_lock;
  _pthread_descr __c_waiting;
} pthread_cond_t;



typedef struct
{
  int __dummy;
} pthread_condattr_t;


typedef unsigned int pthread_key_t;





typedef struct
{
  int __m_reserved;
  int __m_count;
  _pthread_descr __m_owner;
  int __m_kind;
  struct _pthread_fastlock __m_lock;
} pthread_mutex_t;



typedef struct
{
  int __mutexkind;
} pthread_mutexattr_t;



typedef int pthread_once_t;




typedef struct _pthread_rwlock_t
{
  struct _pthread_fastlock __rw_lock;
  int __rw_readers;
  _pthread_descr __rw_writer;
  _pthread_descr __rw_read_waiting;
  _pthread_descr __rw_write_waiting;
  int __rw_kind;
  int __rw_pshared;
} pthread_rwlock_t;



typedef struct
{
  int __lockkind;
  int __pshared;
} pthread_rwlockattr_t;




typedef volatile int pthread_spinlock_t;


typedef struct {
  struct _pthread_fastlock __ba_lock;
  int __ba_required;
  int __ba_present;
  _pthread_descr __ba_waiting;
} pthread_barrier_t;


typedef struct {
  int __pshared;
} pthread_barrierattr_t;





typedef unsigned long int pthread_t;
# 114 "/usr/include/bits/types.h" 2 3
# 46 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 2 3
# 54 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
typedef struct _IO_FILE FILE;
# 64 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
typedef struct _IO_FILE __FILE;
# 74 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
# 1 "/usr/include/libio.h" 1 3
# 32 "/usr/include/libio.h" 3
# 1 "/usr/include/_G_config.h" 1 3
# 14 "/usr/include/_G_config.h" 3
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 321 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 3
typedef unsigned int wint_t;
# 15 "/usr/include/_G_config.h" 2 3
# 24 "/usr/include/_G_config.h" 3
# 1 "/usr/include/wchar.h" 1 3
# 48 "/usr/include/wchar.h" 3
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 49 "/usr/include/wchar.h" 2 3

# 1 "/usr/include/bits/wchar.h" 1 3
# 51 "/usr/include/wchar.h" 2 3
# 67 "/usr/include/wchar.h" 3
typedef struct
{
  int __count;
  union
  {
    wint_t __wch;
    char __wchb[4];
  } __value;
} __mbstate_t;
# 25 "/usr/include/_G_config.h" 2 3

typedef struct
{
  __off_t __pos;
  __mbstate_t __state;
} _G_fpos_t;
typedef struct
{
  __off64_t __pos;
  __mbstate_t __state;
} _G_fpos64_t;
# 44 "/usr/include/_G_config.h" 3
# 1 "/usr/include/gconv.h" 1 3
# 28 "/usr/include/gconv.h" 3
# 1 "/usr/include/wchar.h" 1 3
# 48 "/usr/include/wchar.h" 3
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 49 "/usr/include/wchar.h" 2 3
# 29 "/usr/include/gconv.h" 2 3

# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stddef.h" 1 3
# 31 "/usr/include/gconv.h" 2 3





enum
{
  __GCONV_OK = 0,
  __GCONV_NOCONV,
  __GCONV_NODB,
  __GCONV_NOMEM,

  __GCONV_EMPTY_INPUT,
  __GCONV_FULL_OUTPUT,
  __GCONV_ILLEGAL_INPUT,
  __GCONV_INCOMPLETE_INPUT,

  __GCONV_ILLEGAL_DESCRIPTOR,
  __GCONV_INTERNAL_ERROR
};



enum
{
  __GCONV_IS_LAST = 0x0001,
  __GCONV_IGNORE_ERRORS = 0x0002
};



struct __gconv_step;
struct __gconv_step_data;
struct __gconv_loaded_object;
struct __gconv_trans_data;



typedef int (*__gconv_fct) (struct __gconv_step *, struct __gconv_step_data *,
                            __const unsigned char **, __const unsigned char *,
                            unsigned char **, size_t *, int, int);


typedef int (*__gconv_init_fct) (struct __gconv_step *);
typedef void (*__gconv_end_fct) (struct __gconv_step *);



typedef int (*__gconv_trans_fct) (struct __gconv_step *,
                                  struct __gconv_step_data *, void *,
                                  __const unsigned char *,
                                  __const unsigned char **,
                                  __const unsigned char *, unsigned char **,
                                  size_t *);


typedef int (*__gconv_trans_context_fct) (void *, __const unsigned char *,
                                          __const unsigned char *,
                                          unsigned char *, unsigned char *);


typedef int (*__gconv_trans_query_fct) (__const char *, __const char ***,
                                        size_t *);


typedef int (*__gconv_trans_init_fct) (void **, const char *);
typedef void (*__gconv_trans_end_fct) (void *);

struct __gconv_trans_data
{

  __gconv_trans_fct __trans_fct;
  __gconv_trans_context_fct __trans_context_fct;
  __gconv_trans_end_fct __trans_end_fct;
  void *__data;
  struct __gconv_trans_data *__next;
};



struct __gconv_step
{
  struct __gconv_loaded_object *__shlib_handle;
  __const char *__modname;

  int __counter;

  char *__from_name;
  char *__to_name;

  __gconv_fct __fct;
  __gconv_init_fct __init_fct;
  __gconv_end_fct __end_fct;



  int __min_needed_from;
  int __max_needed_from;
  int __min_needed_to;
  int __max_needed_to;


  int __stateful;

  void *__data;
};



struct __gconv_step_data
{
  unsigned char *__outbuf;
  unsigned char *__outbufend;



  int __flags;



  int __invocation_counter;



  int __internal_use;

  __mbstate_t *__statep;
  __mbstate_t __state;



  struct __gconv_trans_data *__trans;
};



typedef struct __gconv_info
{
  size_t __nsteps;
  struct __gconv_step *__steps;
  __extension__ struct __gconv_step_data __data [];
} *__gconv_t;
# 45 "/usr/include/_G_config.h" 2 3
typedef union
{
  struct __gconv_info __cd;
  struct
  {
    struct __gconv_info __cd;
    struct __gconv_step_data __data;
  } __combined;
} _G_iconv_t;

typedef int _G_int16_t __attribute__ ((__mode__ (__HI__)));
typedef int _G_int32_t __attribute__ ((__mode__ (__SI__)));
typedef unsigned int _G_uint16_t __attribute__ ((__mode__ (__HI__)));
typedef unsigned int _G_uint32_t __attribute__ ((__mode__ (__SI__)));
# 33 "/usr/include/libio.h" 2 3
# 53 "/usr/include/libio.h" 3
# 1 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdarg.h" 1 3
# 43 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdarg.h" 3
typedef __builtin_va_list __gnuc_va_list;
# 54 "/usr/include/libio.h" 2 3
# 160 "/usr/include/libio.h" 3
struct _IO_jump_t; struct _IO_FILE;
# 170 "/usr/include/libio.h" 3
typedef void _IO_lock_t;





struct _IO_marker {
  struct _IO_marker *_next;
  struct _IO_FILE *_sbuf;



  int _pos;
# 193 "/usr/include/libio.h" 3
};


enum __codecvt_result
{
  __codecvt_ok,
  __codecvt_partial,
  __codecvt_error,
  __codecvt_noconv
};
# 261 "/usr/include/libio.h" 3
struct _IO_FILE {
  int _flags;




  char* _IO_read_ptr;
  char* _IO_read_end;
  char* _IO_read_base;
  char* _IO_write_base;
  char* _IO_write_ptr;
  char* _IO_write_end;
  char* _IO_buf_base;
  char* _IO_buf_end;

  char *_IO_save_base;
  char *_IO_backup_base;
  char *_IO_save_end;

  struct _IO_marker *_markers;

  struct _IO_FILE *_chain;

  int _fileno;
  int _blksize;
  __off_t _old_offset;



  unsigned short _cur_column;
  signed char _vtable_offset;
  char _shortbuf[1];



  _IO_lock_t *_lock;
# 305 "/usr/include/libio.h" 3
  __off64_t _offset;





  void *__pad1;
  void *__pad2;

  int _mode;

  char _unused2[15 * sizeof (int) - 2 * sizeof (void *)];

};





struct _IO_FILE_plus;

extern struct _IO_FILE_plus _IO_2_1_stdin_;
extern struct _IO_FILE_plus _IO_2_1_stdout_;
extern struct _IO_FILE_plus _IO_2_1_stderr_;
# 344 "/usr/include/libio.h" 3
typedef __ssize_t __io_read_fn (void *__cookie, char *__buf, size_t __nbytes);







typedef __ssize_t __io_write_fn (void *__cookie, __const char *__buf,
                                 size_t __n);







typedef int __io_seek_fn (void *__cookie, __off64_t *__pos, int __w);


typedef int __io_close_fn (void *__cookie);




typedef __io_read_fn cookie_read_function_t;
typedef __io_write_fn cookie_write_function_t;
typedef __io_seek_fn cookie_seek_function_t;
typedef __io_close_fn cookie_close_function_t;


typedef struct
{
  __io_read_fn *read;
  __io_write_fn *write;
  __io_seek_fn *seek;
  __io_close_fn *close;
} _IO_cookie_io_functions_t;
typedef _IO_cookie_io_functions_t cookie_io_functions_t;

struct _IO_cookie_file;


extern void _IO_cookie_init (struct _IO_cookie_file *__cfile, int __read_write,
                             void *__cookie, _IO_cookie_io_functions_t __fns);




extern "C" {


extern int __underflow (_IO_FILE *) throw ();
extern int __uflow (_IO_FILE *) throw ();
extern int __overflow (_IO_FILE *, int) throw ();
extern wint_t __wunderflow (_IO_FILE *) throw ();
extern wint_t __wuflow (_IO_FILE *) throw ();
extern wint_t __woverflow (_IO_FILE *, wint_t) throw ();
# 426 "/usr/include/libio.h" 3
extern int _IO_getc (_IO_FILE *__fp) throw ();
extern int _IO_putc (int __c, _IO_FILE *__fp) throw ();
extern int _IO_feof (_IO_FILE *__fp) throw ();
extern int _IO_ferror (_IO_FILE *__fp) throw ();

extern int _IO_peekc_locked (_IO_FILE *__fp) throw ();





extern void _IO_flockfile (_IO_FILE *) throw ();
extern void _IO_funlockfile (_IO_FILE *) throw ();
extern int _IO_ftrylockfile (_IO_FILE *) throw ();
# 456 "/usr/include/libio.h" 3
extern int _IO_vfscanf (_IO_FILE * __restrict, const char * __restrict,
                        __gnuc_va_list, int *__restrict) throw ();
extern int _IO_vfprintf (_IO_FILE *__restrict, const char *__restrict,
                         __gnuc_va_list) throw ();
extern __ssize_t _IO_padn (_IO_FILE *, int, __ssize_t) throw ();
extern size_t _IO_sgetn (_IO_FILE *, void *, size_t) throw ();

extern __off64_t _IO_seekoff (_IO_FILE *, __off64_t, int, int) throw ();
extern __off64_t _IO_seekpos (_IO_FILE *, __off64_t, int) throw ();

extern void _IO_free_backup_area (_IO_FILE *) throw ();
# 512 "/usr/include/libio.h" 3
}
# 75 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 2 3




typedef __gnuc_va_list __not_va_list__;
# 89 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
typedef _G_fpos_t fpos_t;




typedef _G_fpos64_t fpos64_t;
# 138 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
# 1 "/usr/include/bits/stdio_lim.h" 1 3
# 139 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 2 3



extern FILE *stdin;
extern FILE *stdout;
extern FILE *stderr;
# 153 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern int remove (__const char *__filename) throw ();

extern int rename (__const char *__old, __const char *__new) throw ();




extern FILE *tmpfile (void) throw ();
# 169 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern FILE *tmpfile64 (void) throw ();


extern char *tmpnam (char *__s) throw ();




extern char *tmpnam_r (char *__s) throw ();
# 189 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern char *tempnam (__const char *__dir, __const char *__pfx)
     throw () __attribute__ ((__malloc__));




extern int fclose (FILE *__stream) throw ();

extern int fflush (FILE *__stream) throw ();



extern int fflush_unlocked (FILE *__stream) throw ();




extern int fcloseall (void) throw ();





extern FILE *fopen (__const char *__restrict __filename,
                    __const char *__restrict __modes) throw ();

extern FILE *freopen (__const char *__restrict __filename,
                      __const char *__restrict __modes,
                      FILE *__restrict __stream) throw ();
# 233 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern FILE *fopen64 (__const char *__restrict __filename,
                      __const char *__restrict __modes) throw ();
extern FILE *freopen64 (__const char *__restrict __filename,
                        __const char *__restrict __modes,
                        FILE *__restrict __stream) throw ();




extern FILE *fdopen (int __fd, __const char *__modes) throw ();





extern FILE *fopencookie (void *__restrict __magic_cookie,
                          __const char *__restrict __modes,
                          _IO_cookie_io_functions_t __io_funcs) throw ();


extern FILE *fmemopen (void *__s, size_t __len, __const char *__modes) throw ();




extern FILE *open_memstream (char **__restrict __bufloc,
                             size_t *__restrict __sizeloc) throw ();





extern void setbuf (FILE *__restrict __stream, char *__restrict __buf) throw ();



extern int setvbuf (FILE *__restrict __stream, char *__restrict __buf,
                    int __modes, size_t __n) throw ();




extern void setbuffer (FILE *__restrict __stream, char *__restrict __buf,
                       size_t __size) throw ();


extern void setlinebuf (FILE *__stream) throw ();




extern int fprintf (FILE *__restrict __stream,
                    __const char *__restrict __format, ...) throw ();

extern int printf (__const char *__restrict __format, ...) throw ();

extern int sprintf (char *__restrict __s,
                    __const char *__restrict __format, ...) throw ();


extern int vfprintf (FILE *__restrict __s, __const char *__restrict __format,
                     __gnuc_va_list __arg) throw ();

extern int vprintf (__const char *__restrict __format, __gnuc_va_list __arg)
     throw ();

extern int vsprintf (char *__restrict __s, __const char *__restrict __format,
                     __gnuc_va_list __arg) throw ();



extern int snprintf (char *__restrict __s, size_t __maxlen,
                     __const char *__restrict __format, ...)
     throw () __attribute__ ((__format__ (__printf__, 3, 4)));

extern int vsnprintf (char *__restrict __s, size_t __maxlen,
                      __const char *__restrict __format, __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__printf__, 3, 0)));





extern int vasprintf (char **__restrict __ptr, __const char *__restrict __f,
                      __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__printf__, 2, 0)));
extern int __asprintf (char **__restrict __ptr,
                       __const char *__restrict __fmt, ...)
     throw () __attribute__ ((__format__ (__printf__, 2, 3)));
extern int asprintf (char **__restrict __ptr,
                     __const char *__restrict __fmt, ...)
     throw () __attribute__ ((__format__ (__printf__, 2, 3)));


extern int vdprintf (int __fd, __const char *__restrict __fmt,
                     __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__printf__, 2, 0)));
extern int dprintf (int __fd, __const char *__restrict __fmt, ...)
     throw () __attribute__ ((__format__ (__printf__, 2, 3)));




extern int fscanf (FILE *__restrict __stream,
                   __const char *__restrict __format, ...) throw ();

extern int scanf (__const char *__restrict __format, ...) throw ();

extern int sscanf (__const char *__restrict __s,
                   __const char *__restrict __format, ...) throw ();



extern int vfscanf (FILE *__restrict __s, __const char *__restrict __format,
                    __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__scanf__, 2, 0)));


extern int vscanf (__const char *__restrict __format, __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__scanf__, 1, 0)));


extern int vsscanf (__const char *__restrict __s,
                    __const char *__restrict __format, __gnuc_va_list __arg)
     throw () __attribute__ ((__format__ (__scanf__, 2, 0)));




extern int fgetc (FILE *__stream) throw ();
extern int getc (FILE *__stream) throw ();


extern int getchar (void) throw ();







extern int getc_unlocked (FILE *__stream) throw ();
extern int getchar_unlocked (void) throw ();




extern int fgetc_unlocked (FILE *__stream) throw ();




extern int fputc (int __c, FILE *__stream) throw ();
extern int putc (int __c, FILE *__stream) throw ();


extern int putchar (int __c) throw ();







extern int fputc_unlocked (int __c, FILE *__stream) throw ();




extern int putc_unlocked (int __c, FILE *__stream) throw ();
extern int putchar_unlocked (int __c) throw ();





extern int getw (FILE *__stream) throw ();


extern int putw (int __w, FILE *__stream) throw ();




extern char *fgets (char *__restrict __s, int __n, FILE *__restrict __stream)
     throw ();



extern char *fgets_unlocked (char *__restrict __s, int __n,
                             FILE *__restrict __stream) throw ();




extern char *gets (char *__s) throw ();
# 437 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern __ssize_t __getdelim (char **__restrict __lineptr,
                               size_t *__restrict __n, int __delimiter,
                               FILE *__restrict __stream) throw ();
extern __ssize_t getdelim (char **__restrict __lineptr,
                             size_t *__restrict __n, int __delimiter,
                             FILE *__restrict __stream) throw ();


extern __ssize_t getline (char **__restrict __lineptr,
                            size_t *__restrict __n,
                            FILE *__restrict __stream) throw ();




extern int fputs (__const char *__restrict __s, FILE *__restrict __stream)
     throw ();



extern int fputs_unlocked (__const char *__restrict __s,
                           FILE *__restrict __stream) throw ();



extern int puts (__const char *__s) throw ();



extern int ungetc (int __c, FILE *__stream) throw ();



extern size_t fread (void *__restrict __ptr, size_t __size,
                     size_t __n, FILE *__restrict __stream) throw ();

extern size_t fwrite (__const void *__restrict __ptr, size_t __size,
                      size_t __n, FILE *__restrict __s) throw ();



extern size_t fread_unlocked (void *__restrict __ptr, size_t __size,
                              size_t __n, FILE *__restrict __stream) throw ();
extern size_t fwrite_unlocked (__const void *__restrict __ptr, size_t __size,
                               size_t __n, FILE *__restrict __stream) throw ();




extern int fseek (FILE *__stream, long int __off, int __whence) throw ();

extern long int ftell (FILE *__stream) throw ();

extern void rewind (FILE *__stream) throw ();
# 500 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern int fseeko (FILE *__stream, __off_t __off, int __whence) throw ();

extern __off_t ftello (FILE *__stream) throw ();



extern int fgetpos (FILE *__restrict __stream, fpos_t *__restrict __pos)
     throw ();

extern int fsetpos (FILE *__stream, __const fpos_t *__pos) throw ();
# 534 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
extern int fseeko64 (FILE *__stream, __off64_t __off, int __whence) throw ();
extern __off64_t ftello64 (FILE *__stream) throw ();
extern int fgetpos64 (FILE *__restrict __stream, fpos64_t *__restrict __pos)
     throw ();
extern int fsetpos64 (FILE *__stream, __const fpos64_t *__pos) throw ();



extern void clearerr (FILE *__stream) throw ();

extern int feof (FILE *__stream) throw ();

extern int ferror (FILE *__stream) throw ();



extern void clearerr_unlocked (FILE *__stream) throw ();
extern int feof_unlocked (FILE *__stream) throw ();
extern int ferror_unlocked (FILE *__stream) throw ();




extern void perror (__const char *__s) throw ();




extern int sys_nerr;
extern __const char *__const sys_errlist[];


extern int _sys_nerr;
extern __const char *__const _sys_errlist[];





extern int fileno (FILE *__stream) throw ();




extern int fileno_unlocked (FILE *__stream) throw ();






extern FILE *popen (__const char *__command, __const char *__modes) throw ();


extern int pclose (FILE *__stream) throw ();





extern char *ctermid (char *__s) throw ();





extern char *cuserid (char *__s) throw ();




struct obstack;


extern int obstack_printf (struct obstack *__restrict __obstack,
                           __const char *__restrict __format, ...) throw ();
extern int obstack_vprintf (struct obstack *__restrict __obstack,
                            __const char *__restrict __format,
                            __gnuc_va_list __args) throw ();







extern void flockfile (FILE *__stream) throw ();



extern int ftrylockfile (FILE *__stream) throw ();


extern void funlockfile (FILE *__stream) throw ();
# 644 "/home/hboehm/gcc3.1/usr/lib/gcc-lib/ia64-unknown-linux/3.1/include/stdio.h" 3
}
# 2 "double.cc" 2

__java_double jdiv (__java_double x, __java_double y) {
  return x/y;
}


double div (double x, double y) {
  return x/y;
}


int main()
{
  __java_double jx=2.0, jy=3.0;
  double x=2.0, y=3.0;
  double result, jresult;

  jresult = jdiv(jx, jy);
  result = div(x, y);

  printf("%20.15f %20.15f\n", result, jresult);
}

RE: Problem with interpreted double operations on IA64

[Andrew Haley]

Boehm, Hans writes:
 > It's attached, but probably not very informative; __java_double is
 > understood by the front end.

Oh, sorry, I forgot about that.  Hmm.  I'll have a look.

Andrew.

Re: Problem with interpreted double operations on IA64

[Per Bothner]

Boehm, Hans wrote:
> It's attached, but probably not very informative; __java_double is
> understood by the front end.  But it's a bit hard for me to follow what it
> does with it, or why it exists as a type distinct from double.

For a similar reason that __java_long is different from long:  To
specify that we want the Java version of the type, rather than the
less-specified C/C++ version.  After all 'long' may be 32 or 64 bits
or for that matter anything bigger than (I think) 32 bits'; 'int' may
be 16 bits or 32 bits or whatever, depending on the API.  One could
imagine an API that defines 'double' to be 80 bits, for example.
Thus we need some way to specify 'jint' and 'jfloat' are exactly 32
bits; 'jlong' and 'double' are exactly 64 bits.

Now within in the gcc world this types have to soem extent been
standardized.  But it is still useful to use 'jint' and 'jdouble'
(which are aliases for '__java_int' and '__java_double') to catch
programming mistakes:  The compiler complains if you try to specify
that a Java method takes an 'int' or 'double' parameter; you must
specify 'jint' or 'jdouble' instead.
-- 
	--Per Bothner
per@bothner.com   http://www.bothner.com/per/

C++: __java_double expressions promote to float

[Andrew Haley]

TYPE_MAIN_VARIANT for __java_double is __java_double.
type_after_usual_arithmetic_conversions() doesn't know anything about
that type, so it converts to float.  Therefore, expressions whose
operands are all of type __java_double are of type float.  I think
that's wrong...

Andrew.

2002-04-09  Andrew Haley  <aph@cambridge.redhat.com>

	* typeck.c (type_after_usual_arithmetic_conversions):
	__java_double expressions promote to __java_double, not float.
 
Index: typeck.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/cp/typeck.c,v
retrieving revision 1.393
diff -c -2 -p -r1.393 typeck.c
*** typeck.c	22 Mar 2002 22:03:04 -0000	1.393
--- typeck.c	9 Apr 2002 17:46:18 -0000
*************** type_after_usual_arithmetic_conversions 
*** 443,446 ****
--- 443,450 ----
  	return build_type_attribute_variant (double_type_node,
  					     attributes);
+       if (same_type_p (TYPE_MAIN_VARIANT (t1), java_double_type_node)
+ 	  || same_type_p (TYPE_MAIN_VARIANT (t2), java_double_type_node))
+ 	return build_type_attribute_variant (java_double_type_node,
+ 					     attributes);
        else 
  	return build_type_attribute_variant (float_type_node,

Re: C++: __java_double expressions promote to float

[Mark Mitchell]

--On Tuesday, April 09, 2002 6:51 PM +0100 Andrew Haley 
<aph@cambridge.redhat.com> wrote:

> TYPE_MAIN_VARIANT for __java_double is __java_double.
> type_after_usual_arithmetic_conversions() doesn't know anything about
> that type, so it converts to float.  Therefore, expressions whose
> operands are all of type __java_double are of type float.  I think
> that's wrong...

Definitely.

Here we are in nasty extension land again, though.  What should an
operation involving a long double and a __java_double promote to?

Your patch is fine, if the semantics it gives are the ones you want,
but you should also add documentation under C++ language extensions
that documents this type and its behavior.

Thanks,

--
Mark Mitchell
CodeSourcery, LLC
mark@codesourcery.com

Re: C++: __java_double expressions promote to float

[Jason Merrill]

I told you in person this was OK, but reading over the function again, I
see that we don't need to add explicit __java_double support, we just need
to stop assuming that any REAL_TYPE not long double or double must be
float.  The 'else' should be an 'if' like the others, as specified in the
standard.  The default should be to arbitrarily choose one of the two
types.  Or perhaps use type_for_mode.

Also, the function should check for the types actually being the same up
where it tests for different precisions; no need to get fancy in that case.

Jason

Re: C++: __java_double expressions promote to float

[Andrew Haley]

Jason Merrill writes:
 > I told you in person this was OK, but reading over the function again, I
 > see that we don't need to add explicit __java_double support, we just need
 > to stop assuming that any REAL_TYPE not long double or double must be
 > float.  The 'else' should be an 'if' like the others, as specified in the
 > standard.  The default should be to arbitrarily choose one of the two
 > types.  Or perhaps use type_for_mode.

2002-04-10  Andrew Haley  <aph@cambridge.redhat.com>

	* typeck.c (type_after_usual_arithmetic_conversions): 

	When two floating-point operands have the same precision: 
	  convert to float if one of the operands is float;
	  if neither operand is one of the standard types, return the type
	  of the first operand.
 
Index: typeck.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/cp/typeck.c,v
retrieving revision 1.393
diff -c -2 -p -r1.393 typeck.c
*** typeck.c	22 Mar 2002 22:03:04 -0000	1.393
--- typeck.c	10 Apr 2002 14:15:52 -0000
*************** type_after_usual_arithmetic_conversions 
*** 443,449 ****
  	return build_type_attribute_variant (double_type_node,
  					     attributes);
!       else 
  	return build_type_attribute_variant (float_type_node,
  					     attributes);
      }
  }
--- 443,457 ----
  	return build_type_attribute_variant (double_type_node,
  					     attributes);
!       if (same_type_p (TYPE_MAIN_VARIANT (t1), float_type_node)
! 	  || same_type_p (TYPE_MAIN_VARIANT (t2), float_type_node))
  	return build_type_attribute_variant (float_type_node,
  					     attributes);
+       
+       /* Two floating-point types whose TYPE_MAIN_VARIANTs are none of
+          the standard C++ floating-point types.  Logic earlier in this
+          function has already eliminated the possibility that
+          TYPE_PRECISION (t2) != TYPE_PRECISION (t1), so there's no
+          compelling reason to choose one or the other.  */
+       return build_type_attribute_variant (t1, attributes);
      }
  }

 > Also, the function should check for the types actually being the same up
 > where it tests for different precisions; no need to get fancy in that case.

Pardon?

Andrew.

Re: C++: __java_double expressions promote to float

[Jason Merrill]

>>>>> "Andrew" == Andrew Haley <aph@cambridge.redhat.com> writes:

> 2002-04-10  Andrew Haley  <aph@cambridge.redhat.com>

> 	* typeck.c (type_after_usual_arithmetic_conversions): 
> 	When two floating-point operands have the same precision: 
> 	  convert to float if one of the operands is float;
> 	  if neither operand is one of the standard types, return the type
> 	  of the first operand.

OK.

>> Also, the function should check for the types actually being the same up
>> where it tests for different precisions; no need to get fancy in that case.

> Pardon?

if (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
  return build_type_attribute_variant (t1, attributes);

Jason

Re: C++: __java_double expressions promote to float

[Andrew Haley]

Jason Merrill writes:
 > >>>>> "Andrew" == Andrew Haley <aph@cambridge.redhat.com> writes:
 > 
 > > 2002-04-10  Andrew Haley  <aph@cambridge.redhat.com>
 > 
 > > 	* typeck.c (type_after_usual_arithmetic_conversions): 
 > > 	When two floating-point operands have the same precision: 
 > > 	  convert to float if one of the operands is float;
 > > 	  if neither operand is one of the standard types, return the type
 > > 	  of the first operand.
 > 
 > OK.
 > 
 > >> Also, the function should check for the types actually being the same up
 > >> where it tests for different precisions; no need to get fancy in that case.
 > 
 > > Pardon?
 > 
 > if (TYPE_MAIN_VARIANT (t1) == TYPE_MAIN_VARIANT (t2))
 >   return build_type_attribute_variant (t1, attributes);

Okay, I'll do that too.

Andrew.