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

add comments

parent 16cf8885

src/passes/simplifyAssumes.cpp

+2 −1
Original line number Diff line number Diff line
@@ -604,12 +604,13 @@ private: 
                return {{otherOp, otherOpVal}};

            }

            if (binOp->getOpcode() == Instruction::And && binOp->getType()->isIntegerTy(1)) {

                // otherOp

                // otherOp && true = knownConst => otherOp == knownConst

                if (constOp->isOne()) {

                    return {{otherOp, knownConst}};

                }

            }

            if (binOp->getOpcode() == Instruction::Or && binOp->getType()->isIntegerTy(1)) {

                // otherOp || false = knownConst => otherOp == knownConst

                if (constOp->isZero()) {

                    return {{otherOp, knownConst}};

                }