Add a test case for the diagnostic of a wrongly typed generic instruction
# RUN: not llc -march=x86-64 -start-after machine-sink -stop-after machine-sink -o /dev/null %s 2>&1 | FileCheck %s
# This test ensures that the MIR parser report an error for
# opaque types used on generic instruction.

---
name:            bar
isSSA:           true
registers:
  - { id: 0, class: gr32 }
body: |
  bb.0.entry:
    liveins: %edi
    ; CHECK: [[@LINE+1]]:20: expected a sized type
    %0(32) = G_ADD %opaque %edi, %edi
...