Home | History | Annotate | Download | only in Analysis

Lines Matching refs: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).
75 /// Returns the simplified value, or null if no simplification was performed.
138 /// Returns the simplified value, or null if no simplification was performed.
337 // If they simplified to the same value, then return the common value.
342 // If one branch simplified to undef, return the other one.
353 // If one branch simplified and the other did not, and the simplified
354 // value is equal to the unsimplified one, return the simplified value.
357 // Check that the simplified value has the form "X op Y" where "op" is the
359 Instruction *Simplified = dyn_cast<Instruction>(FV ? FV : TV);
360 if (Simplified && Simplified->getOpcode() == Opcode) {
362 // We already know that "op" is the same as for the simplified value. See
363 // if the operands match too. If so, return the simplified value.
367 if (Simplified->getOperand(0) == UnsimplifiedLHS &&
368 Simplified->getOperand(1) == UnsimplifiedRHS)
369 return Simplified;
370 if (Simplified->isCommutative() &&
371 Simplified->getOperand(1) == UnsimplifiedLHS &&
372 Simplified->getOperand(0) == UnsimplifiedRHS)
373 return Simplified;
407 // It does! If they simplified to the same value, then use it as the
412 // If the false value simplified to false, then the result of the compare
414 // value simplified to false and the true value to true, returning "Cond".
418 // If the true value simplified to true, then the result of the compare
423 // Finally, if the false value simplified to true and the true value to
470 // If the operation failed to simplify, or simplified to a different value
510 // If the operation failed to simplify, or simplified to a different value
576 // that operands have already been simplified) "select(cond, B, C)" should
577 // have been simplified to the common value of B and C already. Analysing
697 // that operands have already been simplified) "select(cond, B, C)" should
698 // have been simplified to the common value of B and C already. Analysing
1362 // that operands have already been simplified) "select(cond, B, C)" should
1363 // have been simplified to the common value of B and C already. Analysing
2378 /// SimplifyInstruction - See if we can compute a simplified version of this
2469 /// instruction simplified to itself. Make life easier for users by