[PATCH] D63534: [InstCombine] cttz(-x) -> cttz(x)

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added a comment.

I built z3 and Alive2 trunks for Ubuntu 18.04

I took example
Name: cttz constant
%r = cttz i8 32, i1 0

  =>

%r = 5

~/alive2/build$ ./alive -root-only c.opt 
Processing c.opt..

It never stops..


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D63534/new/

https://reviews.llvm.org/D63534