mspgcc, явное задание адреса переменной (константы) Опции

[Сергей Борщ]

Вроде ничего, а?

Вполне.. Только еще бы FlashData сделать const и снимать этот const явным приведением типов в единственном месте внутри SaveToFlash().

хотя надо ещё проверить, куда const закинет...
Может, проще сделать:
tempFlashData = DEFAULTS;
SaveToFlash();

const закинет в .text
Проще сделать

Код

tempFlashData = DefaultFlashData;
SaveToFlash();

Хотя я бы DefaultFlashData обозвал как FactorySettings.

[rezident]

Я в похожем случае (правда в IAR) приноровился создавать две копии одной структуры. Одну с явно инициализированными значениями объявляю как const и кладу в выделенный сегмент Flash (INFO, например) по конкретному адресу, сопровождая прагмой required. Вторую объявляю как __no_init (без const, т.е. как структуру обычных глобальных переменных), но укладываю ее в тот же адрес во Flash, что и первую, и в программе работаю именно с ней. Конечно при компиляции warning указывает и линкер иногда "коленца" выдает, отказываясь компилировать. Но Rebuild all вроде пока помогает. Извиняюсь, если информация не совсем в тему.

[MrYuran]

Задолбался...
Версий больше нет...
Почему stFlashData DefaultFlashData = DEFAULTS
размещает структуру данных вместе с данными в .text,
а stFlashData _SEG_A_ FlashData = DEFAULTS размещает структуру в нужной секции, но без данных?
Конечно, можно при первом запуске скопировать туда DefaultFlashData, но это костыли, а хочется культурно...

Заодно и логику компилятора понять

Убрал атрибут секции, две одинаковые структуры лежат в памяти одна под другой

Может, скрипт линкера надо подправить?

Исправил секцию на .infomem, адрес поменялся (0x1000), данных нет



что нужно поправить, чтобы не было разницы между .text и .infomem ?
(с т.з. размещения данных)

CODE

