repos/rhope: backendutils_c.rhope comparison

comparison backendutils_c.rhope @ 178:ed322ae64738

Detect duplicates in conditions

author	Mike Pavone <pavone@retrodev.com>
date	Wed, 15 Jun 2011 01:18:28 -0700
parents	fd06fb07762a
children

comparison

equal deleted inserted replaced

-:e57c151f351e
+:ed322ae64738
 	}{
 		out <- Val[escaped]
 	}
 }
+Blueprint Make Op Res
+{
+	Func
+	Val
+}
+Make Op Res[func,val:out]
+{
+	out <- [[Build[Make Op Res()]]Func <<[func]]Val <<[val]
+}
+Make Op Mod[func,val:out func,out val]
+{
+	nval <- [val]Make Op[func]
+	If[[Blueprint Of[nval]]=[Make Op Res()]]
+	{
+		out func <- Func >>[nval]
+		out val <- Val >>[nval]
+	}{
+		out func <- func
+		out val <- Val[nval]
+	}
+}
 Blueprint AddRef
 {
 	Value
 }
 Strip Addref@AddRef[op:out]
 {
 	out <- [[op]Value >>]Strip Addref
 }
+=@AddRef[a,b(AddRef):out]
+{
+	out <- [[a]Value >>]==[[b]Value >>]
+}
 Make Op@String[string,func:out]
 {
 	out <- [func]Resolve[string]
 }
 Get Type@String Slice[op,func:out]
 {
 	out <- [func]Get Var Type[op]
 }
-Make Op@Whole Number[num,func:out]
-{
-	out <- num
-}
-Strip Addref@Whole Number[op:out]
-{
-	out <- op
-}
-Make Op@Real Number[num,func:out]
-{
-	out <- num
-}
-Strip Addref@Real Number[op:out]
-{
-	out <- op
-}
 Blueprint Output
 {
 	Name
 }
 Strip Addref@Output[op:out]
 {
 	out <- op
 }
