1; RUN: opt < %s -instcombine -S | FileCheck %s
2
3; crc32 with 64-bit destination zeros high 32-bit.
4; rdar://9467055
5
6define i64 @test() nounwind {
7entry:
8; CHECK: test
9; CHECK: tail call i64 @llvm.x86.sse42.crc32.64.64
10; CHECK-NOT: and
11; CHECK: ret
12  %0 = tail call i64 @llvm.x86.sse42.crc32.64.64(i64 0, i64 4) nounwind
13  %1 = and i64 %0, 4294967295
14  ret i64 %1
15}
16
17declare i64 @llvm.x86.sse42.crc32.64.64(i64, i64) nounwind readnone
18