Pawel Bylica 12f6308247 Fix icmp lowering ...

Summary:
During icmp lowering it can happen that a constant value can be larger than expected (see the code around the change).
APInt::getMinSignedBits() must be checked again as the shift before can change the constant sign to positive.
I'm not sure it is the best fix possible though.

Test Plan: Regression test included.

Reviewers: resistor, chandlerc, spatel, hfinkel

Reviewed By: hfinkel

Subscribers: hfinkel, llvm-commits

Differential Revision: http://reviews.llvm.org/D9147

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@237812 91177308-0d34-0410-b5e6-96231b3b80d8

2015-05-20 17:21:09 +00:00

..

2002-04-14-UnexpectedUnsignedType.ll

…

2002-04-16-StackFrameSizeAlignment.ll

…

2003-05-27-phifcmpd.ll

…

2003-05-27-useboolinotherbb.ll

…

2003-05-27-usefsubasbool.ll

…

2003-05-28-ManyArgs.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-05-30-BadFoldGEP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2003-05-30-BadPreselectPhi.ll

…

2003-07-06-BadIntCmp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-07-BadLongConst.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-08-BadCastToBool.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2003-07-29-BadConstSbyte.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2004-05-09-LiveVarPartialRegister.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2005-01-18-SetUO-InfLoop.ll

…

2005-04-09-GlobalInPHI.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2005-10-18-ZeroSizeStackObject.ll

…

2005-10-21-longlonggtu.ll

…

2005-12-01-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2005-12-12-ExpandSextInreg.ll

…

2006-01-12-BadSetCCFold.ll

…

2006-01-18-InvalidBranchOpcodeAssert.ll

…

2006-02-12-InsertLibcall.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-03-01-dagcombineinfloop.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-04-26-SetCCAnd.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-04-28-Sign-extend-bool.ll

…

2006-05-06-GEP-Cast-Sink-Crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2006-06-12-LowerSwitchCrash.ll

…

2006-06-13-ComputeMaskedBitsCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-06-28-SimplifySetCCCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2006-07-03-schedulers.ll

…

2006-08-30-CoalescerCrash.ll

…

2006-09-02-LocalAllocCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2006-09-06-SwitchLowering.ll

…

2006-10-27-CondFolding.ll

…

2006-10-29-Crash.ll

…

2006-11-20-DAGCombineCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-01-15-LoadSelectCycle.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2007-02-25-invoke.ll

…

2007-04-08-MultipleFrameIndices.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-13-SwitchLowerBadPhi.ll

…

2007-04-17-lsr-crash.ll

…

2007-04-27-InlineAsm-X-Dest.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-27-LargeMemObject.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-04-30-LandingPadBranchFolding.ll

…

2007-05-03-EHTypeInfo.ll

CodeGen: @llvm.eh.typeid.for replaced @llvm.eh.typeid.for.i32

2015-03-16 21:36:38 +00:00

2007-05-15-InfiniteRecursion.ll

…

2007-12-17-InvokeAsm.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

2007-12-31-UnusedSelector.ll

…

2008-01-25-dag-combine-mul.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-01-30-LoadCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2008-02-04-Ctlz.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-02-04-ExtractSubvector.ll

…

2008-02-20-MatchingMem.ll

Unxfail passing test on Hexagon

2015-03-12 20:38:10 +00:00

2008-02-25-NegateZero.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

2008-02-26-NegatableCrash.ll

…

2008-08-07-PtrToInt-SmallerInt.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

2009-03-17-LSR-APInt.ll

Use "weak alias" instead of "alias weak"

2014-07-30 22:51:54 +00:00

2009-03-29-SoftFloatVectorExtract.ll

Migrate existing backends that care about software floating point

2015-05-12 01:26:05 +00:00

2009-04-10-SinkCrash.ll

…

2009-04-28-i128-cmp-crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2009-11-16-BadKillsCrash.ll

…

2010-07-27-DAGCombineCrash.ll

…

2010-11-04-BigByval.ll

…

2010-ZeroSizedArg.ll

…

2011-01-06-BigNumberCrash.ll

…

2011-07-07-ScheduleDAGCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2012-06-08-APIntCrash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

2013-03-20-APFloatCrash.ll

Add a test case for PR15318 fixed in r177472

2013-03-20 06:18:06 +00:00

