Taints the non-acquire RMW's store address with the load part
[oota-llvm.git] / test / Transforms / InstSimplify / dead-code-removal.ll
1 ; RUN: opt -instsimplify -S < %s | FileCheck %s
2
3 define void @foo() nounwind {
4   br i1 undef, label %1, label %4
5
6 ; <label>:1                                       ; preds = %1, %0
7 ; CHECK-NOT: phi
8 ; CHECK-NOT: sub
9   %2 = phi i32 [ %3, %1 ], [ undef, %0 ]
10   %3 = sub i32 0, undef
11   br label %1
12
13 ; <label>:4                                       ; preds = %0
14   ret void
15 }