Commit 08258298 authored by Adéla Štěpková's avatar Adéla Štěpková
Browse files

fix negation in starting from failed assert

parent e10b467a

src/passes/startFromFailedAssert.cpp

+2 −2
Original line number Diff line number Diff line
@@ -55,8 +55,8 @@ BasicBlock* addFailedAssertBB(ModuleBundle& mod, FunctionBundle& fBundle, Instru 
        valueMap[revAssertCond] = failedRevAssertCond;



        // negated assert condition

        auto* revAssertCondNeg = fBundle.instBuilder.CreateXor(

            failedRevAssertCond, ConstantInt::get(failedRevAssertCond->getType(), 1));

        auto* revAssertCondNeg = fBundle.instBuilder.CreateICmpEQ(

            failedRevAssertCond, ConstantInt::get(failedRevAssertCond->getType(), 0));



        // add assume of the negation

        auto* failedRevAssert = fBundle.instBuilder.addAssumePlaceholder(revAssertCondNeg);