%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 
%bar_0 = bitcast i32 %foo_13 to i32 
%bar_1 = bitcast i32 3 to i32 
%bar_3 = mul  nsw i32 %bar_0, %bar_1 