/* Default linker script, for normal executables */
OUTPUT_FORMAT("elf32-msp430","elf32-msp430","elf32-msp430")
OUTPUT_ARCH(msp:16)
MEMORY
{
text (rx) : ORIGIN = 0x1100, LENGTH = 0xeee0
data (rwx) : ORIGIN = 0x0200, LENGTH = 0x0800
vectors (rw) : ORIGIN = 0xffe0, LENGTH = 32
bootloader(rx) : ORIGIN = 0x0c00, LENGTH = 1K
infomem(rx) : ORIGIN = 0x1000, LENGTH = 256
infomemnobits(rx) : ORIGIN = 0x1000, LENGTH = 256
}
SECTIONS
{
/* Read-only sections, merged into text segment. */
.hash : { *(.hash) }
.dynsym : { *(.dynsym) }
.dynstr : { *(.dynstr) }
.gnu.version : { *(.gnu.version) }
.gnu.version_d : { *(.gnu.version_d) }
.gnu.version_r : { *(.gnu.version_r) }
.rel.init : { *(.rel.init) }
.rela.init : { *(.rela.init) }
.rel.text :
{
*(.rel.text)
*(.rel.text.*)
*(.rel.gnu.linkonce.t*)
}
.rela.text :
{
*(.rela.text)
*(.rela.text.*)
*(.rela.gnu.linkonce.t*)
}
.rel.fini : { *(.rel.fini) }
.rela.fini : { *(.rela.fini) }
.rel.rodata :
{
*(.rel.rodata)
*(.rel.rodata.*)
*(.rel.gnu.linkonce.r*)
}
.rela.rodata :
{
*(.rela.rodata)
*(.rela.rodata.*)
*(.rela.gnu.linkonce.r*)
}
.rel.data :
{
*(.rel.data)
*(.rel.data.*)
*(.rel.gnu.linkonce.d*)
}
.rela.data :
{
*(.rela.data)
*(.rela.data.*)
*(.rela.gnu.linkonce.d*)
}
.rel.ctors : { *(.rel.ctors) }
.rela.ctors : { *(.rela.ctors) }
.rel.dtors : { *(.rel.dtors) }
.rela.dtors : { *(.rela.dtors) }
.rel.got : { *(.rel.got) }
.rela.got : { *(.rela.got) }
.rel.bss : { *(.rel.bss) }
.rela.bss : { *(.rela.bss) }
.rel.plt : { *(.rel.plt) }
.rela.plt : { *(.rela.plt) }
/* Internal text space. */
.text :
{
. = ALIGN(2);
*(.init)
KEEP(*(.init))
*(.init0) /* Start here after reset. */
KEEP(*(.init0))
*(.init1) /* User definable. */
KEEP(*(.init1))
*(.init2) /* Initialize stack. */
KEEP(*(.init2))
*(.init3) /* Initialize hardware, user definable. */
KEEP(*(.init3))
*(.init4) /* Copy data to .data, clear bss. */
KEEP(*(.init4))
*(.init5) /* User definable. */
KEEP(*(.init5))
*(.init6) /* C++ constructors. */
KEEP(*(.init6))
*(.init7) /* User definable. */
KEEP(*(.init7))
*(.init8) /* User definable. */
KEEP(*(.init8))
*(.init9) /* Call main(). */
KEEP(*(.init9))
__ctors_start = . ;
*(.ctors)
KEEP(*(.ctors))
__ctors_end = . ;
__dtors_start = . ;
*(.dtors)
KEEP(*(.dtors))
__dtors_end = . ;
. = ALIGN(2);
*(.text)
. = ALIGN(2);
*(.text.*)
. = ALIGN(2);
*(.fini9) /* Jumps here after main(). User definable. */
KEEP(*(.fini9))
*(.fini8) /* User definable. */
KEEP(*(.fini8))
*(.fini7) /* User definable. */
KEEP(*(.fini7))
*(.fini6) /* C++ destructors. */
KEEP(*(.fini6))
*(.fini5) /* User definable. */
KEEP(*(.fini5))
*(.fini4) /* User definable. */
KEEP(*(.fini4))
*(.fini3) /* User definable. */
KEEP(*(.fini3))
*(.fini2) /* User definable. */
KEEP(*(.fini2))
*(.fini1) /* User definable. */
KEEP(*(.fini1))
*(.fini0) /* Infinite loop after program termination. */
KEEP(*(.fini0))
*(.fini)
KEEP(*(.fini))
_etext = .;
} > text
.data :
{
PROVIDE (__data_start = .) ;
. = ALIGN(2);
*(.data)
*(SORT_BY_ALIGNMENT(.data.*))
. = ALIGN(2);
*(.gnu.linkonce.d*)
. = ALIGN(2);
_edata = . ;
} > data AT > text
PROVIDE (__data_load_start = LOADADDR(.data) );
PROVIDE (__data_size = SIZEOF(.data) );
/* Bootloader. */
.bootloader :
{
PROVIDE (__boot_start = .) ;
*(.bootloader)
. = ALIGN(2);
*(.bootloader.*)
} > bootloader
/* Information memory. */
.infomem :
{
*(.infomem)
. = ALIGN(2);
*(.infomem.*)
} > infomem
/* Information memory (not loaded into MPU). */
.infomemnobits :
{
*(.infomemnobits)
. = ALIGN(2);
*(.infomemnobits.*)
} > infomemnobits
.bss :
{
PROVIDE (__bss_start = .) ;
*(.bss)
*(SORT_BY_ALIGNMENT(.bss.*))
*(COMMON)
PROVIDE (__bss_end = .) ;
_end = . ;
} > data
PROVIDE (__bss_size = SIZEOF(.bss) );
.noinit :
{
PROVIDE (__noinit_start = .) ;
*(.noinit)
*(.noinit.*)
*(COMMON)
PROVIDE (__noinit_end = .) ;
_end = . ;
} > data
.vectors :
{
PROVIDE (__vectors_start = .) ;
*(.vectors*)
KEEP(*(.vectors*))
_vectors_end = . ;
} > vectors
/* Stabs for profiling information*/
.profiler 0 : { *(.profiler) }
/* Stabs debugging sections. */
.stab 0 : { *(.stab) }
.stabstr 0 : { *(.stabstr) }
.stab.excl 0 : { *(.stab.excl) }
.stab.exclstr 0 : { *(.stab.exclstr) }
.stab.index 0 : { *(.stab.index) }
.stab.indexstr 0 : { *(.stab.indexstr) }
.comment 0 : { *(.comment) }
/* DWARF debug sections.
Symbols in the DWARF debugging sections are relative to the beginning
of the section so we begin them at 0. */
/* DWARF 1 */
.debug 0 : { *(.debug) }
.line 0 : { *(.line) }
/* GNU DWARF 1 extensions */
.debug_srcinfo 0 : { *(.debug_srcinfo) }
.debug_sfnames 0 : { *(.debug_sfnames) }
/* DWARF 1.1 and DWARF 2 */
.debug_aranges 0 : { *(.debug_aranges) }
.debug_pubnames 0 : { *(.debug_pubnames) }
/* DWARF 2 */
.debug_info 0 : { *(.debug_info) *(.gnu.linkonce.wi.*) }
.debug_abbrev 0 : { *(.debug_abbrev) }
.debug_line 0 : { *(.debug_line) }
.debug_frame 0 : { *(.debug_frame) }
.debug_str 0 : { *(.debug_str) }
.debug_loc 0 : { *(.debug_loc) }
.debug_macinfo 0 : { *(.debug_macinfo) }
PROVIDE (__stack = 0xa00) ;
PROVIDE (__data_start_rom = _etext) ;
PROVIDE (__data_end_rom = _etext + SIZEOF (.data)) ;
PROVIDE (__noinit_start_rom = _etext + SIZEOF (.data)) ;
PROVIDE (__noinit_end_rom = _etext + SIZEOF (.data) + SIZEOF (.noinit)) ;
PROVIDE (__subdevice_has_heap = 0) ;
}

