On 08/19/2012 10:52 AM, Jonathan Neuschäfer wrote:
LLVM expects the first argument of "br" and "select" to be of type i1, so add an "icmp ne <srcty> %src, 0" for other types. Cc: Pekka Enberg <penberg@xxxxxxxxxx> Cc: Christopher Li <sparse@xxxxxxxxxxx> Cc: Jeff Garzik <jgarzik@xxxxxxxxxx> Cc: Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@xxxxxxx> --- sparse-llvm.c | 13 +++++++++++-- validation/backend/int-cond.c | 30 ++++++++++++++++++++++++++++++ 2 files changed, 41 insertions(+), 2 deletions(-) create mode 100644 validation/backend/int-cond.c
Nice -- and I wonder if this fixes the loop bug Pekka noted in private email on 2011/11/23?
Pekka, do you mind if I forward your email to the list? Jeff -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
