llvm/test/CodeGen/X86/promote-sra-by-itself.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s
   3
   4 declare void @use(<1 x i16>)
   5
   6 define i16 @basic(ptr %p) {
   7 ; CHECK-LABEL: basic:
   8 ; CHECK:       # %bb.0:
   9 ; CHECK-NEXT:    movswl (%rdi), %eax
  10 ; CHECK-NEXT:    movl %eax, %ecx
  11 ; CHECK-NEXT:    sarl %cl, %eax
  12 ; CHECK-NEXT:    # kill: def $ax killed $ax killed $eax
  13 ; CHECK-NEXT:    retq
  14   %v = load i16, ptr %p
  15   %s = ashr i16 %v, %v
  16   ret i16 %s
  17 }
  18
  19 define void @crash(i1 %cond, ptr %p) {
  20 ; CHECK-LABEL: crash:
  21 ; CHECK:       # %bb.0:
  22 ; CHECK-NEXT:    .p2align 4, 0x90
  23 ; CHECK-NEXT:  .LBB1_1: # %loop
  24 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  25 ; CHECK-NEXT:    testb $1, %dil
  26 ; CHECK-NEXT:    jne .LBB1_1
  27 ; CHECK-NEXT:  # %bb.2: # %exit
  28 ; CHECK-NEXT:    retq
  29   br label %loop
  30
  31 loop:
  32   %v = load <1 x i16>, ptr %p, align 2
  33   %ins = insertelement <4 x double> zeroinitializer, double 0.000000e+00, i32 0
  34   %cmp = fcmp uge <4 x double> %ins, zeroinitializer
  35   %ashr = ashr <1 x i16> %v, %v
  36   %shuf = shufflevector <4 x i1> %cmp, <4 x i1> zeroinitializer, <4 x i32> zeroinitializer
  37   br i1 %cond, label %loop, label %exit
  38
  39 exit:
  40   %use1 = add <4 x i1> %shuf, zeroinitializer
  41   %use2 = add <1 x i16> %ashr, zeroinitializer
  42   ret void
  43 }