test/Transforms/CorrelatedValuePropagation/2010-09-02-Trunc.ll

   1 ; RUN: opt -S < %s -correlated-propagation | FileCheck %s
   2
   3 ; CHECK-LABEL: @test(
   4 define i16 @test(i32 %a, i1 %b) {
   5 entry:
   6   %c = icmp eq i32 %a, 0
   7   br i1 %c, label %left, label %right
   8
   9 right:
  10   %d = trunc i32 %a to i1
  11   br label %merge
  12
  13 left:
  14   br i1 %b, label %merge, label %other
  15
  16 other:
  17   ret i16 23
  18
  19 merge:
  20   %f = phi i1 [%b, %left], [%d, %right]
  21 ; CHECK: select i1 %f, i16 1, i16 0
  22   %h = select i1 %f, i16 1, i16 0
  23 ; CHECK: ret i16 %h
  24   ret i16 %h
  25 }