index
:
compcert-kvx
CPP22_if_lifting
CPP22_main
master
patched_for_velus
riscV-cmov
ssa
vericert
vericert-kvx
Unnamed repository; edit this file 'description' to name the repository.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
arm
/
TargetPrinter.ml
Commit message (
Expand
)
Author
Age
Files
Lines
*
Merge remote-tracking branch 'origin/mppa-profiling' into mppa-features
David Monniaux
2020-04-12
1
-1
/
+52
|
\
|
*
seems like the ARM profiling perhaps works
David Monniaux
2020-04-11
1
-1
/
+52
|
*
Revert "Remove `__builtin_nop` for some architectures. (#208)"
Bernhard Schommer
2020-01-03
1
-0
/
+2
|
*
Remove `__builtin_nop` for some architectures. (#208)
Bernhard Schommer
2019-12-21
1
-2
/
+0
*
|
fixes for aarch64 arm ppc ppc64
David Monniaux
2020-02-24
1
-1
/
+1
*
|
fix for x86+arm unsupported thread local
David Monniaux
2020-02-24
1
-1
/
+3
|
/
*
Extended asm: print register names according to their types
Xavier Leroy
2019-06-17
1
-3
/
+3
*
ARM: Fix expansion of FP conditional move
Xavier Leroy
2019-05-26
1
-2
/
+2
*
Implement a `Osel` operation for ARM
Xavier Leroy
2019-05-20
1
-0
/
+6
*
Added options -fcommon and -fno-common (#164)
Bernhard Schommer
2019-05-10
1
-2
/
+2
*
Generate a nop instruction after some ais annotations (#137)
Bernhard Schommer
2018-09-12
1
-1
/
+3
*
Fix register naming for stack pointer.
Bernhard Schommer
2018-03-08
1
-1
/
+1
*
Fix arm compile broken by merge problems.
Bernhard Schommer
2018-03-06
1
-4
/
+2
*
Reactivated and improved ais annotations.
Bernhard Schommer
2018-03-06
1
-5
/
+6
*
Reintroduce informative comments for Pflid_lbl/Pflis_lbl in target printer
Michael Schmidt
2017-12-15
1
-3
/
+6
*
Reintroduce informative comment for Ploadsymbol_lbl in target printer
Michael Schmidt
2017-12-15
1
-2
/
+2
*
Introduce 'cmn' instruction and optimize compare-with-immediate when negated ...
Michael Schmidt
2017-12-15
1
-0
/
+2
*
Moved constant expansion into Asmexpand. (#40)
Bernhard Schommer
2017-12-14
1
-305
/
+167
*
Remove unused float_abi_type.
Bernhard Schommer
2017-11-29
1
-12
/
+0
*
Added json export for the abstract ARM Assembler
Bernhard Schommer
2017-11-20
1
-61
/
+65
*
Moved arm eabi fixup to Asmexpand.
Bernhard Schommer
2017-11-16
1
-157
/
+30
*
Removed no longer used function. Bug 22525
Bernhard Schommer
2017-11-09
1
-25
/
+1
*
Remove superfluous function.
Bernhard Schommer
2017-11-06
1
-2
/
+0
*
Fix register name of ais printing and moved label function up.
Bernhard Schommer
2017-10-25
1
-4
/
+4
*
New support for inserting ais-annotations.
Bernhard Schommer
2017-10-19
1
-3
/
+11
*
Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)
Gergö Barany
2017-09-18
1
-4
/
+5
*
ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudo, continued
Xavier Leroy
2017-08-22
1
-1
/
+2
*
ARM in Thumb mode: simpler instruction sequence for Pbtbl pseudo
Xavier Leroy
2017-08-22
1
-6
/
+3
*
ARM port: replace Psavelr pseudo-instruction by actual instructions
Xavier Leroy
2017-08-17
1
-2
/
+0
*
Improve stack offset addressing
Michael Schmidt
2017-08-02
1
-12
/
+5
*
Integrated fixup code in estimated size.
Bernhard Schommer
2017-07-26
1
-0
/
+3
*
Print_annot should produce a string.
Bernhard Schommer
2017-07-19
1
-3
/
+8
*
Remove unused open.
Bernhard Schommer
2017-02-06
1
-1
/
+0
*
Fallthrough no depends on the last instruction.
Bernhard Schommer
2016-12-15
1
-4
/
+4
*
Be more conservative in emiting constants.
Bernhard Schommer
2016-12-15
1
-815
/
+827
*
Use 64 bit address in debug information.
Bernhard Schommer
2016-11-10
1
-0
/
+2
*
improve fixup code (bug 19792)
Michael Schmidt
2016-09-15
1
-0
/
+2
*
Add missing fixup-code for ARM EABI (bug 19792)
Michael Schmidt
2016-09-14
1
-2
/
+0
*
Implement support for big endian arm targets.
Bernhard Schommer
2016-08-05
1
-5
/
+7
*
bug 18925, fix loading of symbols for thumb: :lower16: and :upper16: are rest...
Michael Schmidt
2016-05-13
1
-1
/
+2
*
*/TargetPrinter.ml: wrong comment attached to Init_float32 constants
Xavier Leroy
2016-04-09
1
-1
/
+1
*
Merge branch 'master' into cleanup
Bernhard Schommer
2016-03-21
1
-2
/
+2
|
\
|
*
Print floating-point numbers with more digits in debug outputs
Xavier Leroy
2016-03-15
1
-2
/
+2
*
|
Deactivate warning 27 and added back removed code.
Bernhard Schommer
2016-03-15
1
-5
/
+5
*
|
Cleanup of ARM dependedn code.
Bernhard Schommer
2016-03-10
1
-64
/
+7
|
/
*
Do not use "movs rd, rs" nor "movs rd, #imm" in Thumb2 mode.
Xavier Leroy
2016-02-18
1
-2
/
+8
*
Print cfi_sections only if cfi is supported.
Bernhard Schommer
2015-12-15
1
-1
/
+1
*
Merge remote-tracking branch 'origin/master' into named-externals
Bernhard Schommer
2015-10-20
1
-8
/
+3
|
\
|
*
Fixed typos in the arm and ia32 section printing.
Bernhard Schommer
2015-10-16
1
-1
/
+1
|
*
Implemented the usage of DW_AT_ranges for non-contiguous address ranges.
Bernhard Schommer
2015-10-16
1
-0
/
+1
[next]