llvm/test/CodeGen/ARM/GlobalISel/select-neon.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -mtriple arm-- -mattr=+neon -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5   define void @test_add_s64() { ret void }
   6   define void @test_sub_s64() { ret void }
   7 ...
   8 ---
   9 name:            test_add_s64
  10 legalized:       true
  11 regBankSelected: true
  12 selected:        false
  13 registers:
  14   - { id: 0, class: fprb }
  15   - { id: 1, class: fprb }
  16   - { id: 2, class: fprb }
  17 body:             |
  18   bb.0:
  19     liveins: $d0, $d1
  20
  21     ; CHECK-LABEL: name: test_add_s64
  22     ; CHECK: [[COPY:%[0-9]+]]:dpr = COPY $d0
  23     ; CHECK: [[COPY1:%[0-9]+]]:dpr = COPY $d1
  24     ; CHECK: [[VADDv1i64_:%[0-9]+]]:dpr = VADDv1i64 [[COPY]], [[COPY1]], 14 /* CC::al */, $noreg
  25     ; CHECK: $d0 = COPY [[VADDv1i64_]]
  26     ; CHECK: BX_RET 14 /* CC::al */, $noreg, implicit $d0
  27     %0(s64) = COPY $d0
  28
  29     %1(s64) = COPY $d1
  30
  31     %2(s64) = G_ADD %0, %1
  32
  33     $d0 = COPY %2(s64)
  34
  35     BX_RET 14, $noreg, implicit $d0
  36 ...
  37 ---
  38 name:            test_sub_s64
  39 legalized:       true
  40 regBankSelected: true
  41 selected:        false
  42 registers:
  43   - { id: 0, class: fprb }
  44   - { id: 1, class: fprb }
  45   - { id: 2, class: fprb }
  46 body:             |
  47   bb.0:
  48     liveins: $d0, $d1
  49
  50     ; CHECK-LABEL: name: test_sub_s64
  51     ; CHECK: [[COPY:%[0-9]+]]:dpr = COPY $d0
  52     ; CHECK: [[COPY1:%[0-9]+]]:dpr = COPY $d1
  53     ; CHECK: [[VSUBv1i64_:%[0-9]+]]:dpr = VSUBv1i64 [[COPY]], [[COPY1]], 14 /* CC::al */, $noreg
  54     ; CHECK: $d0 = COPY [[VSUBv1i64_]]
  55     ; CHECK: BX_RET 14 /* CC::al */, $noreg, implicit $d0
  56     %0(s64) = COPY $d0
  57
  58     %1(s64) = COPY $d1
  59
  60     %2(s64) = G_SUB %0, %1
  61
  62     $d0 = COPY %2(s64)
  63
  64     BX_RET 14, $noreg, implicit $d0
  65