diff --git a/lib/Transforms/IPO/MergeFunctions.cpp b/lib/Transforms/IPO/MergeFunctions.cpp index 0c8585f8062..7130b543116 100644 --- a/lib/Transforms/IPO/MergeFunctions.cpp +++ b/lib/Transforms/IPO/MergeFunctions.cpp @@ -1225,16 +1225,14 @@ bool MergeFunctions::doSanityCheck(std::vector &Worklist) { bool Transitive = true; - // F1 > F2, F2 > F3 => F1 > F3 if (Res1 != 0 && Res1 == Res4) { + // F1 > F2, F2 > F3 => F1 > F3 Transitive = Res3 == Res1; - } else - // F1 > F3, F3 > F2 => F1 > F2 - if (Res3 != 0 && Res3 == -Res4) { + } else if (Res3 != 0 && Res3 == -Res4) { + // F1 > F3, F3 > F2 => F1 > F2 Transitive = Res3 == Res1; - } else - // F2 > F3, F3 > F1 => F2 > F1 - if (Res4 != 0 && -Res3 == Res4) { + } else if (Res4 != 0 && -Res3 == Res4) { + // F2 > F3, F3 > F1 => F2 > F1 Transitive = Res4 == -Res1; }