llvm-6502/lib/Transforms
Benjamin Kramer c11b107f21 JumpThreading: Turn a select instruction into branching if it allows to thread one half of the select.
This is a common pattern coming out of simplifycfg generating gross code.

a:                                       ; preds = %entry
  %sel = select i1 %cmp1, double %add, double 0.000000e+00
  br label %b

b:
  %cond5 = phi double [ %sel, %a ], [ %sub, %entry ]
  %cmp6 = fcmp oeq double %cond5, 0.000000e+00
  br i1 %cmp6, label %if.then, label %if.end

becomes

a:
  br i1 %cmp1, label %b, label %if.then

b:
  %cond5 = phi double [ %sub, %entry ], [ %add, %a ]
  %cmp6 = fcmp oeq double %cond5, 0.000000e+00
  br i1 %cmp6, label %if.then, label %if.end

Skipping block b completely if possible.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@187880 91177308-0d34-0410-b5e6-96231b3b80d8
2013-08-07 10:29:38 +00:00
..
Hello
InstCombine Fix missing -*- C++ -*-s 2013-08-06 00:16:21 +00:00
Instrumentation Change the linkage of these global values to 'internal'. 2013-08-06 22:52:42 +00:00
IPO Factor FlattenCFG out from SimplifyCFG 2013-08-06 02:43:45 +00:00
ObjCARC Use SmallVectorImpl& instead of SmallVector to avoid repeating small vector size. 2013-07-14 04:42:23 +00:00
Scalar JumpThreading: Turn a select instruction into branching if it allows to thread one half of the select. 2013-08-07 10:29:38 +00:00
Utils Unbreak Debug build on Windows 2013-08-06 08:44:18 +00:00
Vectorize LoopVectorize: Allow vectorization of loops with lifetime markers 2013-08-06 22:37:52 +00:00
CMakeLists.txt
LLVMBuild.txt
Makefile