test/CodeGen/ARM/GlobalISel/arm-legalize-select.mir

   1 # RUN: llc -mtriple arm-- -run-pass=legalizer %s -o - | FileCheck %s
   2 # RUN: llc -mtriple thumb-- -mattr=+v6t2 -run-pass=legalizer %s -o - | FileCheck %s
   3 --- |
   4   define void @test_select_s32() { ret void }
   5   define void @test_select_ptr() { ret void }
   6 ...
   7 ---
   8 name:            test_select_s32
   9 # CHECK-LABEL: name: test_select_s32
  10 legalized:       false
  11 # CHECK: legalized: true
  12 regBankSelected: false
  13 selected:        false
  14 tracksRegLiveness: true
  15 registers:
  16   - { id: 0, class: _ }
  17   - { id: 1, class: _ }
  18   - { id: 2, class: _ }
  19   - { id: 3, class: _ }
  20 body:             |
  21   bb.0:
  22     liveins: $r0, $r1, $r2
  23
  24     %0(s32) = COPY $r0
  25     %1(s32) = COPY $r1
  26     %2(s1) = G_CONSTANT i1 1
  27     %3(s32) = G_SELECT %2(s1), %0, %1
  28     ; G_SELECT with s32 is legal, so we should find it unchanged in the output
  29     ; CHECK: {{%[0-9]+}}:_(s32) = G_SELECT {{%[0-9]+}}(s1), {{%[0-9]+}}, {{%[0-9]+}}
  30     $r0 = COPY %3(s32)
  31     BX_RET 14, $noreg, implicit $r0
  32 ...
  33 ---
  34 name:            test_select_ptr
  35 # CHECK-LABEL: name: test_select_ptr
  36 legalized:       false
  37 # CHECK: legalized: true
  38 regBankSelected: false
  39 selected:        false
  40 tracksRegLiveness: true
  41 registers:
  42   - { id: 0, class: _ }
  43   - { id: 1, class: _ }
  44   - { id: 2, class: _ }
  45   - { id: 3, class: _ }
  46 body:             |
  47   bb.0:
  48     liveins: $r0, $r1, $r2
  49
  50     %0(p0) = COPY $r0
  51     %1(p0) = COPY $r1
  52     %2(s1) = G_CONSTANT i1 0
  53     %3(p0) = G_SELECT %2(s1), %0, %1
  54     ; G_SELECT with p0 is legal, so we should find it unchanged in the output
  55     ; CHECK: {{%[0-9]+}}:_(p0) = G_SELECT {{%[0-9]+}}(s1), {{%[0-9]+}}, {{%[0-9]+}}
  56     $r0 = COPY %3(p0)
  57     BX_RET 14, $noreg, implicit $r0
  58 ...