Re: (a || b) is not the same as (a >> -b | b) !!!!

Juan Dent <[email protected]> Mon, 19 Oct 2020 17:09:00 +0000
Newsgroups gmane.comp.parsers.spirit.general
Message-ID <BYAPR14MB3077BBAFFBA7C9610C1ED44A9B1E0@BYAPR14MB3077.namprd14.prod.outlook.com>
SGkgSm9lbCBhbmQgTGFycnksDQoNCkluZGVlZCBMYXJyeSBpcyBjb3JyZWN0LCBJIGhhdmUgbm8g
cHJvYmxlbSB3aXRoIHRoZSByb21hbl9udW1lcmFscyBwYXJzZXIgYnV0IHdpdGggdGhlIHN0YXRl
ZCBlcXVpdmFsZW5jZSBvZiB0aGVzZSAyIGdyYW1tYXJzOg0KDQooYSB8fCBiKSANCg0KKGEgPj4g
LWIgfCBiKQ0KDQpBY2NvcmRpbmcgdG8gQm9vc3QuU3Bpcml0Og0KPj4gaHR0cHM6Ly93d3cuYm9v
c3Qub3JnL2RvYy9saWJzLzFfNzRfMC9saWJzL3NwaXJpdC9kb2MvaHRtbC9zcGlyaXQvcWkvDQo+
PiB0dXRvcmlhbHMvcm9tYW5fbnVtZXJhbHMuaHRtbA0KDQpJIHRlc3RlZCB0aGVzZSBncmFtbWFy
cyBpbiB0aGUgZm9sbG93aW5nIGNvZGU6DQoNCkNoZWNrIHRoaXMgY29kZToNCg0KCQlzdGQ6OnN0
cmluZyBzID0gIjUwIDQzLjMiOyAgDQoJCWZpcnN0ID0gcy5iZWdpbigpOw0KCQlsYXN0ID0gcy5l
bmQoKTsNCgkJDQoJCWRvdWJsZSBwMTsNCgkJaW50IHAyOw0KCQlpbnQgcDM7DQoJCXN0ZDo6dmVj
dG9yPGRvdWJsZT4gdjsNCgkJDQoJCQ0KCQlib29sIHIgPSBwaHJhc2VfcGFyc2UoZmlyc3QsIGxh
c3QsDQoJCQkvLyBiZWdpbiBncmFtbWFyDQoJCQkoDQoJCQkJZG91YmxlXyA+PiAtaW50XyAgfCBp
bnRfDQoJCQkJKSwNCgkJCXNwYWNlLCB2KTsNCg0KdGhpcyB3aGVuIHJ1biwgZGVsaXZlcnMgMiBl
bGVtZW50cyBpbiB0aGUgdiB2ZWN0b3IgYXR0cmlidXRlICggNTAuMDAwLCA0My4wMDApLg0KDQpX
aGVuIHdlIGNoYW5nZSB0aGUgZ3JhbW1hciB0byB0aGlzOg0KDQoJCXN0ZDo6c3RyaW5nIHMgPSAi
NTAgNDMuMyI7ICAgLy8iMzQuNTU1IDYwIjsNCgkJZmlyc3QgPSBzLmJlZ2luKCk7DQoJCWxhc3Qg
PSBzLmVuZCgpOw0KCQkNCgkJZG91YmxlIHAxOw0KCQlpbnQgcDI7DQoJCWludCBwMzsNCgkJc3Rk
Ojp2ZWN0b3I8ZG91YmxlPiB2Ow0KCQkNCgkJDQoJCWJvb2wgciA9IHBocmFzZV9wYXJzZShmaXJz
dCwgbGFzdCwNCgkJCS8vIGJlZ2luIGdyYW1tYXINCgkJCSgNCgkJCQlkb3VibGVfIHx8IGludF8N
CgkJCQkpLA0KCQkJc3BhY2UsIHYpOw0KDQp2IHZlY3RvciBhdHRyaWJ1dGUgZGVsaXZlcnMgb25s
eSBvbmUgZWxlbWVudCAoNTAuMDAwMCkNCg0KVEhVUzogdGhlIDIgZ3JhbW1hcnMgYXJlIE5PVCB0
aGUgc2FtZSEhDQoNClBsZWFzZSBjYW4gc29tZW9uZSBjaGVjayB0aGlzIDIgcGllY2VzIG9mIGNv
ZGU/DQoNCg0KUmVnYXJkcywNCkp1YW4gRGVudA0KDQoNCi0tLS0tT3JpZ2luYWwgTWVzc2FnZS0t
LS0tDQpGcm9tOiBMYXJyeSBFdmFucyA8Y3BwbGpldmFuc0BzdWRkZW5saW5rLm5ldD4gDQpTZW50
OiBTdW5kYXksIE9jdG9iZXIgMTgsIDIwMjAgNjo0OCBQTQ0KVG86IHNwaXJpdC1nZW5lcmFsQGxp
c3RzLnNvdXJjZWZvcmdlLm5ldA0KU3ViamVjdDogUmU6IFtTcGlyaXQtZ2VuZXJhbF0gKGEgfHwg
YikgaXMgbm90IHRoZSBzYW1lIGFzIChhID4+IC1iIHwgYikgISEhIQ0KDQpPbiAxMC8xOC8yMCA3
OjIxIFBNLCBKb2VsIGRlIEd1em1hbiB3cm90ZToNCj4gT24gMTAvMTkvMjAgMToyNSBhbSwgSnVh
biBEZW50IHdyb3RlOg0KPj4gSGkgIQ0KPj4NCj4+IEFjY29yZGluZyB0byBCb29zdC5TcGlyaXQ6
DQo+PiBodHRwczovL3d3dy5ib29zdC5vcmcvZG9jL2xpYnMvMV83NF8wL2xpYnMvc3Bpcml0L2Rv
Yy9odG1sL3NwaXJpdC9xaS8NCj4+IHR1dG9yaWFscy9yb21hbl9udW1lcmFscy5odG1sDQo+Pg0K
Pj4gwqDCoCAoYSB8fCBiKSBpcyB0aGUgc2FtZSBhcyAoYSA+PiAtYiB8IGIpIHlldCBleHBlcmlt
ZW50YXRpb24gZG9lcyBub3QgDQo+PiBhZ3JlZSB3aXRoIHRoaXMuDQo+Pg0KPiANCj4gRG9lcyB0
aGUgcm9tYW5fbnVtZXJhbHMgcGFyc2VyIG5vdCB3b3JrIGZvciB5b3U/DQo+IA0KPiBDaGVlcnMs
DQpIaSBKb2VsLA0KDQpJIGRvbid0IHRoaW5rIEp1YW4gaXMgcXVlc3Rpb25pbmcgdGhlIHJvbWFu
X251bWVyYWxzIHBhcnNlciwgYnV0IG9ubHkgdGhlIGRvY3VtZW50YXRpb24gY2xhaW0gd2hpY2gg
c2F5czoNCg0KICAoYSB8fCBiKSBpcyB0aGUgc2FtZSBhcyAoYSA+PiAtYiB8IGIpDQoNCmFuZCB3
aGljaCBjbGFpbSBpcyBub3Qgc3VwcG9ydGVkIGJ5IGhpcyBleHBlcmltZW50cyB3aGljaCBzaG93
cyBkaWZmZXJlbnQgcmVzdWx0cyBiZXR3ZWVuOg0KDQogIGRvdWJsZV8gPj4gLWludF8gIHwgaW50
Xw0KDQphbmQ6DQoNCiAgZG91YmxlXyB8fCBpbnRfDQoNCi1yZWdhcmRzLA0KTGFycnkNCg0KDQoN
Cg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18NClNwaXJp
dC1nZW5lcmFsIG1haWxpbmcgbGlzdA0KU3Bpcml0LWdlbmVyYWxAbGlzdHMuc291cmNlZm9yZ2Uu
bmV0DQpodHRwczovL2xpc3RzLnNvdXJjZWZvcmdlLm5ldC9saXN0cy9saXN0aW5mby9zcGlyaXQt
Z2VuZXJhbA0KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
ClNwaXJpdC1nZW5lcmFsIG1haWxpbmcgbGlzdApTcGlyaXQtZ2VuZXJhbEBsaXN0cy5zb3VyY2Vm
b3JnZS5uZXQKaHR0cHM6Ly9saXN0cy5zb3VyY2Vmb3JnZS5uZXQvbGlzdHMvbGlzdGluZm8vc3Bp
cml0LWdlbmVyYWwK