1 // RUN: not llvm-mc -triple=aarch64 -show-encoding -mattr=+sve 2>&1 < %s| FileCheck %s 2 3 lsr z30.b, z10.b, #0 4 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 8] 5 // CHECK-NEXT: lsr z30.b, z10.b, #0 6 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 7 8 lsr z18.b, z27.b, #9 9 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 8] 10 // CHECK-NEXT: lsr z18.b, z27.b, #9 11 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 12 13 lsr z18.b, p0/m, z28.b, #0 14 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 8] 15 // CHECK-NEXT: lsr z18.b, p0/m, z28.b, #0 16 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 17 18 lsr z1.b, p0/m, z9.b, #9 19 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 8] 20 // CHECK-NEXT: lsr z1.b, p0/m, z9.b, #9 21 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 22 23 lsr z26.h, z4.h, #0 24 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 16] 25 // CHECK-NEXT: lsr z26.h, z4.h, #0 26 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 27 28 lsr z25.h, z10.h, #17 29 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 16] 30 // CHECK-NEXT: lsr z25.h, z10.h, #17 31 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 32 33 lsr z21.h, p0/m, z2.h, #0 34 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 16] 35 // CHECK-NEXT: lsr z21.h, p0/m, z2.h, #0 36 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 37 38 lsr z14.h, p0/m, z30.h, #17 39 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 16] 40 // CHECK-NEXT: lsr z14.h, p0/m, z30.h, #17 41 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 42 43 lsr z17.s, z0.s, #0 44 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 32] 45 // CHECK-NEXT: lsr z17.s, z0.s, #0 46 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 47 48 lsr z0.s, z15.s, #33 49 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 32] 50 // CHECK-NEXT: lsr z0.s, z15.s, #33 51 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 52 53 lsr z6.s, p0/m, z12.s, #0 54 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 32] 55 // CHECK-NEXT: lsr z6.s, p0/m, z12.s, #0 56 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 57 58 lsr z23.s, p0/m, z19.s, #33 59 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 32] 60 // CHECK-NEXT: lsr z23.s, p0/m, z19.s, #33 61 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 62 63 lsr z4.d, z13.d, #0 64 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 64] 65 // CHECK-NEXT: lsr z4.d, z13.d, #0 66 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 67 68 lsr z26.d, z26.d, #65 69 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 64] 70 // CHECK-NEXT: lsr z26.d, z26.d, #65 71 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 72 73 lsr z3.d, p0/m, z24.d, #0 74 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 64] 75 // CHECK-NEXT: lsr z3.d, p0/m, z24.d, #0 76 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 77 78 lsr z25.d, p0/m, z16.d, #65 79 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: immediate must be an integer in range [1, 64] 80 // CHECK-NEXT: lsr z25.d, p0/m, z16.d, #65 81 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 82 83 84 // --------------------------------------------------------------------------// 85 // Source and Destination Registers must match 86 87 lsr z0.b, p0/m, z1.b, z2.b 88 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must match destination register 89 // CHECK-NEXT: lsr z0.b, p0/m, z1.b, z2.b 90 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 91 92 lsr z0.b, p0/m, z1.b, #1 93 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: operand must match destination register 94 // CHECK-NEXT: lsr z0.b, p0/m, z1.b, #1 95 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 96 97 98 // --------------------------------------------------------------------------// 99 // Element sizes must match 100 101 lsr z0.b, z0.d, z1.d 102 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width 103 // CHECK-NEXT: lsr z0.b, z0.d, z1.d 104 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 105 106 lsr z0.b, p0/m, z0.d, z1.d 107 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width 108 // CHECK-NEXT: lsr z0.b, p0/m, z0.d, z1.d 109 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 110 111 lsr z0.b, p0/m, z0.b, z1.h 112 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: invalid element width 113 // CHECK-NEXT: lsr z0.b, p0/m, z0.b, z1.h 114 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 115 116 117 // --------------------------------------------------------------------------// 118 // Predicate not in restricted predicate range 119 120 lsr z0.b, p8/m, z0.b, z1.b 121 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: restricted predicate has range [0, 7]. 122 // CHECK-NEXT: lsr z0.b, p8/m, z0.b, z1.b 123 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 124 125 126 // --------------------------------------------------------------------------// 127 // Negative tests for instructions that are incompatible with movprfx 128 129 movprfx z31.d, p0/z, z6.d 130 lsr z31.d, z31.d, #64 131 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov 132 // CHECK-NEXT: lsr z31.d, z31.d, #64 133 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 134 135 movprfx z31, z6 136 lsr z31.d, z31.d, #64 137 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov 138 // CHECK-NEXT: lsr z31.d, z31.d, #64 139 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 140 141 movprfx z0.s, p0/z, z7.s 142 lsr z0.s, z1.s, z2.d 143 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov 144 // CHECK-NEXT: lsr z0.s, z1.s, z2.d 145 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 146 147 movprfx z0, z7 148 lsr z0.s, z1.s, z2.d 149 // CHECK: [[@LINE-1]]:{{[0-9]+}}: error: instruction is unpredictable when following a movprfx, suggest replacing movprfx with mov 150 // CHECK-NEXT: lsr z0.s, z1.s, z2.d 151 // CHECK-NOT: [[@LINE-1]]:{{[0-9]+}}: 152