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

1 files changed, 75 insertions, 0 deletions

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