Fix assertion failure in global-merge with unused ConstantExpr
authorOliver Stannard <oliver.stannard@arm.com>
Mon, 8 Jun 2015 16:55:31 +0000 (16:55 +0000)
committerOliver Stannard <oliver.stannard@arm.com>
Mon, 8 Jun 2015 16:55:31 +0000 (16:55 +0000)
commit7c40b1a7bc87e44b235779353b17db20dc4686f2
tree77fdb35b39c5cfb22608fabe58d1ac4d33aa59a2
parent838271c858c35f4aa0622c52b549074318e18f4e
Fix assertion failure in global-merge with unused ConstantExpr

The global-merge pass was crashing because it assumes that all ConstantExprs
(reached via the global variables that they use) have at least one user.

I haven't worked out a way to test this, as an unused ConstantExpr cannot be
represented by serialised IR, and global-merge can only be run in llc, which
does not run any passes which can make a ConstantExpr dead.

This (reduced to the point of silliness) C code triggers this bug when compiled
for arm-none-eabi at -O1:

  static a = 7;
  static volatile b[10] = {&a};

  c;
  main() {
    c = 0;
    for (; c < 10;)
      printf(b[c]);
  }

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

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@239308 91177308-0d34-0410-b5e6-96231b3b80d8
lib/CodeGen/GlobalMerge.cpp