%doubleRecursive_30 = load  i32, i32* %doubleRecursive_3, align 4 
track-ops LocalReference (IntegerType {typeBits = 32}) (Name "doubleRecursive_30")
%doubleRecursive_24 = bitcast i32 %doubleRecursive_30 to i32 
%doubleRecursive_25 = add  nsw i32 3, %doubleRecursive_24 
store  i32 %doubleRecursive_25, i32* %doubleRecursive_7, align 4 
%doubleRecursive_26 = load  i32, i32* %doubleRecursive_6, align 4 
%doubleRecursive_27 = load  i32, i32* %doubleRecursive_7, align 4 
%doubleRecursive_28 = sub  nsw i32 %doubleRecursive_26, %doubleRecursive_27 
store  i32 %doubleRecursive_28, i32* %doubleRecursive_3, align 4 
%doubleRecursive_30_1 = load  i32, i32* %doubleRecursive_3, align 4 
track-ops LocalReference (IntegerType {typeBits = 32}) (Name "doubleRecursive_30_1")
%doubleRecursive_20 = bitcast i32 %doubleRecursive_30_1 to i32 
%doubleRecursive_21 = mul  nsw i32 2, %doubleRecursive_20 
store  i32 %doubleRecursive_21, i32* %doubleRecursive_6, align 4 
%doubleRecursive_22 = load  i32, i32* %doubleRecursive_6, align 4 
%doubleRecursive_23 = load  i32, i32* %doubleRecursive_4, align 4 
enter-call doubleRecursive
%doubleRecursive_0 = bitcast i32 %doubleRecursive_22 to i32 
%doubleRecursive_1 = bitcast i32 %doubleRecursive_23 to i32 
%doubleRecursive_3_1 = alloca i32, align 4 
%doubleRecursive_4_1 = alloca i32, align 4 
%doubleRecursive_5 = alloca i32, align 4 
%doubleRecursive_6_1 = alloca i32, align 4 
%doubleRecursive_7_1 = alloca i32, align 4 
store  i32 %doubleRecursive_0, i32* %doubleRecursive_4_1, align 4 
store  i32 %doubleRecursive_1, i32* %doubleRecursive_5, align 4 
%doubleRecursive_8 = load  i32, i32* %doubleRecursive_4_1, align 4 
%doubleRecursive_9 = load  i32, i32* %doubleRecursive_5, align 4 
%doubleRecursive_10 = sub  nsw i32 %doubleRecursive_8, %doubleRecursive_9 
%doubleRecursive_11 = icmp sgt i32 %doubleRecursive_10, 100 
path-eq %doubleRecursive_11 = bitcast i1 0 to i1 
%doubleRecursive_17 = load  i32, i32* %doubleRecursive_4_1, align 4 
%doubleRecursive_18 = load  i32, i32* %doubleRecursive_5, align 4 
%doubleRecursive_19 = sub  nsw i32 %doubleRecursive_18, 1 
