test/Transforms/InstCombine/xor-demorgans.ll

   1 ; RUN: opt < %s -instcombine -S | not grep {= or}
   2 ; PR3266
   3 ; XFAIL: *
   4
   5 define i1 @foo(i32 %x, i32 %y) nounwind {
   6 .summary:
   7        %0 = icmp sgt i32 %x, 4         ; <i1> [#uses=1]
   8        %1 = icmp sgt i32 %y, 0         ; <i1> [#uses=1]
   9        %.demorgan = or i1 %1, %0               ; <i1> [#uses=1]
  10        %2 = xor i1 %.demorgan, true            ; <i1> [#uses=1]
  11        ret i1 %2
  12 }