; RUN: opt < %s -instcombine -S | FileCheck %s

; crc32 with 64-bit destination zeros high 32-bit.
; rdar://9467055

define i64 @test() nounwind {
entry:
; CHECK: test
; CHECK: tail call i64 @llvm.x86.sse42.crc32.64.64
; CHECK-NOT: and
; CHECK: ret
  %0 = tail call i64 @llvm.x86.sse42.crc32.64.64(i64 0, i64 4) nounwind
  %1 = and i64 %0, 4294967295
  ret i64 %1
}

declare i64 @llvm.x86.sse42.crc32.64.64(i64, i64) nounwind readnone