| ; RUN: opt -S -passes='require<memoryssa>,loop-simplify,early-cse<memssa>' -earlycse-debug-hash -verify-memoryssa %s | FileCheck %s | |
| ; REQUIRES: asserts | |
| target triple = "x86_64-unknown-linux-gnu" | |
| ; CHECK-LABEL: @func(i1 %arg) | |
| define void @func(i1 %arg) { | |
| br i1 %arg, label %bb5, label %bb3 | |
| bb5: ; preds = %bb5, %0 | |
| store i16 undef, ptr undef | |
| br i1 %arg, label %bb5, label %bb3 | |
| bb3: ; preds = %bb5, %0 | |
| ret void | |
| } |