1 ; RUN: opt -early-cse-memssa -S %s | FileCheck %s
3 ; CHECK: define void @patatino() {
5 ; CHECK-NEXT: br i1 true, label %if.end, label %for.inc
7 ; CHECK-NEXT: %tinkywinky = load i32, i32* @b
8 ; CHECK-NEXT: br i1 true, label %for.inc, label %for.inc
10 ; CHECK-NEXT: ret void
13 @b = external global i32
15 define void @patatino() {
17 br i1 true, label %if.end, label %for.inc
20 %tinkywinky = load i32, i32* @b
21 store i32 %tinkywinky, i32* @b
22 br i1 true, label %for.inc, label %for.inc