test/Transforms/Mem2Reg/2003-04-24-MultipleIdenticalSuccessors.ll

   1 ; Mem2reg used to only add one incoming value to a PHI node, even if it had
   2 ; multiple incoming edges from a block.
   3 ;
   4 ; RUN: llvm-upgrade < %s | llvm-as | opt -mem2reg -disable-output
   5
   6 int %test(bool %c1, bool %c2) {
   7         %X = alloca int
   8         br bool %c1, label %Exit, label %B2
   9 B2:
  10         store int 2, int* %X
  11         br bool %c2, label %Exit, label %Exit
  12 Exit:
  13         %Y = load int *%X
  14         ret int %Y
  15 }