1; PR32952: Don't erroneously consider congruent two phi nodes which
2; have the same arguments but different incoming edges.
3; RUN: opt -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
8define i32 @tinkywinky() {
9entry:
10  %0 = load i16, i16* @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
18tinky:
19  store i16 2, i16* @a, align 2
20  br label %patatino
21
22winky:
23  br label %patatino
24
25patatino:
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
32end:
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 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %promoted)
38  %second = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %other)
39  ret i32 0
40}
41
42declare i32 @printf(i8*, ...)
43