Lines Matching full:branch
554 // conditions, mean the branch could go either way.
560 // Constant condition variables mean the branch can only go a single way.
621 // Overdefined condition variables mean the branch could go either way,
627 // Constant condition variables mean the branch can only go a single way.
672 // 6. If a conditional branch has a value that is constant, make the selected
674 // 7. If a conditional branch has a value that is overdefined, make all
1228 /// This method handles this by finding an unresolved branch and marking it one
1233 /// constraints on the condition of the branch, as that would impact other users
1466 // Check to see if we have a branch or switch on an undefined value. If so
1467 // we force the branch to go one way or the other to make the successor
1475 // If the input to SCCP is actually branch on undef, fix the undef to
1483 // Otherwise, it is a branch on a symbolic value which is currently
1485 // branch to false.
1825 // if this is a branch or switch on undef. Fold it manually as a
1826 // branch
1830 "Branch should be foldable!");
1838 // Make this an uncond branch to the first successor.