Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/branches/SMLNJ/src/MLRISC/hppa/instructions/hppaProps.sml
ViewVC logotype

Diff of /sml/branches/SMLNJ/src/MLRISC/hppa/instructions/hppaProps.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 428, Wed Sep 8 09:47:00 1999 UTC revision 429, Wed Sep 8 09:47:00 1999 UTC
# Line 26  Line 26 
26      | instrKind(I.BCONDI _) = IK_JUMP      | instrKind(I.BCONDI _) = IK_JUMP
27      | instrKind(I.BB _)     = IK_JUMP      | instrKind(I.BB _)     = IK_JUMP
28      | instrKind(I.B _)      = IK_JUMP      | instrKind(I.B _)      = IK_JUMP
29        | instrKind(I.BE _)     = IK_JUMP
30      | instrKind(I.FBRANCH _)= IK_JUMP      | instrKind(I.FBRANCH _)= IK_JUMP
31      | instrKind(I.BV _)     = IK_JUMP      | instrKind(I.BV _)     = IK_JUMP
32      | instrKind(I.BLR _)    = IK_JUMP      | instrKind(I.BLR _)    = IK_JUMP
# Line 66  Line 67 
67      | branchTargets(I.BB{t, ...})       = [LABELLED t, FALLTHROUGH]      | branchTargets(I.BB{t, ...})       = [LABELLED t, FALLTHROUGH]
68      | branchTargets(I.B{lab, ...})      = [LABELLED lab]      | branchTargets(I.B{lab, ...})      = [LABELLED lab]
69      | branchTargets(I.FBRANCH{t,...})   = [LABELLED t, FALLTHROUGH]      | branchTargets(I.FBRANCH{t,...})   = [LABELLED t, FALLTHROUGH]
70        | branchTargets(I.BE{labs=[],...})  = [ESCAPES]
71        | branchTargets(I.BE{labs,...})     = map LABELLED labs
72      | branchTargets(I.BV{labs=[],...})  = [ESCAPES]      | branchTargets(I.BV{labs=[],...})  = [ESCAPES]
73      | branchTargets(I.BV{labs,...})     = map LABELLED labs      | branchTargets(I.BV{labs,...})     = map LABELLED labs
74      | branchTargets(I.BLR{labs,...})    = map LABELLED labs      | branchTargets(I.BLR{labs,...})    = map LABELLED labs
# Line 87  Line 90 
90      | setTargets(I.FBRANCH{cc,fmt,n,long,f1,f2,...},[F,T]) =      | setTargets(I.FBRANCH{cc,fmt,n,long,f1,f2,...},[F,T]) =
91            I.FBRANCH{cc=cc,fmt=fmt,t=T,f=F,n=n,long=long,f1=f1,f2=f2}            I.FBRANCH{cc=cc,fmt=fmt,t=T,f=F,n=n,long=long,f1=f1,f2=f2}
92      | setTargets(I.BV{x,b,n,...},labels) = I.BV{x=x,b=b,labs=labels,n=n}      | setTargets(I.BV{x,b,n,...},labels) = I.BV{x=x,b=b,labs=labels,n=n}
93        | setTargets(I.BE{b,d,n,sr,...},labs) = I.BE{b=b,d=d,n=n,sr=sr,labs=labs}
94      | setTargets(I.BLR{x,t,n,...},labels) = I.BLR{x=x,t=t,labs=labels,n=n}      | setTargets(I.BLR{x,t,n,...},labels) = I.BLR{x=x,t=t,labs=labels,n=n}
95      | setTargets(I.ANNOTATION{i,a},labels) =      | setTargets(I.ANNOTATION{i,a},labels) =
96            I.ANNOTATION{i=setTargets(i,labels),a=a}            I.ANNOTATION{i=setTargets(i,labels),a=a}
# Line 181  Line 185 
185        | I.BCONDI {r2, ...}          => ([],  [r2])        | I.BCONDI {r2, ...}          => ([],  [r2])
186        | I.BB {r, ...}               => ([],  [r])        | I.BB {r, ...}               => ([],  [r])
187        | I.BV {x, b, ...}            => ([],  [x,b])        | I.BV {x, b, ...}            => ([],  [x,b])
188          | I.BE {b, ...}               => ([],  [b])
189        | I.BLR{x, t, ...}            => ([t], [x])        | I.BLR{x, t, ...}            => ([t], [x])
190        | I.BL{defs, uses, ...}       => (#1 defs, #1 uses)        | I.BL{defs, uses, ...}       => (#1 defs, #1 uses)
191        | I.BLE{t, b, defs, uses, ...}=> (31 :: t :: #1 defs, b :: #1 uses)        | I.BLE{t, b, defs, uses, ...}=> (31 :: t :: #1 defs, b :: #1 uses)
# Line 193  Line 198 
198        | I.FSTOREX {b, x, ...}       => ([],  [b,x])        | I.FSTOREX {b, x, ...}       => ([],  [b,x])
199        | I.FLOAD {b, ...}            => ([],  [b])        | I.FLOAD {b, ...}            => ([],  [b])
200        | I.FLOADX{b, x, ...}         => ([],  [b,x])        | I.FLOADX{b, x, ...}         => ([],  [b,x])
201          | I.ANNOTATION{a=BasicAnnotations.DEFUSER(d,u),...} => (d,u)
202        | I.ANNOTATION{i,...}         => defUseR i        | I.ANNOTATION{i,...}         => defUseR i
203        | _   => ([],[])        | _   => ([],[])
204    end    end
# Line 211  Line 217 
217         | I.BLE{defs, uses, ...}    => (#2 defs, #2 uses)         | I.BLE{defs, uses, ...}    => (#2 defs, #2 uses)
218         | I.FCOPY{dst, src, tmp=SOME(I.FDirect f), ...} => (f::dst, src)         | I.FCOPY{dst, src, tmp=SOME(I.FDirect f), ...} => (f::dst, src)
219         | I.FCOPY{dst, src, ...}    => (dst, src)         | I.FCOPY{dst, src, ...}    => (dst, src)
220           | I.ANNOTATION{a=BasicAnnotations.DEFUSEF(d,u),...} => (d,u)
221         | I.ANNOTATION{i,...}       => defUseF i         | I.ANNOTATION{i,...}       => defUseF i
222         | _ => ([],[])         | _ => ([],[])
223    

Legend:
Removed from v.428  
changed lines
  Added in v.429

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0