llvm.org GIT mirror llvm / testing test / CodeGen / X86 / test-shrink.ll
testing

Tree @testing (Download .tar.gz)

test-shrink.ll @testingraw · history · blame

; RUN: llc < %s -mtriple=x86_64-linux | FileCheck %s --check-prefix=CHECK-64
; RUN: llc < %s -mtriple=x86_64-win32 | FileCheck %s --check-prefix=CHECK-64
; RUN: llc < %s -mtriple=i686-- | FileCheck %s --check-prefix=CHECK-32

; CHECK-64-LABEL: g64xh:
; CHECK-64:   btl $11
; CHECK-64:   ret
; CHECK-32-LABEL: g64xh:
; CHECK-32:   btl $11
; CHECK-32:   ret
define void @g64xh(i64 inreg %x) nounwind {
  %t = and i64 %x, 2048
  %s = icmp eq i64 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g64xl:
; CHECK-64:   testb $8, [[A0L:%dil|%cl]]
; CHECK-64:   ret
; CHECK-32-LABEL: g64xl:
; CHECK-32:   testb $8, %al
; CHECK-32:   ret
define void @g64xl(i64 inreg %x) nounwind {
  %t = and i64 %x, 8
  %s = icmp eq i64 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g32xh:
; CHECK-64:   btl $11
; CHECK-64:   ret
; CHECK-32-LABEL: g32xh:
; CHECK-32:   btl $11
; CHECK-32:   ret
define void @g32xh(i32 inreg %x) nounwind {
  %t = and i32 %x, 2048
  %s = icmp eq i32 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g32xl:
; CHECK-64:   testb $8, [[A0L]]
; CHECK-64:   ret
; CHECK-32-LABEL: g32xl:
; CHECK-32:   testb $8, %al
; CHECK-32:   ret
define void @g32xl(i32 inreg %x) nounwind {
  %t = and i32 %x, 8
  %s = icmp eq i32 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g16xh:
; CHECK-64:   btl $11
; CHECK-64:   ret
; CHECK-32-LABEL: g16xh:
; CHECK-32:   btl $11
; CHECK-32:   ret
define void @g16xh(i16 inreg %x) nounwind {
  %t = and i16 %x, 2048
  %s = icmp eq i16 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g16xl:
; CHECK-64:   testb $8, [[A0L]]
; CHECK-64:   ret
; CHECK-32-LABEL: g16xl:
; CHECK-32:   testb $8, %al
; CHECK-32:   ret
define void @g16xl(i16 inreg %x) nounwind {
  %t = and i16 %x, 8
  %s = icmp eq i16 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g64x16:
; CHECK-64:   testl $32896, %[[A0D:edi|ecx]]
; CHECK-64:   ret
; CHECK-32-LABEL: g64x16:
; CHECK-32:   testl $32896, %eax
; CHECK-32:   ret
define void @g64x16(i64 inreg %x) nounwind {
  %t = and i64 %x, 32896
  %s = icmp eq i64 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g64x16minsize:
; CHECK-64:   testw $-32640, %[[A0W:di|cx]]
; CHECK-64:   ret
; CHECK-32-LABEL: g64x16minsize:
; CHECK-32:   testw $-32640, %ax
; CHECK-32:   ret
define void @g64x16minsize(i64 inreg %x) nounwind minsize {
  %t = and i64 %x, 32896
  %s = icmp eq i64 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g32x16:
; CHECK-64:   testl $32896, %[[A0D]]
; CHECK-64:   ret
; CHECK-32-LABEL: g32x16:
; CHECK-32:   testl $32896, %eax
; CHECK-32:   ret
define void @g32x16(i32 inreg %x) nounwind {
  %t = and i32 %x, 32896
  %s = icmp eq i32 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g32x16minsize:
; CHECK-64:   testw $-32640, %[[A0W]]
; CHECK-64:   ret
; CHECK-32-LABEL: g32x16minsize:
; CHECK-32:   testw $-32640, %ax
; CHECK-32:   ret
define void @g32x16minsize(i32 inreg %x) nounwind minsize {
  %t = and i32 %x, 32896
  %s = icmp eq i32 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}
; CHECK-64-LABEL: g64x32:
; CHECK-64:   testl $268468352, %[[A0D]]
; CHECK-64:   ret
; CHECK-32-LABEL: g64x32:
; CHECK-32:   testl $268468352, %eax
; CHECK-32:   ret
define void @g64x32(i64 inreg %x) nounwind {
  %t = and i64 %x, 268468352
  %s = icmp eq i64 %t, 0
  br i1 %s, label %yes, label %no

yes:
  call void @bar()
  ret void
no:
  ret void
}

declare void @bar()