Diff of /sml/trunk/src/MLRISC/alpha/instructions/alphaProps.sml

Parent Directory | Revision Log | Patch

	revision 1081, Thu Feb 21 15:28:03 2002 UTC	revision 1082, Thu Feb 21 18:50:56 2002 UTC
#	Line 102	Line 102
102	I.ANNOTATION{i=setTargets(i,labs),a=a}	I.ANNOTATION{i=setTargets(i,labs),a=a}
103	| setTargets(i,_) = i	| setTargets(i,_) = i
104
105	fun negateConditional br = let	fun negateConditional (br, lab) = let
106	fun revBranch I.BEQ  = I.BNE	fun revBranch I.BEQ  = I.BNE
107	| revBranch I.BGE  = I.BLT	| revBranch I.BGE  = I.BLT
108	| revBranch I.BGT  = I.BLE	| revBranch I.BGT  = I.BLE
#	Line 117	Line 117
117	| revFBranch I.FBGT  = I.FBLE	| revFBranch I.FBGT  = I.FBLE
118	| revFBranch I.FBLE  = I.FBGT	| revFBranch I.FBLE  = I.FBGT
119	| revFBranch I.FBLT  = I.FBGE	| revFBranch I.FBLT  = I.FBGE
120	in	in
121	case br	case br
122	of I.INSTR(I.BRANCH{b,r,lab}) => I.branch{b=revBranch b,r=r,lab=lab}	of I.INSTR(I.BRANCH{b,r,...}) => I.branch{b=revBranch b,r=r,lab=lab}
123	| I.INSTR(I.FBRANCH{b,f,lab}) => I.fbranch{b=revFBranch b,f=f,lab=lab}	| I.INSTR(I.FBRANCH{b,f,...}) => I.fbranch{b=revFBranch b,f=f,lab=lab}
124	| I.ANNOTATION{i,a} => I.ANNOTATION{i=negateConditional i,a=a}	| I.ANNOTATION{i,a} => I.ANNOTATION{i=negateConditional(i, lab),a=a}
125	| _ => raise NegateConditional	| _ => raise NegateConditional
126	end	end
127

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.1081   changed lines   Added in v.1082

---

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