More generally there are hundreds of these tricks for getting integer logic and arithmetic to do non-obvious computations. There really isn't a theory beyond the rules of 2-s complement arithmetic. I do remember some years (10 or 12?) back or so some papers by a guy who had a way of discovering instruction sequences like this with a kind of specialized theorem prover. I'm sorry I can recall enough to give a reference.
--~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "Algorithm Geeks" group. To post to this group, send email to algogeeks@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/algogeeks -~----------~----~----~----~------~----~------~--~---
