| ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s | |
| ; CHECK: 'vscale_range' minimum must be greater than 0 | |
| declare ptr @a(ptr) vscale_range(0, 1) | |
| ; CHECK: 'vscale_range' minimum cannot be greater than maximum | |
| declare ptr @b(ptr) vscale_range(8, 1) | |
| ; CHECK: 'vscale_range' minimum must be power-of-two value | |
| declare ptr @c(ptr) vscale_range(3, 16) | |
| ; CHECK: 'vscale_range' maximum must be power-of-two value | |
| declare ptr @d(ptr) vscale_range(2, 5) |