Displaying 1 result from an estimated 1 matches for "subnuw".
Did you mean:
subnew
2015 Sep 01
3
anyone want to help tune up computeKnownBits()?
...1:i32 = shlnw %0, 3:i32
infer %1
known from LLVM: xxxxxxxxxxxxxxxxxxxxxxxxxxxxx000
known from Souper: 0xxxxxxxxxxxxxxxxxxxxxxxxxxxx000
--------------------------------------------------------------------
higher-order bits could only have been set in the poison case here:
%0:i64 = var
%1:i64 = subnuw 3:i64, %0
infer %1
known from LLVM:
xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx
known from Souper:
00000000000000000000000000000000000000000000000000000000000000xx
--------------------------------------------------------------------
mul nsw nuw 3, %0 is poison if the MSB i...