Re: [Xen-devel] [PATCH 02/20] lib/rbtree.c: optimize rb_erase()

2017-06-19 Thread Dario Faggioli
On Sat, 2017-06-17 at 15:02 +0530, Praveen Kumar wrote: > Tfour 4 redundant if-conditions in function __rb_erase_color() in > lib/rbtree.c are removed. > > In pseudo-source-code, the structure of the code is as follows: > > if ((!A || B) && (!C || D)) { > . > . > . > } else { > if (

[Xen-devel] [PATCH 02/20] lib/rbtree.c: optimize rb_erase()

2017-06-17 Thread Praveen Kumar
Tfour 4 redundant if-conditions in function __rb_erase_color() in lib/rbtree.c are removed. In pseudo-source-code, the structure of the code is as follows: if ((!A || B) && (!C || D)) { . . . } else { if (!C || D) {//if this is true, it implies: (A == true) && (B == false)