llvm-svn: 47126

these operations) into GRTransferFuncs and its subclasses.  Originally all
of this logic was handled by the class RValue, but in reality different
analyses will want more flexibility on how they evaluate different values.

Transfer functions migrated so far: "Cast"

llvm-svn: 47125

Update all references to it and place a redirection
page at the old address.

llvm-svn: 47124

llvm-svn: 47123

the return value is zero-extended if it isn't
sign-extended.  It may also be any-extended.
Also, if a floating point value was returned
in a larger floating point type, pass 1 as the
second operand to FP_ROUND, which tells it
that all the precision is in the original type.
I think this is right but I could be wrong.
Finally, when doing libcalls, set isZExt on
a parameter if it is "unsigned".  Currently
isSExt is set when signed, and nothing is
set otherwise.  This should be right for all
calls to standard library routines.

llvm-svn: 47122

1) ConstantFP is now expand by default
2) ConstantFP is not turned into TargetConstantFP during Legalize
   if it is legal.

This allows ConstantFP to be handled like Constant, allowing for 
targets that can encode FP immediates as MachineOperands.

As a bonus, fix up Itanium FP constants, which now correctly match,
and match more constants!  Hooray.

llvm-svn: 47121

llvm-svn: 47120

llvm-svn: 47119

llvm-svn: 47118

FP Immediates, crazily enough

llvm-svn: 47117

llvm-svn: 47116

llvm-svn: 47115

llvm-svn: 47114

llvm-svn: 47113

llvm-svn: 47112

llvm-svn: 47111

llvm-svn: 47110

llvm-svn: 47109

llvm-svn: 47108

llvm-svn: 47107

llvm-svn: 47106

llvm-svn: 47105

Remove DeclSpec::Invalid, a recently added bool that allowed the parser to detect if the decl spec was invalid.

For now, we will stick with the original strategy - clients of Parse::ParseDeclarationSpecifiers() should never have to know this.

llvm-svn: 47104

A much better fix for http://llvm.org/bugs/show_bug.cgi?id=1987.

llvm-svn: 47103

llvm-svn: 47102

llvm-svn: 47101

from switch...case...default statements.

llvm-svn: 47100

size. Initialize these APInts to properly-sized zero values.

llvm-svn: 47099

llvm-svn: 47098

llvm-svn: 47097

to pass the mask APInt by value, not by reference. 

llvm-svn: 47096

llvm-svn: 47093

llvm-svn: 47091

actually does.

llvm-svn: 47090

llvm-svn: 47089

branch ALWAYS be the last successor for a switch-terminated block. This allows
clients to distinguish cases like the following:

switch(...)
  case XXX:
    switch(...) {
      case YYY: ...
    }
    
  case ZZZ: ..
}

In this case, the block with "case ZZZ:" is the default block for the inner
switch statement, but that case is associated with the outer switch statement,
and not the inner one. Clients can test for this behavior by checking if a
successor block is the last one (and thus just assume that this is the "default"
case).

llvm-svn: 47088

"default" case. In such cases, we now correctly add the CFGBlock representing
the code after the switch statement as a successor to the block terminated by
the switch statement.

llvm-svn: 47087

llvm-svn: 47086

llvm-svn: 47085

llvm-svn: 47084