1; RUN: llc -print-before=peephole-opt -print-after=peephole-opt -mtriple=powerpc64-unknown-linux-gnu -o /dev/null 2>&1 < %s | FileCheck %s
2
3define signext i32 @fn1(i32 %baz) {
4  %1 = mul nsw i32 %baz, 208
5  %2 = zext i32 %1 to i64
6  %3 = shl i64 %2, 48
7  %4 = ashr exact i64 %3, 48
8; CHECK: ANDIo8 {{[^,]+}}, 65520, %CR0<imp-def,dead>;
9; CHECK: CMPLDI
10; CHECK: BCC
11
12; CHECK: ANDIo8 {{[^,]+}}, 65520, %CR0<imp-def>;
13; CHECK: COPY %CR0
14; CHECK: BCC
15  %5 = icmp eq i64 %4, 0
16  br i1 %5, label %foo, label %bar
17
18foo:
19  ret i32 1
20
21bar:
22  ret i32 0
23}
24