2014-02-05-OpaqueConstants.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

add-with-overflow-24.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

add-with-overflow-128.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

add-with-overflow.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

addr-label.ll

…

annotate.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

APIntLoadStore.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

APIntParam.ll

…

APIntSextParam.ll

…

APIntZextParam.ll

…

asm-large-immediate.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

assume.ll

Add @llvm.assume, lowering, and some basic properties

2014-07-25 21:13:35 +00:00

badarg6.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

badCallArgLRLLVM.ll

…

badFoldGEP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

BasicInstrs.ll

…

bool-to-double.ll

…

builtin-expect.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

call2-ret0.ll

…

call-ret0.ll

…

call-ret42.ll

…

call-void.ll

…

cast-fp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ConstantExprLowering.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

constindices.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

dag-combine-crash.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

dbg_value.ll

IR: Give 'DI' prefix to debug info metadata

2015-04-29 16:38:44 +00:00

div-neg-power-2.ll

…

donothing.ll

Fix broken check lines.

2012-08-17 12:28:26 +00:00

edge-bundles-blockIDs.ll

…

empty-insertvalue.ll

Fix crash with an insertvalue that produces an empty object.

2014-09-20 00:10:47 +00:00

empty-load-store.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

empty-phi.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

exception-handling.ll

…

externally_available.ll

…

fastcall.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

fneg-fabs.ll

…

fp_to_int.ll

…

fp-to-int-invalid.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

fpowi-promote.ll

…

fwdtwice.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

global-ret0.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

hello.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

i128-addsub.ll

…

i128-arith.ll

…

icmp-illegal.ll

Fix icmp lowering

2015-05-20 17:21:09 +00:00

inline-asm-mem-clobber.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

inline-asm-special-strings.ll

Re-commit: Demote EmitRawText call in AsmPrinter::EmitInlineAsm() and remove hasRawTextSupport() call

2014-02-13 14:44:26 +00:00

intrinsics.ll

…

invalid-memcpy.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

isunord.ll

…

llvm-ct-intrinsics.ll

…

MachineBranchProb.ll

[Hexagon] r236351 fix does not work on builder configurations yet.

2015-05-01 22:39:20 +00:00

Makefile

…

multiple-return-values-cross-block-with-invoke.ll

XFAIL some of the generic CodeGen tests for Hexagon.

2013-03-25 21:04:16 +00:00

negintconst.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

nested-select.ll

…

no-target.ll

Fix pr18235.

2013-12-13 16:05:32 +00:00

overflow.ll

…

overloaded-intrinsic-name.ll

[Statepoints] Support for "patchable" statepoints.

2015-05-12 23:52:24 +00:00

PBQP.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

pr2625.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

pr3288.ll

…

pr12507.ll

…

print-add.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-after.ll

CommandLine: Exit successfully for -version and -help

2014-02-28 19:08:01 +00:00

print-arith-fp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-arith-int.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-int.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-machineinstrs.ll

Rename argument strings of codegen passes to avoid collisions with command line

2014-12-13 04:52:04 +00:00

print-mul-exp.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-mul.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

print-shift.ll

[opaque pointer type] Add textual IR support for explicit type parameter to the call instruction

2015-04-16 23:24:18 +00:00

ptr-annotate.ll

[opaque pointer type] Add textual IR support for explicit type parameter to gep operator

2015-03-13 18:20:45 +00:00

ret0.ll

…

ret42.ll

…

select-cc.ll

XFAIL some of the generic CodeGen tests for Hexagon.

2013-03-25 21:04:16 +00:00

select.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

shift-int64.ll

…

stacksave-restore.ll

…

stop-after.ll

Revert r237708 (MIR serialization) - incremental buildbots became unstable.

2015-05-19 21:41:28 +00:00

storetrunc-fp.ll

…

switch-lower-feature.ll

…

switch-lower.ll

…

trap.ll

…

undef-phi.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

v-split.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

vector-casts.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

vector-constantexpr.ll

…

vector-identity-shuffle.ll

[opaque pointer type] Add textual IR support for explicit type parameter to load instruction

2015-02-27 21:17:42 +00:00

vector.ll

Unxfail test/CodeGen/Generic/vector.ll now passing on Hexagon

2015-03-19 20:22:17 +00:00

zero-sized-array.ll

…