[alx2]

Режим компиляции случайно не С++? Тогда попробовать константы в отдельный файл и добавить extern к const

Сергей, а что это за тонкости в C++? Мне казалось, если переменная не объявлена статической, компилятор не имеет права не включить ее в выходной файл независимо от того используется она в данном модуле или нет (на нее может ссылаться другой модуль). Какая в данном контексте разница между языками C и C++, и почему в случае C++ переменной могло не оказаться в выходном файле компилятора?

[Сергей Борщ]

Какая в данном контексте разница между языками C и C++, и почему в случае C++ переменной могло не оказаться в выходном файле компилятора?

В плюсах константы, объявленные без extern, имеют область видимости в пределах текушей единицы компиляции. В С - глобальную.

[alx2]

Почему stFlashData DefaultFlashData = DEFAULTS
размещает структуру данных вместе с данными в .text,

Потому что в линкерном скрипте указано данные секции .data помещать в text:

Код

  .data   :
  {
      blablabla
  }  > data AT > text

а stFlashData _SEG_A_ FlashData = DEFAULTS размещает структуру в нужной секции, но без данных?

Потому что для этой секции в линкерном скрипте нет указания "AT .....":

Код

  .infomem   :
  {
      blablabla
  }  > infomem

А что значит "без данных"? Что показывает objdump -d -j .infomem <elffile> ?
И что написано в map-файле по поводу размещения секции .infomem?

Ой. Только сейчас заметил: а как секция .seg_a превратилась в .infomem? В линкерном скрипте нет никаких указаний загружать .seg_a... Или я уже совсем запутался и ничего не понимаю... Спать, наверное, пора...

В плюсах константы, объявленные без extern, имеют область видимости в пределах текушей единицы компиляции. В С - глобальную.

Вот как... Эта тонкость почему-то напрочь отсутствовала в моей голове. Спасибо.

Сообщение отредактировал alx2 - Jul 28 2009, 22:02

[Сергей Борщ]

что нужно поправить, чтобы не было разницы между .text и .infomem ?
(с т.з. размещения данных)

Я попробовал обернуть данные в структуру и таки добавил const:

Код

struct
{
   uint8_t a;
} const __attribute__((section (".infomem") )) ttt = {2};

int main()
{
   P3OUT = ttt.a;

Результат:

Код

886                   /* #NOAPP */
887                   .global    ttt
888                       .section    .infomem,"a",@progbits
889                       .p2align 1,0
892                   ttt:
893 0000 02                .byte    2
894 0001 00                .skip 1,0
895                       .text
896                       .p2align 1,0
897                   .global    main
899                   /***********************
900                    * Function `main'
901                    ***********************/
902                   main:
903                   .LFB1:
904                   .LM1:
905                       /* prologue: frame size = 0 */
906                   .L__FrameSize_main=0x0
907                   .L__FrameOffset_main=0x0
908 0000 3140 0000         mov    #(__stack-0), r1
909                       /* prologue end (size=2) */
910                   
911                   .LM2:
912 0004 D242 0000         mov.b    &ttt, &0x0019
912      1900

Без обертывания в структуру компилятор ("хороший мальчик!" (с) Брильянтовая рука) оптимизирует константу, подставляя значение сразу в код.

[MrYuran]

А что значит "без данных"? Что показывает objdump -d -j .infomem <elffile> ?

Код

1102U_430_00_00.elf:     file format elf32-msp430
Disassembly of section .infomem:
00001000 <FlashData>:
    1000:    6f 12 83 3a 19 04 9e 3f 7b 14 16 40 00 00 80 3f     o..:...?{..@...?
    1010:    3f 00                                              ?.

Ой... А откуда? А я листинг смотрел...
Вот те раз...

И что написано в map-файле по поводу размещения секции .infomem?
.map я пока ниасилил. Там куча каких-то непонятных закорючек...