test/CodeGen/ARM/GlobalISel/thumb-select-imm.mir

   1 # RUN: llc -O0 -mtriple thumb-- -mattr=+v6t2 -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   2 --- |
   3   define void @test_movi() { ret void }
   4   define void @test_movi16() { ret void }
   5   define void @test_movi32() { ret void }
   6 ...
   7 ---
   8 name:            test_movi
   9 # CHECK-LABEL: name: test_movi
  10 legalized:       true
  11 regBankSelected: true
  12 selected:        false
  13 # CHECK: selected: true
  14 registers:
  15   - { id: 0, class: gprb }
  16 body:             |
  17   bb.0:
  18     %0(s32) = G_CONSTANT i32 786444 ; 0x000c000c
  19     ; CHECK: [[VREGRES:%[0-9]+]]:rgpr = t2MOVi 786444, 14, $noreg, $noreg
  20
  21     $r0 = COPY %0(s32)
  22     ; CHECK: $r0 = COPY [[VREGRES]]
  23
  24     BX_RET 14, $noreg, implicit $r0
  25     ; CHECK: BX_RET 14, $noreg, implicit $r0
  26 ...
  27 ---
  28 name:            test_movi16
  29 # CHECK-LABEL: name: test_movi16
  30 legalized:       true
  31 regBankSelected: true
  32 selected:        false
  33 # CHECK: selected: true
  34 registers:
  35   - { id: 0, class: gprb }
  36 body:             |
  37   bb.0:
  38     %0(s32) = G_CONSTANT i32 65533
  39     ; CHECK: [[VREGRES:%[0-9]+]]:rgpr = t2MOVi16 65533, 14, $noreg
  40
  41     $r0 = COPY %0(s32)
  42     ; CHECK: $r0 = COPY [[VREGRES]]
  43
  44     BX_RET 14, $noreg, implicit $r0
  45     ; CHECK: BX_RET 14, $noreg, implicit $r0
  46 ...
  47 ---
  48 name:            test_movi32
  49 # CHECK-LABEL: name: test_movi32
  50 legalized:       true
  51 regBankSelected: true
  52 selected:        false
  53 # CHECK: selected: true
  54 registers:
  55   - { id: 0, class: gprb }
  56 body:             |
  57   bb.0:
  58     %0(s32) = G_CONSTANT i32 185470479 ; 0x0b0e0e0f
  59     ; CHECK: [[VREGY:%[0-9]+]]:rgpr = t2MOVi32imm 185470479
  60
  61     $r0 = COPY %0(s32)
  62     ; CHECK: $r0 = COPY [[VREGRES]]
  63
  64     BX_RET 14, $noreg, implicit $r0
  65     ; CHECK: BX_RET 14, $noreg, implicit $r0
  66 ...