aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/MachineVerifier
diff options
context:
space:
mode:
authorAmara Emerson <amara@apple.com>2022-09-22 15:41:27 +0100
committerAmara Emerson <amara@apple.com>2022-09-22 16:05:07 +0100
commit885a87033c15cb91c91e70f77cb4b5764d4f3399 (patch)
tree23aa48e710140a7f25d7fca6401be013e124ada5 /llvm/test/MachineVerifier
parent60990d9042b9668001bcfa095b970558fc63e5a9 (diff)
downloadllvm-885a87033c15cb91c91e70f77cb4b5764d4f3399.zip
llvm-885a87033c15cb91c91e70f77cb4b5764d4f3399.tar.gz
llvm-885a87033c15cb91c91e70f77cb4b5764d4f3399.tar.bz2
[GlobalISel] Enforce G_ASSERT_ALIGN to have a valid alignment > 0.
Diffstat (limited to 'llvm/test/MachineVerifier')
-rw-r--r--llvm/test/MachineVerifier/test_g_assert_align.mir17
1 files changed, 17 insertions, 0 deletions
diff --git a/llvm/test/MachineVerifier/test_g_assert_align.mir b/llvm/test/MachineVerifier/test_g_assert_align.mir
new file mode 100644
index 0000000..6404050
--- /dev/null
+++ b/llvm/test/MachineVerifier/test_g_assert_align.mir
@@ -0,0 +1,17 @@
+#RUN: not --crash llc -march=aarch64 -o - -global-isel -run-pass=none -verify-machineinstrs %s 2>&1 | FileCheck %s
+# REQUIRES: aarch64-registered-target
+
+---
+name: test_assert_align
+legalized: true
+regBankSelected: false
+selected: false
+tracksRegLiveness: true
+liveins:
+body: |
+ bb.0:
+ liveins: $x0, $q0
+ %ptr:_(p0) = COPY $x0
+
+ ; CHECK: Bad machine code: alignment immediate must be >= 1
+ %v:_(s32) = G_ASSERT_ALIGN %ptr:_(p0), 0