1; RUN: opt < %s -passes=sccp -S | FileCheck %s
2
3define i32 @test1(i1 %C) {
4; CHECK-LABEL: define i32 @test1(
5; CHECK-NEXT:   ret i32 0
6;
7	%X = select i1 %C, i32 0, i32 0		; <i32> [#uses=1]
8	ret i32 %X
9}
10
11define i32 @test2(i1 %C) {
12; CHECK-LABEL: define i32 @test2(
13; CHECK-NEXT:   ret i32 0
14;
15	%X = select i1 %C, i32 0, i32 undef		; <i32> [#uses=1]
16	ret i32 %X
17}
18
19define i1 @f2(i32 %x, i1 %cmp) {
20; CHECK-LABEL: define i1 @f2(i32 %x, i1 %cmp) {
21; CHECK-NEXT:    %sel.1 = select i1 %cmp, i32 %x, i32 10
22; CHECK-NEXT:    %c.1 = icmp sgt i32 %sel.1, 300
23; CHECK-NEXT:    %c.2 = icmp sgt i32 %sel.1, 100
24; CHECK-NEXT:    %c.3 = icmp eq i32 %sel.1, 50
25; CHECK-NEXT:    %c.4 = icmp slt i32 %sel.1, 9
26; CHECK-NEXT:    %res.1 = add i1 %c.1, %c.2
27; CHECK-NEXT:    %res.2 = add i1 %res.1, %c.3
28; CHECK-NEXT:    %res.3 = add i1 %res.2, %c.4
29; CHECK-NEXT:    ret i1 %res.3
30;
31  %sel.1 = select i1 %cmp, i32 %x, i32 10
32  %c.1 = icmp sgt i32 %sel.1, 300
33  %c.2 = icmp sgt i32 %sel.1, 100
34  %c.3 = icmp eq i32 %sel.1, 50
35  %c.4 = icmp slt i32 %sel.1, 9
36  %res.1 = add i1 %c.1, %c.2
37  %res.2 = add i1 %res.1, %c.3
38  %res.3 = add i1 %res.2, %c.4
39  ret i1 %res.3
40}
41