bug in dataflow analysis

Question

pranavk opened this issue 5 years ago · comments

%0:i8 = var
%1:i8 = var
%2:i8 = reservedconst
%3 = fshl %0, %1, %2
%4 = bitreverse %3
infer %4

./souper-interpret $SOUPER_SOLVER bug.opt -input-values=%0=0,%1=0