Skip to content

Latest commit

 

History

History
312 lines (299 loc) · 35 KB

bugs.rst

File metadata and controls

312 lines (299 loc) · 35 KB

LLVM:

Version #2

58616 - SLPVectorizer: Assertion `isVectorLikeInstWithConstOps(FirstInst) && isVectorLikeInstWithConstOps(I) && "Expected vector-like insts only."' failed with -O3 -march=skx
53807 - [NewGVN] Assertion `BeforeCC->isEquivalentTo(AfterCC) && "Value number changed after main loop completed!"' failed
52561 - Assertion failed for sapphirerapids: `VT.getSizeInBits() == Operand.getValueSizeInBits() && "Cannot BITCAST between types of different sizes!"'
52560 - ICE in backend for sapphirerapids: Cannot select: t60: v8i16 = X86ISD::VZEXT_MOVL t55
52504 - Assertion `(!From->hasAnyUseOfValue(i) || From->getValueType(i) == To->getValueType(i)) && "Cannot use this version of ReplaceAllUsesWith!"
52335 - Incorrect result with -O1 -march=skx
52273 - ICE in LoopVectorizePass fails for -O1 -fopenmp-simd: Assertion `!verifyFunction(*L->getHeader()->getParent(), &dbgs())' failed.
52002 - [BDCE with -fopenmp-simd -O3: Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' failed
51923 - [Clang segfaults with loop unroll(enable)
51906 - LICM introduces load in writeonly function (UB)
51798 - [ICE for SKX: assertion `hasVectorValue(Def, Instance.Part)' failed at llvm/lib/Transforms/
51797 - [ICE in backend: Instruction Combining seems stuck in an infinite loop after 100 iterations
50109 - [Polly crashes: "Negative unroll factor UNREACHABLE executed at llvm/polly/lib/Transform/ManualOptimizer.cpp:83!"
48554 - ICE: polly/lib/External/isl/isl_ast_build_expr.c:1745: cannot handle void expression
48445 - Assertion `StmtDomain.is_subset(NewDomain) && "Partial READ accesses not supported"' failed
48422 - Assertion `SE->DT.dominates(ENT.ExitingBlock, Latch) && "We should only have known counts for exiting blocks that dominate " "latch!"' failed
48326 - ICE: Assertion `Num < NumOperands && "Invalid child # of SDNode!"' failed with -march=skylake-avx512 -O3
47292 - ICE in polly with -O3
47098 - Polly crashes while running pass 'Polly - Forward operand tree' on skx
46950 - ICE: UNREACHABLE executed at llvm/lib/Transforms/Vectorize/LoopVectorize.cpp:6481!
46680 - ICE in backend: Instruction Combining seems stuck in an infinite loop after 100 iterations
46661 - ICE in backend: Instruction Combining seems stuck in an infinite loop after 100 iterations.
46586 - [x86] Clang produces wrong code with -O1
46561 - Clang produces wrong code with -O1 (Combine redundant instructions on function)
46525 - ICE: Assertion `!verifyFunction(*L->getHeader()->getParent())' failed
46471 - [CodeGenPrepare] Assertion `materialized_use_empty() && "Uses remain when a value is destroyed!"' failed
46178 - Assertion `idx < size()' failed in combineX86ShufflesRecursively with -O3 -march=skx

Loop-targeting prototype

42833 - Incorrect result with -O3 -march=skx
42819 - ICE: "Cannot select: X86ISD::SUBV_BROADCAST" with -O3 -march=skx

Version #1

35583 - NewGVN indeterministic crash
35272 - [AVX512] Assertion "Invalid sext node, dst < src!" in llvm::SelectionDAG::getNode()
34959 - Incorrect predication in SKX, opt-bisect blames SLP Vectorizer
34947 - -O0 crash: assertion "Cannot BITCAST between types of different sizes!"
34934 - UNREACHABLE at LegalizeDAG.cpp: "Unexpected request for libcall!" (x86_64, SKX)
34856 - Assertion on vector code: "Invalid constantexpr cast!"
34855 - Cannot select shl and srl for v2i64
34841 - InstCombine - Assertion "Cannot convert from scalar to/from vector"
34838 - InstCombine - Assertion "Compare known true or false was not folded"
34837 - UNREACHABLE in DAGTypeLegalizer::PromoteIntegerResult
34830 - Clang failing with "Cannot emit physreg copy instruction"
34828 - Assertion in VirtRegRewriter: `toIndex_(n) < storage_.size() && "index out of bounds!"'
34787 - Assertion `TN->getNumChildren() == 0 && "Not a tree leaf"'
34782 - Assertion "Deleted edge still exists in the CFG!"
34381 - Clang produces incorrect code at -O0
34377 - Clang produces incorrect code with -O1 and higher
34137 - clang crash in llvm::SelectionDAG::Combine on -O0
33844 - Assertion `loBit <= BitWidth && "loBit out of range"' failed with -O1
33828 - Crash in X86DAGToDAGISel::RunSDNodeXForm: "getConstant with a uint64_t value that doesn't fit in the type!"
33765 - Replacing instructions in instcombine violates dominance relation
33695 - Bit-Tracking Dead Code Elimination (BDCE) fails to invalidate nsw/nuw after transforms
33560 - "Cannot emit physreg copy instruction" at lib/Target/X86/X86InstrInfo.cpp:6707
33442 - UBSAN: right shift by negative value is not caught for some values
33133 - UBSan misses check for "negative_value << 0"
32894 - ICE: "Cannot replace uses of with self" in llvm::SelectionDAG::ReplaceAllUsesWith
32830 - Clang produces incorrect code with -O2 and higher
32525 - Assertion is hit: "The number of nodes scheduled doesn't match the expected number!"
32515 - Assertion "DELETED_NODE in CSEMap!" fires a lot with -march=skx
32345 - Assertion `Op.getScalarValueSizeInBits() == BitWidth && "Mask size mismatches value type size!"' failed with -O0.
32340 - Assertion `N->getOpcode() != ISD::DELETED_NODE && "Deleted Node added to Worklist"' failed with -O0
32329 - Silent failure in X86 DAG->DAG Instruction Selection with -march=skx -O3
32316 - Assertion `N1.getValueType() == N2.getValueType() && N1.getValueType() == VT && "Binary operator types must match!"' failed with -O1 -march=skx
32284 - Assertion `Num < NumOperands && "Invalid child # of SDNode!"' failed with -O0 -march=skx.
32256 - Assertion `!isHReg(DestReg) && "Cannot move between mask and h-reg"' failed with -m32 -O0 -march=skx.
32241 - Incorrect result with -march=skx -O0 -m32.
31306 - [AVX-512] Compiler crash: Cannot select: t41: v8i64 = X86ISD::SUBV_BROADCAST
31045 - Clang fails in insertDAGNode
31044 - Assertion `Index.getValueType() == MVT::i32 && "Expect to be extending 32-bit registers for use in LEA"' failed
30813 - Assertion `ShiftBits != 0 && MaskBits <= Size' failed.
30783 - Assertion `New->getType() == getType() && "replaceAllUses of value with new value of different type!"' failed
30777 - Assertion `DestBits == SrcBits && "Illegal cast to vector (wrong type or size)"' failed
30775 - Assertion `NodeToMatch->getOpcode() != ISD::DELETED_NODE && "NodeToMatch was removed partway through selection"' failed.
30693 - AVX512 Segfault: alignment incorrect for relative addressing
30286 - [AVX-512] KNL bug at -O0
30256 - Assert in llvm::ReassociatePass::OptimizeAdd
29058 - Assert in llvm::SelectionDAG::Legalize()
28845 - Incorrect codegen for "store <2 x i48>" triggered by -fslp-vectorize-aggressive
28661 - [AVX512] incorrect code for boolean expression at -O0.
28313 - LLVM trunk crash with knl target (Assertion `isSCEVable(V->getType()))
28312 - LLVM trunk crash with knl target (Assertion `Res.getValueType() == N->getValueType(0))
28301 - Clang trunk ICE (Assertion `Removed && "Register is not used by this instruction!)
28291 - LLVM trunk crash with knl target (Assertion `C1->getType() == C2->getType())
28119 - [AVX-512] llc crash with UNREACHABLE executed at lib/IR/ValueTypes.cpp:128
27997 - ICE on trunk Clang, knl target, Assertion `L.isLCSSAForm(DT)' failed
27879 - ICE on trunk llvm (Invalid operands for select instruction)
27873 - ICE in llvm::TargetLowering::SimplifyDemandedBits on knl
27789 - Clang trunk crashes on knl target
27638 - ICE in llvm::SDValue llvm::X86TargetLowering::LowerSETCC
27591 - Clang crash with KNL target, Assertion `Emitted && "Failed to emit a zext!"' failed
27584 - LLVM trunk crash with knl target
25519 - [AVX-512] llc generates incorrect code
25518 - [AVX-512] llc generates incorrect code
25517 - [AVX-512] llc generates incorrect code

GCC:

Full list of GCC bugs can be found here Special thanks to Martin Liška for submitting some of them.

Version #2

109342 - [13 Regression] Wrong code with -O2 since r13-5348-gc29d85359add80
109341 - [12/13 Regression] ICE in merge, at ipa-modref-tree.cc:176 since r12-3142-g5c85f29537662f
108647 - [13 Regression] ICE in upper_bound, at value-range.h:950 with -O3 since r13-2974-g67166c9ec35d58ef
108365 - [9/10/11/12/13 Regression] Wrong code with -O0
108166 - [12/13 Regression] Wrong code with -O2 since r12-8078-ga42aa68bf1ad745a
107404 - [12/13 Regression] Wrong code with -O3 since r12-6416-g037cc0b4a6646cc8
106687 - [13 Regression] Wrong code with -O2 since r13-438-gcf2141a0c640fc9b
106630 - [13 Regression] ICE: Segmentation fault signal terminated program cc1plus with -O2 since r13-1268-g8c99e307b20c50
106292 - Wrong code with -O3
106070 - [13 Regression] Wrong code with -O1 since r13-469-g9a53101caadae1b5
105587 - [13 Regression] ICE in extract_insn, at recog.cc:2791 (error: unrecognizable insn) since r13-210-gfcda0efccad41eba
105189 - [9/10/11/12 Regression] Wrong code with -O1
105142 - [12 Regression] Wrong code with -O2 since r12-2591
105139 - [12 Regression] GCC produces vmovw instruction with an incorrect argument for -O3 -march=sapphirerapids since r12-6215-g708b87dcb6e48cb4
105132 - ICE in in operator[], at vec.h:889 with -march=skylake-avx512 -O3 since r12-7246-g4963079769c99c40
104551 - [12 Regression] Wrong code with -O3 for skylake-avx512, icelake-server, and sapphirerapids
103800 - [12 Regression] ICE in vectorizable_phi, at tree-vect-loop.c:7861 with -O3 since r12-5626-g0194d92c35ca8b3a
103517 - [12 Regression] ICE in as_a, at is-a.h:242 with -O2 -march=skylake-avx512 since r12-5612-g10833849b55401a5
103489 - [11/12 Regression] ICE with -O3 in operator[], at vec.h:889 since r12-5394-g0fc859f5efcb4624
103361 - [9/10/11/12 Regression] ICE in adjust_unroll_factor, at gimple-loop-jam.c:407 since r12-3677-gf92901a508305f29
103122 - [12 Regression] ICE in fill_block_cache, at gimple-range-cache.cc:1277 with -O2 since r12-4866-gfc4076752067fb40
103073 - [12 Regression] ICE in insert_access, at ipa-modref-tree.h:578 since r12-4401-gfecd145359fc981b
103037 - [11/12 Regression] Wrong code with -O2 since r11-6100-gd41b097350d3c5d0
102920 - [12 Regression] Wrong code with -O3
102622 - [9/10/12 Regression] Wrong code with -O1 and above due to phiopt and signed one bit integer types
102572 - [11/12 Regression] ICE for skx in vect_build_gather_load_calls, at tree-vect-stmts.c:2835 since r11-3070-g783dc66f9ccb0019
102511 - [12 Regression] GCC produces incorrect code for -O3: first element of the array is skipped after r12-3903
101256 - [12 Regression] Wrong code with -O3 since r12-1841-g9fe9c45ae33a2df7
101014 - [12 Regression] Big compile time hog with -O3 since r12-1268-g9858cd1a6827ee7a
100081 - [11/12 Regression] Compile time hog in irange since r11-4135-ge864d395b4e862ce
99927 - [9/10 only] Wrong code since r11-39-gf9e1ea10e657af9f
99777 - [11 Regression] ICE in build2, at tree.c:4869 with -O3
98694 - GCC produces incorrect code for loops with -O3 for skylake-avx512 and icelake-server
98640 - [10/11 Regression] GCC produces incorrect code with -O1 and higher since r10-2711-g3ed01d5408045d80
98513 - [10 Regression] Wrong code with -O3 since r10-2804-gbf05a3bbb58b3558
98381 - [11 Regression] Wrong code with -O3 -march=skylake-avx512 by r11-3072
98308 - [11 Regression] ICE in vect_slp_analyze_node_operations, at tree-vect-slp.c:3764 with -O3 -march=skylake-avx512 since r11-615-gdc0c0196340f7ac5
98302 - [9/10 Regression] Wrong code on aarch64
98213 - [11 Regression] Never ending compilation at -O3 since r11-161-g283cb9ea6293e813
98211 - [11 Regression] Wrong code at -O3 since r11-4482-gb626b00823af9ca9
98069 - [8/9/10 Regression] Miscompilation with -O3 since r8-2380-g2d7744d4ef93bfff
98064 - ICE in check_loop_closed_ssa_def, at tree-ssa-loop-manip.c:726 with -O3 since r11-4921-g86cca5cc14602814
98048 - [11 Regression] ICE in build_vector_from_val, at tree.c:1985 by r11-5429
96755 - [11 Regression] ICE in final_scan_insn_1, at final.c:3073 with -O3 -march=skylake-avx512
96693 - [11 Regression] GCC produces incorrect code with -O2 for loops
96415 - GCC produces incorrect code for loops with -O3 for skylake-avx512 and icelake-server
96022 - ICE during GIMPLE pass: slp in operator[], at vec.h:867
95916 - [11 Regression] ICE during GIMPLE pass: slp : verify_ssa failed
95717 - [9/10 Regression] ICE during GIMPLE pass: vect: verify_ssa failed since r9-5325-gf25507d041de4df6
95649 - [11 Regression] ICE during GIMPLE pass: cunroll since r11-1146-g1396fa5b91cfa0b3
95487 - [10 Regression] ICE: verify_gimple failed (error: invalid vector types in nop conversion) with -O3 -march=skylake-avx512 since r10-1052-gc29c92c789d93848
95401 - [10/11 Regression] GCC produces incorrect instruction with -O3 for AVX2 since r10-2257-g868363d4f52df19d
95396 - [8/9/10/11 Regression] GCC produces incorrect code with -O3 for loops since r8-6511-g3ae129323d150621
95308 - [10 Regression] ICE: in maybe_canonicalize_mem_ref_addr with -O3 -march=skylake-avx512 since r10-4203-g97c146036750e7cb
95297 - ICE: Segmentation fault
95295 - g++ produces incorrect code with -O3 for loops
95284 - ICE: verify_gimple failed
95268 - ICE: invalid ‘PHI’ argument
95248 - [11 Regression] GCC produces incorrect code with -O3 for loops since r11-272-gb6ff3ddecfa93d53
94727 - [10 Regression] GCC produces incorrect code with -O3 since r10-5071-g02d895504cc59be0

Loop-targeting prototype

91403 - GCC fails with ICE.
91293 - [8 Regression] Wrong code with -O3 -mavx2
91240 - [8/9/10 Regression] Wrong code with -O3 due to unroll and jam pass
91207 - [10 Regression] Wrong code with -O3
91204 - [10 Regression] ICE in expand_expr_real_2, at expr.c:9215 with -O3
91178 - [9 Regression] Infinite recursion in split_constant_offset in slp after r260289
91145 - [9 Regression] ICE: in vect_build_slp_tree_2, at tree-vect-slp.c:1143 with -march=skylake-avx512 -O3
91137 - [7 Regression] Wrong code with -O3

Version #1

83383 - Wrong code with a bunch of type conversion and ternary operators
83382 - UBSAN tiggers false-positive warning [-Werror=uninitialized]
83252 - [8 Regression] Wrong code with "-march=skylake-avx512 -O3"
83221 - [8 Regression] qsort comparator not anti-commutative: -2147483648, -2147483648
82778 - crash: insn does not satisfy its constraints
82576 - sbitmap_vector_alloc() not ready for 64 bits
82413 - [8 Regression] -O0 crash (ICE in decompose, at tree.h:5179)
82381 - [8 Regression] internal compiler error: qsort checking failed
82353 - [8 Regression] runtime ubsan crash
82192 - [5/6/7/8 Regression] gcc produces incorrect code with -O2 and bit-field
82073 - internal compiler error: in pop_to_marker, at tree-ssa-scopedtables.c
81987 - [8 Regression] ICE in verify_ssa with -O3 -march=skylake-avx512
81814 - [5/6/7 Regression] Incorrect behaviour at -O0 (conditional operator)
81705 - [8 Regression] UBSAN: yet another false positive
81607 - [6 Regression] Conditional operator: "type mismatch in shift expression" error
81588 - [7/8 Regression] Wrong code at -O2
81556 - [7/8 Regression] Wrong code at -O2
81555 - [5/6/7/8 Regression] Wrong code at -O1
81553 - [7/8 Regression] ICE in immed_wide_int_const, at emit-rtl.c:607
81546 - [8 Regression] ICE at -O3 during GIMPLE pass dom
81503 - [8 Regression] Wrong code at -O2
81488 - [8 Regression] gcc goes off the limits allocating memory in gimple-ssa-strength-reduction.c
81423 - [6/7/8 Regression] Wrong code at -O2
81403 - [8 Regression] wrong code at -O3
81387 - UBSAN consumes too much memory at -O2
81281 - [6/7/8 Regression] UBSAN: false positive, dropped promotion to long type.
81162 - [8 Regression] UBSAN switch triggers incorrect optimization in SLSR
81148 - UBSAN: two more false positives
81097 - UBSAN: false positive for not existing negation operator and a bogus message
81088 - UBSAN: false positive as a result of reassosiation
81065 - UBSAN: false positive as a result of distribution involving different types
80932 - UBSAN: false positive as a result of distribution: c1*(c2*v1-c3*v2)=>c1*c2*v1-c1*c3*v2
80875 - [7 Regression] UBSAN: compile time crash in fold_binary_loc at fold-const.c:9817
80800 - UBSAN: yet another false positive
80620 - [8 Regression] gcc produces wrong code with -O3
80597 - [8 Regression] internal compiler error: in compute_inline_parameters, at ipa-inline-analysis.c:3126
80536 - [6/7/8 Regression] UBSAN: compile time segfault
80403 - UBSAN: compile time crash with "type mismatch in binary expression" message in / and % expr
80386 - UBSAN: false positive - constant folding and reassosiation before instrumentation
80362 - [5/6 Regression] gcc miscompiles arithmetic with signed char
80350 - UBSAN changes code semantics when -fno-sanitize-recover=undefined is used
80349 - [6/7 Regression] UBSAN: compile time crash with "type mismatch in binary expression" message
80348 - [6 Regression] UBSAN: compile time crash in ubsan_instrument_division
80341 - [5/6 Regression] gcc miscompiles division of signed char
80297 - [6 Regression] Compiler time crash: type mismatch in binary expression
80072 - [7 Regression] ICE in gimple_build_assign_1 with -O3 -march=broadwell/skylake-avx512
80067 - [6/7 Regression] ICE in fold_comparison with -fsanitize=undefined
80054 - [7 Regression] ICE in verify_ssa with -O3 -march=broadwell/skylake-avx512
79399 - GCC fails to compile big source at -O0
78726 - [5/6 Regression] Incorrect unsigned arithmetic optimization
78720 - [7 Regression] Illegal instruction in generated code
78438 - [7 Regression] incorrect comparison optimization
78436 - [7 Regression] incorrect write to larger-than-type bitfield (signed char x:9)
78132 - [7 Regression] GCC produces invalid instruction (kmovd and kmovq) for KNL.
77544 - [6 Regression] segfault at -O0 - infinite loop in simplification
77476 - [7 Regression] [AVX-512] illegal kmovb instruction on KNL
73714 - [Regression 7] Incorrect unsigned long long arithmetic optimization
72835 - [7 Regression] Incorrect arithmetic optimization involving bitfield arguments
71657 - Wrong code on trunk gcc (std::out_of_range), westmere
71655 - [7 Regression] GCC trunk ICE on westmere target
71488 - [6 Regression] Wrong code for vector comparisons with ivybridge and westmere targets
71470 - Wrong code on trunk gcc with westmere target
71389 - [7 Regression] ICE on trunk gcc on ivybridge target (df_refs_verify)
71281 - [7 Regression] ICE on gcc trunk on knl, wsm, ivb and bdw targets (tree-ssa-reassoc)
71279 - [6/7 Regression] ICE on trunk gcc with knl target
71261 - [7 Regression] Trunk GCC hangs on knl and broadwell targets
71259 - [6/7 Regression] GCC trunk emits wrong code
70941 - [5 Regression] Test miscompiled with -O2.
70902 - [7 Regression] GCC freezes while compiling for 'skylake-avx512' target
70728 - GCC trunk emits invalid assembly for knl target
70726 - [6/7 Regression] Internal compiler error (ICE) on valid code
70725 - Internal compiler error (ICE) on valid code
70542 - [6 Regression] Wrong code with -O3 -mavx2.
70450 - [6 Regression] Wrong code with -O0 and -O1.
70429 - Wrong code with -O1.
70354 - [6 Regression] Wrong code with -O3 -march=broadwell and -march=skylake-avx512.
70333 - [5 Regression] Test miscompiled with -O0.
70252 - ICE in vect_get_vec_def_for_stmt_copy with -O3 -march=skylake-avx512.
70251 - Wrong code with -O3 -march=skylake-avx512.
70222 - Test miscompiled with -O1
70153 - [6 Regression] ICE on valid C++ code
70026 - [6 Regression] ICE in expand_expr_real_2 with -O1 -ftree-vectorize
70021 - [6 Regression] Test miscompiled with -O3 option for -march=core-avx2.
69820 - [6 Regression] Test miscompiled with -O3 option

ISPC:

Full list of ISPC bugs can be found here

1851 - LLVM assertion `Def == PreviousDef' failed.
1844 - ICE in LLVM: "Unexpected illegal type" at llvm/lib/CodeGen/SelectionDAG/LegalizeDAG.cpp:978
1806 - ISPC produces wrong code with bool type iterator
1793 - Wrong code for avx2-i32x16.
1788 - ICE: LLVM ERROR: Instruction Combining seems stuck in an infinite loop after 1000 iterations.
1771 - Wrong code for avx2-i64x4
1768 - Uniform and varying types have different rounding rules.
1767 - Assertion `V.getNode() && "Getting TableId on SDValue()"' failed.
1763 - Wrong code for avx2-i64x4
1762 - ICE: "scatterFunc != NULL".
1729 - Assertion failed: "ci != NULL".
1719 - Division by zero leads to ICE

Alive2:

762 - missed alarm bug
756 - False-negative when introducing stores to extern global variables

OpenWatcom v2 (fork):

Version #2

1043 - Add support for typeof (needed for C23 and YARPGen master)

Version #1

1044 - OW fails with: E1112: Initializer list cannot be empty. # yarpgen(v1)
1045 - OW is very very slow for a big testfile # (yarpgen_v1 with seed 25)

TCC - Tiny C Compiler:

63816 - tcc miscompiled test code goes from the middle of an if section into the else section (yarpgen v1)