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
|
(*
* This just provide a very simple pretty printing function.
* It is used for visualization.
*
* -- Allen
*
*)
signature FORMAT_INSTRUCTION =
sig
structure I : INSTRUCTIONS
val toString : Annotations.annotations -> I.instruction -> string
end
functor FormatInstruction(Asm : INSTRUCTION_EMITTER) : FORMAT_INSTRUCTION =
struct
structure I = Asm.I
fun toString an insn =
let val buffer = StringOutStream.mkStreamBuf()
val S = StringOutStream.openStringOut buffer
val () = AsmStream.withStream S
(fn insn =>
let val Asm.S.STREAM{emit,...} = Asm.makeStream an
in emit insn
end) insn
val text = StringOutStream.getString buffer
fun isSpace #" " = true
| isSpace #"\t" = true
| isSpace _ = false
val text = foldr (fn (x,"") => x | (x,y) => x^" "^y) ""
(String.tokens isSpace text)
fun stripNL "" = ""
| stripNL s =
let fun f(0) = ""
| f(i) =
case String.sub(s,i) of
#"\n" => f(i-1)
| #" " => f(i-1)
| _ => String.extract(s,0,SOME(i+1))
in f(size s - 1) end
in stripNL text end
end
|
