test/Transforms/GlobalOpt/integer-bool.ll

   1 ; RUN: opt < %s -globalopt -instcombine | \
   2 ; RUN:    llvm-dis | grep "ret i1 true"
   3
   4 ;; check that global opt turns integers that only hold 0 or 1 into bools.
   5
   6 @G = internal global i32 0              ; <i32*> [#uses=3]
   7
   8 define void @set1() {
   9         store i32 0, i32* @G
  10         ret void
  11 }
  12
  13 define void @set2() {
  14         store i32 1, i32* @G
  15         ret void
  16 }
  17
  18 define i1 @get() {
  19         %A = load i32* @G               ; <i32> [#uses=1]
  20         %C = icmp slt i32 %A, 2         ; <i1> [#uses=1]
  21         ret i1 %C
  22 }
  23