blob: ae95c284d0bfc9a6b076f54a3ceb00af07974766 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
(***********************************************************************)
(* *)
(* Objective Caml *)
(* *)
(* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
(* *)
(* Copyright 1996 Institut National de Recherche en Informatique et *)
(* Automatique. Distributed only by permission. *)
(* *)
(***********************************************************************)
(* $Id$ *)
(* Specific operations for the PowerPC processor *)
open Formatmsg
type specific_operation =
Imultaddf (* multiply and add *)
| Imultsubf (* multiply and subtract *)
(* Addressing modes *)
type addressing_mode =
Ibased of string * int (* symbol + displ *)
| Iindexed of int (* reg + displ *)
| Iindexed2 (* reg + reg *)
(* Sizes, endianness *)
let big_endian = true
let size_addr = 4
let size_int = 4
let size_float = 8
(* Operations on addressing modes *)
let identity_addressing = Iindexed 0
let offset_addressing addr delta =
match addr with
Ibased(s, n) -> Ibased(s, n + delta)
| Iindexed n -> Iindexed(n + delta)
| Iindexed2 -> Misc.fatal_error "Arch_power.offset_addressing"
let num_args_addressing = function
Ibased(s, n) -> 0
| Iindexed n -> 1
| Iindexed2 -> 2
(* Printing operations and addressing modes *)
let print_addressing printreg addr arg =
match addr with
Ibased(s, n) ->
print_string "\""; print_string s; print_string "\"";
if n <> 0 then begin print_string " + "; print_int n end
| Iindexed n ->
printreg arg.(0);
if n <> 0 then begin print_string " + "; print_int n end
| Iindexed2 ->
printreg arg.(0); print_string " + "; printreg arg.(1)
let print_specific_operation printreg op arg =
match op with
Imultaddf ->
printreg arg.(0); print_string " *f "; printreg arg.(1);
print_string " +f "; printreg arg.(2)
| Imultsubf ->
printreg arg.(0); print_string " *f "; printreg arg.(1);
print_string " -f "; printreg arg.(2)
(* Distinguish between the PowerPC and the Power/RS6000 submodels *)
let powerpc =
match Config.model with
"ppc" -> true
| "rs6000" -> false
| _ -> Misc.fatal_error "wrong $(MODEL)"
(* Distinguish between the PowerOpen (AIX, MacOS) TOC-based,
relative-addressing model and the SVR4 (Solaris, MkLinux, Rhapsody)
absolute-addressing model. *)
let toc =
match Config.system with
"aix" -> true
| "elf" -> false
| "rhapsody" -> false
| _ -> Misc.fatal_error "wrong $(SYSTEM)"
|
