llvm/test/Verifier/sme-attributes.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 declare void @sm_attrs() "aarch64_pstate_sm_enabled" "aarch64_pstate_sm_compatible";
   4 ; CHECK: Attributes 'aarch64_pstate_sm_enabled and aarch64_pstate_sm_compatible' are incompatible!
   5
   6 declare void @za_new_preserved() "aarch64_new_za" "aarch64_preserves_za";
   7 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
   8
   9 declare void @za_new_in() "aarch64_new_za" "aarch64_in_za";
  10 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  11
  12 declare void @za_new_inout() "aarch64_new_za" "aarch64_inout_za";
  13 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  14
  15 declare void @za_new_out() "aarch64_new_za" "aarch64_out_za";
  16 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  17
  18 declare void @za_preserved_in() "aarch64_preserves_za" "aarch64_in_za";
  19 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  20
  21 declare void @za_preserved_inout() "aarch64_preserves_za" "aarch64_inout_za";
  22 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  23
  24 declare void @za_preserved_out() "aarch64_preserves_za" "aarch64_out_za";
  25 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  26
  27 declare void @za_in_inout() "aarch64_in_za" "aarch64_inout_za";
  28 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  29
  30 declare void @za_in_out() "aarch64_in_za" "aarch64_out_za";
  31 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  32
  33 declare void @za_inout_out() "aarch64_inout_za" "aarch64_out_za";
  34 ; CHECK: Attributes 'aarch64_new_za', 'aarch64_in_za', 'aarch64_out_za', 'aarch64_inout_za' and 'aarch64_preserves_za' are mutually exclusive
  35
  36 declare void @zt0_new_preserved() "aarch64_new_zt0" "aarch64_preserves_zt0";
  37 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  38
  39 declare void @zt0_new_in() "aarch64_new_zt0" "aarch64_in_zt0";
  40 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  41
  42 declare void @zt0_new_inout() "aarch64_new_zt0" "aarch64_inout_zt0";
  43 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  44
  45 declare void @zt0_new_out() "aarch64_new_zt0" "aarch64_out_zt0";
  46 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  47
  48 declare void @zt0_preserved_in() "aarch64_preserves_zt0" "aarch64_in_zt0";
  49 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  50
  51 declare void @zt0_preserved_inout() "aarch64_preserves_zt0" "aarch64_inout_zt0";
  52 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  53
  54 declare void @zt0_preserved_out() "aarch64_preserves_zt0" "aarch64_out_zt0";
  55 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  56
  57 declare void @zt0_in_inout() "aarch64_in_zt0" "aarch64_inout_zt0";
  58 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  59
  60 declare void @zt0_in_out() "aarch64_in_zt0" "aarch64_out_zt0";
  61 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive
  62
  63 declare void @zt0_inout_out() "aarch64_inout_zt0" "aarch64_out_zt0";
  64 ; CHECK: Attributes 'aarch64_new_zt0', 'aarch64_in_zt0', 'aarch64_out_zt0', 'aarch64_inout_zt0' and 'aarch64_preserves_zt0' are mutually exclusive