1 ; RUN: opt -early-cse-memssa -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 15 define void @patatino() { 16 for.cond: 17 br i1 true, label %if.end, label %for.inc 18 19 if.end: 20 %tinkywinky = load i32, i32* @b 21 store i32 %tinkywinky, i32* @b 22 br i1 true, label %for.inc, label %for.inc 23 24 for.inc: 25 ret void 26 } 27
