Assertion `BitWidth == DL.getIndexTypeSizeInBits(getType()) && "The offset bit width does not match the DL specification."' failed

[ShuoerWang542]

llvm-project/llvm/lib/IR/Value.cpp:711: const llvm::Value *llvm::Value::stripAndAccumulateConstantOffsets(const llvm::DataLayout &, llvm::APInt &, bool, bool, function_ref<bool (llvm::Value &, llvm::APInt &)>) const: Assertion `BitWidth == DL.getIndexTypeSizeInBits(getType()) && "The offset bit width does not match the DL specification."' failed.

llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp

Lines 1567 to 1568 in 1a4dc18

	APInt Offset(DL.getTypeSizeInBits(Address->getType()), 0);
	Address = Address->stripAndAccumulateInBoundsConstantOffsets(DL, Offset);

DL.getTypeSizeInBits is used, but inside stripAndAccumulateInBoundsConstantOffsets function:

llvm-project/llvm/lib/IR/Value.cpp

Line 723 in 1a4dc18

assert(BitWidth == DL.getIndexTypeSizeInBits(getType()) &&

DL.getIndexTypeSizeInBits is used for assertion. If the DataLayout of an address space p[n]:<size>:<abi>[:<pref>][:<idx>] has different size and idx, the assertion would fail.

Is this intended? the type size and index size has to match here?

[llvmbot]

@llvm/issue-subscribers-debuginfo

Author: Wang Shuoer (ShuoerWang542)

llvm-project/llvm/lib/IR/Value.cpp:711: const llvm::Value *llvm::Value::stripAndAccumulateConstantOffsets(const llvm::DataLayout &, llvm::APInt &, bool, bool, function_ref<bool (llvm::Value &, llvm::APInt &)>) const: Assertion `BitWidth == DL.getIndexTypeSizeInBits(getType()) && "The offset bit width does not match the DL specification."' failed.

llvm-project/llvm/lib/CodeGen/SelectionDAG/SelectionDAGISel.cpp

Lines 1567 to 1568 in 1a4dc18

	APInt Offset(DL.getTypeSizeInBits(Address->getType()), 0);
	Address = Address->stripAndAccumulateInBoundsConstantOffsets(DL, Offset);

DL.getTypeSizeInBits is used, but inside stripAndAccumulateInBoundsConstantOffsets function:

llvm-project/llvm/lib/IR/Value.cpp

Line 723 in 1a4dc18

assert(BitWidth == DL.getIndexTypeSizeInBits(getType()) &&

DL.getIndexTypeSizeInBits is used for assertion. If the DataLayout of an address space is for example 64:64:64:32, the IndexTypeSize would not match the TypeSize, causing the assertion fail.

Is this intended? the type size and index size has to match here?

[EugeneZelenko]

Could you please provide reproducer, preferably on https://godbolt.org?

[ShuoerWang542]

Solved internally.

[ShuoerWang542]

Could you please provide reproducer, preferably on https://godbolt.org?

It would require modifying target machine's data layout. So it cannot be reproduced with only ir or source.

Here is an ll that can be used to reproduce, just use default llc. But you will need to modify the address space 272 to p272:64:64:64:32 at

llvm-project/llvm/lib/Target/X86/X86TargetMachine.cpp

Line 135 in 74ec038

Ret += "-p270:32:32-p271:32:32-p272:64:64";

target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64:64:32-i64:64-f80:128-n8:16:32:64-S128"

declare void @llvm.dbg.declare(metadata, metadata, metadata)

define void @foo() !dbg !5 {
entry:
%x = alloca i32, addrspace(272)

call void @llvm.dbg.declare(
metadata ptr addrspace(272) %x,
metadata !10,
metadata !DIExpression()
), !dbg !11

ret void
}

!llvm.dbg.cu = !{!0}
!llvm.module.flags = !{!1}
!llvm.ident = !{!2}

!0 = distinct !DICompileUnit(language: DW_LANG_C, file: !3, producer: "dbgtest", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)
!1 = !{i32 2, !"Debug Info Version", i32 3}
!2 = !{!"LLVM Example"}
!3 = !DIFile(filename: "test.c", directory: "/")
!5 = distinct !DISubprogram(name: "foo", scope: !3, file: !3, line: 1, type: !6, scopeLine: 1, unit: !0, retainedNodes: !{})
!6 = !DISubroutineType(types: !7)
!7 = !{null}
!10 = !DILocalVariable(name: "x", scope: !5, file: !3, line: 2, type: !8)
!8 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!11 = !DILocation(line: 2, column: 3, scope: !5)

[nikic]

The straightforward fix for this doesn't work because we apparently don't verify that the first argument to dbg.declare is actually a pointer. Should address that first.