Benjamin Kramer 06408451bf Revert "[SCCP] Use SimplifyBinOp for non-integer constant/expressions & overdef." ... This reverts commit 1a02aaeaa4. Crashes on the following test case: $ cat crash.ll source_filename = "__compute_module" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" target triple = "x86_64-grtev4-linux-gnu" @0 = private unnamed_addr constant [24 x i8] c"\00\00\C0\7F\00\00\C0\7F\09\85\08?\ED\C94\FE~\EB/\F3\90\CF\BA\C1" @1 = private unnamed_addr constant [24 x i8] c"\00\00\C0\7F\A3\A0\0FA\00\00\C0\7F\00\00\C0\7F\00\00\00\00\02\9AA\00" define void @IgammaSpecialValues.448() { entry: br label %fusion.26.loop_header.dim.0 fusion.26.loop_header.dim.0: ; preds = %fusion.26.loop_header.dim.0, %entry %fusion.26.invar_address.dim.0.0 = phi i64 [ 0, %entry ], [ %invar.inc17, %fusion.26.loop_header.dim.0 ] %0 = getelementptr inbounds [6 x float], [6 x float]* bitcast ([24 x i8]* @0 to [6 x float]*), i64 0, i64 %fusion.26.invar_address.dim.0.0 %1 = load float, float* %0 %2 = fmul float %1, 0.000000e+00 %3 = getelementptr inbounds [6 x float], [6 x float]* bitcast ([24 x i8]* @1 to [6 x float]*), i64 0, i64 %fusion.26.invar_address.dim.0.0 %4 = load float, float* %3 %5 = fneg float %4 %6 = fadd float %2, %5 %invar.inc17 = add nuw nsw i64 %fusion.26.invar_address.dim.0.0, 1 br label %fusion.26.loop_header.dim.0 } $ opt -ipsccp -S < crash.ll opt: llvm/include/llvm/Analysis/ValueLattice.h:251: bool llvm::ValueLatticeElement::markConstant(llvm::Constant *, bool): Assertion `getConstant() == V && "Marking constant with different value"' failed.		2020-04-13 11:23:26 +02:00
..
2002-05-02-MissSecondInst.ll	…
2002-05-20-MissedIncomingValue.ll	…
2002-05-21-InvalidSimplify.ll	…
2002-08-30-GetElementPtrTest.ll	…
2003-06-24-OverdefinedPHIValue.ll	…
2003-08-26-InvokeHandling.ll	…
2004-11-16-DeadInvoke.ll	…
2004-12-10-UndefBranchBug.ll	…
2006-10-23-IPSCCP-Crash.ll	…
2006-12-04-PackedType.ll	…
2006-12-19-UndefBug.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
2007-05-16-InvokeCrash.ll	…
2008-01-27-UndefCorrelate.ll	…
2008-04-22-multiple-ret-sccp.ll	…
2008-05-23-UndefCallFold.ll	…
2009-01-14-IPSCCP-Invoke.ll	…
2009-05-27-VectorOperandZero.ll	…
apfloat-basictest.ll	…
apint-array.ll	…
apint-basictest.ll	…
apint-basictest2.ll	…
apint-basictest3.ll	…
apint-basictest4.ll	…
apint-bigarray.ll	…
apint-bigint.ll	…
apint-bigint2.ll	[SCCP] Do not mark unknown loads as overdefined.	2020-02-20 22:48:58 +01:00
apint-ipsccp1.ll	…
apint-ipsccp2.ll	…
apint-ipsccp3.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
apint-ipsccp4.ll	…
apint-load.ll	…
apint-phi.ll	…
apint-select.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
apint-xor.ll	[SCCP] Add a few more tests for conditional propagation,XOR.	2020-03-22 21:43:33 +00:00
atomic-load-store.ll	…
atomic.ll	…
binaryops-constexprs.ll	[SCCP] Add test case for binary ops with constant expressions.	2020-04-09 13:38:43 +01:00
binaryops-range-special-cases.ll	[SCCP] Use constant ranges for PHI nodes.	2020-03-19 12:45:33 +00:00
bitcast.ll	…
calltest.ll	…
comdat-ipo.ll	…
conditions-iter-order.ll	[SCCP] Add a few more tests for conditional propagation,XOR.	2020-03-22 21:43:33 +00:00
conditions-ranges-with-undef.ll	[SCCP] Use ranges for predicate info conditions.	2020-04-07 11:09:18 +01:00
conditions-ranges.ll	[SCCP] Add tests with AND/OR branch conditions.	2020-04-09 16:39:13 +01:00
constant-struct.ll	…
crash.ll	…
definite-initializer.ll	…
dont-zap-return.ll	…
float-phis.ll	[ValueLattice] Add new state for undef constants.	2020-03-14 17:19:59 +00:00
global-alias-constprop.ll	…
indirectbr.ll	…
int-phis.ll	[ValueLattice] Add new state for undef constants.	2020-03-14 17:19:59 +00:00
ip-constant-ranges.ll	[SCCP] Use ranges for predicate info conditions.	2020-04-07 11:09:18 +01:00
ip-ranges-binaryops.ll	[SCCP] Use constant ranges for binary operators.	2020-03-19 09:35:48 +00:00
ip-ranges-casts.ll	[SCCP] Limit use of range info for binops to integers for now.	2020-03-31 17:08:09 +01:00
ip-ranges-phis.ll	[SCCP] Use constant ranges for PHI nodes.	2020-03-19 12:45:33 +00:00
ip-ranges-select.ll	[SCCP] Use constant ranges for select, if cond is overdefined.	2020-03-18 09:26:02 +00:00
ipsccp-addr-taken.ll	…
ipsccp-basic.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
ipsccp-branch-unresolved-undef.ll	…
ipsccp-phi-one-pred-dead.ll	…
ipsccp-predinfo-order.ll	…
ipsccp-preserve-analysis.ll	…
ipsccp-range-crashes.ll	[SCCP] Precommit some additional tests for integer ranges.	2020-03-18 11:34:04 +00:00
ipsccp-ssa-copy-nested-conds.ll	[SCCP] Add tests with AND/OR branch conditions.	2020-04-09 16:39:13 +01:00
latticeval-invalidate.ll	…
loadtest.ll	[SCCP] Do not mark unknown loads as overdefined.	2020-02-20 22:48:58 +01:00
loadtest2.ll	[SCCP] Do not mark unknown loads as overdefined.	2020-02-20 22:48:58 +01:00
logical-nuke.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
overdefined-div.ll	…
phi-cycle.ll	[ValueLattice] Distinguish between constant ranges with/without undef.	2020-03-31 12:50:20 +01:00
phis.ll	[SCCP] Use constant ranges for PHI nodes.	2020-03-19 12:45:33 +00:00
pr27712.ll	…
pr35357.ll	…
pr45185-range-predinfo.ll	Recommit "[SCCP] Use ValueLatticeElement instead of LatticeVal (NFCI)"	2020-03-13 17:03:22 +00:00
preserve-analysis.ll	…
range-and-ip.ll	[ValueLattice] Distinguish between constant ranges with/without undef.	2020-03-31 12:50:20 +01:00
range-and.ll	[ValueLattice] Distinguish between constant ranges with/without undef.	2020-03-31 12:50:20 +01:00
resolvedundefsin-tracked-fn.ll	Recommit "[SCCP] Use ValueLatticeElement instead of LatticeVal (NFCI)"	2020-03-13 17:03:22 +00:00
return-zapped.ll	…
retvalue-undef.ll	…
sccptest.ll	…
select.ll	[SCCP] Use constant ranges for select, if cond is overdefined.	2020-03-18 09:26:02 +00:00
struct-arg-resolve-undefs.ll	…
switch-constantfold-crash.ll	…
switch-multiple-undef.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
switch-undef-constantfoldterminator.ll	…
switch.ll	…
ub-shift.ll	Revert "[SCCP] Use SimplifyBinOp for non-integer constant/expressions & overdef."	2020-04-13 11:23:26 +02:00
ubsan_overflow.ll	…
undef-resolve.ll	Recommit "[SCCP] Remove forcedconstant, go to overdefined instead"	2020-02-15 18:36:44 +01:00
vector-bitcast.ll	Revert "[SCCP] Use SimplifyBinOp for non-integer constant/expressions & overdef."	2020-04-13 11:23:26 +02:00