xref: /llvm-project/llvm/test/Transforms/SCCP/apint-phi.ll (revision 8ebb3eac02a926ffa4298c12834c57aefb2e8579)
1*8ebb3eacSBjorn Pettersson; RUN: opt < %s -passes=sccp -S | not grep phi
2cee313d2SEric Christopher
3cee313d2SEric Christopherdefine i999 @test(i999%A, i1 %c) {
4cee313d2SEric Christopherbb1:
5cee313d2SEric Christopher	br label %BB2
6cee313d2SEric ChristopherBB2:
7cee313d2SEric Christopher	%V = phi i999 [2, %bb1], [%A, %BB4]
8cee313d2SEric Christopher	br label %BB3
9cee313d2SEric Christopher
10cee313d2SEric ChristopherBB3:
11cee313d2SEric Christopher        %E = trunc i999 %V to i1
12cee313d2SEric Christopher        %F = and i1 %E, %c
13cee313d2SEric Christopher	br i1 %F, label %BB4, label %BB5
14cee313d2SEric ChristopherBB4:
15cee313d2SEric Christopher	br label %BB2
16cee313d2SEric Christopher
17cee313d2SEric ChristopherBB5:
18cee313d2SEric Christopher	ret i999 %V
19cee313d2SEric Christopher}
20