test/Transforms/IPConstantProp/return-constant.ll

   1 ; RUN: opt < %s -ipconstprop -instcombine | \
   2 ; RUN:    llvm-dis | grep {ret i1 true} | count 2
   3 define internal i32 @foo(i1 %C) {
   4         br i1 %C, label %T, label %F
   5
   6 T:              ; preds = %0
   7         ret i32 52
   8
   9 F:              ; preds = %0
  10         ret i32 52
  11 }
  12
  13 define i1 @caller(i1 %C) {
  14         %X = call i32 @foo( i1 %C )             ; <i32> [#uses=1]
  15         %Y = icmp ne i32 %X, 0          ; <i1> [#uses=1]
  16         ret i1 %Y
  17 }
  18
  19 define i1 @invokecaller(i1 %C) {
  20         %X = invoke i32 @foo( i1 %C ) to label %OK unwind label %FAIL             ; <i32> [#uses=1]
  21 OK:
  22         %Y = icmp ne i32 %X, 0          ; <i1> [#uses=1]
  23         ret i1 %Y
  24 FAIL:
  25         ret i1 false
  26 }