32 lines · plain
1# RUN: not --crash llc -mtriple=x86_64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s2# This test ensures that the address is checked in machine verifier.3 4---5name: baz6tracksRegLiveness: true7body: |8 bb.0:9 successors: %bb.1(0x80000000)10 liveins: $rdi, $xmm011 12 %1:vr128 = COPY $xmm013 %0:gr64 = COPY $rdi14 %2:vr128 = COPY %115 16 bb.1:17 successors: %bb.1(0x80000000)18 19 %3:vr256 = AVX_SET020 %4:vr128 = VPSLLDri %2, 3121 %5:vr256 = VPMOVSXDQYrr killed %422 %8:vr256 = IMPLICIT_DEF23 ; CHECK: *** Bad machine code: Scale factor in address must be 1, 2, 4 or 8 ***24 %6:vr256, %7:vr256 = VGATHERQPDYrm %3, %0, 16, killed %8, 0, $noreg, %5 :: (load unknown-size, align 8)25 %9:vr128 = COPY %6.sub_xmm26 ; CHECK: *** Bad machine code: Displacement in address must fit into 32-bit signed integer ***27 VMOVLPDmr $noreg, 1, $noreg, 1111111111111, $noreg, killed %9 :: (store (s64) into `ptr poison`)28 JMP_1 %bb.129 ; CHECK: LLVM ERROR: Found 2 machine code errors30 31...32