test/CodeGen/X86/GlobalISel/lshr-scalar.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=x86_64-linux-gnu -global-isel -verify-machineinstrs < %s -o - | FileCheck %s --check-prefix=X64
   3
   4 define i64 @test_lshr_i64(i64 %arg1, i64 %arg2) {
   5 ; X64-LABEL: test_lshr_i64:
   6 ; X64:       # %bb.0:
   7 ; X64-NEXT:    movq %rdi, %rax
   8 ; X64-NEXT:    movq %rsi, %rcx
   9 ; X64-NEXT:    # kill: def $cl killed $cl killed $rcx
  10 ; X64-NEXT:    shrq %cl, %rax
  11 ; X64-NEXT:    retq
  12   %res = lshr i64 %arg1, %arg2
  13   ret i64 %res
  14 }
  15
  16 define i64 @test_lshr_i64_imm(i64 %arg1) {
  17 ; X64-LABEL: test_lshr_i64_imm:
  18 ; X64:       # %bb.0:
  19 ; X64-NEXT:    movq %rdi, %rax
  20 ; X64-NEXT:    movq $5, %rcx
  21 ; X64-NEXT:    shrq %cl, %rax
  22 ; X64-NEXT:    retq
  23   %res = lshr i64 %arg1, 5
  24   ret i64 %res
  25 }
  26
  27 define i64 @test_lshr_i64_imm1(i64 %arg1) {
  28 ; X64-LABEL: test_lshr_i64_imm1:
  29 ; X64:       # %bb.0:
  30 ; X64-NEXT:    movq %rdi, %rax
  31 ; X64-NEXT:    shrq %rax
  32 ; X64-NEXT:    retq
  33   %res = lshr i64 %arg1, 1
  34   ret i64 %res
  35 }
  36
  37 define i32 @test_lshr_i32(i32 %arg1, i32 %arg2) {
  38 ; X64-LABEL: test_lshr_i32:
  39 ; X64:       # %bb.0:
  40 ; X64-NEXT:    movl %edi, %eax
  41 ; X64-NEXT:    movl %esi, %ecx
  42 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  43 ; X64-NEXT:    shrl %cl, %eax
  44 ; X64-NEXT:    retq
  45   %res = lshr i32 %arg1, %arg2
  46   ret i32 %res
  47 }
  48
  49 define i32 @test_lshr_i32_imm(i32 %arg1) {
  50 ; X64-LABEL: test_lshr_i32_imm:
  51 ; X64:       # %bb.0:
  52 ; X64-NEXT:    movl %edi, %eax
  53 ; X64-NEXT:    movl $5, %ecx
  54 ; X64-NEXT:    shrl %cl, %eax
  55 ; X64-NEXT:    retq
  56   %res = lshr i32 %arg1, 5
  57   ret i32 %res
  58 }
  59
  60 define i32 @test_lshr_i32_imm1(i32 %arg1) {
  61 ; X64-LABEL: test_lshr_i32_imm1:
  62 ; X64:       # %bb.0:
  63 ; X64-NEXT:    movl %edi, %eax
  64 ; X64-NEXT:    shrl %eax
  65 ; X64-NEXT:    retq
  66   %res = lshr i32 %arg1, 1
  67   ret i32 %res
  68 }
  69
  70 define i16 @test_lshr_i16(i32 %arg1, i32 %arg2) {
  71 ; X64-LABEL: test_lshr_i16:
  72 ; X64:       # %bb.0:
  73 ; X64-NEXT:    movl %edi, %eax
  74 ; X64-NEXT:    movl %esi, %ecx
  75 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  76 ; X64-NEXT:    shrw %cl, %ax
  77 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  78 ; X64-NEXT:    retq
  79   %a = trunc i32 %arg1 to i16
  80   %a2 = trunc i32 %arg2 to i16
  81   %res = lshr i16 %a, %a2
  82   ret i16 %res
  83 }
  84
  85 define i16 @test_lshr_i16_imm(i32 %arg1) {
  86 ; X64-LABEL: test_lshr_i16_imm:
  87 ; X64:       # %bb.0:
  88 ; X64-NEXT:    movl %edi, %eax
  89 ; X64-NEXT:    movw $5, %cx
  90 ; X64-NEXT:    shrw %cl, %ax
  91 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  92 ; X64-NEXT:    retq
  93   %a = trunc i32 %arg1 to i16
  94   %res = lshr i16 %a, 5
  95   ret i16 %res
  96 }
  97
  98 define i16 @test_lshr_i16_imm1(i32 %arg1) {
  99 ; X64-LABEL: test_lshr_i16_imm1:
 100 ; X64:       # %bb.0:
 101 ; X64-NEXT:    movl %edi, %eax
 102 ; X64-NEXT:    shrw %ax
 103 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 104 ; X64-NEXT:    retq
 105   %a = trunc i32 %arg1 to i16
 106   %res = lshr i16 %a, 1
 107   ret i16 %res
 108 }
 109
 110 define i8 @test_lshr_i8(i32 %arg1, i32 %arg2) {
 111 ; X64-LABEL: test_lshr_i8:
 112 ; X64:       # %bb.0:
 113 ; X64-NEXT:    movl %edi, %eax
 114 ; X64-NEXT:    movl %esi, %ecx
 115 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 116 ; X64-NEXT:    shrb %cl, %al
 117 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 118 ; X64-NEXT:    retq
 119   %a = trunc i32 %arg1 to i8
 120   %a2 = trunc i32 %arg2 to i8
 121   %res = lshr i8 %a, %a2
 122   ret i8 %res
 123 }
 124
 125 define i8 @test_lshr_i8_imm(i32 %arg1) {
 126 ; X64-LABEL: test_lshr_i8_imm:
 127 ; X64:       # %bb.0:
 128 ; X64-NEXT:    movl %edi, %eax
 129 ; X64-NEXT:    shrb $5, %al
 130 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 131 ; X64-NEXT:    retq
 132   %a = trunc i32 %arg1 to i8
 133   %res = lshr i8 %a, 5
 134   ret i8 %res
 135 }
 136
 137 define i8 @test_lshr_i8_imm1(i32 %arg1) {
 138 ; X64-LABEL: test_lshr_i8_imm1:
 139 ; X64:       # %bb.0:
 140 ; X64-NEXT:    movl %edi, %eax
 141 ; X64-NEXT:    shrb %al
 142 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 143 ; X64-NEXT:    retq
 144   %a = trunc i32 %arg1 to i8
 145   %res = lshr i8 %a, 1
 146   ret i8 %res
 147 }
 148
 149 define i1 @test_lshr_i1(i32 %arg1, i32 %arg2) {
 150 ; X64-LABEL: test_lshr_i1:
 151 ; X64:       # %bb.0:
 152 ; X64-NEXT:    movl %edi, %eax
 153 ; X64-NEXT:    movl %esi, %ecx
 154 ; X64-NEXT:    andb $1, %al
 155 ; X64-NEXT:    andb $1, %cl
 156 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 157 ; X64-NEXT:    shrb %cl, %al
 158 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 159 ; X64-NEXT:    retq
 160   %a = trunc i32 %arg1 to i1
 161   %a2 = trunc i32 %arg2 to i1
 162   %res = lshr i1 %a, %a2
 163   ret i1 %res
 164 }
 165
 166 define i1 @test_lshr_i1_imm1(i32 %arg1) {
 167 ; X64-LABEL: test_lshr_i1_imm1:
 168 ; X64:       # %bb.0:
 169 ; X64-NEXT:    movl %edi, %eax
 170 ; X64-NEXT:    movb $-1, %cl
 171 ; X64-NEXT:    andb $1, %al
 172 ; X64-NEXT:    andb $1, %cl
 173 ; X64-NEXT:    shrb %cl, %al
 174 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 175 ; X64-NEXT:    retq
 176   %a = trunc i32 %arg1 to i1
 177   %res = lshr i1 %a, 1
 178   ret i1 %res
 179 }