llvm/test/Transforms/InstSimplify/ConstProp/2002-09-03-SetCC-Bools.ll

   1 ; SetCC on boolean values was not implemented!
   2
   3 ; RUN: opt < %s -passes=instsimplify,dce -S | \
   4 ; RUN:   not grep set
   5
   6 define i1 @test1() {
   7         %A = icmp ule i1 true, false            ; <i1> [#uses=1]
   8         %B = icmp uge i1 true, false            ; <i1> [#uses=1]
   9         %C = icmp ult i1 false, true            ; <i1> [#uses=1]
  10         %D = icmp ugt i1 true, false            ; <i1> [#uses=1]
  11         %E = icmp eq i1 false, false            ; <i1> [#uses=1]
  12         %F = icmp ne i1 false, true             ; <i1> [#uses=1]
  13         %G = and i1 %A, %B              ; <i1> [#uses=1]
  14         %H = and i1 %C, %D              ; <i1> [#uses=1]
  15         %I = and i1 %E, %F              ; <i1> [#uses=1]
  16         %J = and i1 %G, %H              ; <i1> [#uses=1]
  17         %K = and i1 %I, %J              ; <i1> [#uses=1]
  18         ret i1 %K
  19 }
  20