aboutsummaryrefslogtreecommitdiffstats
path: root/pg
diff options
context:
space:
mode:
authorGergö Barany <gergo.barany@inria.fr>2017-09-15 11:05:51 +0200
committerGergö Barany <gergo.barany@inria.fr>2017-09-15 11:05:51 +0200
commit93ef5fbd926aead27cbfa386e88daf323d749f81 (patch)
tree60e6c853b50f0da6919d5e57b9b1a2a4858fbd97 /pg
parent0b958fb4935694148083dbf18dd12d5fabdfc0c6 (diff)
downloadcompcert-93ef5fbd926aead27cbfa386e88daf323d749f81.tar.gz
compcert-93ef5fbd926aead27cbfa386e88daf323d749f81.zip
Strength reduction patterns for ARM mla instruction.
Diffstat (limited to 'pg')
0 files changed, 0 insertions, 0 deletions