40 lines · plain
1# RUN: not --crash llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx942 -run-pass=none -filetype=null %s 2>&1 | FileCheck -implicit-check-not="Bad machine code" %s2--- |3 define void @mismatched_range_type() {4 ret void5 }6 7 !0 = !{i64 -4294967295, i64 4294967296}8 9...10---11name: mismatched_range_type12tracksRegLiveness: true13body: |14 bb.0:15 liveins: $vgpr0, $vgpr116 17 %1:_(s32) = COPY $vgpr018 %2:_(s32) = COPY $vgpr119 %0:_(p1) = G_MERGE_VALUES %1(s32), %2(s32)20 21 ; CHECK: Bad machine code: range is incompatible with the result type22 %3:_(<2 x s32>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)23 24 ; CHECK: Bad machine code: range is incompatible with the result type25 %4:_(p0) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)26 27 ; CHECK: Bad machine code: range is incompatible with the result type28 %5:_(<2 x p0>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)29 30 ; CHECK: Bad machine code: range is incompatible with the result type31 %6:_(<3 x s64>) = G_LOAD %0(p1) :: (volatile load (s64), align 4, !range !0, addrspace 1)32 33 ; CHECK: Bad machine code: range is incompatible with the result type34 %7:_(<3 x s64>) = G_LOAD %0(p1) :: (volatile load (<2 x s64>), align 4, !range !0, addrspace 1)35 36 $vgpr0_vgpr1 = COPY %337 SI_RETURN implicit $vgpr0_vgpr138 39...40