messages from 2021-03-10 22:11:45 to 2021-09-23 03:40:04 UTC [more...]
[PATCH AUTOSEL 5.4 11/19] compiler.h: Introduce absolute_pointer macro
2021-09-23 3:38 UTC
[PATCH v2 0/4] Introduce and use absolute_pointer macro
2021-09-22 20:50 UTC (40+ messages)
` [PATCH v2 1/4] compiler.h: Introduce "
` [PATCH v2 2/4] net: i825xx: Use absolute_pointer for memcpy from fixed memory location
` [PATCH v2 3/4] alpha: Move setup.h out of uapi
` [PATCH v2 4/4] alpha: Use absolute_pointer to define COMMAND_LINE
[PATCH 0/4] Introduce and use absolute_pointer macro
2021-09-12 22:58 UTC (14+ messages)
` [PATCH 1/4] compiler.h: Introduce "
` [PATCH 2/4] net: i825xx: Use absolute_pointer for memcpy on fixed memory location
` [PATCH 3/4] parisc: Use absolute_pointer for memcmp "
` [PATCH 4/4] alpha: Use absolute_pointer for strcmp "
[ANNOUNCE] Sparse v0.6.4
2021-09-07 6:29 UTC (3+ messages)
sparse v0.6.4
2021-09-07 6:14 UTC (2+ messages)
[ANNOUNCE] Sparse v0.6.4-rc1
2021-09-01 5:01 UTC
new sparse release?
2021-08-31 12:58 UTC (5+ messages)
check idea: include sparse as a library in C++
2021-08-13 1:25 UTC (5+ messages)
` [PATCH 0/2] fixes for using sparse as a C++ library
` [PATCH 1/2] expose more functions to C++ in header files
` [PATCH 2/2] make implicit type conversion explicit
Servicio de la flota
2021-07-30 8:00 UTC
[PATCH 0/5] small fixes for the symbolic checker
2021-07-29 21:20 UTC (6+ messages)
` [PATCH 1/5] scheck: better diagnostic for unsupported instructions
` [PATCH 2/5] scheck: ignore OP_NOP & friends
` [PATCH 3/5] scheck: constants are untyped
` [PATCH 4/5] scheck: mkvar() with target or input type
` [PATCH 5/5] scheck: fix type of operands in casts
[PATCH] fix missing itype in SEL(x, 0/1, 1/0) --> (x ==/!= 0)
2021-07-29 21:14 UTC
Project
2021-07-13 20:31 UTC
Projects
2021-07-12 18:49 UTC
Servicio de la flota
2021-07-08 7:31 UTC
Get back to me
2021-07-05 19:02 UTC
Proposal
2021-06-30 8:14 UTC
Projects
2021-06-09 12:09 UTC
Proposal
2021-06-09 12:10 UTC
Servicio de la flota
2021-06-02 8:00 UTC
Personal
2021-05-10 14:06 UTC
[tglx-devel:x86/l1dflush 7/9] arch/x86/mm/tlb.c:354:13: sparse: sparse: incorrect type in initializer (different address spaces)
2021-04-27 19:54 UTC (4+ messages)
check idea: warn when mixing signedness in ?: operator (got bitten by this recently)
2021-04-21 13:46 UTC (7+ messages)
Servicio de la flota
2021-04-21 7:31 UTC
[PATCH] TRUNC(x) {==,!=} C --> AND(x,M) {==,!=} C
2021-04-18 19:41 UTC
[PATCH] canonicalize ((x & M) == M) --> ((x & M) != 0) when M is a power-of-2
2021-04-18 18:46 UTC
[SPARSE 0/4] fix/improve canonicalization of signed compares
2021-04-18 15:32 UTC (5+ messages)
` [SPARSE 1/4] canonicalize constant signed compares toward zero
` [SPARSE 2/4] add testcases for AND(x > 0, x <= C) --> x u<= C
` [SPARSE 3/4] add helper is_positive()
` [SPARSE 4/4] simplify AND(x >= 0, x < C) --> (unsigned)x < C
[PATCH 0/3] remove early simplification of casts during evaluation
2021-04-18 11:56 UTC (4+ messages)
` [PATCH 1/3] add testcases for simplification of casts
` [PATCH 2/3] simplify TRUNC(NOT(x)) --> NOT(TRUNC(x))
` [PATCH 3/3] remove early simplification of casts during evaluation
[PATCH 00/10] simplify and canonicalize signed compares
2021-04-17 18:20 UTC (3+ messages)
[PATCH] no needs to use MARK_CURRENT_DELETED() for multi-jumps
2021-04-17 17:46 UTC (4+ messages)
[PATCH v2 0/8] scheck: add a symbolic checker
2021-04-13 16:42 UTC (11+ messages)
` [PATCH v2 1/8] export declare_builtins()
` [PATCH v2 2/8] builtin: define a symbol_op for a generic op acting on integer
` [PATCH v2 3/8] .gitignore is a bit too greedy
` [PATCH v2 4/8] scheck: add a symbolic checker
` [PATCH v2 5/8] scheck: assert_eq()
` [PATCH v2 6/8] scheck: allow multiple assertions
` [PATCH v2 7/8] scheck: assert_const()
` [PATCH v2 8/8] scheck: support pre-conditions via __assume()
[PATCH 0/8] scheck: add a symbolic checker for sparse
2021-04-11 22:05 UTC (11+ messages)
` [PATCH 1/8] export declare_builtins()
` [PATCH 2/8] builtin: define a symbol_op for a generic op acting on integer
` [PATCH 3/8] .gitignore is a bit too greedy
` [PATCH 4/8] scheck: add a symbolic checker
` [PATCH 5/8] scheck: assert_eq()
` [PATCH 6/8] scheck: allow multiple assertions
` [PATCH 7/8] scheck: assert_const()
` [PATCH 8/8] scheck: support pre-conditions via __assume()
[PATCH 0/5] kill more dead stores
2021-04-10 22:30 UTC (6+ messages)
` [PATCH 1/5] add testcases for stores simplifications
` [PATCH 2/5] extract try_to_kill_store() from kill_dominated_stores()
` [PATCH 3/5] volatile stores are never dead
` [PATCH 4/5] kill parent's dead stores too
` [PATCH 5/5] kill redundant stores (local)
[PATCH] add some notes about pseudos being typeless
2021-04-10 19:02 UTC
[PATCH] linear: only allocate call instructions when needed
2021-04-10 15:16 UTC
[PATCH] fix null-pointer crash with with ident same as one of the attributes
2021-04-04 19:37 UTC
[PATCH 0/4] fix 2 problems with phi-sources
2021-04-02 20:25 UTC (5+ messages)
` [PATCH 1/4] additional testcase for remove_merging_phisrc()
` [PATCH 2/4] correctly count phi arguments
` [PATCH 3/4] better check validity of phi-sources
` [PATCH 4/4] fix remove_merging_phisrc()
Bidding invitation
2021-03-31 7:16 UTC
Servicio de la flota
2021-03-29 7:55 UTC
[PATCH 00/11] pragma once: treewide conversion
2021-03-23 10:03 UTC (7+ messages)
[PATCH 0/6] memops: small cleanups
2021-03-21 17:08 UTC (7+ messages)
` [PATCH 1/6] memops: dominates()s first arg is redundant
` [PATCH 2/6] memops: find_dominating_parents()s generation "
` [PATCH 3/6] memops: remove obsolete comment
` [PATCH 4/6] memops: do not mess up with phisource's source ident
` [PATCH 5/6] memops: avoid using first_pseudo()
` [PATCH 6/6] memops: we can kill addresses unconditionally
[PATCH 0/6] use an helper to add an instruction to a BB
2021-03-21 16:16 UTC (7+ messages)
` [PATCH 1/6] add insert_last_instruction()
` [PATCH 2/6] replace add_instruction_to_end() by insert_last_instruction()
` [PATCH 3/6] let insert_select() use insert_last_instruction()
` [PATCH 4/6] let insert_phis() "
` [PATCH 5/6] let find_dominating_parents() "
` [PATCH 6/6] let ssa_rename_phi() "
[PATCH] testsuite: add option '-r' to 'test-suite format'
2021-03-21 12:54 UTC
[PATCH 00/13] remove phi-sources from removed branches
2021-03-21 12:35 UTC (14+ messages)
` [PATCH 01/13] Revert "simplify CBR-CBR on the same condition"
` [PATCH 02/13] add testcases to check if phi-sources from removed targets are removed too
` [PATCH 03/13] remove insert_branch() redundant arg
` [PATCH 04/13] simplify remove_parent()
` [PATCH 05/13] fold remove_parent() into insert_branch()
` [PATCH 06/13] let insert_branch() reuse the terminating instruction
` [PATCH 07/13] move insert_branch() to flow.c
` [PATCH 08/13] let insert_branch() return a status
` [PATCH 09/13] rename insert_branch() to convert_to_jump()
` [PATCH 10/13] add remove_phisources()
` [PATCH 11/13] fix phisources during CBR-BR conversion
` [PATCH 12/13] use convert_to_jump() when converting a CBR with same targets
` [PATCH 13/13] fix phisources during SWITCH-BR conversion
[for-stable-4.19 PATCH v2 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64
2021-03-20 10:57 UTC (3+ messages)
` [for-stable-4.19 PATCH v2 1/2] vmlinux.lds.h: Create section for protection against instrumentation
[for-stable-4.19 PATCH 0/2] Backport patches to fix KASAN+LKDTM with recent clang on ARM64
2021-03-19 22:48 UTC (7+ messages)
` [for-stable-4.19 PATCH 1/2] vmlinux.lds.h: Create section for protection against instrumentation
[PATCH 0/9] simplify CMP(AND(x,M), C) and CMP(OR(x,M), C)
2021-03-10 21:49 UTC (6+ messages)
` [PATCH 2/9] add testcases for constant compares against AND/OR
` [PATCH 6/9] simplify (x & M) {==,!=} C
` [PATCH 7/9] simplify (x | "
` [PATCH 8/9] simplify (x | M) cmps C
` [PATCH 9/9] simplify (x | M) cmpu C
page: next (older) | prev (newer) | latest
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).