test/CodeGen/X86/GlobalISel/shl-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_shl_i64(i64 %arg1, i64 %arg2) {
   5 ; X64-LABEL: test_shl_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:    shlq %cl, %rax
  11 ; X64-NEXT:    retq
  12   %res = shl i64 %arg1, %arg2
  13   ret i64 %res
  14 }
  15
  16 define i64 @test_shl_i64_imm(i64 %arg1) {
  17 ; X64-LABEL: test_shl_i64_imm:
  18 ; X64:       # %bb.0:
  19 ; X64-NEXT:    movq %rdi, %rax
  20 ; X64-NEXT:    movq $5, %rcx
  21 ; X64-NEXT:    shlq %cl, %rax
  22 ; X64-NEXT:    retq
  23   %res = shl i64 %arg1, 5
  24   ret i64 %res
  25 }
  26
  27 define i64 @test_shl_i64_imm1(i64 %arg1) {
  28 ; X64-LABEL: test_shl_i64_imm1:
  29 ; X64:       # %bb.0:
  30 ; X64-NEXT:    leaq (%rdi,%rdi), %rax
  31 ; X64-NEXT:    retq
  32   %res = shl i64 %arg1, 1
  33   ret i64 %res
  34 }
  35
  36 define i32 @test_shl_i32(i32 %arg1, i32 %arg2) {
  37 ; X64-LABEL: test_shl_i32:
  38 ; X64:       # %bb.0:
  39 ; X64-NEXT:    movl %edi, %eax
  40 ; X64-NEXT:    movl %esi, %ecx
  41 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  42 ; X64-NEXT:    shll %cl, %eax
  43 ; X64-NEXT:    retq
  44   %res = shl i32 %arg1, %arg2
  45   ret i32 %res
  46 }
  47
  48 define i32 @test_shl_i32_imm(i32 %arg1) {
  49 ; X64-LABEL: test_shl_i32_imm:
  50 ; X64:       # %bb.0:
  51 ; X64-NEXT:    movl %edi, %eax
  52 ; X64-NEXT:    movl $5, %ecx
  53 ; X64-NEXT:    shll %cl, %eax
  54 ; X64-NEXT:    retq
  55   %res = shl i32 %arg1, 5
  56   ret i32 %res
  57 }
  58
  59 define i32 @test_shl_i32_imm1(i32 %arg1) {
  60 ; X64-LABEL: test_shl_i32_imm1:
  61 ; X64:       # %bb.0:
  62 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
  63 ; X64-NEXT:    leal (%rdi,%rdi), %eax
  64 ; X64-NEXT:    retq
  65   %res = shl i32 %arg1, 1
  66   ret i32 %res
  67 }
  68
  69 define i16 @test_shl_i16(i32 %arg1, i32 %arg2) {
  70 ; X64-LABEL: test_shl_i16:
  71 ; X64:       # %bb.0:
  72 ; X64-NEXT:    movl %edi, %eax
  73 ; X64-NEXT:    movl %esi, %ecx
  74 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
  75 ; X64-NEXT:    shlw %cl, %ax
  76 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  77 ; X64-NEXT:    retq
  78   %a = trunc i32 %arg1 to i16
  79   %a2 = trunc i32 %arg2 to i16
  80   %res = shl i16 %a, %a2
  81   ret i16 %res
  82 }
  83
  84 define i16 @test_shl_i16_imm(i32 %arg1) {
  85 ; X64-LABEL: test_shl_i16_imm:
  86 ; X64:       # %bb.0:
  87 ; X64-NEXT:    movl %edi, %eax
  88 ; X64-NEXT:    movw $5, %cx
  89 ; X64-NEXT:    shlw %cl, %ax
  90 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
  91 ; X64-NEXT:    retq
  92   %a = trunc i32 %arg1 to i16
  93   %res = shl i16 %a, 5
  94   ret i16 %res
  95 }
  96
  97 define i16 @test_shl_i16_imm1(i32 %arg1) {
  98 ; X64-LABEL: test_shl_i16_imm1:
  99 ; X64:       # %bb.0:
 100 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 101 ; X64-NEXT:    leal (%rdi,%rdi), %eax
 102 ; X64-NEXT:    # kill: def $ax killed $ax killed $eax
 103 ; X64-NEXT:    retq
 104   %a = trunc i32 %arg1 to i16
 105   %res = shl i16 %a, 1
 106   ret i16 %res
 107 }
 108
 109 define i8 @test_shl_i8(i32 %arg1, i32 %arg2) {
 110 ; X64-LABEL: test_shl_i8:
 111 ; X64:       # %bb.0:
 112 ; X64-NEXT:    movl %edi, %eax
 113 ; X64-NEXT:    movl %esi, %ecx
 114 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 115 ; X64-NEXT:    shlb %cl, %al
 116 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 117 ; X64-NEXT:    retq
 118   %a = trunc i32 %arg1 to i8
 119   %a2 = trunc i32 %arg2 to i8
 120   %res = shl i8 %a, %a2
 121   ret i8 %res
 122 }
 123
 124 define i8 @test_shl_i8_imm(i32 %arg1) {
 125 ; X64-LABEL: test_shl_i8_imm:
 126 ; X64:       # %bb.0:
 127 ; X64-NEXT:    movl %edi, %eax
 128 ; X64-NEXT:    shlb $5, %al
 129 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 130 ; X64-NEXT:    retq
 131   %a = trunc i32 %arg1 to i8
 132   %res = shl i8 %a, 5
 133   ret i8 %res
 134 }
 135
 136 define i8 @test_shl_i8_imm1(i32 %arg1) {
 137 ; X64-LABEL: test_shl_i8_imm1:
 138 ; X64:       # %bb.0:
 139 ; X64-NEXT:    # kill: def $edi killed $edi def $rdi
 140 ; X64-NEXT:    leal (%rdi,%rdi), %eax
 141 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 142 ; X64-NEXT:    retq
 143   %a = trunc i32 %arg1 to i8
 144   %res = shl i8 %a, 1
 145   ret i8 %res
 146 }
 147
 148 define i1 @test_shl_i1(i32 %arg1, i32 %arg2) {
 149 ; X64-LABEL: test_shl_i1:
 150 ; X64:       # %bb.0:
 151 ; X64-NEXT:    movl %edi, %eax
 152 ; X64-NEXT:    movl %esi, %ecx
 153 ; X64-NEXT:    andb $1, %cl
 154 ; X64-NEXT:    # kill: def $cl killed $cl killed $ecx
 155 ; X64-NEXT:    shlb %cl, %al
 156 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 157 ; X64-NEXT:    retq
 158   %a = trunc i32 %arg1 to i1
 159   %a2 = trunc i32 %arg2 to i1
 160   %res = shl i1 %a, %a2
 161   ret i1 %res
 162 }
 163
 164 define i1 @test_shl_i1_imm1(i32 %arg1) {
 165 ; X64-LABEL: test_shl_i1_imm1:
 166 ; X64:       # %bb.0:
 167 ; X64-NEXT:    movl %edi, %eax
 168 ; X64-NEXT:    movb $-1, %cl
 169 ; X64-NEXT:    andb $1, %cl
 170 ; X64-NEXT:    shlb %cl, %al
 171 ; X64-NEXT:    # kill: def $al killed $al killed $eax
 172 ; X64-NEXT:    retq
 173   %a = trunc i32 %arg1 to i1
 174   %res = shl i1 %a, 1
 175   ret i1 %res
 176 }