llvm/test/CodeGen/X86/GlobalISel/x86_64-select-urem.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5   ; ModuleID = 'urem.ll'
   6   source_filename = "urem.ll"
   7   target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   8
   9   define i8 @test_urem_i8(i8 %arg1, i8 %arg2) {
  10     %res = urem i8 %arg1, %arg2
  11     ret i8 %res
  12   }
  13
  14   define i16 @test_urem_i16(i16 %arg1, i16 %arg2) {
  15     %res = urem i16 %arg1, %arg2
  16     ret i16 %res
  17   }
  18
  19   define i32 @test_urem_i32(i32 %arg1, i32 %arg2) {
  20     %res = urem i32 %arg1, %arg2
  21     ret i32 %res
  22   }
  23
  24   define i64 @test_urem_i64(i64 %arg1, i64 %arg2) {
  25     %res = urem i64 %arg1, %arg2
  26     ret i64 %res
  27   }
  28
  29 ...
  30 ---
  31 name:            test_urem_i8
  32 alignment:       16
  33 exposesReturnsTwice: false
  34 legalized:       true
  35 regBankSelected: true
  36 selected:        false
  37 failedISel:      false
  38 tracksRegLiveness: true
  39 registers:
  40   - { id: 0, class: gpr, preferred-register: '' }
  41   - { id: 1, class: gpr, preferred-register: '' }
  42   - { id: 2, class: gpr, preferred-register: '' }
  43   - { id: 3, class: gpr, preferred-register: '' }
  44   - { id: 4, class: gpr, preferred-register: '' }
  45 liveins:
  46 frameInfo:
  47   isFrameAddressTaken: false
  48   isReturnAddressTaken: false
  49   hasStackMap:     false
  50   hasPatchPoint:   false
  51   stackSize:       0
  52   offsetAdjustment: 0
  53   maxAlignment:    0
  54   adjustsStack:    false
  55   hasCalls:        false
  56   stackProtector:  ''
  57   maxCallFrameSize: 4294967295
  58   hasOpaqueSPAdjustment: false
  59   hasVAStart:      false
  60   hasMustTailInVarArgFunc: false
  61   localFrameSize:  0
  62   savePoint:       ''
  63   restorePoint:    ''
  64 fixedStack:
  65 stack:
  66 constants:
  67 body:             |
  68   bb.1 (%ir-block.0):
  69     liveins: $edi, $esi
  70
  71     ; CHECK-LABEL: name: test_urem_i8
  72     ; CHECK: liveins: $edi, $esi
  73     ; CHECK-NEXT: {{  $}}
  74     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi
  75     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr8 = COPY [[COPY]].sub_8bit
  76     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gr32 = COPY $esi
  77     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gr8 = COPY [[COPY2]].sub_8bit
  78     ; CHECK-NEXT: $ax = MOVZX16rr8 [[COPY1]]
  79     ; CHECK-NEXT: DIV8r [[COPY3]], implicit-def $al, implicit-def $ah, implicit-def $eflags, implicit $ax
  80     ; CHECK-NEXT: [[COPY4:%[0-9]+]]:gr16 = COPY $ax
  81     ; CHECK-NEXT: [[SHR16ri:%[0-9]+]]:gr16 = SHR16ri [[COPY4]], 8, implicit-def $eflags
  82     ; CHECK-NEXT: [[SUBREG_TO_REG:%[0-9]+]]:gr8 = SUBREG_TO_REG 0, [[SHR16ri]], %subreg.sub_8bit
  83     ; CHECK-NEXT: $al = COPY [[SUBREG_TO_REG]]
  84     ; CHECK-NEXT: RET 0, implicit $al
  85     %2:gpr(s32) = COPY $edi
  86     %0:gpr(s8) = G_TRUNC %2(s32)
  87     %3:gpr(s32) = COPY $esi
  88     %1:gpr(s8) = G_TRUNC %3(s32)
  89     %4:gpr(s8) = G_UREM %0, %1
  90     $al = COPY %4(s8)
  91     RET 0, implicit $al
  92
  93 ...
  94 ---
  95 name:            test_urem_i16
  96 alignment:       16
  97 exposesReturnsTwice: false
  98 legalized:       true
  99 regBankSelected: true
 100 selected:        false
 101 failedISel:      false
 102 tracksRegLiveness: true
 103 registers:
 104   - { id: 0, class: gpr, preferred-register: '' }
 105   - { id: 1, class: gpr, preferred-register: '' }
 106   - { id: 2, class: gpr, preferred-register: '' }
 107   - { id: 3, class: gpr, preferred-register: '' }
 108   - { id: 4, class: gpr, preferred-register: '' }
 109 liveins:
 110 frameInfo:
 111   isFrameAddressTaken: false
 112   isReturnAddressTaken: false
 113   hasStackMap:     false
 114   hasPatchPoint:   false
 115   stackSize:       0
 116   offsetAdjustment: 0
 117   maxAlignment:    0
 118   adjustsStack:    false
 119   hasCalls:        false
 120   stackProtector:  ''
 121   maxCallFrameSize: 4294967295
 122   hasOpaqueSPAdjustment: false
 123   hasVAStart:      false
 124   hasMustTailInVarArgFunc: false
 125   localFrameSize:  0
 126   savePoint:       ''
 127   restorePoint:    ''
 128 fixedStack:
 129 stack:
 130 constants:
 131 body:             |
 132   bb.1 (%ir-block.0):
 133     liveins: $edi, $esi
 134
 135     ; CHECK-LABEL: name: test_urem_i16
 136     ; CHECK: liveins: $edi, $esi
 137     ; CHECK-NEXT: {{  $}}
 138     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 139     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr16 = COPY [[COPY]].sub_16bit
 140     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gr32 = COPY $esi
 141     ; CHECK-NEXT: [[COPY3:%[0-9]+]]:gr16 = COPY [[COPY2]].sub_16bit
 142     ; CHECK-NEXT: $ax = COPY [[COPY1]]
 143     ; CHECK-NEXT: [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def $eflags
 144     ; CHECK-NEXT: $dx = COPY [[MOV32r0_]].sub_16bit
 145     ; CHECK-NEXT: DIV16r [[COPY3]], implicit-def $ax, implicit-def $dx, implicit-def $eflags, implicit $ax, implicit $dx
 146     ; CHECK-NEXT: [[COPY4:%[0-9]+]]:gr16 = COPY $dx
 147     ; CHECK-NEXT: $ax = COPY [[COPY4]]
 148     ; CHECK-NEXT: RET 0, implicit $ax
 149     %2:gpr(s32) = COPY $edi
 150     %0:gpr(s16) = G_TRUNC %2(s32)
 151     %3:gpr(s32) = COPY $esi
 152     %1:gpr(s16) = G_TRUNC %3(s32)
 153     %4:gpr(s16) = G_UREM %0, %1
 154     $ax = COPY %4(s16)
 155     RET 0, implicit $ax
 156
 157 ...
 158 ---
 159 name:            test_urem_i32
 160 alignment:       16
 161 exposesReturnsTwice: false
 162 legalized:       true
 163 regBankSelected: true
 164 selected:        false
 165 failedISel:      false
 166 tracksRegLiveness: true
 167 registers:
 168   - { id: 0, class: gpr, preferred-register: '' }
 169   - { id: 1, class: gpr, preferred-register: '' }
 170   - { id: 2, class: gpr, preferred-register: '' }
 171 liveins:
 172 frameInfo:
 173   isFrameAddressTaken: false
 174   isReturnAddressTaken: false
 175   hasStackMap:     false
 176   hasPatchPoint:   false
 177   stackSize:       0
 178   offsetAdjustment: 0
 179   maxAlignment:    0
 180   adjustsStack:    false
 181   hasCalls:        false
 182   stackProtector:  ''
 183   maxCallFrameSize: 4294967295
 184   hasOpaqueSPAdjustment: false
 185   hasVAStart:      false
 186   hasMustTailInVarArgFunc: false
 187   localFrameSize:  0
 188   savePoint:       ''
 189   restorePoint:    ''
 190 fixedStack:
 191 stack:
 192 constants:
 193 body:             |
 194   bb.1 (%ir-block.0):
 195     liveins: $edi, $esi
 196
 197     ; CHECK-LABEL: name: test_urem_i32
 198     ; CHECK: liveins: $edi, $esi
 199     ; CHECK-NEXT: {{  $}}
 200     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr32 = COPY $edi
 201     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr32 = COPY $esi
 202     ; CHECK-NEXT: $eax = COPY [[COPY]]
 203     ; CHECK-NEXT: [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def $eflags
 204     ; CHECK-NEXT: $edx = COPY [[MOV32r0_]]
 205     ; CHECK-NEXT: DIV32r [[COPY1]], implicit-def $eax, implicit-def $edx, implicit-def $eflags, implicit $eax, implicit $edx
 206     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gr32 = COPY $edx
 207     ; CHECK-NEXT: $eax = COPY [[COPY2]]
 208     ; CHECK-NEXT: RET 0, implicit $eax
 209     %0:gpr(s32) = COPY $edi
 210     %1:gpr(s32) = COPY $esi
 211     %2:gpr(s32) = G_UREM %0, %1
 212     $eax = COPY %2(s32)
 213     RET 0, implicit $eax
 214
 215 ...
 216 ---
 217 name:            test_urem_i64
 218 alignment:       16
 219 exposesReturnsTwice: false
 220 legalized:       true
 221 regBankSelected: true
 222 selected:        false
 223 failedISel:      false
 224 tracksRegLiveness: true
 225 registers:
 226   - { id: 0, class: gpr, preferred-register: '' }
 227   - { id: 1, class: gpr, preferred-register: '' }
 228   - { id: 2, class: gpr, preferred-register: '' }
 229 liveins:
 230 frameInfo:
 231   isFrameAddressTaken: false
 232   isReturnAddressTaken: false
 233   hasStackMap:     false
 234   hasPatchPoint:   false
 235   stackSize:       0
 236   offsetAdjustment: 0
 237   maxAlignment:    0
 238   adjustsStack:    false
 239   hasCalls:        false
 240   stackProtector:  ''
 241   maxCallFrameSize: 4294967295
 242   hasOpaqueSPAdjustment: false
 243   hasVAStart:      false
 244   hasMustTailInVarArgFunc: false
 245   localFrameSize:  0
 246   savePoint:       ''
 247   restorePoint:    ''
 248 fixedStack:
 249 stack:
 250 constants:
 251 body:             |
 252   bb.1 (%ir-block.0):
 253     liveins: $rdi, $rsi
 254
 255     ; CHECK-LABEL: name: test_urem_i64
 256     ; CHECK: liveins: $rdi, $rsi
 257     ; CHECK-NEXT: {{  $}}
 258     ; CHECK-NEXT: [[COPY:%[0-9]+]]:gr64 = COPY $rdi
 259     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gr64 = COPY $rsi
 260     ; CHECK-NEXT: $rax = COPY [[COPY]]
 261     ; CHECK-NEXT: [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def $eflags
 262     ; CHECK-NEXT: $rdx = SUBREG_TO_REG 0, [[MOV32r0_]], %subreg.sub_32bit
 263     ; CHECK-NEXT: DIV64r [[COPY1]], implicit-def $rax, implicit-def $rdx, implicit-def $eflags, implicit $rax, implicit $rdx
 264     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gr64 = COPY $rdx
 265     ; CHECK-NEXT: $rax = COPY [[COPY2]]
 266     ; CHECK-NEXT: RET 0, implicit $rax
 267     %0:gpr(s64) = COPY $rdi
 268     %1:gpr(s64) = COPY $rsi
 269     %2:gpr(s64) = G_UREM %0, %1
 270     $rax = COPY %2(s64)
 271     RET 0, implicit $rax
 272
 273 ...