1; RUN: opt -early-cse-memssa -earlycse-debug-hash -S %s | FileCheck %s
2
3; CHECK: define void @patatino() {
4; CHECK:  for.cond:
5; CHECK-NEXT:  br i1 true, label %if.end, label %for.inc
6; CHECK:  if.end:
7; CHECK-NEXT:  %tinkywinky = load i32, i32* @b
8; CHECK-NEXT:  br i1 true, label %for.inc, label %for.inc
9; CHECK:  for.inc:
10; CHECK-NEXT:  ret void
11
12
13@b = external global i32
14
15define void @patatino() {
16for.cond:
17  br i1 true, label %if.end, label %for.inc
18
19if.end:
20  %tinkywinky = load i32, i32* @b
21  store i32 %tinkywinky, i32* @b
22  br i1 true, label %for.inc, label %for.inc
23
24for.inc:
25  ret void
26}
27