common/Memdata.v · 30fbbdb86d2a2989062a9c82dc770a923fb19643 · CertiCompil / CompCert-KVX

14 years ago

Integers: cleaned up bitwise operations, redefined shr, zero_ext and sign_ext · e99d18c4

xleroy authored 14 years ago

  as bitwise operations rather than arithmetic ones.
CastOptimproof: fixed for ARM port.
Other files: adapted to changes in Integers.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1472 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

e99d18c4

History

Integers: cleaned up bitwise operations, redefined shr, zero_ext and sign_ext

xleroy authored 14 years ago

  as bitwise operations rather than arithmetic ones.
CastOptimproof: fixed for ARM port.
Other files: adapted to changes in Integers.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1472 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e