Update GEP constructors to use an iterator interface to fix
GLIBCXX_DEBUG issues.

llvm-svn: 41697

llvm-svn: 41668

llvm-svn: 41522

llvm-svn: 41516

Update InvokeInst to work like CallInst

llvm-svn: 41506

llvm-svn: 41456

Move exit condition and exit branch from exiting block into loop header and dominator info. This avoid execution of dead iteration. Loop is already filter in the beginning such that this change is safe.

llvm-svn: 41394

llvm-svn: 41389

While calculating upper loop bound for first loop and lower loop bound for second loop, take care of edge cases.

llvm-svn: 41387

Fix regression that I caused yesterday night while adding logic to select appropriate split condition branch.

llvm-svn: 41365

condition predicate is GT or GE then execute false branch first.

llvm-svn: 41358

llvm-svn: 41357

llvm-svn: 41356

llvm-svn: 41354

llvm-svn: 41295

llvm-svn: 41292

"True Loop" and "False Loop" naming terminology to refer two loops
after loop cloning is confusing. Instead just use A_Loop and B_Loop.

llvm-svn: 41287

llvm-svn: 41282

Starting value of second loop's induction variable can not be lower 
then starting value of original loop's induction variable.

llvm-svn: 41280

llvm-svn: 41250

llvm-svn: 41246

llvm-svn: 41207

llvm-svn: 41204

Replace indunction variable with split value in loop body.
This fixes art miscompile.

llvm-svn: 41195

llvm-svn: 41194

llvm-svn: 41170

llvm-svn: 41169

llvm-svn: 41168

llvm-svn: 41148

branch is not necessary immediate dominators of merge blcok in all cases.

llvm-svn: 41144

llvm-svn: 41131

llvm-svn: 41129

llvm-svn: 41096

Use dominance frontier to fixup incoming edges of successor blocks not domianted by DeadBB.
Use df_iterator to walk and delete basic blocks dominated by DeadBB.

llvm-svn: 41095

llvm-svn: 41094

llvm-svn: 41093

llvm-svn: 41090

llvm-svn: 41082

they're not related to eliminating a load.

llvm-svn: 41081

llvm-svn: 41080