llvm/test/MachineVerifier/test_g_constant_pool.mir

   1 # RUN: not --crash llc -o - -mtriple=arm64 -global-isel -run-pass=none \
   2 # RUN:   -verify-machineinstrs %s 2>&1 | FileCheck %s
   3 # REQUIRES: aarch64-registered-target
   4
   5 ---
   6 name:            test_constant_pool
   7 constants:
   8   - id:          0
   9     value:       'double 3.250000e+00'
  10 stack:
  11   - { id: 0, size: 64, alignment: 8 }
  12 legalized:       true
  13 regBankSelected: false
  14 selected:        false
  15 tracksRegLiveness: true
  16 liveins:
  17 body:             |
  18   bb.0:
  19
  20     ; CHECK: Bad machine code: Too few operands
  21     %0:_(p0) = G_CONSTANT_POOL
  22
  23     ; CHECK: Bad machine code: Src operand 1 must be a constant pool index
  24     %1:_(p0) = G_CONSTANT_POOL 1
  25
  26     ; CHECK: Bad machine code: Src operand 1 must be a constant pool index
  27     %2:_(p0) = G_CONSTANT_POOL i32 1
  28
  29     ; CHECK: Bad machine code: Src operand 1 must be a constant pool index
  30     %3:_(p0) = G_CONSTANT_POOL %stack.0
  31
  32     ; CHECK: Dst operand 0 must be a pointer
  33     %4:_(s32) = G_CONSTANT_POOL %const.0
  34
  35     ; CHECK: Dst operand 0 must be a pointer
  36     %5:_(s64) = G_CONSTANT_POOL %const.0
  37
  38     ; CHECK-NOT: %6
  39     %6:_(p0) = G_CONSTANT_POOL %const.0
  40 ...