llvm/test/CodeGen/AArch64/GlobalISel/select-trunc.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -global-isel-abort=1 -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   6
   7   define void @trunc_s32_s64() { ret void }
   8   define void @trunc_s8_s64() { ret void }
   9   define void @trunc_s8_s32() { ret void }
  10   define void @trunc_s64_s128() { ret void }
  11   define void @trunc_s32_s128() { ret void }
  12 ...
  13
  14 ---
  15 name:            trunc_s32_s64
  16 legalized:       true
  17 regBankSelected: true
  18
  19 registers:
  20   - { id: 0, class: gpr }
  21   - { id: 1, class: gpr }
  22
  23 body:             |
  24   bb.0:
  25     liveins: $x0
  26
  27     ; CHECK-LABEL: name: trunc_s32_s64
  28     ; CHECK: [[COPY:%[0-9]+]]:gpr64sp = COPY $x0
  29     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32sp = COPY [[COPY]].sub_32
  30     ; CHECK-NEXT: $w0 = COPY [[COPY1]]
  31     %0(s64) = COPY $x0
  32     %1(s32) = G_TRUNC %0
  33     $w0 = COPY %1(s32)
  34 ...
  35
  36 ---
  37 name:            trunc_s8_s64
  38 legalized:       true
  39 regBankSelected: true
  40
  41 registers:
  42   - { id: 0, class: gpr }
  43   - { id: 1, class: gpr }
  44
  45 body:             |
  46   bb.0:
  47     liveins: $x0
  48
  49     ; CHECK-LABEL: name: trunc_s8_s64
  50     ; CHECK: [[COPY:%[0-9]+]]:gpr64 = COPY $x0
  51     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32 = COPY [[COPY]].sub_32
  52     ; CHECK-NEXT: [[COPY2:%[0-9]+]]:gpr32all = COPY [[COPY1]]
  53     ; CHECK-NEXT: $w0 = COPY [[COPY2]]
  54     %0(s64) = COPY $x0
  55     %1(s8) = G_TRUNC %0
  56     %2:gpr(s32) = G_ANYEXT %1
  57     $w0 = COPY %2(s32)
  58 ...
  59
  60 ---
  61 name:            trunc_s8_s32
  62 legalized:       true
  63 regBankSelected: true
  64
  65 registers:
  66   - { id: 0, class: gpr }
  67   - { id: 1, class: gpr }
  68
  69 body:             |
  70   bb.0:
  71     liveins: $w0
  72
  73     ; CHECK-LABEL: name: trunc_s8_s32
  74     ; CHECK: [[COPY:%[0-9]+]]:gpr32 = COPY $w0
  75     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:gpr32all = COPY [[COPY]]
  76     ; CHECK-NEXT: $w0 = COPY [[COPY1]]
  77     %0(s32) = COPY $w0
  78     %1(s8) = G_TRUNC %0
  79     %2:gpr(s32) = G_ANYEXT %1
  80     $w0 = COPY %2(s32)
  81 ...
  82
  83 ---
  84 name:            trunc_s64_s128
  85 legalized:       true
  86 regBankSelected: true
  87 registers:
  88   - { id: 0, class: fpr }
  89   - { id: 1, class: fpr }
  90
  91 body:             |
  92   bb.0:
  93     liveins: $q0
  94
  95     ; CHECK-LABEL: name: trunc_s64_s128
  96     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
  97     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fpr64 = COPY [[COPY]].dsub
  98     ; CHECK-NEXT: $x0 = COPY [[COPY1]]
  99     %0(s128) = COPY $q0
 100     %1(s64) = G_TRUNC %0
 101     $x0 = COPY %1(s64)
 102 ...
 103
 104 ---
 105 name:            trunc_s32_s128
 106 legalized:       true
 107 regBankSelected: true
 108 registers:
 109   - { id: 0, class: fpr }
 110   - { id: 1, class: fpr }
 111
 112 body:             |
 113   bb.0:
 114     liveins: $q0
 115
 116     ; CHECK-LABEL: name: trunc_s32_s128
 117     ; CHECK: [[COPY:%[0-9]+]]:fpr128 = COPY $q0
 118     ; CHECK-NEXT: [[COPY1:%[0-9]+]]:fpr32 = COPY [[COPY]].ssub
 119     ; CHECK-NEXT: $w0 = COPY [[COPY1]]
 120     %0(s128) = COPY $q0
 121     %1(s32) = G_TRUNC %0
 122     $w0 = COPY %1(s32)
 123 ...