Bug compiling the xtmmath part of the standard library

gistfile1.txt

kandinski@desire:~/data/work/hack/llvm-3.4.2.src/build/bin$ ls
bugpoint          llvm-bcanalyzer  llvm-extract   llvm-ranlib      llvm-tblgen
llc               llvm-config      llvm-link      llvm-readobj     macho-dump
lli               llvm-cov         llvm-mc        llvm-rtdyld      opt
lli-child-target  llvm-diff        llvm-mcmarkup  llvm-size
llvm-ar           llvm-dis         llvm-nm        llvm-stress
llvm-as           llvm-dwarfdump   llvm-objdump   llvm-symbolizer

kandinski@desire:~/data/work/hack/llvm-3.4.2.src/build/bin$ export EXT_LLVM_DIR=~/data/work/hack/llvm-3.4.2.src/build

kandinski@desire:~/data/work/hack/llvm-3.4.2.src/build$ cd ~/data/work/hack/extempore

kandinski@desire:~/data/work/hack/extempore$ ./compile-stdlib.sh 

(... snip lots of lines ...)

Compiled:  hamming >>> [double,double]* zone size: 8192 (default)
Looking for llc in  /home/kandinski/data/work/hack/llvm-3.4.2.src/build 
compile command:
  /home/kandinski/data/work/hack/llvm-3.4.2.src/build/bin/llc -O3 -relocation-model=pic -tailcallopt /tmp/xtmmath.bc && gcc -O3 --shared -g /tmp/xtmmath.s -o /tmp/xtmmath.so
 

Failed to compile stdlib.
Successfully wrote precomp file to libs/math.xtm 
Total compile time: 1.730419 minutes

 type-aliases: 6
   gpolytypes: 4
    polytypes: 1
       gpolys: 55
        polys: 96
       vtypes: 0
gtypemappings: 0

Error precompiling core/math.xtm


