1 ; RUN: opt -basicaa -gvn -S < %s | FileCheck %s 2 @y = external global i32 3 @z = external global i32 4 5 ; Function Attrs: nounwind ssp uwtable 6 define void @foo(i32 %x) { 7 ; CHECK: @foo(i32 %x) 8 ; CHECK: %.pre = load i32, i32* @y 9 ; CHECK: call void @bar(i32 %.pre) 10 11 %t = sub i32 %x, %x 12 %.pre = load i32, i32* @y, align 4 13 %cmp = icmp sgt i32 %t, 2 14 br i1 %cmp, label %if.then, label %entry.if.end_crit_edge 15 16 entry.if.end_crit_edge: ; preds = %entry 17 br label %if.end 18 19 if.then: ; preds = %entry 20 %add = add nsw i32 %x, 3 21 store i32 %add, i32* @y, align 4 22 br label %if.end 23 24 if.end: ; preds = %entry.if.end_crit_edge, %if.then 25 %1 = phi i32 [ %.pre, %entry.if.end_crit_edge ], [ %add, %if.then ] 26 tail call void @bar(i32 %1) 27 ret void 28 } 29 30 define void @foo2(i32 %x) { 31 ; CHECK: @foo2(i32 %x) 32 ; CHECK: %.pre = load i32, i32* @y 33 ; CHECK: tail call void @bar(i32 %.pre) 34 entry: 35 %t = sub i32 %x, %x 36 %.pre = load i32, i32* @y, align 4 37 %cmp = icmp sgt i32 %t, 2 38 br i1 %cmp, label %if.then, label %if.else 39 40 if.then: ; preds = %entry 41 %add = add nsw i32 %x, 3 42 store i32 %add, i32* @y, align 4 43 br label %if.end 44 45 if.else: ; preds = %entry 46 store i32 1, i32* @z, align 4 47 br label %if.end 48 49 if.end: ; preds = %if.else, %if.then 50 %0 = phi i32 [ %.pre, %if.else ], [ %add, %if.then ] 51 tail call void @bar(i32 %0) 52 ret void 53 } 54 55 declare void @bar(i32) 56
