[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 35897, which changed state. Bug 35897 Summary: merge r322030 into clang 6 branch https://bugs.llvm.org/show_bug.cgi?id=35897 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37635] New: EarlyCSE does not benefit from "and" conditions
https://bugs.llvm.org/show_bug.cgi?id=37635
Bug ID: 37635
Summary: EarlyCSE does not benefit from "and" conditions
Product: new-bugs
Version: trunk
Hardware: PC
OS: Windows NT
Status: NEW
Severity: enhancement
Priority: P
Component: new bugs
Assignee: unassignedb...@nondot.org
Reporter: max.kazant...@azul.com
CC: llvm-bugs@lists.llvm.org
Given 2 tests:
define i32 @test_01(i32 %a, i32 %b) {
entry:
%cond = icmp slt i32 %a, %b
br i1 %cond, label %if.true, label %if.false
if.true:
%cond2 = icmp slt i32 %a, %b
%x = select i1 %cond2, i32 %a, i32 %b
ret i32 %x
if.false:
%cond3 = icmp slt i32 %a, %b
%y = select i1 %cond3, i32 %a, i32 %b
ret i32 %y
}
define i32 @test_02(i32 %a, i32 %b, i1 %c) {
entry:
%cond = icmp slt i32 %a, %b
%and.cond = and i1 %cond, %c
br i1 %and.cond, label %if.true, label %if.false
if.true:
%cond2 = icmp slt i32 %a, %b
%x = select i1 %cond2, i32 %a, i32 %b
ret i32 %x
if.false:
%cond3 = icmp slt i32 %a, %b
%y = select i1 %cond3, i32 %a, i32 %b
ret i32 %y
}
EarlyCSE is able to eliminate select in if.true branch in test_01, but unable
to do the same in test_02. Apparently it does not understand that "cond1 &
cond2" implies "cond1" and "cond2". Reproducer:
opt -early-cse -S ./test.ll
; ModuleID = './test.ll'
source_filename = "./test.ll"
define i32 @test_01(i32 %a, i32 %b) {
entry:
%cond = icmp slt i32 %a, %b
br i1 %cond, label %if.true, label %if.false
if.true: ; preds = %entry
ret i32 %a
if.false: ; preds = %entry
ret i32 %b
}
define i32 @test_02(i32 %a, i32 %b, i1 %c) {
entry:
%cond = icmp slt i32 %a, %b
%and.cond = and i1 %cond, %c
br i1 %and.cond, label %if.true, label %if.false
if.true: ; preds = %entry
%x = select i1 %cond, i32 %a, i32 %b
ret i32 %x
if.false: ; preds = %entry
%y = select i1 %cond, i32 %a, i32 %b
ret i32 %y
}
--
You are receiving this mail because:
You are on the CC list for the bug.___
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36166] tools/gold/X86/comdat.ll is failing only on Debian Unstable
https://bugs.llvm.org/show_bug.cgi?id=36166 Tom Stellard changed: What|Removed |Added CC||tstel...@redhat.com Status|NEW |RESOLVED Resolution|--- |INVALID --- Comment #9 from Tom Stellard --- This was a binutils bug. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37628] clang crashes on valid code at -O1 on x86_64-linux-gnu while running pass 'Value Propagation'
https://bugs.llvm.org/show_bug.cgi?id=37628 Zhendong Su changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37605] Infinite loop in -instcombine, ping-pong between fadd/fsub
https://bugs.llvm.org/show_bug.cgi?id=37605 Sanjay Patel changed: What|Removed |Added Fixed By Commit(s)||333610 Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #1 from Sanjay Patel --- Should be fixed with: https://reviews.llvm.org/rL333610 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37634] New: MSVC can't find function symbols in lld-linked binaries
https://bugs.llvm.org/show_bug.cgi?id=37634 Bug ID: 37634 Summary: MSVC can't find function symbols in lld-linked binaries Product: libraries Version: trunk Hardware: PC OS: Windows NT Status: NEW Severity: enhancement Priority: P Component: DebugInfo Assignee: unassignedb...@nondot.org Reporter: dma...@mozilla.com CC: llvm-bugs@lists.llvm.org, r...@google.com, ztur...@google.com Porting this from a Firefox bug report at https://bugzilla.mozilla.org/show_bug.cgi?id=1458109 Using this build: https://queue.taskcluster.net/v1/task/GoXhaNayTkig6I6H9szsYw/runs/0/artifacts/public/build/target.zip whose PDBs are here: https://queue.taskcluster.net/v1/task/GoXhaNayTkig6I6H9szsYw/runs/0/artifacts/public/build/target.crashreporter-symbols-full.zip MSVC's debugger can't invoke functions in xul.dll. Member functions give a message like: 'Function nsIFrame::DumpFrameTree has no address, possibly due to compiler optimizations.' Non-member functions give a message like 'identifier "DumpJSStack" is undefined'. This happens when the binary is linked with lld-link, regardless of whether the compiler was cl or clang-cl. WinDbg can see these symbols with 'x' just fine, regardless of linker. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37633] New: overflow builtins are not constexpr
https://bugs.llvm.org/show_bug.cgi?id=37633 Bug ID: 37633 Summary: overflow builtins are not constexpr Product: clang Version: unspecified Hardware: PC OS: Linux Status: NEW Severity: enhancement Priority: P Component: C++14 Assignee: unassignedclangb...@nondot.org Reporter: j...@mcfarlane.name CC: llvm-bugs@lists.llvm.org It would be beneficial if overflow builtins [1] could be used in constant expressions. This would bring Clang in line with GCC 7.x [2]. 1. https://clang.llvm.org/docs/LanguageExtensions.html#checked-arithmetic-builtins 2. https://godbolt.org/g/5eWcNb -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37625] Error compiling with -fsanitize=cfi-icall: Alias should have private, internal, linkonce, weak, linkonce_odr, weak_odr, or external linkage!
https://bugs.llvm.org/show_bug.cgi?id=37625 Vlad Tsyrklevich changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #3 from Vlad Tsyrklevich --- Tom confirmed to me that https://reviews.llvm.org/D47494 fixed his build failure. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37632] New: opt crashes with "opt -early-cse-memssa -jump-threading -mem2reg": Assertion `!contains(New, this) && "this->replaceAllUsesWith(expr(this)) is NOT valid!"' failed
https://bugs.llvm.org/show_bug.cgi?id=37632
Bug ID: 37632
Summary: opt crashes with "opt -early-cse-memssa
-jump-threading -mem2reg": Assertion `!contains(New,
this) && "this->replaceAllUsesWith(expr(this)) is NOT
valid!"' failed
Product: libraries
Version: trunk
Hardware: PC
OS: All
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: s...@cs.ucdavis.edu
CC: llvm-bugs@lists.llvm.org
Tested with trunk revision 333424.
$ clangpolly -v
clang version 7.0.0 (http://llvm.org/git/clang.git
3de179a61e5c29a0f91918da87c692756bc755b4) (llvm/trunk 333424)
Target: x86_64-unknown-linux-gnu
Thread model: posix
InstalledDir: /home/su/bin
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/4.9
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/4.9.4
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5.3.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4.7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7.3
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8.5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9.4
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.3.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6
Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.2.0
Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Candidate multilib: x32;@mx32
Selected multilib: .;@m64
$
$ clangpolly -O3 -mllvm -disable-llvm-optzns -c -emit-llvm -o small.bc small.c
$
$ optpolly -early-cse-memssa -jump-threading -mem2reg -o small-opt.bc small.bc
optpolly: /home/su/software/tmp/polly/llvm/lib/IR/Value.cpp:411: void
llvm::Value::doRAUW(llvm::Value*, bool): Assertion `!contains(New, this) &&
"this->replaceAllUsesWith(expr(this)) is NOT valid!"' failed.
Stack dump:
0. Program arguments: optpolly -early-cse-memssa -jump-threading -mem2reg
-o small-opt.bc small.bc
1. Running pass 'Function Pass Manager' on module 'small.bc'.
2. Running pass 'Promote Memory to Register' on function '@main'
LLVMSymbolizer: error reading file: No such file or directory
#0 0x021c43ea (optpolly+0x21c43ea)
#1 0x021c28da (optpolly+0x21c28da)
#2 0x021c2a09 (optpolly+0x21c2a09)
#3 0x7f507f7ca330 __restore_rt
(/lib/x86_64-linux-gnu/libpthread.so.0+0x10330)
#4 0x7f507e5b2c37 gsignal
/build/eglibc-SvCtMH/eglibc-2.19/signal/../nptl/sysdeps/unix/sysv/linux/raise.c:56:0
#5 0x7f507e5b6028 abort
/build/eglibc-SvCtMH/eglibc-2.19/stdlib/abort.c:91:0
#6 0x7f507e5abbf6 __assert_fail_base
/build/eglibc-SvCtMH/eglibc-2.19/assert/assert.c:92:0
#7 0x7f507e5abca2 (/lib/x86_64-linux-gnu/libc.so.6+0x2fca2)
#8 0x01ce8c46 (optpolly+0x1ce8c46)
#9 0x02284bc5 (optpolly+0x2284bc5)
#10 0x02286217 (optpolly+0x2286217)
#11 0x022717ff (optpolly+0x22717ff)
#12 0x01ca1183 (optpolly+0x1ca1183)
#13 0x01ca123c (optpolly+0x1ca123c)
#14 0x01ca193a (optpolly+0x1ca193a)
#15 0x008e776c (optpolly+0x8e776c)
#16 0x7f507e59df45 __libc_start_main
/build/eglibc-SvCtMH/eglibc-2.19/csu/libc-start.c:321:0
#17 0x00961226 (optpolly+0x961226)
Aborted (core dumped)
$
int main ()
{
while (0)
for (int a = 0; a; a++)
a--;
return 0;
}
--
You are receiving this mail because:
You are on the CC list for the bug.___
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37609] ld.lld crash while linking baremetal ARM .o files
https://bugs.llvm.org/show_bug.cgi?id=37609 Rui Ueyama changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 34491] Invalid warning about unsupported target("thumb") attribute
https://bugs.llvm.org/show_bug.cgi?id=34491 Evgenii Stepanov changed: What|Removed |Added Resolution|WORKSFORME |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37239] Lit line-number reporting (r330755) breaks on Windows/cmd.exe
https://bugs.llvm.org/show_bug.cgi?id=37239 Joel E. Denny changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #18 from Joel E. Denny --- Fixed by r333584. Thanks for accepting, Reid. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37584] lld-link crash with SafeSEH and -debug:dwarf
https://bugs.llvm.org/show_bug.cgi?id=37584 Shoaib Meenai changed: What|Removed |Added Assignee|unassignedb...@nondot.org |smee...@fb.com Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #3 from Shoaib Meenai --- r333450 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37490, which changed state. Bug 37490 Summary: Merge r330788 into the 6.0 branch : Bring r329960 back. https://bugs.llvm.org/show_bug.cgi?id=37490 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |WONTFIX -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37490] Merge r330788 into the 6.0 branch : Bring r329960 back.
https://bugs.llvm.org/show_bug.cgi?id=37490 Tom Stellard changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |WONTFIX --- Comment #4 from Tom Stellard --- Ok, let's wait then. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37186, which changed state. Bug 37186 Summary: Merge r326358 into the 6.0.1 release: Fix llvm-config --system-libs output on FreeBSD and NetBSD https://bugs.llvm.org/show_bug.cgi?id=37186 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37186] Merge r326358 into the 6.0.1 release: Fix llvm-config --system-libs output on FreeBSD and NetBSD
https://bugs.llvm.org/show_bug.cgi?id=37186 Tom Stellard changed: What|Removed |Added Fixed By Commit(s)|r326358 |r326358 r333579 Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #3 from Tom Stellard --- Merged: r333579 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37379] Merge r328798 into the 6.0 branch : [JumpThreading] Don't select an edge that we know we can't thread
https://bugs.llvm.org/show_bug.cgi?id=37379 Tom Stellard changed: What|Removed |Added Status|NEW |RESOLVED Fixed By Commit(s)|r328798 |r328798 r333577 Resolution|--- |FIXED --- Comment #4 from Tom Stellard --- Merged: r333577 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37379, which changed state. Bug 37379 Summary: Merge r328798 into the 6.0 branch : [JumpThreading] Don't select an edge that we know we can't thread https://bugs.llvm.org/show_bug.cgi?id=37379 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37627] [X86] Merge r333497 into 6.0.1
https://bugs.llvm.org/show_bug.cgi?id=37627 Tom Stellard changed: What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED Fixed By Commit(s)|r333497 |r333497 r333575 --- Comment #1 from Tom Stellard --- Merged: r333575 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37627, which changed state. Bug 37627 Summary: [X86] Merge r333497 into 6.0.1 https://bugs.llvm.org/show_bug.cgi?id=37627 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36814] Merge r326173 r326476 into the 6.0 branch : [RecordLayout] Don't align to non-power-of-2 sizes when using -mms-bitfields
https://bugs.llvm.org/show_bug.cgi?id=36814 Tom Stellard changed: What|Removed |Added Status|NEW |RESOLVED Fixed By Commit(s)|r326173 r326476 |r326173 r326476 r333569 ||r333571 Resolution|--- |FIXED --- Comment #5 from Tom Stellard --- Merged: r333569 r333571 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 36814, which changed state. Bug 36814 Summary: Merge r326173 r326476 into the 6.0 branch : [RecordLayout] Don't align to non-power-of-2 sizes when using -mms-bitfields https://bugs.llvm.org/show_bug.cgi?id=36814 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37398] Incorrect std::type_info comparison and hash_code for pointer to incomplete type
https://bugs.llvm.org/show_bug.cgi?id=37398 Eric Fiselier changed: What|Removed |Added Status|RESOLVED|REOPENED Resolution|FIXED |--- --- Comment #14 from Eric Fiselier --- Reopening. The Clang changes have been reverted. -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36813] Merge r326235 into the 6.0 branch : [MinGW, CrossWindows] Allow passing -static together with -shared
https://bugs.llvm.org/show_bug.cgi?id=36813 Tom Stellard changed: What|Removed |Added Resolution|--- |FIXED Status|NEW |RESOLVED Fixed By Commit(s)|r326235 |r326235 r333566 --- Comment #4 from Tom Stellard --- Merged: r333566 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 36813, which changed state. Bug 36813 Summary: Merge r326235 into the 6.0 branch : [MinGW, CrossWindows] Allow passing -static together with -shared https://bugs.llvm.org/show_bug.cgi?id=36813 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37041] Merge 329300 in 6.0.1 branch
https://bugs.llvm.org/show_bug.cgi?id=37041 Tom Stellard changed: What|Removed |Added Status|NEW |RESOLVED Fixed By Commit(s)|r329300 |r329300 r333564 Resolution|--- |FIXED --- Comment #10 from Tom Stellard --- Merged: r333564 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37041, which changed state. Bug 37041 Summary: Merge 329300 in 6.0.1 branch https://bugs.llvm.org/show_bug.cgi?id=37041 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37630] New: [IndVarSimplify] Canonicalize to IV type by extending LIV operand
https://bugs.llvm.org/show_bug.cgi?id=37630
Bug ID: 37630
Summary: [IndVarSimplify] Canonicalize to IV type by extending
LIV operand
Product: libraries
Version: trunk
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: Scalar Optimizations
Assignee: unassignedb...@nondot.org
Reporter: listm...@philipreames.com
CC: llvm-bugs@lists.llvm.org
Looking at IR today, we end up with a bunch of patterns of the following form
which fail to get further reduced or optimized. I'm still chasing where
exactly these come from - my current best guess is a pass ordering problem
between CVP and IndVars which results in us widening without learning overflow
facts - but there's no reason we shouldn't handle this case anyway.
My specific proposal is that we remove the trunc, widen the compare to 64 bits,
and insert a sext of the loop invariant operand. We can do this when:
1) The trunc does not change range of the input. Can be checked with SCEVs
range mechanism.
2) The right operand is loop invariant.
3) The comparison is signed. (We can use a zext when unsigned.)
4) The widened type is as cheap as the narrow type. (See the same check in
IndVarSimplify widening logic.)
I believe this can be added to eliminateIVComparison in
Utils/SimplifyIndVars.cpp naturally.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @test2(i32 %n) {
entry:
br label %loop
loop:
%iv = phi i64 [0, %entry], [%iv.next, %loop]
%iv.next = add nuw nsw i64 %iv, 1
%sext = trunc i64 %iv to i32
%cmp = icmp slt i32 %sext, %n
br i1 %cmp, label %loop, label %exit
exit:
ret void
}
--
You are receiving this mail because:
You are on the CC list for the bug.___
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37381] Merge r330345 into the 6.0 branch : [if-converter] Handle BBs that terminate in ret during diamond conversion
https://bugs.llvm.org/show_bug.cgi?id=37381 Tom Stellard changed: What|Removed |Added Resolution|--- |FIXED Fixed By Commit(s)|r330345 |r330345 r333561 Status|NEW |RESOLVED --- Comment #5 from Tom Stellard --- Merged: r333561 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37381, which changed state. Bug 37381 Summary: Merge r330345 into the 6.0 branch : [if-converter] Handle BBs that terminate in ret during diamond conversion https://bugs.llvm.org/show_bug.cgi?id=37381 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37629] New: AST Matcher parmVarDecl() parent lambdaExpr() not reachable
https://bugs.llvm.org/show_bug.cgi?id=37629
Bug ID: 37629
Summary: AST Matcher parmVarDecl() parent lambdaExpr() not
reachable
Product: clang
Version: trunk
Hardware: PC
OS: Windows NT
Status: NEW
Severity: enhancement
Priority: P
Component: C++
Assignee: unassignedclangb...@nondot.org
Reporter: steve...@gmail.com
CC: dgre...@apple.com, llvm-bugs@lists.llvm.org
C:\dev\src\clang-tools-extra\scripttests>type testit.cpp
void foo(const char* match)
{
}
typedef bool(*functionType)(const char* desc);
functionType g_testReportFunction;
int main(int argc, char**argv)
{
g_testReportFunction = [](const char* doNotMatch) -> bool
{
return false;
};
auto l = [](const char* doNotMatch)
{
};
auto l2 = [](const char* doNotMatch)
{
};
return 0;
}
C:\dev\src\clang-tools-extra\scripttests>C:\dev\src\llvm\build\releaseprefix\bin\clang-query.exe
testit.cpp
Error while trying to load a compilation database:
Could not auto-detect compilation database for file "testit.cpp"
No compilation database found in C:\dev\src\clang-tools-extra\scripttests or
any parent directory
fixed-compilation-database: Error while opening fixed database: no such file or
directory
json-compilation-database: Error while opening JSON database: no such file or
directory
Running without flags.
testit.cpp
# NOTE: This should also match the g_testReportFunction lambda
clang-query> m parmVarDecl(hasType(pointerType(pointee(isAnyCharacter(,
hasParent(lambdaExpr().bind("e")))
Match #1:
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:18:14: note: "e" binds here
auto l = [](const char* doNotMatch)
^~
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:18:17: note: "root" binds
here
auto l = [](const char* doNotMatch)
^~
Match #2:
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:23:15: note: "e" binds here
auto l2 = [](const char* doNotMatch)
^~~
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:23:23: note: "root" binds
here
auto l2 = [](const char* doNotMatch)
^~
2 matches.
# NOTE: This should also match the g_testReportFunction lambda, or at least
show something for it.
clang-query> m parmVarDecl(hasType(pointerType(pointee(isAnyCharacter(,
hasParent(expr().bind("e")))
Match #1:
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:18:14: note: "e" binds here
auto l = [](const char* doNotMatch)
^~
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:18:17: note: "root" binds
here
auto l = [](const char* doNotMatch)
^~
Match #2:
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:23:15: note: "e" binds here
auto l2 = [](const char* doNotMatch)
^~~
C:\dev\src\clang-tools-extra\scripttests\testit.cpp:23:23: note: "root" binds
here
auto l2 = [](const char* doNotMatch)
^~
2 matches.
clang-query>
Dumping main shows the expected AST structure:
clang-query> m functionDecl(hasName("main"))
Match #1:
Binding for "root":
FunctionDecl
0x155d40e1678 line:11:5 main 'int (int, char **)'
|-ParmVarDecl 0x155d40e14f8 col:14 used argc 'int'
|-ParmVarDecl 0x155d40e15a0 col:26 argv 'char
**'
`-CompoundStmt 0x155d40ea4b8
|-BinaryOperator 0x155d40e2128
'functionType':'bool (*)(const char *)' lvalue '='
| |-DeclRefExpr
0x155d40e1728 'functionType':'bool (*)(const char *)' lvalue Var
[llvm-bugs] Issue 6791 in oss-fuzz: llvm/llvm-isel-fuzzer--aarch64-O2: ASSERT: isa(Val) && "cast() argument of incompatible type!"
Updates: Labels: Deadline-Approaching Comment #2 on issue 6791 by sheriff...@chromium.org: llvm/llvm-isel-fuzzer--aarch64-O2: ASSERT: isa(Val) && "cast() argument of incompatible type!" https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=6791#c2 This bug is approaching its deadline for being fixed, and will be automatically derestricted within 7 days. If a fix is planned within 2 weeks after the deadline has passed, a grace extension can be granted. - Your friendly Sheriffbot -- You received this message because: 1. You were specifically CC'd on the issue You may adjust your notification preferences at: https://bugs.chromium.org/hosting/settings Reply to this email to add a comment. ___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37620] wasm-ld: Support @file arguments to subvert long argument lists on Windows
https://bugs.llvm.org/show_bug.cgi?id=37620 Alex Crichton changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED --- Comment #1 from Alex Crichton --- Fixed in https://reviews.llvm.org/D47500, thanks for the quick fix! -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 37628] New: clang crashes on valid code at -O1 on x86_64-linux-gnu while running pass 'Value Propagation'
https://bugs.llvm.org/show_bug.cgi?id=37628 Bug ID: 37628 Summary: clang crashes on valid code at -O1 on x86_64-linux-gnu while running pass 'Value Propagation' Product: clang Version: unspecified Hardware: PC OS: All Status: NEW Severity: enhancement Priority: P Component: -New Bugs Assignee: unassignedclangb...@nondot.org Reporter: s...@cs.ucdavis.edu CC: llvm-bugs@lists.llvm.org Tested with trunk revision 333424. $ clangpolly -v clang version 7.0.0 (http://llvm.org/git/clang.git 3de179a61e5c29a0f91918da87c692756bc755b4) (llvm/trunk 333424) Target: x86_64-unknown-linux-gnu Thread model: posix InstalledDir: /home/su/bin Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/4.9 Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/4.9.4 Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5 Found candidate GCC installation: /usr/lib/gcc/i686-linux-gnu/5.3.0 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.4.7 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.6.4 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.7.3 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.8.5 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9.4 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/5.3.0 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6 Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/6.2.0 Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/4.9 Candidate multilib: .;@m64 Candidate multilib: 32;@m32 Candidate multilib: x32;@mx32 Selected multilib: .;@m64 $ $ clangpolly -O0 small.c $ $ clangpolly -O1 small.c Stack dump: 0. Program arguments: /home/su/software/tmp/polly/llvm_build/bin/clang-6.0 -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -disable-free -main-file-name small.c -mrelocation-model static -mthread-model posix -fmath-errno -masm-verbose -mconstructor-aliases -munwind-tables -fuse-init-array -target-cpu x86-64 -dwarf-column-info -debugger-tuning=gdb -momit-leaf-frame-pointer -resource-dir /home/su/software/tmp/polly/llvm_build/lib/clang/7.0.0 -internal-isystem /usr/local/include -internal-isystem /home/su/software/tmp/polly/llvm_build/lib/clang/7.0.0/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O1 -fdebug-compilation-dir /home/su/specres/good/20180529-clangpolly-m64-O3-build-003121/delta -ferror-limit 19 -fmessage-length 311 -fobjc-runtime=gcc -fdiagnostics-show-option -fcolor-diagnostics -o /tmp/small-48cf7a.o -x c small.c 1. parser at end of file 2. Per-module optimization passes 3. Running pass 'CallGraph Pass Manager' on module 'small.c'. 4. Running pass 'Value Propagation' on function '@g' #0 0x0258129a llvm::sys::PrintStackTrace(llvm::raw_ostream&) /home/su/software/tmp/polly/llvm/lib/Support/Unix/Signals.inc:492:0 #1 0x0257f78a llvm::sys::RunSignalHandlers() /home/su/software/tmp/polly/llvm/lib/Support/Signals.cpp:67:0 #2 0x0257f8b9 SignalHandler(int) /home/su/software/tmp/polly/llvm/lib/Support/Unix/Signals.inc:351:0 #3 0x7f14a9360330 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x10330) #4 0x020074e7 llvm::AttributeList::hasAttribute(unsigned int, llvm::Attribute::AttrKind) const /home/su/software/tmp/polly/llvm/lib/IR/Attributes.cpp:1202:0 #5 0x02007715 llvm::AttributeList::hasAttrSomewhere(llvm::Attribute::AttrKind, unsigned int*) const /home/su/software/tmp/polly/llvm/lib/IR/Attributes.cpp:1231:0 #6 0x01c8efde llvm::CallBase::getReturnedArgOperand() const /home/su/software/tmp/polly/llvm/include/llvm/IR/Instructions.h:1473:0 #7 0x01c8efde llvm::CallSiteBase::getReturnedArgOperand() const /home/su/software/tmp/polly/llvm/include/llvm/IR/CallSite.h:302:0 #8 0x01c8efde llvm::getArgumentAliasingToReturnedPointer(llvm::ImmutableCallSite) /home/su/software/tmp/polly/llvm/lib/Analysis/ValueTracking.cpp:3397:0 #9 0x01c9a375 isKnownNonZero(llvm::Value const*, unsigned int, (anonymous namespace)::Query const&) /home/su/software/tmp/polly/llvm/lib/Analysis/ValueTracking.cpp:1965:0 #10 0x01c9a38e isKnownNonZero(llvm::Value const*, unsigned int, (anonymous namespace)::Query const&) /home/su/software/tmp/polly/llvm/lib/Analysis/ValueTracking.cpp:1966:0 #11 0x01c9a38e
[llvm-bugs] [Bug 37254] Merge r330331 into the 6.0 branch : Fix __attribute__((force_align_arg_pointer)) misalignment bug
https://bugs.llvm.org/show_bug.cgi?id=37254 Tom Stellard changed: What|Removed |Added Fixed By Commit(s)|r330331 |r330331 r333511 Resolution|--- |FIXED Status|NEW |RESOLVED --- Comment #3 from Tom Stellard --- Merged: r333511 -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] [Bug 36649] [meta] 6.0.1 Release Blockers
https://bugs.llvm.org/show_bug.cgi?id=36649 Bug 36649 depends on bug 37254, which changed state. Bug 37254 Summary: Merge r330331 into the 6.0 branch : Fix __attribute__((force_align_arg_pointer)) misalignment bug https://bugs.llvm.org/show_bug.cgi?id=37254 What|Removed |Added Status|NEW |RESOLVED Resolution|--- |FIXED -- You are receiving this mail because: You are on the CC list for the bug.___ llvm-bugs mailing list llvm-bugs@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
