llvm/test/Transforms/NewGVN/pr32952.ll

   1 ; PR32952: Don't erroneously consider congruent two phi nodes which
   2 ; have the same arguments but different incoming edges.
   3 ; RUN: opt -passes=newgvn -S %s | FileCheck %s
   4
   5 @a = common global i16 0, align 2
   6 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
   7
   8 define i32 @tinkywinky() {
   9 entry:
  10   %0 = load i16, ptr @a, align 2
  11   %conv = sext i16 %0 to i32
  12   %neg = xor i32 %conv, -1
  13   %conv1 = trunc i32 %neg to i16
  14   %conv3 = zext i16 %conv1 to i32
  15   %cmp = icmp slt i32 %conv, %conv3
  16   br i1 %cmp, label %tinky, label %winky
  17
  18 tinky:
  19   store i16 2, ptr @a, align 2
  20   br label %patatino
  21
  22 winky:
  23   br label %patatino
  24
  25 patatino:
  26 ; CHECK: %meh = phi i16 [ %0, %winky ], [ %conv1, %tinky ]
  27 ; CHECK: %banana = phi i16 [ %0, %tinky ], [ %conv1, %winky ]
  28   %meh = phi i16 [ %0, %winky ], [ %conv1, %tinky ]
  29   %banana = phi i16 [ %0, %tinky ], [ %conv1, %winky ]
  30   br label %end
  31
  32 end:
  33 ; CHECK: %promoted = zext i16 %banana to i32
  34 ; CHECK: %other = zext i16 %meh to i32
  35   %promoted = zext i16 %banana to i32
  36   %other = zext i16 %meh to i32
  37   %first = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %promoted)
  38   %second = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %other)
  39   ret i32 0
  40 }
  41
  42 declare i32 @printf(ptr, ...)