+=@Output[a,b(Output):out]
+{
+	out <- [[a]Name >>]=[[b]Name >>]
+}
 Blueprint Constant
 {
 	Value
 	Need Addref
 Strip Addref@Constant[op:out]
 {
 	out <- [op]Need Addref <<[No]
 }
+=@Constant[a,b(Constant):out]
+{
+	out <- [[a]Value >>]=[[b]Value >>]
+}
 Blueprint Result
 {
 	Output Num
 }
 }
 Strip Addref@Result[op:out]
 {
 	out <- op
+}
+=@Result[a,b(Result):out]
+{
+	out <- [[a]Output Num >>]=[[b]Output Num >>]
 }
 Blueprint Global Get
 {
 	Store
 Strip Addref@Global Get[get:out]
 {
 	out <- get
 }
+=@Global Get[a,b(Global Get):out]
+{
+	,out <- If[[[a]Store >>]=[[b]Store >>]]
+	{
+		out <- [[a]Var >>]=[[b]Var >>]
+	}
+}
 Blueprint Check Result
 {
 	Output Num
 }
 	{
 		out <- OrCond[Make Condition[[op]Left >>], Make Condition[[op]Right >>]]
 	}{
 		out <- op
 	}
+}
+=@Check Result[a,b(Check Result):out]
+{
+	out <- [[a]Output Num >>]=[[b]Output Num >>]
 }
 Blueprint OrValue
 {
 	Left
 	Right
 }
 OrValue[left,right:out]
 {
-	out <- [[Build[OrValue()]]Left <<[left]]Right <<[right]
+	If[[left]==[right]]
+	{
+		out <- left
+	}{
+		out <- [[Build[OrValue()]]Left <<[left]]Right <<[right]
+	}
 }
 Make Op@OrValue[orval,func:out]
 {
 	out <- [func]If Null Else[[orval]Left >>, [orval]Right >>]
 }
 Strip Addref@OrValue[op:out]
 {
 	out <- [[op]Left <<[ [[op]Left >>]Strip Addref ]]Right <<[ [[op]Right >>]Strip Addref ]
+}
+=@OrValue[a,b(OrValue):out]
+{
+	,out <- If[[[a]Left >>]==[[b]Left >>]]
+	{
+		out <- [[a]Right >>]==[[b]Right >>]
+	}
 }
 Blueprint Cast
 {
 	Value
 Strip Addref@Cast[op:out]
 {
 	out <- [op]Value <<[[[op]Value >>]Strip Addref]
 }
+=@Cast[a,b(Cast):out]
+{
+	,out <- If[[[a]Value >>] == [[b]Value >>]]
+	{
+		out <- [[a]Type >>]=[[b]Type >>]
+	}
+}
 Blueprint NotCond
 {
 	Condition
 }
 NotCond[cond:out]
 {
-	out <- [Build[NotCond()]]Condition <<[[cond]Strip Addref]
+	If[[Blueprint Of[cond]]=[NotCond()]]
+	{
+		out <- [cond]Condition >>
+	}{
+		out <- [Build[NotCond()]]Condition <<[[cond]Strip Addref]
+	}
 }
 Make Op@NotCond[cond,func:out]
 {
 	out <- ["!"]Append[[[cond]Condition >>]Make Op[func]]
 }
 Strip Addref@NotCond[op:out]
 {
 	out <- op
+}
+=@NotCond[a,b(NotCond):out]
+{
+	out <- [[a]Condition >>]==[[b]Condition >>]
 }
 Blueprint OrCond
 {
 	Condition1
 	Condition2
 }
 OrCond[cond1,cond2:out]
 {
-	out <- [[Build[OrCond()]]Condition1 <<[[cond1]Strip Addref]]Condition2 <<[[cond2]Strip Addref]
+	If[[cond1]==[cond2]]
+	{
+		out <- cond1
+	}{
+		out <- [[Build[OrCond()]]Condition1 <<[[cond1]Strip Addref]]Condition2 <<[[cond2]Strip Addref]
+	}
 }
 Make Op@OrCond[cond,func:out]
 {
 	out <- ["("]Append[[[ [[cond]Condition1 >>]Make Op[func] ]Append[" || "]]Append[[ [[cond]Condition2 >>]Make Op[func] ]Append[")"]]]
 }
 Strip Addref@OrCond[op:out]
 {
 	out <- op
+}
+=@OrCond[a,b(OrCond):out]
+{
+	,out <- If[[[a]Condition1 >>] == [[b]Condition1 >>]]
+	{
+		out <- [[a]Condition2 >>] == [[b]Condition2 >>]
+	}
 }
 Blueprint AndCond
 {
 	Condition1
 	Condition2
 }
 AndCond[cond1,cond2:out]
 {
-	out <- [[Build[AndCond()]]Condition1 <<[[cond1]Strip Addref]]Condition2 <<[[cond2]Strip Addref]
+	If[[cond1]==[cond2]]
+	{
+		out <- cond1
+	}{
+		out <- [[Build[AndCond()]]Condition1 <<[[cond1]Strip Addref]]Condition2 <<[[cond2]Strip Addref]
+	}
 }
 Make Op@AndCond[cond,func:out]
 {
 	out <- ["("]Append[[[ [[cond]Condition1 >>]Make Op[func] ]Append[" && "]]Append[[ [[cond]Condition2 >>]Make Op[func] ]Append[")"]]]
 }
 Strip Addref@AndCond[op:out]
 {
 	out <- op
+}
+=@AndCond[a,b(AndCond):out]
+{
+	,out <- If[[[a]Condition1 >>] == [[b]Condition1 >>]]
+	{
+		out <- [[a]Condition2 >>] == [[b]Condition2 >>]
+	}
 }
 Blueprint Field Ref
 {
 	Variable
 }
 Strip Addref@Field Ref[op:out]
 {
 	out <- op
+}
+=@Field Ref[a,b(Field Ref):out]
+{
+	,out <- If[[[a]Variable >>]==[[b]Variable >>]]
+	{
+		out <- [[a]Field >>]=[[b]Field >>]
+	}
 }
 Blueprint Type Instance
 {
 	Name

Mercurial > repos > rhope

comparison backendutils_c.rhope @ 178:ed322ae64738