llvm/test/MachineVerifier/test_g_memset.mir

   1 #RUN: not --crash llc -o - -mtriple=arm64 -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
   2 # REQUIRES: aarch64-registered-target
   3 ---
   4 name:            test_memset
   5 legalized:       true
   6 regBankSelected: false
   7 selected:        false
   8 tracksRegLiveness: true
   9 liveins:
  10 body:             |
  11   bb.0:
  12
  13     %0:_(p0) = G_CONSTANT i64 0
  14     %1:_(s64) = G_CONSTANT i64 4
  15     %2:_(s8) = G_CONSTANT i8 7
  16
  17     ; CHECK: *** Bad machine code: memset must have 1 memory operand ***
  18     G_MEMSET %0, %1, %2, 0
  19
  20     ; CHECK: *** Bad machine code: memset memory operand must be a store ***
  21     G_MEMSET %0, %1, %2, 0 :: (load (s32))
  22
  23     ; CHECK: *** Bad machine code: Missing mayLoad flag ***
  24     ; CHECK: *** Bad machine code: memset memory operand must be a store ***
  25     G_MEMSET %0, %1, %2, 0 :: (load store (s32))
  26
  27     ; CHECK: *** Bad machine code: inconsistent memset address space ***
  28     G_MEMSET %0, %1, %2, 0 :: (store (s32), addrspace 1)
  29
  30    ; CHECK: *** Bad machine code: memset operand must be a pointer ***
  31     G_MEMSET %1, %1, %2, 0 :: (store (s32))
  32
  33 ...