thr3ads.net - llvm dev - [llvm-dev] assertion triggered since update to llvm 5 [Sep 2017]

If this information is useful, please help other people find it:
Share via:

Davide Italiano via llvm-dev

2017-Sep-17 18:12 UTC

[llvm-dev] assertion triggered since update to llvm 5

Can you please open a bug on bugzilla and attach the ir testcase? Your fix
doesn't look right (just hiding the assertion failure)

On Sep 17, 2017 10:45 AM, "Andrew Kelley via llvm-dev" <
llvm-dev at lists.llvm.org> wrote:
> What do you think about this patch?
>
> --- a/llvm/lib/Transforms/Scalar/NewGVN.cpp
> +++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp
> @@ -732,7 +732,7 @@ private:
>    MemoryPhi *getMemoryAccess(const BasicBlock *) const;
>    template <class T, class Range> T *getMinDFSOfRange(const Range
&)
> const;
>    unsigned InstrToDFSNum(const Value *V) const {
> -    assert(isa<Instruction>(V) && "This should not be
used for
> MemoryAccesses");
> +    assert(V == nullptr || (isa<Instruction>(V) &&
"This should not be
> used for MemoryAccesses"));
>      return InstrDFS.lookup(V);
>    }
>
>
>
> On Sat, Sep 16, 2017 at 1:48 PM, Andrew Kelley <superjoe30 at
gmail.com>
> wrote:
>
>> When zig updated to llvm 5 we started hitting this assertion:
>>
>> zig:
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>> static bool llvm::isa_impl_cl<To, const From*>::doit(const From*)
[with To
>> = llvm::Instruction; From = llvm::Value]: Assertion `Val &&
"isa<> used on
>> a null pointer"' failed.
>>
>> I wonder if however this was caused by an invalid assertion, because up
>> the stack is
>> #8  0x0000000004b58e68 in (anonymous namespace)::NewGVN::InstrToDFSNum
>> (this=0x7fffffffaf80,
>>     V=0x0) at /home/andy/downloads/llvm-proj
>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>> 735    assert(isa<Instruction>(V) && "This should
not be used for
>> MemoryAccesses");
>>
>>
>> With assertions off the code works fine.
>> Can anyone provide some guidance?
>>
>> Here is a full backtrace:
>>
>> zig:
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>> static bool llvm::isa_impl_cl<To, const From*>::doit(const From*)
[with To
>> = llvm::Instruction; From = llvm::Value]: Assertion `Val &&
"isa<> used on
>> a null pointer"' failed.
>>
>> Program received signal SIGABRT, Aborted.
>> 0x00007ffff698f3d4 in raise ()
>>    from /nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/
>> libc.so.6
>> (gdb) bt
>> #0  0x00007ffff698f3d4 in raise ()
>>    from /nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/
>> libc.so.6
>> #1  0x00007ffff699083a in abort ()
>>    from /nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/
>> libc.so.6
>> #2  0x00007ffff69881a7 in __assert_fail_base ()
>>    from /nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/
>> libc.so.6
>> #3  0x00007ffff6988252 in __assert_fail ()
>>    from /nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/
>> libc.so.6
>> #4  0x0000000002d70389 in llvm::isa_impl_cl<llvm::Instruction,
>> llvm::Value const*>::doit (
>>     Val=0x0) at /home/andy/downloads/llvm-proj
>> ect/llvm/include/llvm/Support/Casting.h:106
>> #5  0x0000000002d4f8af in llvm::isa_impl_wrap<llvm::Instruction,
>> llvm::Value const*, llvm::Value const*>::doit (Val=@0x7fffffffa678:
0x0)
>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>> Casting.h:133
>> #6  0x0000000002ece9a3 in llvm::isa_impl_wrap<llvm::Instruction,
>> llvm::Value const* const, llvm::Value const*>::doit
(Val=@0x7fffffffa6b0:
>> 0x0)
>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>> Casting.h:125
>> #7  0x0000000002ecd4f4 in llvm::isa<llvm::Instruction, llvm::Value
>> const*> (
>>     Val=@0x7fffffffa6b0: 0x0)
>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>> Casting.h:144
>> #8  0x0000000004b58e68 in (anonymous namespace)::NewGVN::InstrToDFSNum
>> (this=0x7fffffffaf80,
>>     V=0x0) at /home/andy/downloads/llvm-proj
>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>> #9  0x0000000004b6870d in (anonymous
namespace)::NewGVN::touchAndErase<llvm::DenseMap<llvm::Value
>> const*, llvm::SmallPtrSet<llvm::Value*, 2u> >,
llvm::Value*>
>> (this=0x7fffffffaf80, M=...,
>>     Key=@0x7fffffffa790: 0x9154cf8)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:1930
>> #10 0x0000000004b5d9b7 in (anonymous
namespace)::NewGVN::markUsersTouched
>> (this=0x7fffffffaf80,
>>     V=0x9154cf8) at /home/andy/downloads/llvm-proj
>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:1946
>> #11 0x0000000004b5f141 in (anonymous
namespace)::NewGVN::performCongruenceFinding
>> (
>>     this=0x7fffffffaf80, I=0x9154cf8, E=0x91d7b70)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:2269
>> #12 0x0000000004b62174 in (anonymous
namespace)::NewGVN::valueNumberInstruction
>> (
>>     this=0x7fffffffaf80, I=0x9154cf8)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:2801
>> #13 0x0000000004b63b4f in (anonymous
namespace)::NewGVN::iterateTouchedInstructions
>> (
>>     this=0x7fffffffaf80)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:3094
>> #14 0x0000000004b6431c in (anonymous namespace)::NewGVN::runGVN
>> (this=0x7fffffffaf80)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:3165
>> #15 0x0000000004b678db in (anonymous
namespace)::NewGVNLegacyPass::runOnFunction
>> (
>>     this=0x910ea50, F=...)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>> /NewGVN.cpp:3904
>> #16 0x00000000054d10fd in llvm::FPPassManager::runOnFunction
>> (this=0x9102260, F=...)
>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>> ger.cpp:1514
>> #17 0x0000000004f2a375 in (anonymous
namespace)::CGPassManager::RunPassOnSCC
>> (this=0x9100f00,
>>     P=0x9102260, CurSCC=..., CG=..., CallGraphUpToDate=@0x7fffffffbc2f:
>> true,
>>     DevirtualizedCall=@0x7fffffffbccf: false)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGrap
>> hSCCPass.cpp:149
>> #18 0x0000000004f2b349 in (anonymous
namespace)::CGPassManager::RunAllPassesOnSCC
>> (
>>     this=0x9100f00, CurSCC=..., CG=...,
DevirtualizedCall=@0x7fffffffbccf:
>> false)
>>     at /home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGrap
>> hSCCPass.cpp:419
>> #19 0x0000000004f2b643 in (anonymous
namespace)::CGPassManager::runOnModule
>> (this=0x9100f00,
>>     M=...) at /home/andy/downloads/llvm-proj
>> ect/llvm/lib/Analysis/CallGraphSCCPass.cpp:474
>> #20 0x00000000054d15c1 in (anonymous
namespace)::MPPassManager::runOnModule
>> (this=0x90f9970,
>> ---Type <return> to continue, or q <return> to quit---
>>     M=...) at /home/andy/downloads/llvm-proj
>> ect/llvm/lib/IR/LegacyPassManager.cpp:1591
>> #21 0x00000000054d1c73 in llvm::legacy::PassManagerImpl::run
>> (this=0x90f9480, M=...)
>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>> ger.cpp:1694
>> #22 0x00000000054d1e7f in llvm::legacy::PassManager::run
>> (this=0x7fffffffc010, M=...)
>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>> ger.cpp:1725
>> #23 0x0000000001d4017d in ZigLLVMTargetMachineEmitToFile
>> (targ_machine_ref=0x9080d50,
>>     module_ref=0x907e870, filename=0x90cf360
"./zig-cache/test.o",
>> file_type=LLVMObjectFile,
>>     error_message=0x7fffffffc2f8, is_debug=false) at
>> /home/andy/dev/zig/src/zig_llvm.cpp:166
>> #24 0x0000000001cd041d in do_code_gen (g=0x907a980) at
>> /home/andy/dev/zig/src/codegen.cpp:4379
>> #25 0x0000000001cd4634 in codegen_build (g=0x907a980) at
>> /home/andy/dev/zig/src/codegen.cpp:5484
>> #26 0x0000000001d1d564 in main (argc=4, argv=0x7fffffffca18)
>>     at /home/andy/dev/zig/src/main.cpp:666
>>
>>
>>
>> Here's the smallest zig test case to cause the problem:
>>
>>
>> export fn entry() {
>>     var bytes: []const u8 = "format";
>>     write(bytes);
>> }
>>
>> pub fn write(bytes: []const u8) {
>>     var index: usize = 0;
>>
>>     var src_index: usize = 0;
>>
>>     while (src_index < bytes.len) {
>>         const dest_space_left = 1 - index;
>>         const b = bytes.len - src_index;
>>         const copy_amt = if (dest_space_left < b) dest_space_left
else b;
>>         index += copy_amt;
>>         src_index += copy_amt;
>>     }
>> }
>>
>> pub fn panic(msg: []const u8) -> noreturn { while (true) {} }
>>
>>
>> compile with ./zig build_obj test.zig --release-safe
>> This does the equivalent of -O3
>>
>> The IR that it produces; ModuleID = 'test'
>> source_filename = "test"
>> target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
>> target triple = "x86_64-unknown-linux-gnu"
>>
>> %"[]u8" = type { i8*, i64 }
>>
>> @__zig_panic_implementation_provided = internal unnamed_addr constant
i1
>> true, align 1
>> @0 = internal unnamed_addr constant i8* getelementptr inbounds ([6 x
i8],
>> [6 x i8]* @1, i64 0, i64 0), align 8
>> @1 = internal unnamed_addr constant [6 x i8] c"format", align
1
>> @2 = internal unnamed_addr constant { i8*, i64 } { i8* getelementptr
>> inbounds ([6 x i8], [6 x i8]* @1, i64 0, i64 0), i64 6 }, align 8
>> @3 = internal unnamed_addr constant i8* getelementptr inbounds ([16 x
>> i8], [16 x i8]* @4, i64 0, i64 0), align 8
>> @4 = internal unnamed_addr constant [16 x i8] c"integer
overflow", align 1
>> @5 = internal unnamed_addr constant { i8*, i64 } { i8* getelementptr
>> inbounds ([16 x i8], [16 x i8]* @4, i64 0, i64 0), i64 16 }, align 8
>>
>> ; Function Attrs: nobuiltin nounwind
>> define void @entry() #0 !dbg !16 {
>> Entry:
>>   %bytes = alloca %"[]u8", align 8
>>   %0 = bitcast %"[]u8"* %bytes to i8*, !dbg !31
>>   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* bitcast ({ i8*, i64
}*
>> @2 to i8*), i64 16, i32 8, i1 false), !dbg !31
>>   call void @llvm.dbg.declare(metadata %"[]u8"* %bytes,
metadata !22,
>> metadata !32), !dbg !31
>>   call fastcc void @write(%"[]u8"* byval %bytes), !dbg !33
>>   ret void, !dbg !35
>> }
>>
>> ; Function Attrs: cold nobuiltin noreturn nounwind
>> define linkonce coldcc void @__zig_panic(i8* nonnull readonly, i64) #1
>> !dbg !36 {
>> Entry:
>>   %2 = alloca %"[]u8", align 8
>>   %message_ptr = alloca i8*, align 8
>>   %message_len = alloca i64, align 8
>>   store i8* %0, i8** %message_ptr, align 8
>>   call void @llvm.dbg.declare(metadata i8** %message_ptr, metadata !41,
>> metadata !32), !dbg !44
>>   store i64 %1, i64* %message_len, align 8
>>   call void @llvm.dbg.declare(metadata i64* %message_len, metadata !42,
>> metadata !32), !dbg !45
>>   %3 = load i64, i64* %message_len, align 8, !dbg !46
>>   %4 = load i8*, i8** %message_ptr, align 8, !dbg !50
>>   %5 = getelementptr inbounds %"[]u8", %"[]u8"* %2,
i32 0, i32 0, !dbg !50
>>   %6 = getelementptr inbounds i8, i8* %4, i64 0, !dbg !50
>>   store i8* %6, i8** %5, align 8, !dbg !50
>>   %7 = getelementptr inbounds %"[]u8", %"[]u8"* %2,
i32 0, i32 1, !dbg !50
>>   %8 = sub nsw i64 %3, 0, !dbg !50
>>   store i64 %8, i64* %7, align 8, !dbg !50
>>   call fastcc void @panic(%"[]u8"* byval %2), !dbg !51
>>   unreachable, !dbg !51
>> }
>>
>> ; Function Attrs: nobuiltin nounwind
>> define internal fastcc void @write(%"[]u8"* byval nonnull
readonly)
>> unnamed_addr #0 !dbg !52 {
>> Entry:
>>   %index = alloca i64, align 8
>>   %src_index = alloca i64, align 8
>>   %dest_space_left = alloca i64, align 8
>>   %b = alloca i64, align 8
>>   %copy_amt = alloca i64, align 8
>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0, metadata
!57,
>> metadata !32), !dbg !70
>>   store i64 0, i64* %index, align 8, !dbg !71
>>   call void @llvm.dbg.declare(metadata i64* %index, metadata !58,
>> metadata !32), !dbg !71
>>   store i64 0, i64* %src_index, align 8, !dbg !72
>>   call void @llvm.dbg.declare(metadata i64* %src_index, metadata !61,
>> metadata !32), !dbg !72
>>   br label %WhileCond, !dbg !73
>>
>> WhileCond:                                        ; preds =
%OverflowOk6,
>> %Entry
>>   %1 = load i64, i64* %src_index, align 8, !dbg !74
>>   %2 = getelementptr inbounds %"[]u8", %"[]u8"* %0,
i32 0, i32 1, !dbg !75
>>   %3 = load i64, i64* %2, align 8, !dbg !75
>>   %4 = icmp ult i64 %1, %3, !dbg !76
>>   br i1 %4, label %WhileBody, label %WhileEnd, !dbg !76
>>
>> WhileBody:                                        ; preds = %WhileCond
>>   %5 = load i64, i64* %index, align 8, !dbg !77
>>   %6 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 1, i64 %5),
>> !dbg !78
>>   %7 = extractvalue { i64, i1 } %6, 0, !dbg !78
>>   %8 = extractvalue { i64, i1 } %6, 1, !dbg !78
>>   br i1 %8, label %OverflowFail, label %OverflowOk, !dbg !78
>>
>> WhileEnd:                                         ; preds = %WhileCond
>>   ret void, !dbg !79
>>
>> Then:                                             ; preds =
%OverflowOk2
>>   %9 = load i64, i64* %dest_space_left, align 8, !dbg !80
>>   br label %EndIf, !dbg !81
>>
>> Else:                                             ; preds =
%OverflowOk2
>>   %10 = load i64, i64* %b, align 8, !dbg !82
>>   br label %EndIf, !dbg !81
>>
>> EndIf:                                            ; preds = %Else,
%Then
>>   %11 = phi i64 [ %9, %Then ], [ %10, %Else ], !dbg !81
>>   store i64 %11, i64* %copy_amt, align 8, !dbg !83
>>   call void @llvm.dbg.declare(metadata i64* %copy_amt, metadata !68,
>> metadata !32), !dbg !83
>>   %12 = load i64, i64* %index, align 8, !dbg !84
>>   %13 = load i64, i64* %copy_amt, align 8, !dbg !86
>>   %14 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %12, i64
%13),
>> !dbg !87
>>   %15 = extractvalue { i64, i1 } %14, 0, !dbg !87
>>   %16 = extractvalue { i64, i1 } %14, 1, !dbg !87
>>   br i1 %16, label %OverflowFail3, label %OverflowOk4, !dbg !87
>>
>> OverflowFail:                                     ; preds = %WhileBody
>>   %17 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 0), align 8, !dbg !78
>>   %18 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 1), align 8, !dbg !78
>>   call coldcc void @__zig_panic(i8* %17, i64 %18), !dbg !78
>>   unreachable, !dbg !78
>>
>> OverflowOk:                                       ; preds = %WhileBody
>>   store i64 %7, i64* %dest_space_left, align 8, !dbg !88
>>   call void @llvm.dbg.declare(metadata i64* %dest_space_left, metadata
>> !63, metadata !32), !dbg !88
>>   %19 = getelementptr inbounds %"[]u8", %"[]u8"*
%0, i32 0, i32 1, !dbg
>> !89
>>   %20 = load i64, i64* %19, align 8, !dbg !89
>>   %21 = load i64, i64* %src_index, align 8, !dbg !90
>>   %22 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 %20, i64
%21),
>> !dbg !91
>>   %23 = extractvalue { i64, i1 } %22, 0, !dbg !91
>>   %24 = extractvalue { i64, i1 } %22, 1, !dbg !91
>>   br i1 %24, label %OverflowFail1, label %OverflowOk2, !dbg !91
>>
>> OverflowFail1:                                    ; preds = %OverflowOk
>>   %25 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 0), align 8, !dbg !91
>>   %26 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 1), align 8, !dbg !91
>>   call coldcc void @__zig_panic(i8* %25, i64 %26), !dbg !91
>>   unreachable, !dbg !91
>>
>> OverflowOk2:                                      ; preds = %OverflowOk
>>   store i64 %23, i64* %b, align 8, !dbg !92
>>   call void @llvm.dbg.declare(metadata i64* %b, metadata !66, metadata
>> !32), !dbg !92
>>   %27 = load i64, i64* %dest_space_left, align 8, !dbg !93
>>   %28 = load i64, i64* %b, align 8, !dbg !94
>>   %29 = icmp ult i64 %27, %28, !dbg !95
>>   br i1 %29, label %Then, label %Else, !dbg !95
>>
>> OverflowFail3:                                    ; preds = %EndIf
>>   %30 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 0), align 8, !dbg !87
>>   %31 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 1), align 8, !dbg !87
>>   call coldcc void @__zig_panic(i8* %30, i64 %31), !dbg !87
>>   unreachable, !dbg !87
>>
>> OverflowOk4:                                      ; preds = %EndIf
>>   store i64 %15, i64* %index, align 8, !dbg !87
>>   %32 = load i64, i64* %src_index, align 8, !dbg !96
>>   %33 = load i64, i64* %copy_amt, align 8, !dbg !97
>>   %34 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %32, i64
%33),
>> !dbg !98
>>   %35 = extractvalue { i64, i1 } %34, 0, !dbg !98
>>   %36 = extractvalue { i64, i1 } %34, 1, !dbg !98
>>   br i1 %36, label %OverflowFail5, label %OverflowOk6, !dbg !98
>>
>> OverflowFail5:                                    ; preds =
%OverflowOk4
>>   %37 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 0), align 8, !dbg !98
>>   %38 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*, i64
>> }* @5, i32 0, i32 1), align 8, !dbg !98
>>   call coldcc void @__zig_panic(i8* %37, i64 %38), !dbg !98
>>   unreachable, !dbg !98
>>
>> OverflowOk6:                                      ; preds =
%OverflowOk4
>>   store i64 %35, i64* %src_index, align 8, !dbg !98
>>   br label %WhileCond, !dbg !73
>> }
>>
>> ; Function Attrs: nobuiltin noreturn nounwind
>> define internal fastcc void @panic(%"[]u8"* byval nonnull
readonly)
>> unnamed_addr #2 !dbg !99 {
>> Entry:
>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0, metadata
!101,
>> metadata !32), !dbg !102
>>   br label %WhileCond, !dbg !103
>>
>> WhileCond:                                        ; preds = %WhileCond,
>> %Entry
>>   br label %WhileCond, !dbg !103
>> }
>>
>> ; Function Attrs: argmemonly nounwind
>> declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly, i8*
>> nocapture readonly, i64, i32, i1) #3
>>
>> ; Function Attrs: nounwind readnone speculatable
>> declare void @llvm.dbg.declare(metadata, metadata, metadata) #4
>>
>> ; Function Attrs: nounwind readnone speculatable
>> declare { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64) #4
>>
>> ; Function Attrs: nounwind readnone speculatable
>> declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #4
>>
>> attributes #0 = { nobuiltin nounwind }
>> attributes #1 = { cold nobuiltin noreturn nounwind }
>> attributes #2 = { nobuiltin noreturn nounwind }
>> attributes #3 = { argmemonly nounwind }
>> attributes #4 = { nounwind readnone speculatable }
>>
>> !llvm.module.flags = !{!0}
>> !llvm.dbg.cu = !{!1}
>>
>> !0 = !{i32 2, !"Debug Info Version", i32 3}
>> !1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2, producer:
>> "zig 0.0.0", isOptimized: true, runtimeVersion: 0,
emissionKind: FullDebug,
>> enums: !3, globals: !12)
>> !2 = !DIFile(filename: "test", directory: ".")
>> !3 = !{!4}
>> !4 = !DICompositeType(tag: DW_TAG_enumeration_type, name:
>> "GlobalLinkage", scope: !5, file: !5, line: 138, baseType:
!6, size: 8,
>> align: 8, elements: !7)
>> !5 = !DIFile(filename: "builtin.zig", directory:
>> "/home/andy/dev/zig/build-llvm5-debug/zig-cache")
>> !6 = !DIBasicType(name: "u3", size: 8, encoding:
DW_ATE_unsigned)
>> !7 = !{!8, !9, !10, !11}
>> !8 = !DIEnumerator(name: "Internal", value: 0)
>> !9 = !DIEnumerator(name: "Strong", value: 1)
>> !10 = !DIEnumerator(name: "Weak", value: 2)
>> !11 = !DIEnumerator(name: "LinkOnce", value: 3)
>> !12 = !{!13}
>> !13 = !DIGlobalVariableExpression(var: !14)
>> !14 = distinct !DIGlobalVariable(name:
"__zig_panic_implementation_provided",
>> linkageName: "__zig_panic_implementation_provided", scope:
!5, file: !5,
>> line: 201, type: !15, isLocal: true, isDefinition: true)
>> !15 = !DIBasicType(name: "bool", size: 8, encoding:
DW_ATE_boolean)
>> !16 = distinct !DISubprogram(name: "entry", scope: !17, file:
!17, type:
>> !18, isLocal: false, isDefinition: true, isOptimized: true, unit: !1,
>> variables: !21)
>> !17 = !DIFile(filename: "test.zig", directory:
>> "/home/andy/dev/zig/build-llvm5-debug")
>> !18 = !DISubroutineType(types: !19)
>> !19 = !{!20}
>> !20 = !DIBasicType(name: "void", encoding: DW_ATE_unsigned)
>> !21 = !{!22}
>> !22 = !DILocalVariable(name: "bytes", scope: !23, file: !17,
line: 2,
>> type: !24)
>> !23 = distinct !DILexicalBlock(scope: !16, file: !17, line: 1, column:
19)
>> !24 = !DICompositeType(tag: DW_TAG_structure_type, name:
"[]u8", size:
>> 128, align: 64, elements: !25)
>> !25 = !{!26, !29}
>> !26 = !DIDerivedType(tag: DW_TAG_member, name: "ptr", scope:
!24,
>> baseType: !27, size: 64, align: 64)
>> !27 = !DIDerivedType(tag: DW_TAG_pointer_type, name:
"&u8", baseType:
>> !28, size: 64, align: 64)
>> !28 = !DIBasicType(name: "u8", size: 8, encoding:
DW_ATE_unsigned_char)
>> !29 = !DIDerivedType(tag: DW_TAG_member, name: "len", scope:
!24,
>> baseType: !30, size: 64, align: 64, offset: 64)
>> !30 = !DIBasicType(name: "usize", size: 64, encoding:
DW_ATE_unsigned)
>> !31 = !DILocation(line: 2, column: 5, scope: !23)
>> !32 = !DIExpression()
>> !33 = !DILocation(line: 3, column: 10, scope: !34)
>> !34 = distinct !DILexicalBlock(scope: !23, file: !17, line: 2, column:
5)
>> !35 = !DILocation(line: 1, column: 19, scope: !16)
>> !36 = distinct !DISubprogram(name: "__zig_panic", scope: !37,
file: !37,
>> line: 7, type: !38, isLocal: false, isDefinition: true, scopeLine: 7,
>> isOptimized: true, unit: !1, variables: !40)
>> !37 = !DIFile(filename: "zigrt.zig", directory:
>> "/home/andy/dev/zig/build-llvm5-debug/lib/zig/std/special")
>> !38 = !DISubroutineType(types: !39)
>> !39 = !{!20, !27, !30}
>> !40 = !{!41, !42}
>> !41 = !DILocalVariable(name: "message_ptr", arg: 1, scope:
!36, file:
>> !37, line: 7, type: !27)
>> !42 = !DILocalVariable(name: "message_len", arg: 2, scope:
!43, file:
>> !37, line: 7, type: !30)
>> !43 = distinct !DILexicalBlock(scope: !36, file: !37, line: 7, column:
30)
>> !44 = !DILocation(line: 7, column: 30, scope: !36)
>> !45 = !DILocation(line: 7, column: 54, scope: !43)
>> !46 = !DILocation(line: 12, column: 48, scope: !47)
>> !47 = distinct !DILexicalBlock(scope: !48, file: !37, line: 11, column:
>> 54)
>> !48 = distinct !DILexicalBlock(scope: !49, file: !37, line: 7, column:
86)
>> !49 = distinct !DILexicalBlock(scope: !43, file: !37, line: 7, column:
54)
>> !50 = !DILocation(line: 12, column: 43, scope: !47)
>> !51 = !DILocation(line: 12, column: 31, scope: !47)
>> !52 = distinct !DISubprogram(name: "write", scope: !17, file:
!17, line:
>> 6, type: !53, isLocal: true, isDefinition: true, scopeLine: 6,
isOptimized:
>> true, unit: !1, variables: !56)
>> !53 = !DISubroutineType(types: !54)
>> !54 = !{!20, !55}
>> !55 = !DIDerivedType(tag: DW_TAG_pointer_type, name: "&[]const
u8",
>> baseType: !24, size: 64, align: 64)
>> !56 = !{!57, !58, !61, !63, !66, !68}
>> !57 = !DILocalVariable(name: "bytes", arg: 1, scope: !52,
file: !17,
>> line: 6, type: !24)
>> !58 = !DILocalVariable(name: "index", scope: !59, file: !17,
line: 7,
>> type: !30)
>> !59 = distinct !DILexicalBlock(scope: !60, file: !17, line: 6, column:
33)
>> !60 = distinct !DILexicalBlock(scope: !52, file: !17, line: 6, column:
14)
>> !61 = !DILocalVariable(name: "src_index", scope: !62, file:
!17, line: 9,
>> type: !30)
>> !62 = distinct !DILexicalBlock(scope: !59, file: !17, line: 7, column:
5)
>> !63 = !DILocalVariable(name: "dest_space_left", scope: !64,
file: !17,
>> line: 12, type: !30)
>> !64 = distinct !DILexicalBlock(scope: !65, file: !17, line: 11, column:
>> 35)
>> !65 = distinct !DILexicalBlock(scope: !62, file: !17, line: 9, column:
5)
>> !66 = !DILocalVariable(name: "b", scope: !67, file: !17,
line: 13, type:
>> !30)
>> !67 = distinct !DILexicalBlock(scope: !64, file: !17, line: 12, column:
9)
>> !68 = !DILocalVariable(name: "copy_amt", scope: !69, file:
!17, line: 14,
>> type: !30)
>> !69 = distinct !DILexicalBlock(scope: !67, file: !17, line: 13, column:
9)
>> !70 = !DILocation(line: 6, column: 14, scope: !52)
>> !71 = !DILocation(line: 7, column: 5, scope: !59)
>> !72 = !DILocation(line: 9, column: 5, scope: !62)
>> !73 = !DILocation(line: 11, column: 5, scope: !65)
>> !74 = !DILocation(line: 11, column: 12, scope: !65)
>> !75 = !DILocation(line: 11, column: 29, scope: !65)
>> !76 = !DILocation(line: 11, column: 22, scope: !65)
>> !77 = !DILocation(line: 12, column: 37, scope: !64)
>> !78 = !DILocation(line: 12, column: 35, scope: !64)
>> !79 = !DILocation(line: 11, column: 5, scope: !60)
>> !80 = !DILocation(line: 14, column: 51, scope: !69)
>> !81 = !DILocation(line: 14, column: 26, scope: !69)
>> !82 = !DILocation(line: 14, column: 72, scope: !69)
>> !83 = !DILocation(line: 14, column: 9, scope: !69)
>> !84 = !DILocation(line: 15, column: 9, scope: !85)
>> !85 = distinct !DILexicalBlock(scope: !69, file: !17, line: 14, column:
9)
>> !86 = !DILocation(line: 15, column: 18, scope: !85)
>> !87 = !DILocation(line: 15, column: 15, scope: !85)
>> !88 = !DILocation(line: 12, column: 9, scope: !64)
>> !89 = !DILocation(line: 13, column: 24, scope: !67)
>> !90 = !DILocation(line: 13, column: 31, scope: !67)
>> !91 = !DILocation(line: 13, column: 29, scope: !67)
>> !92 = !DILocation(line: 13, column: 9, scope: !67)
>> !93 = !DILocation(line: 14, column: 30, scope: !69)
>> !94 = !DILocation(line: 14, column: 48, scope: !69)
>> !95 = !DILocation(line: 14, column: 46, scope: !69)
>> !96 = !DILocation(line: 16, column: 9, scope: !85)
>> !97 = !DILocation(line: 16, column: 22, scope: !85)
>> !98 = !DILocation(line: 16, column: 19, scope: !85)
>> !99 = distinct !DISubprogram(name: "panic", scope: !17, file:
!17, line:
>> 20, type: !53, isLocal: true, isDefinition: true, scopeLine: 20,
>> isOptimized: true, unit: !1, variables: !100)
>> !100 = !{!101}
>> !101 = !DILocalVariable(name: "msg", arg: 1, scope: !99,
file: !17, line:
>> 20, type: !24)
>> !102 = !DILocation(line: 20, column: 14, scope: !99)
>> !103 = !DILocation(line: 20, column: 45, scope: !104)
>> !104 = distinct !DILexicalBlock(scope: !105, file: !17, line: 20,
column:
>> 43)
>> !105 = distinct !DILexicalBlock(scope: !99, file: !17, line: 20,
column:
>> 14)
>>  is the following, however clang 5 with assertions on does not hit the
>> assertion when run on this IR:
>>
>>
>>
>> Any pointers would be appreciated.
>>
>
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>
>-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20170917/b7543a19/attachment.html>

