Added support for jump tables in back end.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1171 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- .depend 6 additions, 3 deletions.depend
- backend/Allocation.v 4 additions, 0 deletionsbackend/Allocation.v
- backend/Allocproof.v 6 additions, 0 deletionsbackend/Allocproof.v
- backend/Alloctyping.v 2 additions, 0 deletionsbackend/Alloctyping.v
- backend/Bounds.v 1 addition, 0 deletionsbackend/Bounds.v
- backend/CSE.v 2 additions, 0 deletionsbackend/CSE.v
- backend/CSEproof.v 7 additions, 0 deletionsbackend/CSEproof.v
- backend/Constprop.v 10 additions, 13 deletionsbackend/Constprop.v
- backend/Constpropproof.v 12 additions, 0 deletionsbackend/Constpropproof.v
- backend/LTL.v 9 additions, 0 deletionsbackend/LTL.v
- backend/LTLin.v 8 additions, 0 deletionsbackend/LTLin.v
- backend/LTLintyping.v 5 additions, 0 deletionsbackend/LTLintyping.v
- backend/LTLtyping.v 6 additions, 0 deletionsbackend/LTLtyping.v
- backend/Linear.v 8 additions, 0 deletionsbackend/Linear.v
- backend/Linearize.v 2 additions, 0 deletionsbackend/Linearize.v
- backend/Linearizeaux.ml 2 additions, 0 deletionsbackend/Linearizeaux.ml
- backend/Linearizeproof.v 12 additions, 0 deletionsbackend/Linearizeproof.v
- backend/Linearizetyping.v 1 addition, 0 deletionsbackend/Linearizetyping.v
- backend/Lineartyping.v 4 additions, 0 deletionsbackend/Lineartyping.v
- backend/Mach.v 1 addition, 0 deletionsbackend/Mach.v
Loading
Please register or sign in to comment