[m-rev.] for review: remove `int:^/2' from constant propagation

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

Remove the reference to `int:^/2' operator in the constant propagation
pass since that operator was changed into the field access operator some
time ago.

compiler/const_prop.m:
	Remove the reference to `int:^/2'.


Index: compiler/const_prop.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/const_prop.m,v
retrieving revision 1.20
diff -u -r1.20 const_prop.m
--- compiler/const_prop.m	4 Dec 2003 21:34:59 -0000	1.20
+++ compiler/const_prop.m	12 Jan 2004 03:56:42 -0000
@@ -249,11 +249,6 @@
 	Y = _YVar - bound(_YUniq, [functor(int_const(YVal), [])]),
 	ZVal = XVal \/ YVal.

-evaluate_builtin_tri("int", "^", 0, X, Y, Z, Z, int_const(ZVal)) :-
-	X = _XVar - bound(_XUniq, [functor(int_const(XVal), [])]),
-	Y = _YVar - bound(_YUniq, [functor(int_const(YVal), [])]),
-	ZVal = XVal `xor` YVal.
-
 evaluate_builtin_tri("int", "xor", 0, X, Y, Z, Z, int_const(ZVal)) :-
 	X = _XVar - bound(_XUniq, [functor(int_const(XVal), [])]),
 	Y = _YVar - bound(_YUniq, [functor(int_const(YVal), [])]),
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------