test/Analysis/ScalarEvolution/and-xor.ll

   1 ; RUN: opt < %s -scalar-evolution -analyze \
   2 ; RUN:   | grep {\\-->  (zext} | count 2
   3
   4 define i32 @foo(i32 %x) {
   5   %n = and i32 %x, 255
   6   %y = xor i32 %n, 255
   7   ret i32 %y
   8 }