test/CodeGen/Thumb2/mve-vpt-nots.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=thumbv8.1-m.main-none-eabi -mattr=+mve -run-pass arm-mve-vpt %s -o - | FileCheck %s
   3
   4 --- |
   5
   6   define arm_aapcs_vfpcc <4 x i32> @vpnot(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
   7   entry:
   8     %0 = icmp slt <4 x i32> %a, zeroinitializer
   9     %c2 = icmp sgt <4 x i32> %b, zeroinitializer
  10     %c3 = icmp eq <4 x i32> %c, zeroinitializer
  11     %o1 = and <4 x i1> %0, %c2
  12     %o2 = xor <4 x i1> %o1, <i1 true, i1 true, i1 true, i1 true>
  13     %o = and <4 x i1> %c3, %o2
  14     %s = select <4 x i1> %o, <4 x i32> %a, <4 x i32> %b
  15     ret <4 x i32> %s
  16   }
  17
  18   define arm_aapcs_vfpcc <4 x i32> @vpnot_end(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  19   entry:
  20     %0 = icmp slt <4 x i32> %a, zeroinitializer
  21     %c2 = icmp sgt <4 x i32> %b, zeroinitializer
  22     %c3 = icmp eq <4 x i32> %c, zeroinitializer
  23     %o1 = and <4 x i1> %0, %c2
  24     %o2 = xor <4 x i1> %o1, <i1 true, i1 true, i1 true, i1 true>
  25     br label %bb2
  26   bb2:
  27     %o = and <4 x i1> %c3, %o2
  28     %s = select <4 x i1> %o, <4 x i32> %a, <4 x i32> %b
  29     ret <4 x i32> %s
  30   }
  31
  32   define arm_aapcs_vfpcc <4 x i32> @vpnot_two(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  33   entry:
  34     unreachable
  35   }
  36   define arm_aapcs_vfpcc <4 x i32> @vpnot_lots(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  37   entry:
  38     unreachable
  39   }
  40   define arm_aapcs_vfpcc <4 x i32> @vpnot_first(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  41   entry:
  42     unreachable
  43   }
  44   define arm_aapcs_vfpcc <4 x i32> @vpnot_many(<4 x i32> %a, <4 x i32> %b, <4 x i32> %c) {
  45   entry:
  46     unreachable
  47   }
  48
  49 ...
  50 ---
  51 name:            vpnot
  52 alignment:       2
  53 tracksRegLiveness: true
  54 liveins:
  55   - { reg: '$q0', virtual-reg: '' }
  56   - { reg: '$q1', virtual-reg: '' }
  57   - { reg: '$q2', virtual-reg: '' }
  58 body:             |
  59   bb.0.entry:
  60     liveins: $q0, $q1, $q2
  61
  62     ; CHECK-LABEL: name: vpnot
  63     ; CHECK: liveins: $q0, $q1, $q2
  64     ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
  65     ; CHECK: BUNDLE implicit-def $p0, implicit-def $vpr, implicit $q1, implicit $zr, implicit killed $vpr {
  66     ; CHECK:   MVE_VPST 8, implicit-def $p0
  67     ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
  68     ; CHECK:   renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
  69     ; CHECK: }
  70     ; CHECK: BUNDLE implicit-def $p0, implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q2, implicit $zr, implicit killed $vpr, implicit killed $q0, implicit killed $q1 {
  71     ; CHECK:   MVE_VPST 8, implicit-def $p0
  72     ; CHECK:   renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
  73     ; CHECK:   renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, internal killed renamable $vpr
  74     ; CHECK: }
  75     ; CHECK: tBX_RET 14, $noreg, implicit $q0
  76     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
  77     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
  78     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
  79     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
  80     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
  81     tBX_RET 14, $noreg, implicit $q0
  82
  83 ...
  84 ---
  85 name:            vpnot_end
  86 alignment:       2
  87 tracksRegLiveness: true
  88 liveins:
  89   - { reg: '$q0', virtual-reg: '' }
  90   - { reg: '$q1', virtual-reg: '' }
  91   - { reg: '$q2', virtual-reg: '' }
  92 body:             |
  93   ; CHECK-LABEL: name: vpnot_end
  94   ; CHECK: bb.0.entry:
  95   ; CHECK:   successors: %bb.1(0x80000000)
  96   ; CHECK:   liveins: $q0, $q1, $q2
  97   ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
  98   ; CHECK:   BUNDLE implicit-def $p0, implicit-def $vpr, implicit $q1, implicit $zr, implicit killed $vpr {
  99   ; CHECK:     MVE_VPST 8, implicit-def $p0
 100   ; CHECK:     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 101   ; CHECK:     renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
 102   ; CHECK:   }
 103   ; CHECK: bb.1.bb2:
 104   ; CHECK:   liveins: $q0, $q1, $q2, $vpr
 105   ; CHECK:   BUNDLE implicit-def $p0, implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q2, implicit $zr, implicit killed $vpr, implicit killed $q0, implicit killed $q1 {
 106   ; CHECK:     MVE_VPST 8, implicit-def $p0
 107   ; CHECK:     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 108   ; CHECK:     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, internal killed renamable $vpr
 109   ; CHECK:   }
 110   ; CHECK:   tBX_RET 14, $noreg, implicit $q0
 111   bb.0.entry:
 112     liveins: $q0, $q1, $q2
 113
 114     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 115     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 116     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 117
 118   bb.1.bb2:
 119     liveins: $q0, $q1, $q2, $vpr
 120
 121     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 122     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 123     tBX_RET 14, $noreg, implicit $q0
 124
 125 ...
 126 ---
 127 name:            vpnot_two
 128 alignment:       2
 129 tracksRegLiveness: true
 130 liveins:
 131   - { reg: '$q0', virtual-reg: '' }
 132   - { reg: '$q1', virtual-reg: '' }
 133   - { reg: '$q2', virtual-reg: '' }
 134 body:             |
 135   bb.0.entry:
 136     liveins: $q0, $q1, $q2
 137
 138     ; CHECK-LABEL: name: vpnot_two
 139     ; CHECK: liveins: $q0, $q1, $q2
 140     ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 141     ; CHECK: BUNDLE implicit-def $p0, implicit-def $vpr, implicit $q1, implicit $zr, implicit killed $vpr {
 142     ; CHECK:   MVE_VPST 8, implicit-def $p0
 143     ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 144     ; CHECK:   renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
 145     ; CHECK: }
 146     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 147     ; CHECK: BUNDLE implicit-def $p0, implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q2, implicit $zr, implicit killed $vpr, implicit killed $q0, implicit killed $q1 {
 148     ; CHECK:   MVE_VPST 8, implicit-def $p0
 149     ; CHECK:   renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 150     ; CHECK:   renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, internal killed renamable $vpr
 151     ; CHECK: }
 152     ; CHECK: tBX_RET 14, $noreg, implicit $q0
 153     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 154     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 155     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 156     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 157     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 158     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 159     tBX_RET 14, $noreg, implicit $q0
 160
 161 ...
 162 ---
 163 name:            vpnot_lots
 164 alignment:       2
 165 tracksRegLiveness: true
 166 liveins:
 167   - { reg: '$q0', virtual-reg: '' }
 168   - { reg: '$q1', virtual-reg: '' }
 169   - { reg: '$q2', virtual-reg: '' }
 170 body:             |
 171   bb.0.entry:
 172     liveins: $q0, $q1, $q2
 173
 174     ; CHECK-LABEL: name: vpnot_lots
 175     ; CHECK: liveins: $q0, $q1, $q2
 176     ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 177     ; CHECK: BUNDLE implicit-def $p0, implicit-def $vpr, implicit $q1, implicit $zr, implicit killed $vpr {
 178     ; CHECK:   MVE_VPST 8, implicit-def $p0
 179     ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 180     ; CHECK:   renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
 181     ; CHECK: }
 182     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 183     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 184     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 185     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 186     ; CHECK: BUNDLE implicit-def $p0, implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q2, implicit $zr, implicit killed $vpr, implicit killed $q0, implicit killed $q1 {
 187     ; CHECK:   MVE_VPST 8, implicit-def $p0
 188     ; CHECK:   renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 189     ; CHECK:   renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, internal killed renamable $vpr
 190     ; CHECK: }
 191     ; CHECK: tBX_RET 14, $noreg, implicit $q0
 192     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 193     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 194     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 195     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 196     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 197     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 198     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 199     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 200     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 201     tBX_RET 14, $noreg, implicit $q0
 202
 203 ...
 204 ---
 205 name:            vpnot_first
 206 alignment:       2
 207 tracksRegLiveness: true
 208 liveins:
 209   - { reg: '$q0', virtual-reg: '' }
 210   - { reg: '$q1', virtual-reg: '' }
 211   - { reg: '$q2', virtual-reg: '' }
 212 body:             |
 213   bb.0.entry:
 214     liveins: $q0, $q1, $q2
 215
 216     ; CHECK-LABEL: name: vpnot_first
 217     ; CHECK: liveins: $q0, $q1, $q2
 218     ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 219     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 220     ; CHECK: BUNDLE implicit-def $p0, implicit-def dead $vpr, implicit-def $q0, implicit-def $d0, implicit-def $s0, implicit-def $s1, implicit-def $d1, implicit-def $s2, implicit-def $s3, implicit killed $q1, implicit $zr, implicit killed $vpr, implicit killed $q2, implicit killed $q0 {
 221     ; CHECK:   MVE_VPST 4, implicit-def $p0
 222     ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 223     ; CHECK:   renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, internal killed renamable $vpr
 224     ; CHECK:   renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, internal killed renamable $vpr
 225     ; CHECK: }
 226     ; CHECK: tBX_RET 14, $noreg, implicit $q0
 227     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 228     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 229     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 230     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 231     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 232     tBX_RET 14, $noreg, implicit $q0
 233
 234 ...
 235 ---
 236 name:            vpnot_many
 237 alignment:       2
 238 tracksRegLiveness: true
 239 liveins:
 240   - { reg: '$q0', virtual-reg: '' }
 241   - { reg: '$q1', virtual-reg: '' }
 242   - { reg: '$q2', virtual-reg: '' }
 243 body:             |
 244   bb.0.entry:
 245     liveins: $q0, $q1, $q2
 246
 247     ; CHECK-LABEL: name: vpnot_many
 248     ; CHECK: liveins: $q0, $q1, $q2
 249     ; CHECK: renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 250     ; CHECK: renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 251     ; CHECK: BUNDLE implicit-def $p0, implicit-def $vpr, implicit $q1, implicit $zr, implicit killed $vpr {
 252     ; CHECK:   MVE_VPST 8, implicit-def $p0
 253     ; CHECK:   renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 254     ; CHECK:   renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
 255     ; CHECK: }
 256     ; CHECK: BUNDLE implicit-def $p0, implicit-def $vpr, implicit killed $q2, implicit $zr, implicit killed $vpr {
 257     ; CHECK:   MVE_VPST 8, implicit-def $p0
 258     ; CHECK:   renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 259     ; CHECK:   renamable $vpr = MVE_VPNOT internal killed renamable $vpr, 0, $noreg
 260     ; CHECK: }
 261     ; CHECK: renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 262     ; CHECK: tBX_RET 14, $noreg, implicit $q0
 263     renamable $vpr = MVE_VCMPs32r renamable $q0, $zr, 11, 0, $noreg
 264     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 265     renamable $vpr = MVE_VCMPs32r renamable $q1, $zr, 12, 1, killed renamable $vpr
 266     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 267     renamable $vpr = MVE_VCMPi32r killed renamable $q2, $zr, 0, 1, killed renamable $vpr
 268     renamable $vpr = MVE_VPNOT killed renamable $vpr, 0, $noreg
 269     renamable $q0 = MVE_VPSEL killed renamable $q0, killed renamable $q1, 0, killed renamable $vpr
 270     tBX_RET 14, $noreg, implicit $q0
 271
 272 ...