llvm/test/Transforms/InstCombine/pr27703.ll

   1 ; RUN: opt < %s -passes=instcombine -S | FileCheck %s
   2
   3 define void @mem() {
   4 bb:
   5   br label %bb6
   6
   7 bb6:
   8   %.0 = phi ptr [ undef, %bb ], [ %t2, %bb6 ]
   9   %tmp = load ptr, ptr %.0, align 8
  10   %bc = bitcast ptr %tmp to ptr
  11   %t1 = load ptr, ptr %bc, align 8
  12   %t2 = bitcast ptr %t1 to ptr
  13   br label %bb6
  14
  15 bb206:
  16   ret void
  17 ; CHECK: phi
  18 ; CHECK-NEXT: load
  19 ; CHECK-NEXT: load
  20 ; CHECK-NEXT: br
  21
  22 }