1
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
3
; CHECK-LABEL: @simple(
4
define i8 @simple(i1) {
6
%s = select i1 %0, i8 0, i8 1
7
br i1 %0, label %then, label %else
11
%a = phi i8 [ %s, %entry ]
16
%b = phi i8 [ %s, %entry ]
21
define void @loop(i32) {
26
%idx = phi i32 [ %0, %entry ], [ %sel, %loop ]
27
; CHECK: %idx = phi i32 [ %0, %entry ], [ %2, %loop ]
28
%1 = icmp eq i32 %idx, 0
30
%sel = select i1 %1, i32 0, i32 %2
31
br i1 %1, label %out, label %loop
37
; CHECK-LABEL: @not_correlated(
38
define i8 @not_correlated(i1, i1) {
40
%s = select i1 %0, i8 0, i8 1
41
br i1 %1, label %then, label %else
45
%a = phi i8 [ %s, %entry ]
50
%b = phi i8 [ %s, %entry ]
54
@c = global i32 0, align 4
55
@b = global i32 0, align 4
57
; CHECK-LABEL: @PR23752(
58
define i32 @PR23752() {
63
%phi = phi i32 [ 0, %entry ], [ %sel, %for.body ]
64
%sel = select i1 icmp sgt (i32* @b, i32* @c), i32 %phi, i32 1
65
%cmp = icmp ne i32 %sel, 1
66
br i1 %cmp, label %for.body, label %if.end
68
; CHECK: %[[sel:.*]] = select i1 icmp sgt (i32* @b, i32* @c), i32 0, i32 1
69
; CHECK-NEXT: %[[cmp:.*]] = icmp ne i32 %[[sel]], 1
70
; CHECK-NEXT: br i1 %[[cmp]]
74
; CHECK: ret i32 %[[sel]]