diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-01-21 16:11:50 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2012-01-21 16:11:50 +0000 |
| commit | d2b9858f3f5e013bbd9d2221c8d1a3d2960665be (patch) | |
| tree | 82d17ae170e7595045604663b152a04afe3e9c4c /powerpc/eabi | |
| parent | 88e55a6729b58cfc2ce32ed526dfd3c9cdf4feef (diff) | |
| download | compcert-d2b9858f3f5e013bbd9d2221c8d1a3d2960665be.tar.gz compcert-d2b9858f3f5e013bbd9d2221c8d1a3d2960665be.zip | |
powerpc/SelectOp: optimize the pattern ((x >>s N) & N1) & N2 common in a certain customer's code
backend/Coloringaux: avoid spilling the dummy result registers for built-ins that have no result.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1799 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'powerpc/eabi')
0 files changed, 0 insertions, 0 deletions