SCM Repository
[smlnj] Diff of /sml/trunk/src/MLRISC/x86/instructions/x86FreqProps.sml
Diff of /sml/trunk/src/MLRISC/x86/instructions/x86FreqProps.sml
Parent Directory
|
Revision Log
|
Patch
8 |
|
|
9 |
structure I = X86Instr |
structure I = X86Instr |
10 |
|
|
11 |
fun branchProb(I.ANNOTATION{a=BasicAnnotations.BRANCH_PROB b,...}) = b |
fun branchProb(I.ANNOTATION{a, i, ...}) = |
12 |
| branchProb(I.ANNOTATION{i,...}) = branchProb i |
(case #peek BasicAnnotations.BRANCH_PROB a of |
13 |
|
SOME b => b |
14 |
|
| NONE => branchProb i |
15 |
|
) |
16 |
| branchProb(I.JCC{cond=I.EQ,...}) = 10 |
| branchProb(I.JCC{cond=I.EQ,...}) = 10 |
17 |
| branchProb(I.JCC{cond=I.O,...}) = 0 (* overflow *) |
| branchProb(I.JCC{cond=I.O,...}) = 0 (* overflow *) |
18 |
| branchProb(I.JCC{cond=I.NE,...}) = 90 |
| branchProb(I.JCC{cond=I.NE,...}) = 90 |
|
Legend:
Removed from v.428 |
|
changed lines |
|
Added in v.469 |
|
|