Gpc May 2009

gpc@gnu.de

4 participants
8 discussions

Inefficiency of `mod'
by Emil Jerabek 26 Oct '10

26 Oct '10

Hi, during some debugging I noticed that GPC generates very hairy code for the `mod' operator with signed arguments. A closer look revealed that the code contains a lot of branching on conditions which can be determined on compile time, and most surprisingly, the value of X mod Y is recomputed _twice_, if X is negative. (I've attached a commented assembler dump.) This may be partially a back-end problem (CSE?), but I feel there's something wrong in the relevant code in gpc-common.c (build_pascal_binary_op) as well. `exp1 mod exp2' gets translated into something like exp2 <= 0 ? error : exp1 >= 0 ? exp1 mod exp2 : ((-exp1) mod exp2) == 0 ? 0 : exp2 - (-exp1) mod exp2 This arranges that both arguments supplied to the "internal mod" are non-negative, but this information is not passed on -- the arguments are still declared as signed types, which apparently makes the back-end to produce the mess it does. I've done a little test: the following replacement for `mod', which differs from the built-in one essentially just by the type-casts to `Cardinal', inline operator xmod (X, Y: Integer) = Z: Integer; begin if Y <= 0 then RuntimeError (714); if X >= 0 then Z := Cardinal (X) mod Y else begin Z := Cardinal (-X) mod Y; if Z <> 0 then Z := Y - Z end end; indeed generates a better code, it measures about 15% faster for positive X and more than twice faster for negative X. YMMV. If this is possible in user code, it should work in the compiler internals as well :) The result type of the whole `mod' expression looks dubious too. IIUIC, `exp1 mod exp2' inherits the type of exp1. Now, the result of `mod' is guaranteed to be nonnegative and to fit in the type of exp2 (or more precisely, it is in 0 .. High (type of (exp2)) - 1), whereas it needn't have anything to do with the type of exp1: consider var X, Z: Integer; Y: LongInt; begin X := -8; Y := High (LongInt); Z := X mod Y { -> overflow } end Or am I missing something? Emil (BTW, where is fjf434c.pas?)

10 16

GPC support for AIX 6?
by Gert Doering 16 Feb '10

16 Feb '10

Hi Gnu Pascal list, we're currently using IBM's xpc pascal compiler on IBM AIX 5.3. New machines are being shipped with AIX 6, and IBM's xpc is no longer supported there - for the time being, it actuall works (the xpc frontend generated intermediate code, and the second stage compiler still groks it). Management is not happy about this, as it might break any day, and I have been asked to "provide GPC" on AIX 6. Googling seems to suggest that the earliest release of GCC to work on AIX 6 is gcc 4.2.4 This mailing list's archive suggests that GPC and GCC 4.2 do not yet work together, due to larger efforts required due to backend changes (Waldek's mail from March 12, 2008). I reported this to management ("there is no GPC on AIX 6"), and they came back with the question "if we pay one of the GPC developers to do a GPC port to a recent GCC, to support AIX 6, how much would that cost?". Here we go - I'm posing this question to you. Is one of you capable and willing to make GPC work on AIX 6? And if yes, what would your conditions be (estimated time to do this, estimated costs)? (I can't promise anything, but will report back to management and they will decide...) thanks, gert -- Gert Doering gd(a)medat.de MEDAT Muenchen Tel: 089/126808-0 Fax: -50

7 13

New (gpc-20060325)
by Waldek Hebisch 08 Dec '09

08 Dec '09

I have put a new gpc snapshot at: http://www.math.uni.wroc.pl/~hebisch/gpc-20060325.tar.bz2 Main change is preliminary gcc-4.0.x support. The other changes are rather small. Note that for "production use" 3.4.x and 3.3.x backend are prefered. Also, using 2.8.1, 2.95.3 and 3.2.3 backend should work, but is depreciated. For more detail see: http://www.math.uni.wroc.pl/~hebisch/gpc/NEWS-20060325 and http://www.math.uni.wroc.pl/~hebisch/gpc/Fixed-20060325 -- Waldek Hebisch hebisch(a)math.uni.wroc.pl

7 44

Bug report - Schemata bug
by Martin Kalbfuß 01 Jun '09

01 Jun '09

I reduced my game code to the needed data types and code. The same happens if I use new. I'm not sure if this is really a compiler bug. I wrote another program doing the same, without this error. But I cannot find the bug. My compiler version is Using built-in specs. Configured with: ../src/configure -v --enable-languages=c,pascal --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.1.3 --program-suffix=-4.1 --enable-__cxa_atexit --enable-clocale=gnu --disable-libmudflap --enable-checking=release i486-linux-gnu Thread model: posix gpc version 20070904, based on gcc-4.1.3 20080420 (prerelease) (Debian 2.1-4.1.2-22) The error message is bug.pas:75: internal compiler error: in process_otherwise, at p/typecheck.c:4407 Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://www.gnu-pascal.de/todo.html> for instructions. For Debian GNU/Linux specific bug reporting instructions, see <URL:file:///usr/share/doc/gcc-4.1/README.Bugs>.

3 2

problems with schema parameter
by Martin Kalbfuß 31 May '09

31 May '09

I wrote the following code: PROCEDURE play( map : map_type ); VAR player1 : player_type( 'O', 'a', 'd', 'w', 's', red, right, 10, 10, 3 ); player2 : player_type( 'O', Crt.ksLeft, Crt.ksRight, Crt.ksUp, Crt.ksDown, green, left, 15, 15, 3 ); table : table_type_ptr; BEGIN new( table, map.width, map.height ); ... END; END; And here are the important types: x_coordinate_type = 1..table_width; x_dimension_type = 1..table_width; map_type( w, h, p1x, p1y, p2x, p2y : INTEGER ) = RECORD width : x_dimension_type VALUE w; height : y_dimension_type VALUE h; player1_pos : player_pos_type VALUE [ p1x; p1y ]; player2_pos : player_pos_type VALUE [ p2x; p2y ]; collision : BOOLEAN VALUE FALSE; data : ARRAY[ 1..h, 1..w ] OF CHAR; END; table_type( w, h : INTEGER ) = ARRAY[ 1..h, 1..w ] OF field_type; table_type_ptr = ^table_type; When I want to compile the code I get the following error: snake.pas: In procedure `play': snake.pas:203: internal compiler error: in process_otherwise, at p/typecheck.c:4407 Please submit a full bug report, with preprocessed source if appropriate. See <URL:http://www.gnu-pascal.de/todo.html> for instructions. For Debian GNU/Linux specific bug reporting instructions, see <URL:file:///usr/share/doc/gcc-4.1/README.Bugs>. The problem is the call to new. Is this my fault?

