ValueTracking: Fix backwards handling of fpclass assumes
authorMatt Arsenault <Matthew.Arsenault@amd.com>
Tue, 11 Apr 2023 18:03:42 +0000 (14:03 -0400)
committerMatt Arsenault <arsenm2@gmail.com>
Thu, 20 Apr 2023 00:11:32 +0000 (20:11 -0400)
commite7bcfea6223cb1b3f738bcf57ef7f010820737b8
tree73b3d4030d98f410c25e510ebd780773cdf0e290
parent11d7daaf03c71823b3e2b6055b698efad8bfc1e6
ValueTracking: Fix backwards handling of fpclass assumes

This was a bit confused because nofpclass expresses the opposite
from what an assume of class expresses. We need to assume
the intersection of assumed classes, which also needs to be inverted
to convert to nofpclass.
llvm/lib/Analysis/ValueTracking.cpp
llvm/test/Transforms/Attributor/nofpclass.ll