%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 = 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_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 
%foo_18_1 = load  i32, i32* %foo_7, align 4 
%foo_19_1 = add  nsw i32 %foo_18_1, 1 
store  i32 %foo_19_1, 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_2 = load  i32, i32* %foo_6, align 4 
%foo_14_2 = mul  nsw i32 %foo_13_2, 3 
%foo_15_2 = load  i32, i32* %foo_5, align 4 
%foo_16_2 = add  nsw i32 %foo_15_2, %foo_14_2 
store  i32 %foo_16_2, i32* %foo_5, align 4 
