[llvm] [MachineVerifier] Report errors from one thread at a time (PR #111605)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Tue Oct 8 23:21:17 PDT 2024
================
@@ -0,0 +1,55 @@
+# RUN: not --crash llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
+# This test ensures that the address is checked in machine verifier.
+
+---
+name: baz
+tracksRegLiveness: true
+body: |
+ bb.0:
+ successors: %bb.1(0x80000000)
+ liveins: $rdi, $xmm0
+
+ %1:vr128 = COPY $xmm0
+ %0:gr64 = COPY $rdi
+ %2:vr128 = COPY %1
+
+ bb.1:
+ successors: %bb.1(0x80000000)
+
+ %3:vr256 = AVX_SET0
+ %4:vr128 = VPSLLDri %2, 31
+ %5:vr256 = VPMOVSXDQYrr killed %4
+ %8:vr256 = IMPLICIT_DEF
+ %6:vr256, %7:vr256 = VGATHERQPDYrm %3, %0, 16, killed %8, 0, $noreg, %5 :: (load unknown-size, align 8)
+ %9:vr128 = COPY %6.sub_xmm
+ VMOVLPDmr $noreg, 1, $noreg, 1111111111111, $noreg, killed %9 :: (store (s64) into `ptr undef`)
+ JMP_1 %bb.1
+
+...
+---
+name: bar
+tracksRegLiveness: true
+body: |
+ bb.0:
+ successors: %bb.1(0x80000000)
+ liveins: $rdi, $xmm0
+
+ %1:vr128 = COPY $xmm0
+ %0:gr64 = COPY $rdi
+ %2:vr128 = COPY %1
+
+ bb.1:
+ successors: %bb.1(0x80000000)
+
+ %3:vr256 = AVX_SET0
+ %4:vr128 = VPSLLDri %2, 31
+ %5:vr256 = VPMOVSXDQYrr killed %4
+ %8:vr256 = IMPLICIT_DEF
+ %6:vr256, %7:vr256 = VGATHERQPDYrm %3, %0, 16, killed %8, 0, $noreg, %5 :: (load unknown-size, align 8)
+ %9:vr128 = COPY %6.sub_xmm
+ VMOVLPDmr $noreg, 1, $noreg, 1111111111111, $noreg, killed %9 :: (store (s64) into `ptr undef`)
+ JMP_1 %bb.1
+
+...
+
+; CHECK: LLVM ERROR: Found 2 machine code errors
----------------
arsenm wrote:
Check the error messages too?
https://github.com/llvm/llvm-project/pull/111605
More information about the llvm-commits
mailing list