Jonas Paulsson 7897525197 [SelectionDAG] Always intersect SDNode flags during getNode() node memoization. ...

Previously SDNodeFlags::instersectWith(Flags) would do nothing if Flags was
in an undefined state, which is very bad given that this is the default when
getNode() is called without passing an explicit SDNodeFlags argument.

This meant that if an already existing and reused node had a flag which the
second caller to getNode() did not set, that flag would remain uncleared.

This was exposed by https://bugs.llvm.org/show_bug.cgi?id=47092, where an NSW
flag was incorrectly set on an add instruction (which did in fact overflow in
one of the two original contexts), so when SystemZElimCompare removed the
compare with 0 trusting that flag, wrong-code resulted.

There is more that needs to be done in this area as discussed here:

Differential Revision: https://reviews.llvm.org/D86871

Review: Ulrich Weigand, Sanjay Patel

2020-09-05 10:30:38 +02:00

..

llvm

[SelectionDAG] Always intersect SDNode flags during getNode() node memoization.

2020-09-05 10:30:38 +02:00

llvm-c

Fix broken HUGE_VALF macro in llvm-c/DataTypes.h

2020-09-03 09:50:32 +02:00