PMVtmpltcstmat undefined when using pointers.dats

[Mike Jones]

I upgraded my ATS compiler from 2.4 to 3.4 and now have a new compiler error that I have failed to fix, and need a few pointers.

This application is not using the run time, as the code is linked into a larger application using an RTOS in an FX3. The application was fully working before the compiler upgrade.

A file named frames.dats has the following code at the top:

staload _ = "prelude/DATS/pointer.dats"
staload _ = "prelude/DATS/array.dats"
staload _ = "prelude/DATS/arrayptr.dats"
staload _ = "prelude/DATS/arrayref.dats"
staload _ = "prelude/DATS/string.dats"
staload _ = "prelude/DATS/integer.dats"
staload _ = "prelude/DATS/integer_fixed.dats"
staload UN = "prelude/SATS/unsafe.sats"
staload _ = "prelude/DATS/unsafe.dats"

and this leads to the following compiler error:

In file included from DATS/frames_dats.c:15:0:
DATS/frames_dats.c: In function 'ATSLIB_056_prelude__ptr0_add_gint__12__1':
DATS/frames_dats.c:2341:22: error: 'PMVtmpltcstmat' undeclared (first use in this function)
 ATSINSmove(tmp28__1, PMVtmpltcstmat[0](g0int2uint<S2Eextkind(atstype_int), S2Eextkind(atstype_size)>)(arg1)) ;

Looking at the generated code around line 2341:

/*
emit_instr: loc0 = /usr/local/lib/ats2-postiats-0.3.4/prelude/DATS/pointer.dats: 2125(line=81, offs=18) -- 2137(line=81, offs=30)
*/
ATSINSmove(tmp28__1, PMVtmpltcstmat[0](g0int2uint<S2Eextkind(atstype_int), S2Eextkind(atstype_size)>)(arg1)) ;

we can see the error came from compiling pointer.dats

which has this code at line 81:

implement
{a}{tk}
ptr0_add_gint(p, i) =
  add_ptr_bsz(p, g0int2uint(i) * sizeof<a>)
implement
{a}{tk}
ptr0_sub_gint(p, i) =
  sub_ptr_bsz(p, g0int2uint(i) * sizeof<a>)

I tried adding this at the top of frames.dats per other discussions in the group

#include "share/atspre_staload.hats"

but it does not help.

My make file does not use the ATS .mk files, so I am providing my makefile in case I missed something important.

Does anyone have any ideas on the root cause?

FX3FWROOT=/opt/share/cypress/cyfx3sdk

ATS            = $(wildcard SATS/*.sats)
DATS           = $(wildcard DATS/*.dats)
DATSC          = $(patsubst %.dats,%_dats.c,$(DATS))
DATSOBJ        = $(patsubst %.dats,%_dats.o,$(DATS))

ATS            = patsopt
ATSCFLAGS      = -std=c99 -D_XOPEN_SOURCE
ATSCFLAGS      += -D_ATS_CCOMP_EXCEPTION_NONE_ -D_ATS_CCOMP_RUNTIME_NONE_
ATSCFLAGS      += -Wno-unused-variable -Wno-unused-label -Wno-unused-but-set-variable
ATSCFLAGS      += -I. -I${PATSHOME} -I${PATSHOME}/ccomp/runtime
ATSCFLAGS      += -DATS_MEMALLOC_LIBC

USER_CFLAGS = $(ATSCFLAGS)

CYCONFOPT = fx3_profile_release

all:compile

include $(FX3FWROOT)/fw_build/fx3_fw/fx3_build_config.mak

MODULE = upuck

SOURCE= $(MODULE).c     \
    dscr.c    \
    cyfxtx.c             \
    smbus.c             \
    fetch.c             \
    apperror.c             \
    DATS/print_dats.c     \
    DATS/frames_dats.c     \
    DATS/numbers_dats.c \
    DATS/polling_dats.c \
    DATS/crc_dats.c     \
    DATS/smbus_dats.c     \
    DATS/process_dats.c

ifeq ($(CYFXBUILD),arm)
SOURCE_ASM=cyfx_startup.S
else
SOURCE_ASM=cyfx_gcc_startup.S
endif

C_OBJECT=$(SOURCE:%.c=./%.o)
A_OBJECT=$(SOURCE_ASM:%.S=./%.o)

EXES = $(MODULE).$(EXEEXT)

$(MODULE).$(EXEEXT): $(A_OBJECT) $(C_OBJECT)
    $(LINK)

cyfxtx.c:
    cp $(FX3FWROOT)/fw_build/fx3_fw/cyfxtx.c .

cyfx_startup.S:
    cp $(FX3FWROOT)/fw_build/fx3_fw/cyfx_startup.S .

cyfx_gcc_startup.S:
    cp $(FX3FWROOT)/fw_build/fx3_fw/cyfx_gcc_startup.S .

$(DATSC): %_dats.c: %.dats $(SATS)
    $(ATS) -o $@.tmp -d $<
    mv $@.tmp $@

$(C_OBJECT) : %.o : %.c
    $(COMPILE)

$(A_OBJECT) : %.o : %.S
    $(ASSEMBLE)

image:
    -@echo 'Generate boot-loadable binary image'
    -/opt/cypress/cyfx3sdk/util/elf2img/elf2img -i upuck.elf -o upuck.img -v
    -@echo ' '

clean:
    rm -f ./$(MODULE).$(EXEEXT)
    rm -f ./$(MODULE).map
    rm -f ./*.o DATS/*.o DATS/*.c
    rm -f cyfxtx.c cyfx_startup.S cyfx_gcc_startup.S


compile: $(C_OBJECT) $(A_OBJECT) $(EXES)

[Hongwei Xi]

What would happen if you add

#include "share/atspre_staload.hats"

after removing the following lines:

staload _ = "prelude/DATS/pointer.dats"
staload _ = "prelude/DATS/array.dats"
staload _ = "prelude/DATS/arrayptr.dats"
staload _ = "prelude/DATS/arrayref.dats"
staload _ = "prelude/DATS/string.dats"
staload _ = "prelude/DATS/integer.dats"
staload _ = "prelude/DATS/integer_fixed.dats"


--
You received this message because you are subscribed to the Google Groups "ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscribe@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d49957aa-782c-47f3-b6a5-6e63df153af7%40googlegroups.com.

[Mike Jones]

I would fix this compile message and lead to a different problem to solve :-)

To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.