diff options
Diffstat (limited to 'asmcomp/amd64/proc.ml')
| -rw-r--r-- | asmcomp/amd64/proc.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/asmcomp/amd64/proc.ml b/asmcomp/amd64/proc.ml index 64b05a95c8..0baab0e634 100644 --- a/asmcomp/amd64/proc.ml +++ b/asmcomp/amd64/proc.ml @@ -301,8 +301,9 @@ let destroyed_at_c_call = 100;101;102;103;104;105]) else (* Unix: rbx, r12-r15 preserved *) + (* FIXME fabbing using rbx in replacement of rbp *) Array.of_list(List.map phys_reg - [0;2;3;4;5;6;7;10;11;12; + [0;1;2;3;4;5;6;7;10;11; 100;101;102;103;104;105;106;107; 108;109;110;111;112;113;114;115]) |