Home | History | Annotate | Download | only in Analysis

Lines Matching defs:Simplified

15 // simplified: This is usually true and assuming it simplifies the logic (if
16 // they have not been simplified then results are correct but maybe suboptimal).
137 /// Returns the simplified value, or null if no simplification was performed.
321 // If they simplified to the same value, then return the common value.
326 // If one branch simplified to undef, return the other one.
337 // If one branch simplified and the other did not, and the simplified
338 // value is equal to the unsimplified one, return the simplified value.
341 // Check that the simplified value has the form "X op Y" where "op" is the
343 Instruction *Simplified = dyn_cast<Instruction>(FV ? FV : TV);
344 if (Simplified && Simplified->getOpcode() == Opcode) {
346 // We already know that "op" is the same as for the simplified value. See
347 // if the operands match too. If so, return the simplified value.
351 if (Simplified->getOperand(0) == UnsimplifiedLHS &&
352 Simplified->getOperand(1) == UnsimplifiedRHS)
353 return Simplified;
354 if (Simplified->isCommutative() &&
355 Simplified->getOperand(1) == UnsimplifiedLHS &&
356 Simplified->getOperand(0) == UnsimplifiedRHS)
357 return Simplified;
390 // It not only simplified, it simplified to the select condition. Replace
404 // It not only simplified, it simplified to the select condition. Replace
415 // If both sides simplified to the same value, then use it as the result of
424 // If the false value simplified to false, then the result of the compare
426 // value simplified to false and the true value to true, returning "Cond".
430 // If the true value simplified to true, then the result of the compare
435 // Finally, if the false value simplified to true and the true value to
479 // If the operation failed to simplify, or simplified to a different value
518 // If the operation failed to simplify, or simplified to a different value
578 // that operands have already been simplified) "select(cond, B, C)" should
579 // have been simplified to the common value of B and C already. Analysing
753 // It does, return the simplified "trunc V".
771 // that operands have already been simplified) "select(cond, B, C)" should
772 // have been simplified to the common value of B and C already. Analysing
1879 // that operands have already been simplified) "select(cond, B, C)" should
1880 // have been simplified to the common value of B and C already. Analysing
3629 /// SimplifyInstruction - See if we can compute a simplified version of this
3762 /// instruction simplified to itself. Make life easier for users by
3771 /// If we have a pre-simplified value in 'SimpleV', that is forcibly used to
3777 /// in simplified value does not count toward this.
3782 bool Simplified = false;
3793 // Replace the instruction with its simplified value.
3813 Simplified = true;
3821 // Replace the instruction with its simplified value.
3829 return Simplified;
3844 assert(SimpleV && "Must provide a simplified value.");