dynm/mao

Automatically exported from code.google.com/p/mao

mao's Issues

Add support for .cfi_sections directive.

The directive .cfi_sections has been to GNU Binutils after version 2.19.1 
(which MAO currently uses). After the next binutils upgrade, support in MAO 
should be added.

Original issue reported on code.google.com by [email protected] on 4 Mar 2011 at 11:29

libm dependency missing in plugin MaoBranchSeparator-x86_64-linux.so

What steps will reproduce the problem?
1. Build mao on Ubuntu 13.04 x64 
2. Run ./runtests.py -f ./testlist in tests

What is the expected output? What do you see instead?

Expected: correct execution of tests

Observed: Assertion in line 34 in MaoPlugin.cc:

Error *** ASSERT MaoPlugin.cc:34  (lib_handle) failed. 
/hd/home/me/Projects/mao/MAO/bin/MaoBranchSeparator-x86_64-linux.so: undefined 
symbol: log2
redtest.s            FAIL (0/1) Found 0 instances of REDTEST Should have been 2
(repeats for all tests)

What version of the product are you using? On what operating system?

Revision 777 from svn on Ubuntu 13.04 x64

Please provide any additional information below.

Toolchain used:
gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-1ubuntu1) 
GNU ld (GNU Binutils for Ubuntu) 2.23.2

Reason for the observed behavior:
The MaoBranchSeparator plugin uses the log2 function from libm, but the shared 
library built does not include a dependency to libm:

$ ldd ../bin/MaoBranchSeparator-x86_64-linux.so 
    linux-vdso.so.1 =>  (0x00007fff4d8b5000)
    libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f2b9ac63000)
    /lib64/ld-linux-x86-64.so.2 (0x00007f2b9b261000)

The cause for this behavior is that -lm has to be specified after the object 
files used to build the shlib in order to be used as dependency.
Please find a patch to the Makefile in the attached diff.

Original issue reported on code.google.com by [email protected] on 24 Jun 2013 at 12:01

Attachments:

• mao-libm-dependency-fix.diff

MAO bug when setting name to the dot symbol using syntax "NAME = ."

$ cat link_label.s
test_label:
    START = .
    nop
$ ../bin/mao-x86_64-linux --mao=IR link_label.s
*** ASSERT SymbolTable.cc:84  (it != table_.end()) failed. 
***   Processing: link_label.s, line: 2
***   Last pass:  READ
Aborted
$ cat link_label.s
test_label:
    START = 1
    nop
$ ../bin/mao-x86_64-linux --mao=IR link_label.s
[    0][D][              ][mao_start_section] .code64 
[    1][L][              ][     .text] test_label
[    2][D][              ][     .text] .set START, 1
[    3][I][              ][     .text]      nop 
Sections : 
[  1] .text [ 1]
[  0] mao_start_section [ 0]
Subsections : 
[  0] [0-0]: mao_start_section
[  1] [1-3]: .text
Functions : 

Looking at GDB at the place where MAO fails, the symbol we try to add have the 
L0\001 name:
(gdb) p S_GET_NAME(op_as_expr->X_add_symbol)
$6 = 0xa6c130 "L0\001"

IIRC, MAO handles local labels by using its own printable labels, and I suspect 
this should be handled the same way.

Original issue reported on code.google.com by [email protected] on 20 Jan 2012 at 5:56