%foo_4 = alloca i32, align 4 
%foo_5 = alloca i32, align 4 
%foo_6 = alloca i32, align 4 
%foo_7 = alloca i32, align 4 
store  i32 %foo_0, i32* %foo_4, align 4 
store  i32 %foo_1, i32* %foo_5, align 4 
store  i32 %foo_2, i32* %foo_6, align 4 
store  i32 0, i32* %foo_7, align 4 
%foo_9 = load  i32, i32* %foo_7, align 4 
%foo_10 = load  i32, i32* %foo_4, align 4 
%foo_11 = icmp slt i32 %foo_9, %foo_10 
path-eq %foo_11 = bitcast i1 1 to i1 
%foo_13 = load  i32, i32* %foo_6, align 4 
%foo_14 = mul  nsw i32 %foo_13, 3 
%foo_15 = load  i32, i32* %foo_5, align 4 
%foo_16 = add  nsw i32 %foo_15, %foo_14 
store  i32 %foo_16, i32* %foo_5, align 4 
%foo_18 = load  i32, i32* %foo_7, align 4 
%foo_19 = add  nsw i32 %foo_18, 1 
store  i32 %foo_19, i32* %foo_7, align 4 
%foo_9_1 = load  i32, i32* %foo_7, align 4 
%foo_10_1 = load  i32, i32* %foo_4, align 4 
%foo_11_1 = icmp slt i32 %foo_9_1, %foo_10_1 
path-eq %foo_11_1 = bitcast i1 1 to i1 
%foo_13_1 = load  i32, i32* %foo_6, align 4 
%foo_14_1 = mul  nsw i32 %foo_13_1, 3 
%foo_15_1 = load  i32, i32* %foo_5, align 4 
%foo_16_1 = add  nsw i32 %foo_15_1, %foo_14_1 
store  i32 %foo_16_1, i32* %foo_5, align 4 
