llvm/test/Transforms/InstCombine/apint-not.ll

   1 ; This test makes sure that the xor instructions are properly eliminated
   2 ; when arbitrary precision integers are used.
   3
   4 ; RUN: opt < %s -instcombine -S | not grep xor
   5
   6 define i33 @test1(i33 %A) {
   7         %B = xor i33 %A, -1
   8         %C = xor i33 %B, -1
   9         ret i33 %C
  10 }
  11
  12 define i1 @test2(i52 %A, i52 %B) {
  13         %cond = icmp ule i52 %A, %B     ; Can change into uge
  14         %Ret = xor i1 %cond, true
  15         ret i1 %Ret
  16 }
  17