diff options
| author | Michael Schmidt <github@mschmidt.me> | 2018-10-19 21:23:29 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2018-10-20 10:02:59 +0200 |
| commit | 64393c4bb570c4c9570ddc4c457618db6fb71108 (patch) | |
| tree | 41cbf65b2e787bee3e950af781b83002188ab3bc /powerpc/Asmexpand.ml | |
| parent | 791971d203068a032477c7627cc97c06fac95da2 (diff) | |
| download | compcert-kvx-64393c4bb570c4c9570ddc4c457618db6fb71108.tar.gz compcert-kvx-64393c4bb570c4c9570ddc4c457618db6fb71108.zip | |
Use 'gpr_or_zero' for base register of indexed load/stores, bug 24776
Diffstat (limited to 'powerpc/Asmexpand.ml')
0 files changed, 0 insertions, 0 deletions