test/Bitcode/sse42_crc32.ll

   1 ; Check to make sure old CRC32 intrinsics are auto-upgraded correctly.
   2 ; Auto-upgrade happens when parsing a .bc or a .ll file.  Thus, leave the test
   3 ; case as a .ll file so we can see what's going on.
   4 ;
   5 ; Rdar: 9472944
   6 ;
   7 ; RUN: opt < %s -S | FileCheck %s
   8
   9 ; crc32.8 should upgrade to crc32.32.8
  10 ; CHECK: i32 @llvm.x86.sse42.crc32.32.8(
  11 ; CHECK-NOT: i32 @llvm.x86.sse42.crc32.8(
  12
  13 ; crc32.16 should upgrade to crc32.32.16
  14 ; CHECK: i32 @llvm.x86.sse42.crc32.32.16(
  15 ; CHECK-NOT: i32 @llvm.x86.sse42.crc32.16(
  16
  17 ; crc32.32 should upgrade to crc32.32.32
  18 ; CHECK: i32 @llvm.x86.sse42.crc32.32.32(
  19 ; CHECK-NOT: i32 @llvm.x86.sse42.crc32.32(
  20
  21 ; crc64.8 should upgrade to crc32.64.8
  22 ; CHECK: i64 @llvm.x86.sse42.crc32.64.8(
  23 ; CHECK-NOT: i64 @llvm.x86.sse42.crc64.8(
  24
  25 ; crc64.64 should upgrade to crc32.64.64
  26 ; CHECK: i64 @llvm.x86.sse42.crc32.64.64(
  27 ; CHECK-NOT: i64 @llvm.x86.sse42.crc64.64(
  28
  29
  30 define void @foo() nounwind readnone ssp {
  31 entry:
  32   %0 = call i32 @llvm.x86.sse42.crc32.8(i32 0, i8 0)
  33   %1 = call i32 @llvm.x86.sse42.crc32.16(i32 0, i16 0)
  34   %2 = call i32 @llvm.x86.sse42.crc32.32(i32 0, i32 0)
  35   %3 = call i64 @llvm.x86.sse42.crc64.8(i64 0, i8 0)
  36   %4 = call i64 @llvm.x86.sse42.crc64.64(i64 0, i64 0)
  37   ret void
  38 }
  39
  40 declare i32 @llvm.x86.sse42.crc32.8(i32, i8) nounwind readnone
  41 declare i32 @llvm.x86.sse42.crc32.16(i32, i16) nounwind readnone
  42 declare i32 @llvm.x86.sse42.crc32.32(i32, i32) nounwind readnone
  43 declare i64 @llvm.x86.sse42.crc64.8(i64, i8) nounwind readnone
  44 declare i64 @llvm.x86.sse42.crc64.64(i64, i64) nounwind readnone