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/Results/sections | 75 ++++++++++++++++++++++++++++++++++++++++ 1 file changed, 75 insertions(+) create mode 100644 test/regression/Results/sections (limited to 'test/regression/Results/sections') diff --git a/test/regression/Results/sections b/test/regression/Results/sections new file mode 100644 index 0000000..540a839 --- /dev/null +++ b/test/regression/Results/sections @@ -0,0 +1,75 @@ +---- Absolute addressing +signed char 1: OK +signed char 2: OK +signed char 3: OK +unsigned char 1: OK +unsigned char 2: OK +unsigned char 3: OK +signed short 1: OK +signed short 2: OK +signed short 3: OK +unsigned short 1: OK +unsigned short 2: OK +unsigned short 3: OK +int 1: OK +int 2: OK +int 3: OK +float 1: OK +float 2: OK +float 3: OK +double 1: OK +double 2: OK +double 3: OK +long long 1: OK +long long 2: OK +long long 3: OK +---- Small data area +signed char 1: OK +signed char 2: OK +signed char 3: OK +unsigned char 1: OK +unsigned char 2: OK +unsigned char 3: OK +signed short 1: OK +signed short 2: OK +signed short 3: OK +unsigned short 1: OK +unsigned short 2: OK +unsigned short 3: OK +int 1: OK +int 2: OK +int 3: OK +float 1: OK +float 2: OK +float 3: OK +double 1: OK +double 2: OK +double 3: OK +long long 1: OK +long long 2: OK +long long 3: OK +---- Relative addressing +signed char 1: OK +signed char 2: OK +signed char 3: OK +unsigned char 1: OK +unsigned char 2: OK +unsigned char 3: OK +signed short 1: OK +signed short 2: OK +signed short 3: OK +unsigned short 1: OK +unsigned short 2: OK +unsigned short 3: OK +int 1: OK +int 2: OK +int 3: OK +float 1: OK +float 2: OK +float 3: OK +double 1: OK +double 2: OK +double 3: OK +long long 1: OK +long long 2: OK +long long 3: OK -- cgit v1.2.3