llvm/test/Transforms/ConstProp
Benjamin Kramer e574246489 ConstantFolding: Add a missing folding that leads to a miscompile.
We use constant folding to see if an intrinsic evaluates to the same value as a
constant that we know. If we don't take the undefinedness into account we get a
value that doesn't match the actual implementation, and miscompiled code.

This was uncovered by Chandler's simplifycfg changes.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@173356 91177308-0d34-0410-b5e6-96231b3b80d8
2013-01-24 16:28:28 +00:00
..
2002-05-03-DivideByZeroException.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
2002-05-03-NotOperator.ll Fix the remaining TCL-style quotes found in the testsuite. This is 2012-07-02 19:09:46 +00:00
2002-09-03-SetCC-Bools.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
2003-05-12-DivideError.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
2005-01-28-SetCCGEP.ll Fix the remaining TCL-style quotes found in the testsuite. This is 2012-07-02 19:09:46 +00:00
2006-11-30-vector-cast.ll Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
2006-12-01-bool-casts.ll Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
2006-12-01-TruncBoolBug.ll Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
2007-02-05-BitCast.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
2007-02-23-sdiv.ll Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
2007-11-23-cttz.ll ConstantFolding: Add a missing folding that leads to a miscompile. 2013-01-24 16:28:28 +00:00
2008-07-07-VectorCompare.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
2009-06-20-constexpr-zero-lhs.ll Expand this test to handle more cases (remainder and shifts) of zero. 2009-06-21 01:56:41 +00:00
2009-09-01-GEP-Crash.ll Change tests from "opt %s" to "opt < %s" so that opt doesn't see the 2009-09-11 18:01:28 +00:00
basictest.ll Add r149110 back with a fix for when the vector and the int have the same 2012-01-27 23:33:07 +00:00
bitcast.ll rename test. 2010-11-14 07:03:49 +00:00
bswap.ll Correctly byte-swap APInts with bit-widths greater than 64. 2011-11-23 21:33:37 +00:00
calls.ll Add support for constant folding the pow intrinsic. 2011-12-03 00:00:03 +00:00
constant-expr.ll Add the select optimization recently added to instcombine to constant folding. 2011-01-29 20:35:06 +00:00
div-zero.ll Convert all tests using TCL-style quoting to use shell-style quoting. 2012-07-02 12:47:22 +00:00
extractvalue.ll Land the long talked about "type system rewrite" patch. This 2011-07-09 17:41:24 +00:00
float-to-ptr-cast.ll Convert a few tests to FileCheck for PR5307. 2009-10-26 22:52:03 +00:00
insertvalue.ll Land the long talked about "type system rewrite" patch. This 2011-07-09 17:41:24 +00:00
lit.local.cfg Replace all instances of dg.exp file with lit.local.cfg, since all tests are run with LIT now and now Dejagnu. dg.exp is no longer needed. 2012-02-16 06:28:33 +00:00
loads.ll llvm/ConstantFolding.cpp: Make ReadDataFromGlobal() and FoldReinterpretLoadFromConstPtr() Big-endian-aware. 2012-11-08 20:34:25 +00:00
logicaltest.ll Fix a ton of comment typos found by codespell. Patch by 2011-04-15 05:18:47 +00:00
overflow-ops.ll Land the long talked about "type system rewrite" patch. This 2011-07-09 17:41:24 +00:00
phi.ll Fix a ton of comment typos found by codespell. Patch by 2011-04-15 05:18:47 +00:00
remtest.ll Use opt -S instead of piping bitcode output through llvm-dis. 2009-09-08 22:34:10 +00:00