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 // --------------------------------------------------------------------------//
      5 // Immediate out of lower bound [-16, 14].
      6 
      7 ld2b {z12.b, z13.b}, p4/z, [x12, #-18, MUL VL]
      8 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be a multiple of 2 in range [-16, 14].
      9 // CHECK-NEXT: ld2b {z12.b, z13.b}, p4/z, [x12, #-18, MUL VL]
     10 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     11 
     12 ld2b {z7.b, z8.b}, p3/z, [x1, #16, MUL VL]
     13 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be a multiple of 2 in range [-16, 14].
     14 // CHECK-NEXT: ld2b {z7.b, z8.b}, p3/z, [x1, #16, MUL VL]
     15 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     16 
     17 
     18 // --------------------------------------------------------------------------//
     19 // Immediate not a multiple of two.
     20 
     21 ld2b {z12.b, z13.b}, p4/z, [x12, #-7, MUL VL]
     22 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be a multiple of 2 in range [-16, 14].
     23 // CHECK-NEXT: ld2b {z12.b, z13.b}, p4/z, [x12, #-7, MUL VL]
     24 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     25 
     26 ld2b {z7.b, z8.b}, p3/z, [x1, #5, MUL VL]
     27 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: index must be a multiple of 2 in range [-16, 14].
     28 // CHECK-NEXT: ld2b {z7.b, z8.b}, p3/z, [x1, #5, MUL VL]
     29 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     30 
     31 
     32 // --------------------------------------------------------------------------//
     33 // Invalid scalar + scalar addressing modes
     34 
     35 ld2b { z0.b, z1.b }, p0/z, [x0, xzr]
     36 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 without shift
     37 // CHECK-NEXT: ld2b { z0.b, z1.b }, p0/z, [x0, xzr]
     38 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     39 
     40 ld2b { z0.b, z1.b }, p0/z, [x0, x0, lsl #1]
     41 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 without shift
     42 // CHECK-NEXT: ld2b { z0.b, z1.b }, p0/z, [x0, x0, lsl #1]
     43 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     44 
     45 ld2b { z0.b, z1.b }, p0/z, [x0, w0]
     46 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 without shift
     47 // CHECK-NEXT: ld2b { z0.b, z1.b }, p0/z, [x0, w0]
     48 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     49 
     50 ld2b { z0.b, z1.b }, p0/z, [x0, w0, uxtw]
     51 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: register must be x0..x30 without shift
     52 // CHECK-NEXT: ld2b { z0.b, z1.b }, p0/z, [x0, w0, uxtw]
     53 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     54 
     55 
     56 // --------------------------------------------------------------------------//
     57 // error: restricted predicate has range [0, 7].
     58 
     59 ld2b {z2.b, z3.b}, p8/z, [x15, #10, MUL VL]
     60 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7].
     61 // CHECK-NEXT: ld2b {z2.b, z3.b}, p8/z, [x15, #10, MUL VL]
     62 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     63 
     64 
     65 // --------------------------------------------------------------------------//
     66 // Invalid vector list.
     67 
     68 ld2b { }, p0/z, [x0]
     69 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: vector register expected
     70 // CHECK-NEXT: ld2b { }, p0/z, [x0]
     71 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     72 
     73 ld2b { z0.b, z1.b, z2.b }, p0/z, [x0]
     74 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
     75 // CHECK-NEXT: ld2b { z0.b, z1.b, z2.b }, p0/z, [x0]
     76 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     77 
     78 ld2b { z0.b, z1.h }, p0/z, [x0]
     79 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: mismatched register size suffix
     80 // CHECK-NEXT: ld2b { z0.b, z1.h }, p0/z, [x0]
     81 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     82 
     83 ld2b { z0.b, z2.b }, p0/z, [x0]
     84 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: registers must be sequential
     85 // CHECK-NEXT: ld2b { z0.b, z2.b }, p0/z, [x0]
     86 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     87 
     88 ld2b { v0.2d, v1.2d }, p0/z, [x0]
     89 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid operand
     90 // CHECK-NEXT: ld2b { v0.2d, v1.2d }, p0/z, [x0]
     91 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
     92 
     93 
     94 // --------------------------------------------------------------------------//
     95 // Negative tests for instructions that are incompatible with movprfx
     96 
     97 movprfx z21.b, p5/z, z28.b
     98 ld2b    { z21.b, z22.b }, p5/z, [x10, #10, mul vl]
     99 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
    100 // CHECK-NEXT: ld2b    { z21.b, z22.b }, p5/z, [x10, #10, mul vl]
    101 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
    102 
    103 movprfx z21, z28
    104 ld2b    { z21.b, z22.b }, p5/z, [x10, #10, mul vl]
    105 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov
    106 // CHECK-NEXT: ld2b    { z21.b, z22.b }, p5/z, [x10, #10, mul vl]
    107 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}:
    108