Do not try to update dominator info while manipulating CFG.  This code does not handle all cases and keeps invalid dom info around some cases, which misleads other passes down stream.

Right now, dom info is recaluclated in the end if the loop is switched.

llvm-svn: 53106

Remove the ability for ADCE to remove unreachable blocks in loop nests, because, as Eli pointed out, SimplifyCFG already does this.

llvm-svn: 53104

llvm-svn: 53103

llvm-svn: 53100

llvm-svn: 53099

For the -dealloc checker, check the LangOptions to determine whether or not the code is compiled with GC.

llvm-svn: 53098

- Remove calls to copyKillDeadInfo which is an N^2 function. Instead, propagate kill / dead markers as new instructions are constructed in foldMemoryOperand, convertToThressAddress, etc.
- Also remove LiveVariables::instructionChanged, etc. Replace all calls with cheaper calls which update VarInfo kill list.

llvm-svn: 53097

llvm-svn: 53096

-Set "Named Casts" feature to partial parser/sema support because reinterpret_cast is not properly implemented.
-Removed "Virtual functions" feature because it is already covered by "Class definitions".
-Removed "Templates" because we should either list *all* missing/supported features or just list the features with some support. Mentioning just a few missing features without listing all of them makes little sense.

llvm-svn: 53095

-Add a link to cxx_status.html from get_involved.html/"Open Projects".

llvm-svn: 53094

llvm-svn: 53092

processed separately. Honour such situation and emit PIC relocations properly
in such case.

llvm-svn: 53091

llvm-svn: 53090

llvm-svn: 53089

llvm-svn: 53088

llvm-svn: 53087

llvm-svn: 53086

llvm-svn: 53085

llvm-svn: 53084

Have BugReporter::getCFG and BugReporter::getLiveVariables returns pointers instead of references, because they can both fail
on functions we cannot construct full CFGs for yet.

llvm-svn: 53081

llvm-svn: 53080

llvm-svn: 53076

Added static analysis check to see if a subclass of NSObject implements -dealloc, and whether or not that implementation calls [super dealloc].

llvm-svn: 53075

llvm-svn: 53074

llvm-svn: 53072

llvm-svn: 53071

'integer constant is so large that it is unsigned' warning for hex literals.

llvm-svn: 53070

by filling in the body of a union with enum constants.

llvm-svn: 53069

254.gap failure was not due to this mod.

llvm-svn: 53068

llvm-svn: 53067

llvm-svn: 53066

llvm-svn: 53065

llvm-svn: 53064

llvm-svn: 53063

llvm-svn: 53062

- Add LiveVariables::replaceKillInstruction. This does a subset of instructionChanged. That is, it only update the VarInfo.kills if the new instruction is known to have the correct dead and kill markers.
- CommuteInstruction copies kill / dead markers over to new instruction. So use replaceKillInstruction instead.

llvm-svn: 53061

llvm-svn: 53060

Make LiveVariables even more optional, by making it optional in the call to TargetInstrInfo::convertToThreeAddressInstruction
Also, if LV isn't around, then TwoAddr doesn't need to be updating flags, since they won't have been set in the first place.

llvm-svn: 53058

SelectionDAG::SelectNodeTo in the instruction selector. This
updates existing nodes in place instead of creating new ones.

Go back to selecting ISD::DBG_LABEL nodes into
TargetInstrInfo::DBG_LABEL nodes instead of leaving them
unselected, now that SelectNodeTo allows us to update them
in place.

llvm-svn: 53057

llvm-svn: 53056