llvm-svn: 45245

- vec_const.ll: Vector constant loads
- immed64.ll: i64, f64 constant loads

llvm-svn: 45242

llvm-svn: 45230

to exceptions rather than variants for error handling in Ocaml.

llvm-svn: 45226

are a couple of issues that show up with the optimizer,
but I don't think they're really EH problems.
(llvm-gcc testsuite users note:  By default the testsuite
uses the unwinding code that's built as part of your local
llvm-gcc, which does not work.  You need to trick it into
using the installed system unwinding code to get useful
results.)

llvm-svn: 45221

llvm-svn: 45219

calls 'nounwind'.  It is important for correct C++
exception handling that nounwind markings do not get
lost, so this transformation is actually needed for
correctness.

llvm-svn: 45218

(vector insertions)

llvm-svn: 45216

llvm-svn: 45198

to know about calls that cannot throw ('nounwind'):
if such a call does throw for some reason then the
personality will terminate the program.  The distinction
between an ordinary call and a nounwind call is that
an ordinary call gets an entry in the exception table
but a nounwind call does not.  This patch sets up the
exception table appropriately.  One oddity is that
I've chosen to bracket nounwind calls with labels (like
invokes) - the other choice would have been to bracket
ordinary calls with labels.  While bracketing
ordinary calls is more natural (because bracketing
by labels would then correspond exactly to getting an
entry in the exception table), I didn't do it because
introducing labels impedes some optimizations and I'm
guessing that ordinary calls occur more often than
nounwind calls.  This fixes the gcc filter2 eh test,
at least at -O0 (the inliner needs some tweaking at
higher optimization levels).

llvm-svn: 45197

llvm-svn: 45196

llvm-svn: 45190

llvm-svn: 45186

llvm-svn: 45182

llvm-svn: 45178

from
_foo:
        movl    $99, %ecx
        movl    4(%esp), %eax
        subl    %eax, %ecx
        xorl    %edx, %edx
        testl   %ecx, %ecx
        cmovs   %edx, %eax
        ret

to
_foo:
        xorl    %ecx, %ecx
        movl    4(%esp), %eax
        cmpl    $99, %eax
        cmovg   %ecx, %eax
        ret

llvm-svn: 45173

llvm-svn: 45172

llvm-svn: 45170

llvm-svn: 45169

llvm-svn: 45168

llvm-svn: 45167

llvm-svn: 45165

llvm-svn: 45164

llvm-svn: 45163

llvm-svn: 45161

doesNotThrow.

llvm-svn: 45160

llvm-svn: 45159

Fold certain additions through selects (and their compares) so as to eliminate subtractions. This code is often produced by the SMAX expansion in SCEV.

This implements test/Transforms/InstCombine/2007-12-18-AddSelCmpSub.ll

llvm-svn: 45158

FIX for PR1799: When a load is unfolded from an instruction, check if it is a new node. If not, do not create a new SUnit.

llvm-svn: 45157

llvm-svn: 45151

Don't forget to print address space qualifiers when printing out the type table! Thanks to Gordon Henriksen for pointing this out.

llvm-svn: 45147

llvm-svn: 45141

llvm-svn: 45140

based what flag to set on whether it was already marked as
"isRematerializable". If there was a further check to determine if it's "really"
rematerializable, then I marked it as "mayHaveSideEffects" and created a check
in the X86 back-end similar to the remat one.

llvm-svn: 45132

it's auto-upgraded to a shufflevector instruction.

llvm-svn: 45131

- New test case: nand.ll

llvm-svn: 45130

std::vector<char> starting from any index in the vector.

llvm-svn: 45129

llvm-svn: 45128

flags clearer.

llvm-svn: 45120

how to lower them (with no attempt made to be
efficient, since they should only occur for
unoptimized code).

llvm-svn: 45108