llvm/test/CodeGen/AArch64/GlobalISel/postlegalizer-lowering-sextinreg.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -run-pass=aarch64-postlegalizer-lowering -global-isel -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 ---
   5 name:            v4s32
   6 legalized:       true
   7 body: |
   8   bb.0.entry:
   9     liveins: $q0
  10     ; CHECK-LABEL: name: v4s32
  11     ; CHECK: liveins: $q0
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: %v1:_(<4 x s32>) = COPY $q0
  14     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
  15     ; CHECK-NEXT: [[DUP:%[0-9]+]]:_(<4 x s32>) = G_DUP [[C]](s32)
  16     ; CHECK-NEXT: [[SHL:%[0-9]+]]:_(<4 x s32>) = G_SHL %v1, [[DUP]](<4 x s32>)
  17     ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
  18     ; CHECK-NEXT: %sext:_(<4 x s32>) = G_VASHR [[SHL]], [[C1]](s32)
  19     ; CHECK-NEXT: $q0 = COPY %sext(<4 x s32>)
  20     ; CHECK-NEXT: RET_ReallyLR implicit $q0
  21     %v1:_(<4 x s32>) = COPY $q0
  22     %sext:_(<4 x s32>) = G_SEXT_INREG %v1, 16
  23     $q0 = COPY %sext
  24     RET_ReallyLR implicit $q0
  25 ...
  26 ---
  27 name:            scalar_no_lower
  28 legalized:       true
  29 body: |
  30   bb.0.entry:
  31     liveins: $x0
  32     ; CHECK-LABEL: name: scalar_no_lower
  33     ; CHECK: liveins: $x0
  34     ; CHECK-NEXT: {{  $}}
  35     ; CHECK-NEXT: %v1:_(s64) = COPY $x0
  36     ; CHECK-NEXT: %sext:_(s64) = G_SEXT_INREG %v1, 16
  37     ; CHECK-NEXT: $x0 = COPY %sext(s64)
  38     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  39     %v1:_(s64) = COPY $x0
  40     %sext:_(s64) = G_SEXT_INREG %v1, 16
  41     $x0 = COPY %sext
  42     RET_ReallyLR implicit $x0
  43 ...