Andrew Kelley via llvm-dev

2017-Sep-17 19:26 UTC

head link

[llvm-dev] assertion triggered since update to llvm 5

I think I forgot to mention, the IR does not reproduce the problem. It has
to be using the LLVM API. Some kind of in-memory state that gets fixed when
serialized and deserialized with IR.

On Sun, Sep 17, 2017 at 2:12 PM, Davide Italiano <davide at freebsd.org>
wrote:
> Can you please open a bug on bugzilla and attach the ir testcase? Your fix
> doesn't look right (just hiding the assertion failure)
>
> On Sep 17, 2017 10:45 AM, "Andrew Kelley via llvm-dev" <
> llvm-dev at lists.llvm.org> wrote:
>
>> What do you think about this patch?
>>
>> --- a/llvm/lib/Transforms/Scalar/NewGVN.cpp
>> +++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp
>> @@ -732,7 +732,7 @@ private:
>>    MemoryPhi *getMemoryAccess(const BasicBlock *) const;
>>    template <class T, class Range> T *getMinDFSOfRange(const
Range &)
>> const;
>>    unsigned InstrToDFSNum(const Value *V) const {
>> -    assert(isa<Instruction>(V) && "This should not
be used for
>> MemoryAccesses");
>> +    assert(V == nullptr || (isa<Instruction>(V) &&
"This should not be
>> used for MemoryAccesses"));
>>      return InstrDFS.lookup(V);
>>    }
>>
>>
>>
>> On Sat, Sep 16, 2017 at 1:48 PM, Andrew Kelley <superjoe30 at
gmail.com>
>> wrote:
>>
>>> When zig updated to llvm 5 we started hitting this assertion:
>>>
>>> zig:
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>>> static bool llvm::isa_impl_cl<To, const From*>::doit(const
From*) [with To
>>> = llvm::Instruction; From = llvm::Value]: Assertion `Val &&
"isa<> used on
>>> a null pointer"' failed.
>>>
>>> I wonder if however this was caused by an invalid assertion,
because up
>>> the stack is
>>> #8  0x0000000004b58e68 in (anonymous
namespace)::NewGVN::InstrToDFSNum
>>> (this=0x7fffffffaf80,
>>>     V=0x0) at /home/andy/downloads/llvm-proj
>>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>>> 735    assert(isa<Instruction>(V) && "This
should not be used for
>>> MemoryAccesses");
>>>
>>>
>>> With assertions off the code works fine.
>>> Can anyone provide some guidance?
>>>
>>> Here is a full backtrace:
>>>
>>> zig:
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>>> static bool llvm::isa_impl_cl<To, const From*>::doit(const
From*) [with To
>>> = llvm::Instruction; From = llvm::Value]: Assertion `Val &&
"isa<> used on
>>> a null pointer"' failed.
>>>
>>> Program received signal SIGABRT, Aborted.
>>> 0x00007ffff698f3d4 in raise ()
>>>    from
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/l
>>> ibc.so.6
>>> (gdb) bt
>>> #0  0x00007ffff698f3d4 in raise ()
>>>    from
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/l
>>> ibc.so.6
>>> #1  0x00007ffff699083a in abort ()
>>>    from
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/l
>>> ibc.so.6
>>> #2  0x00007ffff69881a7 in __assert_fail_base ()
>>>    from
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/l
>>> ibc.so.6
>>> #3  0x00007ffff6988252 in __assert_fail ()
>>>    from
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/l
>>> ibc.so.6
>>> #4  0x0000000002d70389 in llvm::isa_impl_cl<llvm::Instruction,
>>> llvm::Value const*>::doit (
>>>     Val=0x0) at /home/andy/downloads/llvm-proj
>>> ect/llvm/include/llvm/Support/Casting.h:106
>>> #5  0x0000000002d4f8af in llvm::isa_impl_wrap<llvm::Instruction,
>>> llvm::Value const*, llvm::Value const*>::doit
(Val=@0x7fffffffa678: 0x0)
>>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>>> Casting.h:133
>>> #6  0x0000000002ece9a3 in llvm::isa_impl_wrap<llvm::Instruction,
>>> llvm::Value const* const, llvm::Value const*>::doit
(Val=@0x7fffffffa6b0:
>>> 0x0)
>>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>>> Casting.h:125
>>> #7  0x0000000002ecd4f4 in llvm::isa<llvm::Instruction,
llvm::Value
>>> const*> (
>>>     Val=@0x7fffffffa6b0: 0x0)
>>>     at /home/andy/downloads/llvm-project/llvm/include/llvm/Support/
>>> Casting.h:144
>>> #8  0x0000000004b58e68 in (anonymous
namespace)::NewGVN::InstrToDFSNum
>>> (this=0x7fffffffaf80,
>>>     V=0x0) at /home/andy/downloads/llvm-proj
>>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>>> #9  0x0000000004b6870d in (anonymous
namespace)::NewGVN::touchAndErase<llvm::DenseMap<llvm::Value
>>> const*, llvm::SmallPtrSet<llvm::Value*, 2u> >,
llvm::Value*>
>>> (this=0x7fffffffaf80, M=...,
>>>     Key=@0x7fffffffa790: 0x9154cf8)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:1930
>>> #10 0x0000000004b5d9b7 in (anonymous
namespace)::NewGVN::markUsersTouched
>>> (this=0x7fffffffaf80,
>>>     V=0x9154cf8) at /home/andy/downloads/llvm-proj
>>> ect/llvm/lib/Transforms/Scalar/NewGVN.cpp:1946
>>> #11 0x0000000004b5f141 in (anonymous
namespace)::NewGVN::performCongruenceFinding
>>> (
>>>     this=0x7fffffffaf80, I=0x9154cf8, E=0x91d7b70)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:2269
>>> #12 0x0000000004b62174 in (anonymous
namespace)::NewGVN::valueNumberInstruction
>>> (
>>>     this=0x7fffffffaf80, I=0x9154cf8)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:2801
>>> #13 0x0000000004b63b4f in (anonymous
namespace)::NewGVN::iterateTouchedInstructions
>>> (
>>>     this=0x7fffffffaf80)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:3094
>>> #14 0x0000000004b6431c in (anonymous namespace)::NewGVN::runGVN
>>> (this=0x7fffffffaf80)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:3165
>>> #15 0x0000000004b678db in (anonymous
namespace)::NewGVNLegacyPass::runOnFunction
>>> (
>>>     this=0x910ea50, F=...)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar
>>> /NewGVN.cpp:3904
>>> #16 0x00000000054d10fd in llvm::FPPassManager::runOnFunction
>>> (this=0x9102260, F=...)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>>> ger.cpp:1514
>>> #17 0x0000000004f2a375 in (anonymous
namespace)::CGPassManager::RunPassOnSCC
>>> (this=0x9100f00,
>>>     P=0x9102260, CurSCC=..., CG=...,
CallGraphUpToDate=@0x7fffffffbc2f:
>>> true,
>>>     DevirtualizedCall=@0x7fffffffbccf: false)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGrap
>>> hSCCPass.cpp:149
>>> #18 0x0000000004f2b349 in (anonymous
namespace)::CGPassManager::RunAllPassesOnSCC
>>> (
>>>     this=0x9100f00, CurSCC=..., CG=...,
DevirtualizedCall=@0x7fffffffbccf:
>>> false)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGrap
>>> hSCCPass.cpp:419
>>> #19 0x0000000004f2b643 in (anonymous
namespace)::CGPassManager::runOnModule
>>> (this=0x9100f00,
>>>     M=...) at /home/andy/downloads/llvm-proj
>>> ect/llvm/lib/Analysis/CallGraphSCCPass.cpp:474
>>> #20 0x00000000054d15c1 in (anonymous
namespace)::MPPassManager::runOnModule
>>> (this=0x90f9970,
>>> ---Type <return> to continue, or q <return> to quit---
>>>     M=...) at /home/andy/downloads/llvm-proj
>>> ect/llvm/lib/IR/LegacyPassManager.cpp:1591
>>> #21 0x00000000054d1c73 in llvm::legacy::PassManagerImpl::run
>>> (this=0x90f9480, M=...)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>>> ger.cpp:1694
>>> #22 0x00000000054d1e7f in llvm::legacy::PassManager::run
>>> (this=0x7fffffffc010, M=...)
>>>     at /home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassMana
>>> ger.cpp:1725
>>> #23 0x0000000001d4017d in ZigLLVMTargetMachineEmitToFile
>>> (targ_machine_ref=0x9080d50,
>>>     module_ref=0x907e870, filename=0x90cf360
"./zig-cache/test.o",
>>> file_type=LLVMObjectFile,
>>>     error_message=0x7fffffffc2f8, is_debug=false) at
>>> /home/andy/dev/zig/src/zig_llvm.cpp:166
>>> #24 0x0000000001cd041d in do_code_gen (g=0x907a980) at
>>> /home/andy/dev/zig/src/codegen.cpp:4379
>>> #25 0x0000000001cd4634 in codegen_build (g=0x907a980) at
>>> /home/andy/dev/zig/src/codegen.cpp:5484
>>> #26 0x0000000001d1d564 in main (argc=4, argv=0x7fffffffca18)
>>>     at /home/andy/dev/zig/src/main.cpp:666
>>>
>>>
>>>
>>> Here's the smallest zig test case to cause the problem:
>>>
>>>
>>> export fn entry() {
>>>     var bytes: []const u8 = "format";
>>>     write(bytes);
>>> }
>>>
>>> pub fn write(bytes: []const u8) {
>>>     var index: usize = 0;
>>>
>>>     var src_index: usize = 0;
>>>
>>>     while (src_index < bytes.len) {
>>>         const dest_space_left = 1 - index;
>>>         const b = bytes.len - src_index;
>>>         const copy_amt = if (dest_space_left < b)
dest_space_left else b;
>>>         index += copy_amt;
>>>         src_index += copy_amt;
>>>     }
>>> }
>>>
>>> pub fn panic(msg: []const u8) -> noreturn { while (true) {} }
>>>
>>>
>>> compile with ./zig build_obj test.zig --release-safe
>>> This does the equivalent of -O3
>>>
>>> The IR that it produces; ModuleID = 'test'
>>> source_filename = "test"
>>> target datalayout =
"e-m:e-i64:64-f80:128-n8:16:32:64-S128"
>>> target triple = "x86_64-unknown-linux-gnu"
>>>
>>> %"[]u8" = type { i8*, i64 }
>>>
>>> @__zig_panic_implementation_provided = internal unnamed_addr
constant
>>> i1 true, align 1
>>> @0 = internal unnamed_addr constant i8* getelementptr inbounds ([6
x
>>> i8], [6 x i8]* @1, i64 0, i64 0), align 8
>>> @1 = internal unnamed_addr constant [6 x i8] c"format",
align 1
>>> @2 = internal unnamed_addr constant { i8*, i64 } { i8*
getelementptr
>>> inbounds ([6 x i8], [6 x i8]* @1, i64 0, i64 0), i64 6 }, align 8
>>> @3 = internal unnamed_addr constant i8* getelementptr inbounds ([16
x
>>> i8], [16 x i8]* @4, i64 0, i64 0), align 8
>>> @4 = internal unnamed_addr constant [16 x i8] c"integer
overflow", align
>>> 1
>>> @5 = internal unnamed_addr constant { i8*, i64 } { i8*
getelementptr
>>> inbounds ([16 x i8], [16 x i8]* @4, i64 0, i64 0), i64 16 }, align
8
>>>
>>> ; Function Attrs: nobuiltin nounwind
>>> define void @entry() #0 !dbg !16 {
>>> Entry:
>>>   %bytes = alloca %"[]u8", align 8
>>>   %0 = bitcast %"[]u8"* %bytes to i8*, !dbg !31
>>>   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* bitcast ({ i8*,
i64
>>> }* @2 to i8*), i64 16, i32 8, i1 false), !dbg !31
>>>   call void @llvm.dbg.declare(metadata %"[]u8"* %bytes,
metadata !22,
>>> metadata !32), !dbg !31
>>>   call fastcc void @write(%"[]u8"* byval %bytes), !dbg
!33
>>>   ret void, !dbg !35
>>> }
>>>
>>> ; Function Attrs: cold nobuiltin noreturn nounwind
>>> define linkonce coldcc void @__zig_panic(i8* nonnull readonly, i64)
#1
>>> !dbg !36 {
>>> Entry:
>>>   %2 = alloca %"[]u8", align 8
>>>   %message_ptr = alloca i8*, align 8
>>>   %message_len = alloca i64, align 8
>>>   store i8* %0, i8** %message_ptr, align 8
>>>   call void @llvm.dbg.declare(metadata i8** %message_ptr, metadata
!41,
>>> metadata !32), !dbg !44
>>>   store i64 %1, i64* %message_len, align 8
>>>   call void @llvm.dbg.declare(metadata i64* %message_len, metadata
!42,
>>> metadata !32), !dbg !45
>>>   %3 = load i64, i64* %message_len, align 8, !dbg !46
>>>   %4 = load i8*, i8** %message_ptr, align 8, !dbg !50
>>>   %5 = getelementptr inbounds %"[]u8", %"[]u8"*
%2, i32 0, i32 0, !dbg
>>> !50
>>>   %6 = getelementptr inbounds i8, i8* %4, i64 0, !dbg !50
>>>   store i8* %6, i8** %5, align 8, !dbg !50
>>>   %7 = getelementptr inbounds %"[]u8", %"[]u8"*
%2, i32 0, i32 1, !dbg
>>> !50
>>>   %8 = sub nsw i64 %3, 0, !dbg !50
>>>   store i64 %8, i64* %7, align 8, !dbg !50
>>>   call fastcc void @panic(%"[]u8"* byval %2), !dbg !51
>>>   unreachable, !dbg !51
>>> }
>>>
>>> ; Function Attrs: nobuiltin nounwind
>>> define internal fastcc void @write(%"[]u8"* byval nonnull
readonly)
>>> unnamed_addr #0 !dbg !52 {
>>> Entry:
>>>   %index = alloca i64, align 8
>>>   %src_index = alloca i64, align 8
>>>   %dest_space_left = alloca i64, align 8
>>>   %b = alloca i64, align 8
>>>   %copy_amt = alloca i64, align 8
>>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0,
metadata !57,
>>> metadata !32), !dbg !70
>>>   store i64 0, i64* %index, align 8, !dbg !71
>>>   call void @llvm.dbg.declare(metadata i64* %index, metadata !58,
>>> metadata !32), !dbg !71
>>>   store i64 0, i64* %src_index, align 8, !dbg !72
>>>   call void @llvm.dbg.declare(metadata i64* %src_index, metadata
!61,
>>> metadata !32), !dbg !72
>>>   br label %WhileCond, !dbg !73
>>>
>>> WhileCond:                                        ; preds
>>> %OverflowOk6, %Entry
>>>   %1 = load i64, i64* %src_index, align 8, !dbg !74
>>>   %2 = getelementptr inbounds %"[]u8", %"[]u8"*
%0, i32 0, i32 1, !dbg
>>> !75
>>>   %3 = load i64, i64* %2, align 8, !dbg !75
>>>   %4 = icmp ult i64 %1, %3, !dbg !76
>>>   br i1 %4, label %WhileBody, label %WhileEnd, !dbg !76
>>>
>>> WhileBody:                                        ; preds =
%WhileCond
>>>   %5 = load i64, i64* %index, align 8, !dbg !77
>>>   %6 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 1, i64
%5),
>>> !dbg !78
>>>   %7 = extractvalue { i64, i1 } %6, 0, !dbg !78
>>>   %8 = extractvalue { i64, i1 } %6, 1, !dbg !78
>>>   br i1 %8, label %OverflowFail, label %OverflowOk, !dbg !78
>>>
>>> WhileEnd:                                         ; preds =
%WhileCond
>>>   ret void, !dbg !79
>>>
>>> Then:                                             ; preds =
%OverflowOk2
>>>   %9 = load i64, i64* %dest_space_left, align 8, !dbg !80
>>>   br label %EndIf, !dbg !81
>>>
>>> Else:                                             ; preds =
%OverflowOk2
>>>   %10 = load i64, i64* %b, align 8, !dbg !82
>>>   br label %EndIf, !dbg !81
>>>
>>> EndIf:                                            ; preds = %Else,
%Then
>>>   %11 = phi i64 [ %9, %Then ], [ %10, %Else ], !dbg !81
>>>   store i64 %11, i64* %copy_amt, align 8, !dbg !83
>>>   call void @llvm.dbg.declare(metadata i64* %copy_amt, metadata
!68,
>>> metadata !32), !dbg !83
>>>   %12 = load i64, i64* %index, align 8, !dbg !84
>>>   %13 = load i64, i64* %copy_amt, align 8, !dbg !86
>>>   %14 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %12, i64
>>> %13), !dbg !87
>>>   %15 = extractvalue { i64, i1 } %14, 0, !dbg !87
>>>   %16 = extractvalue { i64, i1 } %14, 1, !dbg !87
>>>   br i1 %16, label %OverflowFail3, label %OverflowOk4, !dbg !87
>>>
>>> OverflowFail:                                     ; preds =
%WhileBody
>>>   %17 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 0), align 8, !dbg !78
>>>   %18 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 1), align 8, !dbg !78
>>>   call coldcc void @__zig_panic(i8* %17, i64 %18), !dbg !78
>>>   unreachable, !dbg !78
>>>
>>> OverflowOk:                                       ; preds =
%WhileBody
>>>   store i64 %7, i64* %dest_space_left, align 8, !dbg !88
>>>   call void @llvm.dbg.declare(metadata i64* %dest_space_left,
metadata
>>> !63, metadata !32), !dbg !88
>>>   %19 = getelementptr inbounds %"[]u8",
%"[]u8"* %0, i32 0, i32 1, !dbg
>>> !89
>>>   %20 = load i64, i64* %19, align 8, !dbg !89
>>>   %21 = load i64, i64* %src_index, align 8, !dbg !90
>>>   %22 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 %20, i64
>>> %21), !dbg !91
>>>   %23 = extractvalue { i64, i1 } %22, 0, !dbg !91
>>>   %24 = extractvalue { i64, i1 } %22, 1, !dbg !91
>>>   br i1 %24, label %OverflowFail1, label %OverflowOk2, !dbg !91
>>>
>>> OverflowFail1:                                    ; preds =
%OverflowOk
>>>   %25 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 0), align 8, !dbg !91
>>>   %26 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 1), align 8, !dbg !91
>>>   call coldcc void @__zig_panic(i8* %25, i64 %26), !dbg !91
>>>   unreachable, !dbg !91
>>>
>>> OverflowOk2:                                      ; preds =
%OverflowOk
>>>   store i64 %23, i64* %b, align 8, !dbg !92
>>>   call void @llvm.dbg.declare(metadata i64* %b, metadata !66,
metadata
>>> !32), !dbg !92
>>>   %27 = load i64, i64* %dest_space_left, align 8, !dbg !93
>>>   %28 = load i64, i64* %b, align 8, !dbg !94
>>>   %29 = icmp ult i64 %27, %28, !dbg !95
>>>   br i1 %29, label %Then, label %Else, !dbg !95
>>>
>>> OverflowFail3:                                    ; preds = %EndIf
>>>   %30 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 0), align 8, !dbg !87
>>>   %31 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 1), align 8, !dbg !87
>>>   call coldcc void @__zig_panic(i8* %30, i64 %31), !dbg !87
>>>   unreachable, !dbg !87
>>>
>>> OverflowOk4:                                      ; preds = %EndIf
>>>   store i64 %15, i64* %index, align 8, !dbg !87
>>>   %32 = load i64, i64* %src_index, align 8, !dbg !96
>>>   %33 = load i64, i64* %copy_amt, align 8, !dbg !97
>>>   %34 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %32, i64
>>> %33), !dbg !98
>>>   %35 = extractvalue { i64, i1 } %34, 0, !dbg !98
>>>   %36 = extractvalue { i64, i1 } %34, 1, !dbg !98
>>>   br i1 %36, label %OverflowFail5, label %OverflowOk6, !dbg !98
>>>
>>> OverflowFail5:                                    ; preds =
%OverflowOk4
>>>   %37 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 0), align 8, !dbg !98
>>>   %38 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, { i8*,
i64
>>> }* @5, i32 0, i32 1), align 8, !dbg !98
>>>   call coldcc void @__zig_panic(i8* %37, i64 %38), !dbg !98
>>>   unreachable, !dbg !98
>>>
>>> OverflowOk6:                                      ; preds =
%OverflowOk4
>>>   store i64 %35, i64* %src_index, align 8, !dbg !98
>>>   br label %WhileCond, !dbg !73
>>> }
>>>
>>> ; Function Attrs: nobuiltin noreturn nounwind
>>> define internal fastcc void @panic(%"[]u8"* byval nonnull
readonly)
>>> unnamed_addr #2 !dbg !99 {
>>> Entry:
>>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0,
metadata !101,
>>> metadata !32), !dbg !102
>>>   br label %WhileCond, !dbg !103
>>>
>>> WhileCond:                                        ; preds =
%WhileCond,
>>> %Entry
>>>   br label %WhileCond, !dbg !103
>>> }
>>>
>>> ; Function Attrs: argmemonly nounwind
>>> declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture writeonly,
i8*
>>> nocapture readonly, i64, i32, i1) #3
>>>
>>> ; Function Attrs: nounwind readnone speculatable
>>> declare void @llvm.dbg.declare(metadata, metadata, metadata) #4
>>>
>>> ; Function Attrs: nounwind readnone speculatable
>>> declare { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64) #4
>>>
>>> ; Function Attrs: nounwind readnone speculatable
>>> declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #4
>>>
>>> attributes #0 = { nobuiltin nounwind }
>>> attributes #1 = { cold nobuiltin noreturn nounwind }
>>> attributes #2 = { nobuiltin noreturn nounwind }
>>> attributes #3 = { argmemonly nounwind }
>>> attributes #4 = { nounwind readnone speculatable }
>>>
>>> !llvm.module.flags = !{!0}
>>> !llvm.dbg.cu = !{!1}
>>>
>>> !0 = !{i32 2, !"Debug Info Version", i32 3}
>>> !1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2,
producer:
>>> "zig 0.0.0", isOptimized: true, runtimeVersion: 0,
emissionKind: FullDebug,
>>> enums: !3, globals: !12)
>>> !2 = !DIFile(filename: "test", directory: ".")
>>> !3 = !{!4}
>>> !4 = !DICompositeType(tag: DW_TAG_enumeration_type, name:
>>> "GlobalLinkage", scope: !5, file: !5, line: 138,
baseType: !6, size: 8,
>>> align: 8, elements: !7)
>>> !5 = !DIFile(filename: "builtin.zig", directory:
>>> "/home/andy/dev/zig/build-llvm5-debug/zig-cache")
>>> !6 = !DIBasicType(name: "u3", size: 8, encoding:
DW_ATE_unsigned)
>>> !7 = !{!8, !9, !10, !11}
>>> !8 = !DIEnumerator(name: "Internal", value: 0)
>>> !9 = !DIEnumerator(name: "Strong", value: 1)
>>> !10 = !DIEnumerator(name: "Weak", value: 2)
>>> !11 = !DIEnumerator(name: "LinkOnce", value: 3)
>>> !12 = !{!13}
>>> !13 = !DIGlobalVariableExpression(var: !14)
>>> !14 = distinct !DIGlobalVariable(name:
"__zig_panic_implementation_provided",
>>> linkageName: "__zig_panic_implementation_provided",
scope: !5, file:
>>> !5, line: 201, type: !15, isLocal: true, isDefinition: true)
>>> !15 = !DIBasicType(name: "bool", size: 8, encoding:
DW_ATE_boolean)
>>> !16 = distinct !DISubprogram(name: "entry", scope: !17,
file: !17, type:
>>> !18, isLocal: false, isDefinition: true, isOptimized: true, unit:
!1,
>>> variables: !21)
>>> !17 = !DIFile(filename: "test.zig", directory:
>>> "/home/andy/dev/zig/build-llvm5-debug")
>>> !18 = !DISubroutineType(types: !19)
>>> !19 = !{!20}
>>> !20 = !DIBasicType(name: "void", encoding:
DW_ATE_unsigned)
>>> !21 = !{!22}
>>> !22 = !DILocalVariable(name: "bytes", scope: !23, file:
!17, line: 2,
>>> type: !24)
>>> !23 = distinct !DILexicalBlock(scope: !16, file: !17, line: 1,
column:
>>> 19)
>>> !24 = !DICompositeType(tag: DW_TAG_structure_type, name:
"[]u8", size:
>>> 128, align: 64, elements: !25)
>>> !25 = !{!26, !29}
>>> !26 = !DIDerivedType(tag: DW_TAG_member, name: "ptr",
scope: !24,
>>> baseType: !27, size: 64, align: 64)
>>> !27 = !DIDerivedType(tag: DW_TAG_pointer_type, name:
"&u8", baseType:
>>> !28, size: 64, align: 64)
>>> !28 = !DIBasicType(name: "u8", size: 8, encoding:
DW_ATE_unsigned_char)
>>> !29 = !DIDerivedType(tag: DW_TAG_member, name: "len",
scope: !24,
>>> baseType: !30, size: 64, align: 64, offset: 64)
>>> !30 = !DIBasicType(name: "usize", size: 64, encoding:
DW_ATE_unsigned)
>>> !31 = !DILocation(line: 2, column: 5, scope: !23)
>>> !32 = !DIExpression()
>>> !33 = !DILocation(line: 3, column: 10, scope: !34)
>>> !34 = distinct !DILexicalBlock(scope: !23, file: !17, line: 2,
column: 5)
>>> !35 = !DILocation(line: 1, column: 19, scope: !16)
>>> !36 = distinct !DISubprogram(name: "__zig_panic", scope:
!37, file: !37,
>>> line: 7, type: !38, isLocal: false, isDefinition: true, scopeLine:
7,
>>> isOptimized: true, unit: !1, variables: !40)
>>> !37 = !DIFile(filename: "zigrt.zig", directory:
>>>
"/home/andy/dev/zig/build-llvm5-debug/lib/zig/std/special")
>>> !38 = !DISubroutineType(types: !39)
>>> !39 = !{!20, !27, !30}
>>> !40 = !{!41, !42}
>>> !41 = !DILocalVariable(name: "message_ptr", arg: 1,
scope: !36, file:
>>> !37, line: 7, type: !27)
>>> !42 = !DILocalVariable(name: "message_len", arg: 2,
scope: !43, file:
>>> !37, line: 7, type: !30)
>>> !43 = distinct !DILexicalBlock(scope: !36, file: !37, line: 7,
column:
>>> 30)
>>> !44 = !DILocation(line: 7, column: 30, scope: !36)
>>> !45 = !DILocation(line: 7, column: 54, scope: !43)
>>> !46 = !DILocation(line: 12, column: 48, scope: !47)
>>> !47 = distinct !DILexicalBlock(scope: !48, file: !37, line: 11,
column:
>>> 54)
>>> !48 = distinct !DILexicalBlock(scope: !49, file: !37, line: 7,
column:
>>> 86)
>>> !49 = distinct !DILexicalBlock(scope: !43, file: !37, line: 7,
column:
>>> 54)
>>> !50 = !DILocation(line: 12, column: 43, scope: !47)
>>> !51 = !DILocation(line: 12, column: 31, scope: !47)
>>> !52 = distinct !DISubprogram(name: "write", scope: !17,
file: !17, line:
>>> 6, type: !53, isLocal: true, isDefinition: true, scopeLine: 6,
isOptimized:
>>> true, unit: !1, variables: !56)
>>> !53 = !DISubroutineType(types: !54)
>>> !54 = !{!20, !55}
>>> !55 = !DIDerivedType(tag: DW_TAG_pointer_type, name:
"&[]const u8",
>>> baseType: !24, size: 64, align: 64)
>>> !56 = !{!57, !58, !61, !63, !66, !68}
>>> !57 = !DILocalVariable(name: "bytes", arg: 1, scope: !52,
file: !17,
>>> line: 6, type: !24)
>>> !58 = !DILocalVariable(name: "index", scope: !59, file:
!17, line: 7,
>>> type: !30)
>>> !59 = distinct !DILexicalBlock(scope: !60, file: !17, line: 6,
column:
>>> 33)
>>> !60 = distinct !DILexicalBlock(scope: !52, file: !17, line: 6,
column:
>>> 14)
>>> !61 = !DILocalVariable(name: "src_index", scope: !62,
file: !17, line:
>>> 9, type: !30)
>>> !62 = distinct !DILexicalBlock(scope: !59, file: !17, line: 7,
column: 5)
>>> !63 = !DILocalVariable(name: "dest_space_left", scope:
!64, file: !17,
>>> line: 12, type: !30)
>>> !64 = distinct !DILexicalBlock(scope: !65, file: !17, line: 11,
column:
>>> 35)
>>> !65 = distinct !DILexicalBlock(scope: !62, file: !17, line: 9,
column: 5)
>>> !66 = !DILocalVariable(name: "b", scope: !67, file: !17,
line: 13, type:
>>> !30)
>>> !67 = distinct !DILexicalBlock(scope: !64, file: !17, line: 12,
column:
>>> 9)
>>> !68 = !DILocalVariable(name: "copy_amt", scope: !69,
file: !17, line:
>>> 14, type: !30)
>>> !69 = distinct !DILexicalBlock(scope: !67, file: !17, line: 13,
column:
>>> 9)
>>> !70 = !DILocation(line: 6, column: 14, scope: !52)
>>> !71 = !DILocation(line: 7, column: 5, scope: !59)
>>> !72 = !DILocation(line: 9, column: 5, scope: !62)
>>> !73 = !DILocation(line: 11, column: 5, scope: !65)
>>> !74 = !DILocation(line: 11, column: 12, scope: !65)
>>> !75 = !DILocation(line: 11, column: 29, scope: !65)
>>> !76 = !DILocation(line: 11, column: 22, scope: !65)
>>> !77 = !DILocation(line: 12, column: 37, scope: !64)
>>> !78 = !DILocation(line: 12, column: 35, scope: !64)
>>> !79 = !DILocation(line: 11, column: 5, scope: !60)
>>> !80 = !DILocation(line: 14, column: 51, scope: !69)
>>> !81 = !DILocation(line: 14, column: 26, scope: !69)
>>> !82 = !DILocation(line: 14, column: 72, scope: !69)
>>> !83 = !DILocation(line: 14, column: 9, scope: !69)
>>> !84 = !DILocation(line: 15, column: 9, scope: !85)
>>> !85 = distinct !DILexicalBlock(scope: !69, file: !17, line: 14,
column:
>>> 9)
>>> !86 = !DILocation(line: 15, column: 18, scope: !85)
>>> !87 = !DILocation(line: 15, column: 15, scope: !85)
>>> !88 = !DILocation(line: 12, column: 9, scope: !64)
>>> !89 = !DILocation(line: 13, column: 24, scope: !67)
>>> !90 = !DILocation(line: 13, column: 31, scope: !67)
>>> !91 = !DILocation(line: 13, column: 29, scope: !67)
>>> !92 = !DILocation(line: 13, column: 9, scope: !67)
>>> !93 = !DILocation(line: 14, column: 30, scope: !69)
>>> !94 = !DILocation(line: 14, column: 48, scope: !69)
>>> !95 = !DILocation(line: 14, column: 46, scope: !69)
>>> !96 = !DILocation(line: 16, column: 9, scope: !85)
>>> !97 = !DILocation(line: 16, column: 22, scope: !85)
>>> !98 = !DILocation(line: 16, column: 19, scope: !85)
>>> !99 = distinct !DISubprogram(name: "panic", scope: !17,
file: !17, line:
>>> 20, type: !53, isLocal: true, isDefinition: true, scopeLine: 20,
>>> isOptimized: true, unit: !1, variables: !100)
>>> !100 = !{!101}
>>> !101 = !DILocalVariable(name: "msg", arg: 1, scope: !99,
file: !17,
>>> line: 20, type: !24)
>>> !102 = !DILocation(line: 20, column: 14, scope: !99)
>>> !103 = !DILocation(line: 20, column: 45, scope: !104)
>>> !104 = distinct !DILexicalBlock(scope: !105, file: !17, line: 20,
>>> column: 43)
>>> !105 = distinct !DILexicalBlock(scope: !99, file: !17, line: 20,
column:
>>> 14)
>>>  is the following, however clang 5 with assertions on does not hit
the
>>> assertion when run on this IR:
>>>
>>>
>>>
>>> Any pointers would be appreciated.
>>>
>>
>>
>> _______________________________________________
>> LLVM Developers mailing list
>> llvm-dev at lists.llvm.org
>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>>
>>-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20170917/056151bb/attachment.html>

