Skip to content

Conversation

@vtjnash
Copy link
Member

@vtjnash vtjnash commented Oct 28, 2019

This avoids cases where getMostGenericTBAA could return broken answers.

fix #33590

@vtjnash vtjnash added compiler:codegen Generation of LLVM IR and native code bugfix This change fixes an existing bug backport 1.0 labels Oct 28, 2019
Copy link
Member

@Keno Keno left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM in terms of changes, but looks like one of the llvmpasses tests needs to be updated.

This avoids cases where getMostGenericTBAA could return broken answers.

fix #33590
@vtjnash vtjnash merged commit 1ae9902 into master Oct 30, 2019
@vtjnash vtjnash deleted the jn/33590 branch October 30, 2019 16:17
@vtjnash
Copy link
Member Author

vtjnash commented Oct 30, 2019

Oops, I blamed getMostGenericTBAA, but the bad TBAA node was actually emitted on the next line of code (which tried to handle when getMostGenericTBAA fails)

julia/src/intrinsics.cpp

Lines 814 to 819 in 4e31741

if (ifelse_tbaa == NULL) {
// LLVM won't return a TBAA result for the root, but mark_julia_struct requires it: make it now
auto *OffsetNode = ConstantAsMetadata::get(ConstantInt::get(T_int64, 0));
Metadata *Ops[] = {tbaa_root, tbaa_root, OffsetNode};
ifelse_tbaa = MDNode::get(jl_LLVMContext, Ops);
}

@KristofferC KristofferC mentioned this pull request Nov 7, 2019
19 tasks
@KristofferC KristofferC mentioned this pull request Nov 29, 2019
18 tasks
KristofferC pushed a commit that referenced this pull request Nov 29, 2019
This avoids cases where getMostGenericTBAA could return broken answers.

fix #33590

(cherry picked from commit 1ae9902)
@KristofferC KristofferC mentioned this pull request Dec 3, 2019
56 tasks
KristofferC pushed a commit that referenced this pull request Dec 4, 2019
This avoids cases where getMostGenericTBAA could return broken answers.

fix #33590

(cherry picked from commit 1ae9902)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bugfix This change fixes an existing bug compiler:codegen Generation of LLVM IR and native code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Precompiling BioSequences fails on debug mode with LLVM assertions on "Access type node must be a valid scalar type"

3 participants