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 (!C || D) {//if this is true, it implies: (A ==
> true) && (B == false)
> if (A) {//hence this always evaluates
> to 'true'...
> .
> }
> .
> //at this point, C always becomes true,
> because of:
> __rb_rotate_right/left();
> //and:
> other = parent->rb_right/left;
> }
> .
> .
> if (C) {//...and this too !
> .
> }
> }
>
> Signed-off-by: Wolfram Strepp <wstr...@gmx.de>
> Acked-by: Peter Zijlstra <a.p.zijls...@chello.nl>
> Cc: Andrea Arcangeli <and...@qumranet.com>
> Signed-off-by: Andrew Morton <a...@linux-foundation.org>
> Signed-off-by: Linus Torvalds <torva...@linux-foundation.org>
> [Linux commit 55a63998b8967615a15e2211ba0ff3a84a565824]
>
> Ported to Xen.
>
> Signed-off-by: Praveen Kumar <kpraveen.l...@gmail.com>
>
Reviewed-by: Dario Faggioli <dario.faggi...@citrix.com>Dario -- <<This happens because I choose it to happen!>> (Raistlin Majere) ----------------------------------------------------------------- Dario Faggioli, Ph.D, http://about.me/dario.faggioli Senior Software Engineer, Citrix Systems R&D Ltd., Cambridge (UK)
signature.asc
Description: This is a digitally signed message part
_______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
