test/CodeGen/AArch64/GlobalISel/legalize-simple.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   6   target triple = "aarch64--"
   7   define void @test_simple() {
   8   entry:
   9     ret void
  10   next:
  11     ret void
  12   }
  13   define void @bitcast128() {
  14     ret void
  15   }
  16   define void @testExtOfCopyOfTrunc() {
  17     ret void
  18   }
  19   define void @testExtOf2CopyOfTrunc() {
  20     ret void
  21   }
  22 ...
  23
  24 ---
  25 name:            test_simple
  26 registers:
  27   - { id: 0, class: _ }
  28   - { id: 1, class: _ }
  29   - { id: 2, class: _ }
  30   - { id: 3, class: _ }
  31   - { id: 4, class: _ }
  32   - { id: 5, class: _ }
  33   - { id: 6, class: _ }
  34   - { id: 7, class: _ }
  35   - { id: 8, class: _ }
  36   - { id: 9, class: _ }
  37   - { id: 10, class: _ }
  38   - { id: 11, class: _ }
  39   - { id: 12, class: _ }
  40   - { id: 13, class: _ }
  41   - { id: 14, class: _ }
  42   - { id: 15, class: _ }
  43   - { id: 16, class: _ }
  44 body: |
  45   ; CHECK-LABEL: name: test_simple
  46   ; CHECK: bb.0.{{[a-zA-Z0-9]+}}:
  47   ; CHECK:   successors: %bb.1(0x80000000)
  48   ; CHECK:   [[COPY:%[0-9]+]]:_(s64) = COPY $x0
  49   ; CHECK:   [[TRUNC:%[0-9]+]]:_(s1) = G_TRUNC [[COPY]](s64)
  50   ; CHECK:   [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  51   ; CHECK:   [[INTTOPTR:%[0-9]+]]:_(p0) = G_INTTOPTR [[COPY]](s64)
  52   ; CHECK:   [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[INTTOPTR]](p0)
  53   ; CHECK:   $x0 = COPY [[PTRTOINT]](s64)
  54   ; CHECK:   G_BRCOND [[TRUNC]](s1), %bb.1
  55   ; CHECK: bb.1.{{[a-zA-Z0-9]+}}:
  56   ; CHECK:   [[TRUNC2:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  57   ; CHECK:   [[TRUNC3:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  58   ; CHECK:   [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[TRUNC2]], [[TRUNC3]]
  59   ; CHECK:   [[COPY1:%[0-9]+]]:_(s32) = COPY [[SELECT]](s32)
  60   ; CHECK:   $w0 = COPY [[COPY1]](s32)
  61   ; CHECK:   [[TRUNC4:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  62   ; CHECK:   [[TRUNC5:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  63   ; CHECK:   [[SELECT1:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[TRUNC4]], [[TRUNC5]]
  64   ; CHECK:   [[COPY2:%[0-9]+]]:_(s32) = COPY [[SELECT1]](s32)
  65   ; CHECK:   $w0 = COPY [[COPY2]](s32)
  66   ; CHECK:   [[TRUNC6:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  67   ; CHECK:   [[TRUNC7:%[0-9]+]]:_(s32) = G_TRUNC [[COPY]](s64)
  68   ; CHECK:   [[SELECT2:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[TRUNC6]], [[TRUNC7]]
  69   ; CHECK:   [[COPY3:%[0-9]+]]:_(s32) = COPY [[SELECT2]](s32)
  70   ; CHECK:   $w0 = COPY [[COPY3]](s32)
  71   ; CHECK:   [[SELECT3:%[0-9]+]]:_(s32) = G_SELECT [[TRUNC]](s1), [[TRUNC1]], [[TRUNC1]]
  72   ; CHECK:   [[SELECT4:%[0-9]+]]:_(s64) = G_SELECT [[TRUNC]](s1), [[COPY]], [[COPY]]
  73   ; CHECK:   $x0 = COPY [[SELECT4]](s64)
  74   ; CHECK:   [[BITCAST:%[0-9]+]]:_(<2 x s32>) = G_BITCAST [[COPY]](s64)
  75   ; CHECK:   [[BITCAST1:%[0-9]+]]:_(s64) = G_BITCAST [[BITCAST]](<2 x s32>)
  76   ; CHECK:   $x0 = COPY [[BITCAST1]](s64)
  77   ; CHECK:   [[BITCAST2:%[0-9]+]]:_(s32) = G_BITCAST [[SELECT3]](s32)
  78   ; CHECK:   $w0 = COPY [[BITCAST2]](s32)
  79   ; CHECK:   [[BITCAST3:%[0-9]+]]:_(<4 x s8>) = G_BITCAST [[COPY]](s64)
  80   ; CHECK:   [[BITCAST4:%[0-9]+]]:_(s32) = G_BITCAST [[BITCAST3]](<4 x s8>)
  81   ; CHECK:   $w0 = COPY [[BITCAST4]](s32)
  82   ; CHECK:   [[BITCAST5:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[COPY]](s64)
  83   ; CHECK:   [[BITCAST6:%[0-9]+]]:_(s32) = G_BITCAST [[BITCAST5]](<2 x s16>)
  84   ; CHECK:   $w0 = COPY [[BITCAST6]](s32)
  85   bb.0.entry:
  86     liveins: $x0, $x1, $x2, $x3
  87     %0(s64) = COPY $x0
  88
  89     %1(s1) = G_TRUNC %0
  90     %2(s8) = G_TRUNC %0
  91     %3(s16) = G_TRUNC %0
  92     %4(s32) = G_TRUNC %0
  93
  94     %5(p0) = G_INTTOPTR %0
  95     %6(s64) = G_PTRTOINT %5
  96     $x0 = COPY %6
  97
  98     G_BRCOND %1, %bb.1
  99
 100   bb.1.next:
 101
 102     %7(s1) = G_SELECT %1, %1, %1
 103     %21:_(s32) = G_ANYEXT %7
 104     $w0 = COPY %21
 105
 106     %8(s8) = G_SELECT %1, %2, %2
 107     %20:_(s32) = G_ANYEXT %8
 108     $w0 = COPY %20
 109
 110     %9(s16) = G_SELECT %1, %3, %3
 111     %19:_(s32) = G_ANYEXT %9
 112     $w0 = COPY %19
 113
 114     %10(s32) = G_SELECT %1, %4, %4
 115     %11(s64) = G_SELECT %1, %0, %0
 116     $x0 = COPY %11
 117
 118     %12(<2 x s32>) = G_BITCAST %0
 119     %13(s64) = G_BITCAST %12
 120     $x0 = COPY %13
 121     %14(s32) = G_BITCAST %10
 122     $w0 = COPY %14
 123     %15(<4 x s8>) = G_BITCAST %0
 124     %17:_(s32) = G_BITCAST %15
 125     $w0 = COPY %17
 126     %16(<2 x s16>) = G_BITCAST %0
 127     %18:_(s32) = G_BITCAST %16
 128     $w0 = COPY %18
 129 ...
 130
 131 ---
 132 name:            bitcast128
 133 tracksRegLiveness: true
 134 registers:
 135   - { id: 0, class: _}
 136   - { id: 1, class: _}
 137   - { id: 2, class: _}
 138   - { id: 3, class: _}
 139 body:             |
 140   bb.1:
 141     liveins: $x0, $x1
 142     ; This is legal and shouldn't be changed.
 143     ; CHECK-LABEL: name: bitcast128
 144     ; CHECK: liveins: $x0, $x1
 145     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 146     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
 147     ; CHECK: [[MV:%[0-9]+]]:_(s128) = G_MERGE_VALUES [[COPY]](s64), [[COPY1]](s64)
 148     ; CHECK: [[BITCAST:%[0-9]+]]:_(<2 x s64>) = G_BITCAST [[MV]](s128)
 149     ; CHECK: $q0 = COPY [[BITCAST]](<2 x s64>)
 150     ; CHECK: RET_ReallyLR implicit $q0
 151     %0(s64) = COPY $x0
 152     %1(s64) = COPY $x1
 153     %3(s128) = G_MERGE_VALUES %0(s64), %1(s64)
 154     %2(<2 x s64>) = G_BITCAST %3(s128)
 155     $q0 = COPY %2(<2 x s64>)
 156     RET_ReallyLR implicit $q0
 157
 158 ...
 159 ---
 160 name:            testExtOfCopyOfTrunc
 161 tracksRegLiveness: true
 162 registers:
 163   - { id: 0, class: _}
 164   - { id: 1, class: _}
 165   - { id: 2, class: _}
 166   - { id: 3, class: _}
 167 body:             |
 168   bb.1:
 169     liveins: $x0
 170     ; CHECK-LABEL: name: testExtOfCopyOfTrunc
 171     ; CHECK: liveins: $x0
 172     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 173     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
 174     ; CHECK: $x0 = COPY [[COPY1]](s64)
 175     ; CHECK: RET_ReallyLR implicit $x0
 176     %0(s64) = COPY $x0
 177     %1(s1) = G_TRUNC %0
 178     %2(s1) = COPY %1
 179     %3(s64) = G_ANYEXT %2
 180     $x0 = COPY %3
 181     RET_ReallyLR implicit $x0
 182
 183 ...
 184 ---
 185 name:            testExtOf2CopyOfTrunc
 186 tracksRegLiveness: true
 187 registers:
 188   - { id: 0, class: _}
 189   - { id: 1, class: _}
 190   - { id: 2, class: _}
 191   - { id: 3, class: _}
 192 body:             |
 193   bb.1:
 194     liveins: $x0
 195     ; CHECK-LABEL: name: testExtOf2CopyOfTrunc
 196     ; CHECK: liveins: $x0
 197     ; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
 198     ; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)
 199     ; CHECK: $x0 = COPY [[COPY1]](s64)
 200     ; CHECK: RET_ReallyLR implicit $x0
 201     %0(s64) = COPY $x0
 202     %1(s1) = G_TRUNC %0
 203     %2(s1) = COPY %1
 204     %4:_(s1) = COPY %2
 205     %3(s64) = G_ANYEXT %4
 206     $x0 = COPY %3
 207     RET_ReallyLR implicit $x0
 208
 209 ...