[m-dev.] diff: lookup_switch.m bug fix

Thomas Charles CONWAY conway at students.cs.mu.oz.au
Tue Sep 23 16:38:30 AEST 1997


David Glen JEFFERY, you write:
> 
> 
> Estimated hours taken: 6 (to track it down).
> 
> Fix a bug in lookup switch generation which meant that some semidet switches
> were always succeeding. The problem was that, when the switch was dense enough
> to get rid of the range check, getting rid of the range check meant that the
> bit vector test could now fail.
> 
> It may be better to turn these on in the other order.
> 
> compiler/lookup_switch.m:
> 	When we get rid of the range check, turn the bit vector test on.
> 

This change looks fine.

-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.



More information about the developers mailing list