2 1

ascii or scancodes?
by Martin Kalbfuß 29 May '09

29 May '09

Hi again, I have another problem with my text snake game. It's about the use of the keyboard functions of Crt. The player record has some fields holding the keys for changing the direction of the snake. I want the following key sets as standard. player 1: left -> a right -> d up -> w down -> s player 2: left -> arrow left right -> arrow right up -> arrow up down -> arrow down I found the scancodes for the arrow keys on the net, and they are working. But the scancodes I found for the letters doesn't. I also read that usb keyboards have different scancodes. Is it possible to use scancodes platform independent? Or are there ascii codes for the arrow keys, I could use?

2 1

timing functions?
by Martin Kalbfuß 28 May '09

28 May '09

Hi Community, I'm writing a small snake game with the CRT unit. I wan't to set up a timer for the snake movement. What is the best way to do so with gpc. If possible I would like to use ISO code. I found some functions, but they Thanks

2 1

Adding a global define
by Adriaan van Os 02 May '09

02 May '09

I have created a patch that adds a define to include/ansidecl.h. When I build the compiler with the patch, the build hangs as indicated below. My questions are: 1. What's going on ? 2. Is there a configuration file in gcc/p or gcc/p/rts that needs a manual rebuild after the patch ? 3. Is there a recommended way to add a define to the compilation of all files (including libiberty) ? Regards, Adriaan van Os stage1/xgcc -Bstage1/ -B/Developer/Pascal/gpc346u4/i386-apple-darwin10/bin/ -g -O2 -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -pedantic -Wno-long-long -Wold-style-definition -DHAVE_CONFIG_H -o xgcc gcc.o gccspec.o intl.o \ prefix.o version.o ../libiberty/libiberty.a -liconv ./xgcc -B./ -B/Developer/Pascal/gpc346u4/i386-apple-darwin10/bin/ -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/include -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/sys-include -L/Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../ld -dumpspecs > tmp-specs mv tmp-specs specs cd ../../gcc-3.4.6/gcc/p/rts && make -f Makefile.in srcdir=. GCC_VERSION="3.4.6" SHELL="/bin/sh" CFLAGS="-g -O2" PFLAGS="" AR_FLAGS="rc" RTSFLAGS="" DESTDIR="../.." AR="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ar; else t='s,y,y,'; echo ar | sed -e $t ; fi; fi`" RANLIB="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ranlib; else t='s,y,y,'; echo ranlib | sed -e $t ; fi; fi`" RANLIB_TEST="" generated-files make[3]: Nothing to be done for `generated-files'. cd ../../gcc-3.4.6/gcc/p/rts && make -f Makefile.in srcdir=. GCC_VERSION="3.4.6" SHELL="/bin/sh" CFLAGS="-g -O2" PFLAGS="" AR_FLAGS="rc" RTSFLAGS="" DESTDIR="../.." AR="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ar; else t='s,y,y,'; echo ar | sed -e $t ; fi; fi`" RANLIB="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ranlib; else t='s,y,y,'; echo ranlib | sed -e $t ; fi; fi`" RANLIB_TEST="" generated-files make[3]: Nothing to be done for `generated-files'. cd ../../gcc-3.4.6/gcc/p/rts && make -f Makefile.in srcdir=. GCC_VERSION="3.4.6" SHELL="/bin/sh" CFLAGS="-g -O2" PFLAGS="" AR_FLAGS="rc" RTSFLAGS="" DESTDIR="../.." AR="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ar; else t='s,y,y,'; echo ar | sed -e $t ; fi; fi`" RANLIB="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ranlib; else t='s,y,y,'; echo ranlib | sed -e $t ; fi; fi`" RANLIB_TEST="" generated-files make[3]: Nothing to be done for `generated-files'. cd ../../gcc-3.4.6/gcc/p/rts && make -f Makefile.in srcdir=. GCC_VERSION="3.4.6" SHELL="/bin/sh" CFLAGS="-g -O2" PFLAGS="" AR_FLAGS="rc" RTSFLAGS="" DESTDIR="../.." AR="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ar; else t='s,y,y,'; echo ar | sed -e $t ; fi; fi`" RANLIB="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ranlib; else t='s,y,y,'; echo ranlib | sed -e $t ; fi; fi`" RANLIB_TEST="" generated-files make[3]: Nothing to be done for `generated-files'. cd ../../gcc-3.4.6/gcc/p/rts && make -f Makefile.in srcdir=. GCC_VERSION="3.4.6" SHELL="/bin/sh" CFLAGS="-g -O2" PFLAGS="" AR_FLAGS="rc" RTSFLAGS="" DESTDIR="../.." AR="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ar ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ar; else t='s,y,y,'; echo ar | sed -e $t ; fi; fi`" RANLIB="` if [ -f /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ] ; then echo /Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../binutils/ranlib ; else if [ "i386-apple-darwin10" = "i386-apple-darwin10" ] ; then echo ranlib; else t='s,y,y,'; echo ranlib | sed -e $t ; fi; fi`" RANLIB_TEST="" generated-files make[3]: Nothing to be done for `generated-files'. rm -rf p/docdemos ../../gcc-3.4.6/gcc/p/script/mkdir-p p/docdemos ../../gcc-3.4.6/gcc/p/script/extract-doc-demos -o p/docdemos ../../gcc-3.4.6/gcc/p/doc/*.texi ../../gcc-3.4.6/gcc/p/doc/generated/*.texi ../../gcc-3.4.6/gcc/p/doc/en/*.texi echo timestamp > "p/stamp-docdemos" make[2]: Circular libgcc.a <- pascal dependency dropped. if [ -f specs.ready ] ; then \ true; \ else \ echo timestamp > specs.ready; \ fi objext='.o' \ LIB1ASMFUNCS='' \ LIB2FUNCS_ST='_eprintf __gcc_bcmp' \ LIBGCOV='_gcov _gcov_merge_add _gcov_merge_single _gcov_merge_delta' \ LIB2ADD='' \ LIB2ADD_ST='' \ LIB2ADD_SH='' \ LIB2ADDEH='../../gcc-3.4.6/gcc/unwind-dw2.c ../../gcc-3.4.6/gcc/unwind-dw2-fde-darwin.c ../../gcc-3.4.6/gcc/unwind-sjlj.c ../../gcc-3.4.6/gcc/unwind-c.c' \ LIB2ADDEHSTATIC='../../gcc-3.4.6/gcc/unwind-dw2.c ../../gcc-3.4.6/gcc/unwind-dw2-fde-darwin.c ../../gcc-3.4.6/gcc/unwind-sjlj.c ../../gcc-3.4.6/gcc/unwind-c.c' \ LIB2ADDEHSHARED='../../gcc-3.4.6/gcc/unwind-dw2.c ../../gcc-3.4.6/gcc/unwind-dw2-fde-darwin.c ../../gcc-3.4.6/gcc/unwind-sjlj.c ../../gcc-3.4.6/gcc/unwind-c.c' \ LIB2ADDEHDEP='unwind.inc unwind-dw2-fde.h unwind-dw2-fde.c' \ LIBUNWIND='' \ LIBUNWINDDEP='' \ SHLIBUNWIND_LINK='' \ SHLIBUNWIND_INSTALL='' \ FPBIT='' \ FPBIT_FUNCS='_pack_sf _unpack_sf _addsub_sf _mul_sf _div_sf _fpcmp_parts_sf _compare_sf _eq_sf _ne_sf _gt_sf _ge_sf _lt_sf _le_sf _unord_sf _si_to_sf _sf_to_si _negate_sf _make_sf _sf_to_df _sf_to_tf _thenan_sf _sf_to_usi _usi_to_sf' \ LIB2_DIVMOD_FUNCS='_divdi3 _moddi3 _udivdi3 _umoddi3 _udiv_w_sdiv _udivmoddi4' \ DPBIT='' \ DPBIT_FUNCS='_pack_df _unpack_df _addsub_df _mul_df _div_df _fpcmp_parts_df _compare_df _eq_df _ne_df _gt_df _ge_df _lt_df _le_df _unord_df _si_to_df _df_to_si _negate_df _make_df _df_to_sf _df_to_tf _thenan_df _df_to_usi _usi_to_df' \ TPBIT='' \ TPBIT_FUNCS='_pack_tf _unpack_tf _addsub_tf _mul_tf _div_tf _fpcmp_parts_tf _compare_tf _eq_tf _ne_tf _gt_tf _ge_tf _lt_tf _le_tf _unord_tf _si_to_tf _tf_to_si _negate_tf _make_tf _tf_to_df _tf_to_sf _thenan_tf _tf_to_usi _usi_to_tf' \ MULTILIBS=` ./xgcc -B./ -B/Developer/Pascal/gpc346u4/i386-apple-darwin10/bin/ -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/include -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/sys-include -L/Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../ld --print-multi-lib` \ EXTRA_MULTILIB_PARTS='' \ SHLIB_LINK='' \ SHLIB_INSTALL='' \ SHLIB_EXT='' \ SHLIB_MULTILIB='' \ SHLIB_MKMAP='' \ SHLIB_MKMAP_OPTS='' \ SHLIB_MAPFILES='' \ SHLIB_NM_FLAGS='-pg' \ MULTILIB_OSDIRNAMES='' \ mkinstalldirs='/bin/sh ../../gcc-3.4.6/gcc/mkinstalldirs' \ /bin/sh mklibgcc > tmp-libgcc.mk xgcc: unrecognized option `-isystem' xgcc: unrecognized option `-isystem' mv tmp-libgcc.mk libgcc.mk ./xgcc -B./ -B/Developer/Pascal/gpc346u4/i386-apple-darwin10/bin/ -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/include -isystem /Developer/Pascal/gpc346u4/i386-apple-darwin10/sys-include -L/Volumes/P300/Users/adriaan/gnu/gpc/gpc346u4/build/gcc/../ld -DIN_GCC -W -Wall -Wwrite-strings -Wstrict-prototypes -Wmissing-prototypes -Wold-style-definition -isystem ./include -I. -I. -I../../gcc-3.4.6/gcc -I../../gcc-3.4.6/gcc/. -I../../gcc-3.4.6/gcc/../include \ -c ../../gcc-3.4.6/gcc/config/darwin-crt2.c -o crt2.o xgcc: unrecognized option `-isystem' xgcc: unrecognized option `-isystem' xgcc: unrecognized option `-DIN_GCC' xgcc: unrecognized option `-isystem' xgcc: unrecognized option `-I.' xgcc: unrecognized option `-I.' xgcc: unrecognized option `-I../../gcc-3.4.6/gcc' xgcc: unrecognized option `-I../../gcc-3.4.6/gcc/.' xgcc: unrecognized option `-I../../gcc-3.4.6/gcc/../include'

2 3

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

Gpc May 2009