Daniel Berlin via llvm-dev

2017-Sep-17 19:47 UTC

head link

[llvm-dev] assertion triggered since update to llvm 5

So, 90% of the time I've seen this, it was memory corruption, usually use
after free. I know I fixed one after 5.0 branched.
You should compile with address sanitizer enabled, and I suspect you will
find the issue quicky.
If not, we really need ir that reproduces it.

On Sun, Sep 17, 2017, 12:27 PM Andrew Kelley via llvm-dev <
llvm-dev at lists.llvm.org> wrote:
> I think I forgot to mention, the IR does not reproduce the problem. It has
> to be using the LLVM API. Some kind of in-memory state that gets fixed when
> serialized and deserialized with IR.
>
>
> On Sun, Sep 17, 2017 at 2:12 PM, Davide Italiano <davide at
freebsd.org>
> wrote:
>
>> Can you please open a bug on bugzilla and attach the ir testcase? Your
>> fix doesn't look right (just hiding the assertion failure)
>>
>> On Sep 17, 2017 10:45 AM, "Andrew Kelley via llvm-dev" <
>> llvm-dev at lists.llvm.org> wrote:
>>
>>> What do you think about this patch?
>>>
>>> --- a/llvm/lib/Transforms/Scalar/NewGVN.cpp
>>> +++ b/llvm/lib/Transforms/Scalar/NewGVN.cpp
>>> @@ -732,7 +732,7 @@ private:
>>>    MemoryPhi *getMemoryAccess(const BasicBlock *) const;
>>>    template <class T, class Range> T *getMinDFSOfRange(const
Range &)
>>> const;
>>>    unsigned InstrToDFSNum(const Value *V) const {
>>> -    assert(isa<Instruction>(V) && "This should
not be used for
>>> MemoryAccesses");
>>> +    assert(V == nullptr || (isa<Instruction>(V) &&
"This should not be
>>> used for MemoryAccesses"));
>>>      return InstrDFS.lookup(V);
>>>    }
>>>
>>>
>>>
>>> On Sat, Sep 16, 2017 at 1:48 PM, Andrew Kelley <superjoe30 at
gmail.com>
>>> wrote:
>>>
>>>> When zig updated to llvm 5 we started hitting this assertion:
>>>>
>>>> zig:
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>>>> static bool llvm::isa_impl_cl<To, const
From*>::doit(const From*) [with To
>>>> = llvm::Instruction; From = llvm::Value]: Assertion `Val
&& "isa<> used on
>>>> a null pointer"' failed.
>>>>
>>>> I wonder if however this was caused by an invalid assertion,
because up
>>>> the stack is
>>>> #8  0x0000000004b58e68 in (anonymous
namespace)::NewGVN::InstrToDFSNum
>>>> (this=0x7fffffffaf80,
>>>>     V=0x0) at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>>>> 735    assert(isa<Instruction>(V) && "This
should not be used for
>>>> MemoryAccesses");
>>>>
>>>>
>>>> With assertions off the code works fine.
>>>> Can anyone provide some guidance?
>>>>
>>>> Here is a full backtrace:
>>>>
>>>> zig:
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106:
>>>> static bool llvm::isa_impl_cl<To, const
From*>::doit(const From*) [with To
>>>> = llvm::Instruction; From = llvm::Value]: Assertion `Val
&& "isa<> used on
>>>> a null pointer"' failed.
>>>>
>>>> Program received signal SIGABRT, Aborted.
>>>> 0x00007ffff698f3d4 in raise ()
>>>>    from
>>>>
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/libc.so.6
>>>> (gdb) bt
>>>> #0  0x00007ffff698f3d4 in raise ()
>>>>    from
>>>>
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/libc.so.6
>>>> #1  0x00007ffff699083a in abort ()
>>>>    from
>>>>
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/libc.so.6
>>>> #2  0x00007ffff69881a7 in __assert_fail_base ()
>>>>    from
>>>>
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/libc.so.6
>>>> #3  0x00007ffff6988252 in __assert_fail ()
>>>>    from
>>>>
/nix/store/s7dw1yngwiskqa2ac1bkc6m9g7740agg-glibc-2.25/lib/libc.so.6
>>>> #4  0x0000000002d70389 in
llvm::isa_impl_cl<llvm::Instruction,
>>>> llvm::Value const*>::doit (
>>>>     Val=0x0) at
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:106
>>>> #5  0x0000000002d4f8af in
llvm::isa_impl_wrap<llvm::Instruction,
>>>> llvm::Value const*, llvm::Value const*>::doit
(Val=@0x7fffffffa678: 0x0)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:133
>>>> #6  0x0000000002ece9a3 in
llvm::isa_impl_wrap<llvm::Instruction,
>>>> llvm::Value const* const, llvm::Value const*>::doit
(Val=@0x7fffffffa6b0:
>>>> 0x0)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:125
>>>> #7  0x0000000002ecd4f4 in llvm::isa<llvm::Instruction,
llvm::Value
>>>> const*> (
>>>>     Val=@0x7fffffffa6b0: 0x0)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/include/llvm/Support/Casting.h:144
>>>> #8  0x0000000004b58e68 in (anonymous
namespace)::NewGVN::InstrToDFSNum
>>>> (this=0x7fffffffaf80,
>>>>     V=0x0) at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:735
>>>> #9  0x0000000004b6870d in (anonymous
>>>>
namespace)::NewGVN::touchAndErase<llvm::DenseMap<llvm::Value const*,
>>>> llvm::SmallPtrSet<llvm::Value*, 2u> >,
llvm::Value*> (this=0x7fffffffaf80,
>>>> M=...,
>>>>     Key=@0x7fffffffa790: 0x9154cf8)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:1930
>>>> #10 0x0000000004b5d9b7 in (anonymous
>>>> namespace)::NewGVN::markUsersTouched (this=0x7fffffffaf80,
>>>>     V=0x9154cf8) at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:1946
>>>> #11 0x0000000004b5f141 in (anonymous
>>>> namespace)::NewGVN::performCongruenceFinding (
>>>>     this=0x7fffffffaf80, I=0x9154cf8, E=0x91d7b70)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:2269
>>>> #12 0x0000000004b62174 in (anonymous
>>>> namespace)::NewGVN::valueNumberInstruction (
>>>>     this=0x7fffffffaf80, I=0x9154cf8)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:2801
>>>> #13 0x0000000004b63b4f in (anonymous
>>>> namespace)::NewGVN::iterateTouchedInstructions (
>>>>     this=0x7fffffffaf80)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:3094
>>>> #14 0x0000000004b6431c in (anonymous namespace)::NewGVN::runGVN
>>>> (this=0x7fffffffaf80)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:3165
>>>> #15 0x0000000004b678db in (anonymous
>>>> namespace)::NewGVNLegacyPass::runOnFunction (
>>>>     this=0x910ea50, F=...)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Transforms/Scalar/NewGVN.cpp:3904
>>>> #16 0x00000000054d10fd in llvm::FPPassManager::runOnFunction
>>>> (this=0x9102260, F=...)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1514
>>>> #17 0x0000000004f2a375 in (anonymous
>>>> namespace)::CGPassManager::RunPassOnSCC (this=0x9100f00,
>>>>     P=0x9102260, CurSCC=..., CG=...,
CallGraphUpToDate=@0x7fffffffbc2f:
>>>> true,
>>>>     DevirtualizedCall=@0x7fffffffbccf: false)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGraphSCCPass.cpp:149
>>>> #18 0x0000000004f2b349 in (anonymous
>>>> namespace)::CGPassManager::RunAllPassesOnSCC (
>>>>     this=0x9100f00, CurSCC=..., CG=...,
>>>> DevirtualizedCall=@0x7fffffffbccf: false)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGraphSCCPass.cpp:419
>>>> #19 0x0000000004f2b643 in (anonymous
>>>> namespace)::CGPassManager::runOnModule (this=0x9100f00,
>>>>     M=...) at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/Analysis/CallGraphSCCPass.cpp:474
>>>> #20 0x00000000054d15c1 in (anonymous
>>>> namespace)::MPPassManager::runOnModule (this=0x90f9970,
>>>> ---Type <return> to continue, or q <return> to
quit---
>>>>     M=...) at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1591
>>>> #21 0x00000000054d1c73 in llvm::legacy::PassManagerImpl::run
>>>> (this=0x90f9480, M=...)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1694
>>>> #22 0x00000000054d1e7f in llvm::legacy::PassManager::run
>>>> (this=0x7fffffffc010, M=...)
>>>>     at
>>>>
/home/andy/downloads/llvm-project/llvm/lib/IR/LegacyPassManager.cpp:1725
>>>> #23 0x0000000001d4017d in ZigLLVMTargetMachineEmitToFile
>>>> (targ_machine_ref=0x9080d50,
>>>>     module_ref=0x907e870, filename=0x90cf360
"./zig-cache/test.o",
>>>> file_type=LLVMObjectFile,
>>>>     error_message=0x7fffffffc2f8, is_debug=false) at
>>>> /home/andy/dev/zig/src/zig_llvm.cpp:166
>>>> #24 0x0000000001cd041d in do_code_gen (g=0x907a980) at
>>>> /home/andy/dev/zig/src/codegen.cpp:4379
>>>> #25 0x0000000001cd4634 in codegen_build (g=0x907a980) at
>>>> /home/andy/dev/zig/src/codegen.cpp:5484
>>>> #26 0x0000000001d1d564 in main (argc=4, argv=0x7fffffffca18)
>>>>     at /home/andy/dev/zig/src/main.cpp:666
>>>>
>>>>
>>>>
>>>> Here's the smallest zig test case to cause the problem:
>>>>
>>>>
>>>> export fn entry() {
>>>>     var bytes: []const u8 = "format";
>>>>     write(bytes);
>>>> }
>>>>
>>>> pub fn write(bytes: []const u8) {
>>>>     var index: usize = 0;
>>>>
>>>>     var src_index: usize = 0;
>>>>
>>>>     while (src_index < bytes.len) {
>>>>         const dest_space_left = 1 - index;
>>>>         const b = bytes.len - src_index;
>>>>         const copy_amt = if (dest_space_left < b)
dest_space_left else
>>>> b;
>>>>         index += copy_amt;
>>>>         src_index += copy_amt;
>>>>     }
>>>> }
>>>>
>>>> pub fn panic(msg: []const u8) -> noreturn { while (true) {}
}
>>>>
>>>>
>>>> compile with ./zig build_obj test.zig --release-safe
>>>> This does the equivalent of -O3
>>>>
>>>> The IR that it produces; ModuleID = 'test'
>>>> source_filename = "test"
>>>> target datalayout =
"e-m:e-i64:64-f80:128-n8:16:32:64-S128"
>>>> target triple = "x86_64-unknown-linux-gnu"
>>>>
>>>> %"[]u8" = type { i8*, i64 }
>>>>
>>>> @__zig_panic_implementation_provided = internal unnamed_addr
constant
>>>> i1 true, align 1
>>>> @0 = internal unnamed_addr constant i8* getelementptr inbounds
([6 x
>>>> i8], [6 x i8]* @1, i64 0, i64 0), align 8
>>>> @1 = internal unnamed_addr constant [6 x i8]
c"format", align 1
>>>> @2 = internal unnamed_addr constant { i8*, i64 } { i8*
getelementptr
>>>> inbounds ([6 x i8], [6 x i8]* @1, i64 0, i64 0), i64 6 }, align
8
>>>> @3 = internal unnamed_addr constant i8* getelementptr inbounds
([16 x
>>>> i8], [16 x i8]* @4, i64 0, i64 0), align 8
>>>> @4 = internal unnamed_addr constant [16 x i8] c"integer
overflow",
>>>> align 1
>>>> @5 = internal unnamed_addr constant { i8*, i64 } { i8*
getelementptr
>>>> inbounds ([16 x i8], [16 x i8]* @4, i64 0, i64 0), i64 16 },
align 8
>>>>
>>>> ; Function Attrs: nobuiltin nounwind
>>>> define void @entry() #0 !dbg !16 {
>>>> Entry:
>>>>   %bytes = alloca %"[]u8", align 8
>>>>   %0 = bitcast %"[]u8"* %bytes to i8*, !dbg !31
>>>>   call void @llvm.memcpy.p0i8.p0i8.i64(i8* %0, i8* bitcast ({
i8*, i64
>>>> }* @2 to i8*), i64 16, i32 8, i1 false), !dbg !31
>>>>   call void @llvm.dbg.declare(metadata %"[]u8"*
%bytes, metadata !22,
>>>> metadata !32), !dbg !31
>>>>   call fastcc void @write(%"[]u8"* byval %bytes),
!dbg !33
>>>>   ret void, !dbg !35
>>>> }
>>>>
>>>> ; Function Attrs: cold nobuiltin noreturn nounwind
>>>> define linkonce coldcc void @__zig_panic(i8* nonnull readonly,
i64) #1
>>>> !dbg !36 {
>>>> Entry:
>>>>   %2 = alloca %"[]u8", align 8
>>>>   %message_ptr = alloca i8*, align 8
>>>>   %message_len = alloca i64, align 8
>>>>   store i8* %0, i8** %message_ptr, align 8
>>>>   call void @llvm.dbg.declare(metadata i8** %message_ptr,
metadata !41,
>>>> metadata !32), !dbg !44
>>>>   store i64 %1, i64* %message_len, align 8
>>>>   call void @llvm.dbg.declare(metadata i64* %message_len,
metadata !42,
>>>> metadata !32), !dbg !45
>>>>   %3 = load i64, i64* %message_len, align 8, !dbg !46
>>>>   %4 = load i8*, i8** %message_ptr, align 8, !dbg !50
>>>>   %5 = getelementptr inbounds %"[]u8",
%"[]u8"* %2, i32 0, i32 0, !dbg
>>>> !50
>>>>   %6 = getelementptr inbounds i8, i8* %4, i64 0, !dbg !50
>>>>   store i8* %6, i8** %5, align 8, !dbg !50
>>>>   %7 = getelementptr inbounds %"[]u8",
%"[]u8"* %2, i32 0, i32 1, !dbg
>>>> !50
>>>>   %8 = sub nsw i64 %3, 0, !dbg !50
>>>>   store i64 %8, i64* %7, align 8, !dbg !50
>>>>   call fastcc void @panic(%"[]u8"* byval %2), !dbg
!51
>>>>   unreachable, !dbg !51
>>>> }
>>>>
>>>> ; Function Attrs: nobuiltin nounwind
>>>> define internal fastcc void @write(%"[]u8"* byval
nonnull readonly)
>>>> unnamed_addr #0 !dbg !52 {
>>>> Entry:
>>>>   %index = alloca i64, align 8
>>>>   %src_index = alloca i64, align 8
>>>>   %dest_space_left = alloca i64, align 8
>>>>   %b = alloca i64, align 8
>>>>   %copy_amt = alloca i64, align 8
>>>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0,
metadata !57,
>>>> metadata !32), !dbg !70
>>>>   store i64 0, i64* %index, align 8, !dbg !71
>>>>   call void @llvm.dbg.declare(metadata i64* %index, metadata
!58,
>>>> metadata !32), !dbg !71
>>>>   store i64 0, i64* %src_index, align 8, !dbg !72
>>>>   call void @llvm.dbg.declare(metadata i64* %src_index,
metadata !61,
>>>> metadata !32), !dbg !72
>>>>   br label %WhileCond, !dbg !73
>>>>
>>>> WhileCond:                                        ; preds
>>>> %OverflowOk6, %Entry
>>>>   %1 = load i64, i64* %src_index, align 8, !dbg !74
>>>>   %2 = getelementptr inbounds %"[]u8",
%"[]u8"* %0, i32 0, i32 1, !dbg
>>>> !75
>>>>   %3 = load i64, i64* %2, align 8, !dbg !75
>>>>   %4 = icmp ult i64 %1, %3, !dbg !76
>>>>   br i1 %4, label %WhileBody, label %WhileEnd, !dbg !76
>>>>
>>>> WhileBody:                                        ; preds =
%WhileCond
>>>>   %5 = load i64, i64* %index, align 8, !dbg !77
>>>>   %6 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 1, i64
%5),
>>>> !dbg !78
>>>>   %7 = extractvalue { i64, i1 } %6, 0, !dbg !78
>>>>   %8 = extractvalue { i64, i1 } %6, 1, !dbg !78
>>>>   br i1 %8, label %OverflowFail, label %OverflowOk, !dbg !78
>>>>
>>>> WhileEnd:                                         ; preds =
%WhileCond
>>>>   ret void, !dbg !79
>>>>
>>>> Then:                                             ; preds =
%OverflowOk2
>>>>   %9 = load i64, i64* %dest_space_left, align 8, !dbg !80
>>>>   br label %EndIf, !dbg !81
>>>>
>>>> Else:                                             ; preds =
%OverflowOk2
>>>>   %10 = load i64, i64* %b, align 8, !dbg !82
>>>>   br label %EndIf, !dbg !81
>>>>
>>>> EndIf:                                            ; preds =
%Else, %Then
>>>>   %11 = phi i64 [ %9, %Then ], [ %10, %Else ], !dbg !81
>>>>   store i64 %11, i64* %copy_amt, align 8, !dbg !83
>>>>   call void @llvm.dbg.declare(metadata i64* %copy_amt, metadata
!68,
>>>> metadata !32), !dbg !83
>>>>   %12 = load i64, i64* %index, align 8, !dbg !84
>>>>   %13 = load i64, i64* %copy_amt, align 8, !dbg !86
>>>>   %14 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %12,
i64
>>>> %13), !dbg !87
>>>>   %15 = extractvalue { i64, i1 } %14, 0, !dbg !87
>>>>   %16 = extractvalue { i64, i1 } %14, 1, !dbg !87
>>>>   br i1 %16, label %OverflowFail3, label %OverflowOk4, !dbg !87
>>>>
>>>> OverflowFail:                                     ; preds =
%WhileBody
>>>>   %17 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 0), align 8, !dbg !78
>>>>   %18 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 1), align 8, !dbg !78
>>>>   call coldcc void @__zig_panic(i8* %17, i64 %18), !dbg !78
>>>>   unreachable, !dbg !78
>>>>
>>>> OverflowOk:                                       ; preds =
%WhileBody
>>>>   store i64 %7, i64* %dest_space_left, align 8, !dbg !88
>>>>   call void @llvm.dbg.declare(metadata i64* %dest_space_left,
metadata
>>>> !63, metadata !32), !dbg !88
>>>>   %19 = getelementptr inbounds %"[]u8",
%"[]u8"* %0, i32 0, i32 1, !dbg
>>>> !89
>>>>   %20 = load i64, i64* %19, align 8, !dbg !89
>>>>   %21 = load i64, i64* %src_index, align 8, !dbg !90
>>>>   %22 = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 %20,
i64
>>>> %21), !dbg !91
>>>>   %23 = extractvalue { i64, i1 } %22, 0, !dbg !91
>>>>   %24 = extractvalue { i64, i1 } %22, 1, !dbg !91
>>>>   br i1 %24, label %OverflowFail1, label %OverflowOk2, !dbg !91
>>>>
>>>> OverflowFail1:                                    ; preds =
%OverflowOk
>>>>   %25 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 0), align 8, !dbg !91
>>>>   %26 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 1), align 8, !dbg !91
>>>>   call coldcc void @__zig_panic(i8* %25, i64 %26), !dbg !91
>>>>   unreachable, !dbg !91
>>>>
>>>> OverflowOk2:                                      ; preds =
%OverflowOk
>>>>   store i64 %23, i64* %b, align 8, !dbg !92
>>>>   call void @llvm.dbg.declare(metadata i64* %b, metadata !66,
metadata
>>>> !32), !dbg !92
>>>>   %27 = load i64, i64* %dest_space_left, align 8, !dbg !93
>>>>   %28 = load i64, i64* %b, align 8, !dbg !94
>>>>   %29 = icmp ult i64 %27, %28, !dbg !95
>>>>   br i1 %29, label %Then, label %Else, !dbg !95
>>>>
>>>> OverflowFail3:                                    ; preds =
%EndIf
>>>>   %30 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 0), align 8, !dbg !87
>>>>   %31 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 1), align 8, !dbg !87
>>>>   call coldcc void @__zig_panic(i8* %30, i64 %31), !dbg !87
>>>>   unreachable, !dbg !87
>>>>
>>>> OverflowOk4:                                      ; preds =
%EndIf
>>>>   store i64 %15, i64* %index, align 8, !dbg !87
>>>>   %32 = load i64, i64* %src_index, align 8, !dbg !96
>>>>   %33 = load i64, i64* %copy_amt, align 8, !dbg !97
>>>>   %34 = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %32,
i64
>>>> %33), !dbg !98
>>>>   %35 = extractvalue { i64, i1 } %34, 0, !dbg !98
>>>>   %36 = extractvalue { i64, i1 } %34, 1, !dbg !98
>>>>   br i1 %36, label %OverflowFail5, label %OverflowOk6, !dbg !98
>>>>
>>>> OverflowFail5:                                    ; preds =
%OverflowOk4
>>>>   %37 = load i8*, i8** getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 0), align 8, !dbg !98
>>>>   %38 = load i64, i64* getelementptr inbounds ({ i8*, i64 }, {
i8*, i64
>>>> }* @5, i32 0, i32 1), align 8, !dbg !98
>>>>   call coldcc void @__zig_panic(i8* %37, i64 %38), !dbg !98
>>>>   unreachable, !dbg !98
>>>>
>>>> OverflowOk6:                                      ; preds =
%OverflowOk4
>>>>   store i64 %35, i64* %src_index, align 8, !dbg !98
>>>>   br label %WhileCond, !dbg !73
>>>> }
>>>>
>>>> ; Function Attrs: nobuiltin noreturn nounwind
>>>> define internal fastcc void @panic(%"[]u8"* byval
nonnull readonly)
>>>> unnamed_addr #2 !dbg !99 {
>>>> Entry:
>>>>   call void @llvm.dbg.declare(metadata %"[]u8"* %0,
metadata !101,
>>>> metadata !32), !dbg !102
>>>>   br label %WhileCond, !dbg !103
>>>>
>>>> WhileCond:                                        ; preds =
%WhileCond,
>>>> %Entry
>>>>   br label %WhileCond, !dbg !103
>>>> }
>>>>
>>>> ; Function Attrs: argmemonly nounwind
>>>> declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture
writeonly, i8*
>>>> nocapture readonly, i64, i32, i1) #3
>>>>
>>>> ; Function Attrs: nounwind readnone speculatable
>>>> declare void @llvm.dbg.declare(metadata, metadata, metadata) #4
>>>>
>>>> ; Function Attrs: nounwind readnone speculatable
>>>> declare { i64, i1 } @llvm.usub.with.overflow.i64(i64, i64) #4
>>>>
>>>> ; Function Attrs: nounwind readnone speculatable
>>>> declare { i64, i1 } @llvm.uadd.with.overflow.i64(i64, i64) #4
>>>>
>>>> attributes #0 = { nobuiltin nounwind }
>>>> attributes #1 = { cold nobuiltin noreturn nounwind }
>>>> attributes #2 = { nobuiltin noreturn nounwind }
>>>> attributes #3 = { argmemonly nounwind }
>>>> attributes #4 = { nounwind readnone speculatable }
>>>>
>>>> !llvm.module.flags = !{!0}
>>>> !llvm.dbg.cu = !{!1}
>>>>
>>>> !0 = !{i32 2, !"Debug Info Version", i32 3}
>>>> !1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2,
producer:
>>>> "zig 0.0.0", isOptimized: true, runtimeVersion: 0,
emissionKind: FullDebug,
>>>> enums: !3, globals: !12)
>>>> !2 = !DIFile(filename: "test", directory:
".")
>>>> !3 = !{!4}
>>>> !4 = !DICompositeType(tag: DW_TAG_enumeration_type, name:
>>>> "GlobalLinkage", scope: !5, file: !5, line: 138,
baseType: !6, size: 8,
>>>> align: 8, elements: !7)
>>>> !5 = !DIFile(filename: "builtin.zig", directory:
>>>> "/home/andy/dev/zig/build-llvm5-debug/zig-cache")
>>>> !6 = !DIBasicType(name: "u3", size: 8, encoding:
DW_ATE_unsigned)
>>>> !7 = !{!8, !9, !10, !11}
>>>> !8 = !DIEnumerator(name: "Internal", value: 0)
>>>> !9 = !DIEnumerator(name: "Strong", value: 1)
>>>> !10 = !DIEnumerator(name: "Weak", value: 2)
>>>> !11 = !DIEnumerator(name: "LinkOnce", value: 3)
>>>> !12 = !{!13}
>>>> !13 = !DIGlobalVariableExpression(var: !14)
>>>> !14 = distinct !DIGlobalVariable(name:
>>>> "__zig_panic_implementation_provided", linkageName:
>>>> "__zig_panic_implementation_provided", scope: !5,
file: !5, line: 201,
>>>> type: !15, isLocal: true, isDefinition: true)
>>>> !15 = !DIBasicType(name: "bool", size: 8, encoding:
DW_ATE_boolean)
>>>> !16 = distinct !DISubprogram(name: "entry", scope:
!17, file: !17,
>>>> type: !18, isLocal: false, isDefinition: true, isOptimized:
true, unit: !1,
>>>> variables: !21)
>>>> !17 = !DIFile(filename: "test.zig", directory:
>>>> "/home/andy/dev/zig/build-llvm5-debug")
>>>> !18 = !DISubroutineType(types: !19)
>>>> !19 = !{!20}
>>>> !20 = !DIBasicType(name: "void", encoding:
DW_ATE_unsigned)
>>>> !21 = !{!22}
>>>> !22 = !DILocalVariable(name: "bytes", scope: !23,
file: !17, line: 2,
>>>> type: !24)
>>>> !23 = distinct !DILexicalBlock(scope: !16, file: !17, line: 1,
column:
>>>> 19)
>>>> !24 = !DICompositeType(tag: DW_TAG_structure_type, name:
"[]u8", size:
>>>> 128, align: 64, elements: !25)
>>>> !25 = !{!26, !29}
>>>> !26 = !DIDerivedType(tag: DW_TAG_member, name: "ptr",
scope: !24,
>>>> baseType: !27, size: 64, align: 64)
>>>> !27 = !DIDerivedType(tag: DW_TAG_pointer_type, name:
"&u8", baseType:
>>>> !28, size: 64, align: 64)
>>>> !28 = !DIBasicType(name: "u8", size: 8, encoding:
DW_ATE_unsigned_char)
>>>> !29 = !DIDerivedType(tag: DW_TAG_member, name: "len",
scope: !24,
>>>> baseType: !30, size: 64, align: 64, offset: 64)
>>>> !30 = !DIBasicType(name: "usize", size: 64, encoding:
DW_ATE_unsigned)
>>>> !31 = !DILocation(line: 2, column: 5, scope: !23)
>>>> !32 = !DIExpression()
>>>> !33 = !DILocation(line: 3, column: 10, scope: !34)
>>>> !34 = distinct !DILexicalBlock(scope: !23, file: !17, line: 2,
column:
>>>> 5)
>>>> !35 = !DILocation(line: 1, column: 19, scope: !16)
>>>> !36 = distinct !DISubprogram(name: "__zig_panic",
scope: !37, file:
>>>> !37, line: 7, type: !38, isLocal: false, isDefinition: true,
scopeLine: 7,
>>>> isOptimized: true, unit: !1, variables: !40)
>>>> !37 = !DIFile(filename: "zigrt.zig", directory:
>>>>
"/home/andy/dev/zig/build-llvm5-debug/lib/zig/std/special")
>>>> !38 = !DISubroutineType(types: !39)
>>>> !39 = !{!20, !27, !30}
>>>> !40 = !{!41, !42}
>>>> !41 = !DILocalVariable(name: "message_ptr", arg: 1,
scope: !36, file:
>>>> !37, line: 7, type: !27)
>>>> !42 = !DILocalVariable(name: "message_len", arg: 2,
scope: !43, file:
>>>> !37, line: 7, type: !30)
>>>> !43 = distinct !DILexicalBlock(scope: !36, file: !37, line: 7,
column:
>>>> 30)
>>>> !44 = !DILocation(line: 7, column: 30, scope: !36)
>>>> !45 = !DILocation(line: 7, column: 54, scope: !43)
>>>> !46 = !DILocation(line: 12, column: 48, scope: !47)
>>>> !47 = distinct !DILexicalBlock(scope: !48, file: !37, line: 11,
column:
>>>> 54)
>>>> !48 = distinct !DILexicalBlock(scope: !49, file: !37, line: 7,
column:
>>>> 86)
>>>> !49 = distinct !DILexicalBlock(scope: !43, file: !37, line: 7,
column:
>>>> 54)
>>>> !50 = !DILocation(line: 12, column: 43, scope: !47)
>>>> !51 = !DILocation(line: 12, column: 31, scope: !47)
>>>> !52 = distinct !DISubprogram(name: "write", scope:
!17, file: !17,
>>>> line: 6, type: !53, isLocal: true, isDefinition: true,
scopeLine: 6,
>>>> isOptimized: true, unit: !1, variables: !56)
>>>> !53 = !DISubroutineType(types: !54)
>>>> !54 = !{!20, !55}
>>>> !55 = !DIDerivedType(tag: DW_TAG_pointer_type, name:
"&[]const u8",
>>>> baseType: !24, size: 64, align: 64)
>>>> !56 = !{!57, !58, !61, !63, !66, !68}
>>>> !57 = !DILocalVariable(name: "bytes", arg: 1, scope:
!52, file: !17,
>>>> line: 6, type: !24)
>>>> !58 = !DILocalVariable(name: "index", scope: !59,
file: !17, line: 7,
>>>> type: !30)
>>>> !59 = distinct !DILexicalBlock(scope: !60, file: !17, line: 6,
column:
>>>> 33)
>>>> !60 = distinct !DILexicalBlock(scope: !52, file: !17, line: 6,
column:
>>>> 14)
>>>> !61 = !DILocalVariable(name: "src_index", scope: !62,
file: !17, line:
>>>> 9, type: !30)
>>>> !62 = distinct !DILexicalBlock(scope: !59, file: !17, line: 7,
column:
>>>> 5)
>>>> !63 = !DILocalVariable(name: "dest_space_left",
scope: !64, file: !17,
>>>> line: 12, type: !30)
>>>> !64 = distinct !DILexicalBlock(scope: !65, file: !17, line: 11,
column:
>>>> 35)
>>>> !65 = distinct !DILexicalBlock(scope: !62, file: !17, line: 9,
column:
>>>> 5)
>>>> !66 = !DILocalVariable(name: "b", scope: !67, file:
!17, line: 13,
>>>> type: !30)
>>>> !67 = distinct !DILexicalBlock(scope: !64, file: !17, line: 12,
column:
>>>> 9)
>>>> !68 = !DILocalVariable(name: "copy_amt", scope: !69,
file: !17, line:
>>>> 14, type: !30)
>>>> !69 = distinct !DILexicalBlock(scope: !67, file: !17, line: 13,
column:
>>>> 9)
>>>> !70 = !DILocation(line: 6, column: 14, scope: !52)
>>>> !71 = !DILocation(line: 7, column: 5, scope: !59)
>>>> !72 = !DILocation(line: 9, column: 5, scope: !62)
>>>> !73 = !DILocation(line: 11, column: 5, scope: !65)
>>>> !74 = !DILocation(line: 11, column: 12, scope: !65)
>>>> !75 = !DILocation(line: 11, column: 29, scope: !65)
>>>> !76 = !DILocation(line: 11, column: 22, scope: !65)
>>>> !77 = !DILocation(line: 12, column: 37, scope: !64)
>>>> !78 = !DILocation(line: 12, column: 35, scope: !64)
>>>> !79 = !DILocation(line: 11, column: 5, scope: !60)
>>>> !80 = !DILocation(line: 14, column: 51, scope: !69)
>>>> !81 = !DILocation(line: 14, column: 26, scope: !69)
>>>> !82 = !DILocation(line: 14, column: 72, scope: !69)
>>>> !83 = !DILocation(line: 14, column: 9, scope: !69)
>>>> !84 = !DILocation(line: 15, column: 9, scope: !85)
>>>> !85 = distinct !DILexicalBlock(scope: !69, file: !17, line: 14,
column:
>>>> 9)
>>>> !86 = !DILocation(line: 15, column: 18, scope: !85)
>>>> !87 = !DILocation(line: 15, column: 15, scope: !85)
>>>> !88 = !DILocation(line: 12, column: 9, scope: !64)
>>>> !89 = !DILocation(line: 13, column: 24, scope: !67)
>>>> !90 = !DILocation(line: 13, column: 31, scope: !67)
>>>> !91 = !DILocation(line: 13, column: 29, scope: !67)
>>>> !92 = !DILocation(line: 13, column: 9, scope: !67)
>>>> !93 = !DILocation(line: 14, column: 30, scope: !69)
>>>> !94 = !DILocation(line: 14, column: 48, scope: !69)
>>>> !95 = !DILocation(line: 14, column: 46, scope: !69)
>>>> !96 = !DILocation(line: 16, column: 9, scope: !85)
>>>> !97 = !DILocation(line: 16, column: 22, scope: !85)
>>>> !98 = !DILocation(line: 16, column: 19, scope: !85)
>>>> !99 = distinct !DISubprogram(name: "panic", scope:
!17, file: !17,
>>>> line: 20, type: !53, isLocal: true, isDefinition: true,
scopeLine: 20,
>>>> isOptimized: true, unit: !1, variables: !100)
>>>> !100 = !{!101}
>>>> !101 = !DILocalVariable(name: "msg", arg: 1, scope:
!99, file: !17,
>>>> line: 20, type: !24)
>>>> !102 = !DILocation(line: 20, column: 14, scope: !99)
>>>> !103 = !DILocation(line: 20, column: 45, scope: !104)
>>>> !104 = distinct !DILexicalBlock(scope: !105, file: !17, line:
20,
>>>> column: 43)
>>>> !105 = distinct !DILexicalBlock(scope: !99, file: !17, line:
20,
>>>> column: 14)
>>>>  is the following, however clang 5 with assertions on does not
hit the
>>>> assertion when run on this IR:
>>>>
>>>>
>>>>
>>>> Any pointers would be appreciated.
>>>>
>>>
>>>
>>> _______________________________________________
>>> LLVM Developers mailing list
>>> llvm-dev at lists.llvm.org
>>> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>>>
>>>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev
>-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20170917/57b65ad2/attachment-0001.html>

Maybe Matching Threads

Search for more apparently analagous threads

llvm dev - Sep 2017 - assertion triggered since update to llvm 5

[llvm-dev] assertion triggered since update to llvm 5

[llvm-dev] assertion triggered since update to llvm 5

[llvm-dev] assertion triggered since update to llvm 5

Maybe Matching Threads