kandinski@desire:~/data/work/hack/extempore$ gcc -O0 --shared -g /tmp/xtmmath.s -o /tmp/xtmmath.so
/tmp/xtmmath.s: Assembler messages:
/tmp/xtmmath.s:10159: Error: Missing symbol name in directive
/tmp/xtmmath.s:10159: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10159: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10160: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10167: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10171: Error: Missing symbol name in directive
/tmp/xtmmath.s:10171: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10171: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10172: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10204: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10225: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10229: Error: Missing symbol name in directive
/tmp/xtmmath.s:10229: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10229: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10230: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10233: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10236: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10237: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10249: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10253: Error: Missing symbol name in directive
/tmp/xtmmath.s:10253: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10253: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10254: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10256: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10260: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10264: Error: Missing symbol name in directive
/tmp/xtmmath.s:10264: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10264: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10265: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10271: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10282: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10286: Error: Missing symbol name in directive
/tmp/xtmmath.s:10286: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10286: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10287: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10293: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10304: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10308: Error: Missing symbol name in directive
/tmp/xtmmath.s:10308: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10308: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10309: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10331: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10357: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10361: Error: Missing symbol name in directive
/tmp/xtmmath.s:10361: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:10361: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10362: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10374: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10388: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10392: Error: Missing symbol name in directive
/tmp/xtmmath.s:10392: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10392: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10393: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10401: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10407: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10424: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10428: Error: Missing symbol name in directive
/tmp/xtmmath.s:10428: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10428: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10429: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10461: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10482: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10486: Error: Missing symbol name in directive
/tmp/xtmmath.s:10486: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10486: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10487: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10490: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10493: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10494: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10506: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10510: Error: Missing symbol name in directive
/tmp/xtmmath.s:10510: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10510: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10511: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10513: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10517: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10521: Error: Missing symbol name in directive
/tmp/xtmmath.s:10521: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10521: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10522: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10528: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10539: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10543: Error: Missing symbol name in directive
/tmp/xtmmath.s:10543: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10543: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10544: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10550: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10561: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10565: Error: Missing symbol name in directive
/tmp/xtmmath.s:10565: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10565: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10566: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10588: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10614: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10618: Error: Missing symbol name in directive
/tmp/xtmmath.s:10618: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:10618: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10619: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10631: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10645: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10649: Error: Missing symbol name in directive
/tmp/xtmmath.s:10649: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10649: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10650: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10657: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10666: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10670: Error: Missing symbol name in directive
/tmp/xtmmath.s:10670: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10670: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10671: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10703: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10724: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10728: Error: Missing symbol name in directive
/tmp/xtmmath.s:10728: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10728: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10729: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10732: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10735: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10736: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10748: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10752: Error: Missing symbol name in directive
/tmp/xtmmath.s:10752: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10752: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10753: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10755: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10759: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10763: Error: Missing symbol name in directive
/tmp/xtmmath.s:10763: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10763: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10764: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10773: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10787: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10791: Error: Missing symbol name in directive
/tmp/xtmmath.s:10791: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10791: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10792: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10801: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10815: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10819: Error: Missing symbol name in directive
/tmp/xtmmath.s:10819: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10819: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10820: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10857: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10886: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10890: Error: Missing symbol name in directive
/tmp/xtmmath.s:10890: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:10890: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10891: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10905: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:10921: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10925: Error: Missing symbol name in directive
/tmp/xtmmath.s:10925: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:10925: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10926: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10952: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:10956: Error: Missing symbol name in directive
/tmp/xtmmath.s:10956: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:10956: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:10957: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:10989: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11010: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11014: Error: Missing symbol name in directive
/tmp/xtmmath.s:11014: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11014: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11015: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11018: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11021: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11022: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11034: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11038: Error: Missing symbol name in directive
/tmp/xtmmath.s:11038: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11038: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11039: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11041: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11045: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11049: Error: Missing symbol name in directive
/tmp/xtmmath.s:11049: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11049: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11050: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11059: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11073: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11077: Error: Missing symbol name in directive
/tmp/xtmmath.s:11077: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11077: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11078: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11087: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11101: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11105: Error: Missing symbol name in directive
/tmp/xtmmath.s:11105: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11105: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11106: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11143: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11172: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11176: Error: Missing symbol name in directive
/tmp/xtmmath.s:11176: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:11176: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:11177: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:11191: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11207: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:11261: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11288: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11608: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:11635: Error: invalid character '"' before operand 1
/tmp/xtmmath.s:98001: Error: Missing symbol name in directive
/tmp/xtmmath.s:98001: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:98001: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98005: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98007: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98009: Error: Missing symbol name in directive
/tmp/xtmmath.s:98009: Error: unrecognized symbol type "cdr"
/tmp/xtmmath.s:98009: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98012: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98014: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98024: Error: Missing symbol name in directive
/tmp/xtmmath.s:98024: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:98024: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98028: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98030: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98032: Error: Missing symbol name in directive
/tmp/xtmmath.s:98032: Error: unrecognized symbol type "last"
/tmp/xtmmath.s:98032: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98035: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98037: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98054: Error: Missing symbol name in directive
/tmp/xtmmath.s:98054: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:98054: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98058: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98060: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98062: Error: Missing symbol name in directive
/tmp/xtmmath.s:98062: Error: unrecognized symbol type "append"
/tmp/xtmmath.s:98062: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98065: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98067: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98084: Error: Missing symbol name in directive
/tmp/xtmmath.s:98084: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:98084: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98088: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98090: Error: expected comma after name `' in .size directive
/tmp/xtmmath.s:98092: Error: Missing symbol name in directive
/tmp/xtmmath.s:98092: Error: unrecognized symbol type "cons"
/tmp/xtmmath.s:98092: Error: junk at end of line, first unrecognized character is `-'
/tmp/xtmmath.s:98095: Error: junk at end of line, first unrecognized character is `"'
/tmp/xtmmath.s:98097: Error: expected comma after name `' in .size directive


kandinski@desire:~/data/work/hack/extempore$ clang -O0 --shared -g /tmp/xtmmath.s -o /tmp/xtmmath.so
/tmp/xtmmath.s:631:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %edi, %xmm0, %xmm0
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/tmp/xtmmath.s:644:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %eax, %xmm0, %xmm0
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/tmp/xtmmath.s:657:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %eax, %xmm0, %xmm0
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/tmp/xtmmath.s:672:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %eax, %xmm0, %xmm0
        ^
/tmp/xtmmath.s:721:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %eax, %xmm0, %xmm0
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/tmp/xtmmath.s:734:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %eax, %xmm0, %xmm0
~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/tmp/xtmmath.s:747:2: error: invalid instruction mnemonic 'vcvtsi2ssl'
        vcvtsi2ssl      %edi, %xmm0, %xmm0
        ^