1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ; crc32 with 64-bit destination zeros high 32-bit. 4 ; rdar://9467055 5 6 define i64 @test() nounwind { 7 entry: 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 17 declare i64 @llvm.x86.sse42.crc32.64.64(i64, i64) nounwind readnone 18