Home | History | Annotate | Download | only in SVE
      1 // RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve  2>&1 < %s| FileCheck %s
      2 
      3 // --------------------------------------------------------------------------//
      4 // Invalid operand (.b)
      5 
      6 ldnf1sb z23.b, p0/z, [x13, #1, MUL VL]
      7 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
      8 // CHECK-NEXT: ldnf1sb z23.b, p0/z, [x13, #1, MUL VL]
      9 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     10 
     11 ldnf1sb z29.b, p0/z, [x3, #1, MUL VL]
     12 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width
     13 // CHECK-NEXT: ldnf1sb z29.b, p0/z, [x3, #1, MUL VL]
     14 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     15 
     16 
     17 // --------------------------------------------------------------------------//
     18 // Immediate out of lower bound [-8, 7].
     19 
     20 ldnf1sb z21.h, p4/z, [x17, #-9, MUL VL]
     21 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     22 // CHECK-NEXT: ldnf1sb z21.h, p4/z, [x17, #-9, MUL VL]
     23 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     24 
     25 ldnf1sb z10.h, p5/z, [x16, #8, MUL VL]
     26 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     27 // CHECK-NEXT: ldnf1sb z10.h, p5/z, [x16, #8, MUL VL]
     28 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     29 
     30 ldnf1sb z30.s, p6/z, [x25, #-9, MUL VL]
     31 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     32 // CHECK-NEXT: ldnf1sb z30.s, p6/z, [x25, #-9, MUL VL]
     33 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     34 
     35 ldnf1sb z29.s, p5/z, [x15, #8, MUL VL]
     36 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     37 // CHECK-NEXT: ldnf1sb z29.s, p5/z, [x15, #8, MUL VL]
     38 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     39 
     40 ldnf1sb z28.d, p2/z, [x28, #-9, MUL VL]
     41 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     42 // CHECK-NEXT: ldnf1sb z28.d, p2/z, [x28, #-9, MUL VL]
     43 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     44 
     45 ldnf1sb z27.d, p1/z, [x26, #8, MUL VL]
     46 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be an integer in range [-8, 7].
     47 // CHECK-NEXT: ldnf1sb z27.d, p1/z, [x26, #8, MUL VL]
     48 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     49 
     50 
     51 // --------------------------------------------------------------------------//
     52 // restricted predicate has range [0, 7].
     53 
     54 ldnf1sb z9.h, p8/z, [x25, #1, MUL VL]
     55 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
     56 // CHECK-NEXT: ldnf1sb z9.h, p8/z, [x25, #1, MUL VL]
     57 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     58 
     59 ldnf1sb z12.s, p8/z, [x13, #1, MUL VL]
     60 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
     61 // CHECK-NEXT: ldnf1sb z12.s, p8/z, [x13, #1, MUL VL]
     62 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     63 
     64 ldnf1sb z4.d, p8/z, [x11, #1, MUL VL]
     65 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
     66 // CHECK-NEXT: ldnf1sb z4.d, p8/z, [x11, #1, MUL VL]
     67 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     68 
     69 
     70 // --------------------------------------------------------------------------//
     71 // Invalid vector list.
     72 
     73 ldnf1sb { }, p0/z, [x1, #1, MUL VL]
     74 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector register expected
     75 // CHECK-NEXT: ldnf1sb { }, p0/z, [x1, #1, MUL VL]
     76 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     77 
     78 ldnf1sb { z1.h, z2.h }, p0/z, [x1, #1, MUL VL]
     79 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
     80 // CHECK-NEXT: ldnf1sb { z1.h, z2.h }, p0/z, [x1, #1, MUL VL]
     81 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     82 
     83 ldnf1sb { v0.2d }, p0/z, [x1, #1, MUL VL]
     84 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
     85 // CHECK-NEXT: ldnf1sb { v0.2d }, p0/z, [x1, #1, MUL VL]
     86 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     87 
     88 
     89 // --------------------------------------------------------------------------//
     90 // Negative tests for instructions that are incompatible with movprfx
     91 
     92 movprfx z21.d, p5/z, z28.d
     93 ldnf1sb   { z21.d }, p5/z, [x10, #5, mul vl]
     94 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
     95 // CHECK-NEXT: ldnf1sb   { z21.d }, p5/z, [x10, #5, mul vl]
     96 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     97 
     98 movprfx z21, z28
     99 ldnf1sb   { z21.d }, p5/z, [x10, #5, mul vl]
    100 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
    101 // CHECK-NEXT: ldnf1sb   { z21.d }, p5/z, [x10, #5, mul vl]
    102 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
    103