From fe115420b17acc722033d0df0dc354c2b841a7ab Mon Sep 17 00:00:00 2001 From: xleroy Date: Tue, 19 Aug 2014 13:19:35 +0000 Subject: checklink/Check.ml: missing SDA addressing for store instructions. powerpc/PrintAsm.ml: update Linux output (Csymbol_rel, SDA sections). test/regression/sections.c: test for SDA and relative addressings. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2571 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/regression/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/regression/Makefile') diff --git a/test/regression/Makefile b/test/regression/Makefile index 4cf9470..bd99675 100644 --- a/test/regression/Makefile +++ b/test/regression/Makefile @@ -23,7 +23,7 @@ TESTS=int32 int64 floats floats-basics \ TESTS_COMP=attribs1 bitfields1 bitfields2 bitfields3 bitfields4 \ bitfields5 bitfields6 bitfields7 bitfields8 \ builtins-$(ARCH) packedstruct1 packedstruct2 alignas \ - varargs1 varargs2 + varargs1 varargs2 sections # Can run, both in compiled mode and in interpreter mode, # but produce processor-dependent results, so no reference output in Results -- cgit v1.2.3