test/CodeGen/X86/sar_fold64.ll

   1 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
   2
   3 define i32 @shl48sar47(i64 %a) #0 {
   4 ; CHECK-LABEL: shl48sar47:
   5 ; CHECK:       # BB#0:
   6 ; CHECK-NEXT:    movswq %di, %rax
   7   %1 = shl i64 %a, 48
   8   %2 = ashr exact i64 %1, 47
   9   %3 = trunc i64 %2 to i32
  10   ret i32 %3
  11 }
  12
  13 define i32 @shl48sar49(i64 %a) #0 {
  14 ; CHECK-LABEL: shl48sar49:
  15 ; CHECK:       # BB#0:
  16 ; CHECK-NEXT:    movswq %di, %rax
  17   %1 = shl i64 %a, 48
  18   %2 = ashr exact i64 %1, 49
  19   %3 = trunc i64 %2 to i32
  20   ret i32 %3
  21 }
  22
  23 define i32 @shl56sar55(i64 %a) #0 {
  24 ; CHECK-LABEL: shl56sar55:
  25 ; CHECK:       # BB#0:
  26 ; CHECK-NEXT:    movsbq %dil, %rax
  27   %1 = shl i64 %a, 56
  28   %2 = ashr exact i64 %1, 55
  29   %3 = trunc i64 %2 to i32
  30   ret i32 %3
  31 }
  32
  33 define i32 @shl56sar57(i64 %a) #0 {
  34 ; CHECK-LABEL: shl56sar57:
  35 ; CHECK:       # BB#0:
  36 ; CHECK-NEXT:    movsbq %dil, %rax
  37   %1 = shl i64 %a, 56
  38   %2 = ashr exact i64 %1, 57
  39   %3 = trunc i64 %2 to i32
  40   ret i32 %3
  41 }
  42
  43 attributes #0 = { nounwind }