%doubleRecursive_17 = load  i32, i32* %doubleRecursive_4, align 4 
%doubleRecursive_18 = load  i32, i32* %doubleRecursive_5, align 4 
%doubleRecursive_19 = sub  nsw i32 %doubleRecursive_18, 1 
enter-call doubleRecursive
%doubleRecursive_0 = bitcast i32 %doubleRecursive_17 to i32 
%doubleRecursive_1 = bitcast i32 %doubleRecursive_19 to i32 
%doubleRecursive_3 = alloca i32, align 4 
%doubleRecursive_4_1 = alloca i32, align 4 
%doubleRecursive_5_1 = alloca i32, align 4 
%doubleRecursive_6 = alloca i32, align 4 
%doubleRecursive_7 = alloca i32, align 4 
store  i32 %doubleRecursive_0, i32* %doubleRecursive_4_1, align 4 
store  i32 %doubleRecursive_1, i32* %doubleRecursive_5_1, align 4 
%doubleRecursive_8 = load  i32, i32* %doubleRecursive_4_1, align 4 
%doubleRecursive_9 = load  i32, i32* %doubleRecursive_5_1, 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_1 = load  i32, i32* %doubleRecursive_4_1, align 4 
%doubleRecursive_18_1 = load  i32, i32* %doubleRecursive_5_1, align 4 
%doubleRecursive_19_1 = sub  nsw i32 %doubleRecursive_18_1, 1 
enter-call doubleRecursive
%doubleRecursive_0_1 = bitcast i32 %doubleRecursive_17_1 to i32 
%doubleRecursive_1_1 = bitcast i32 %doubleRecursive_19_1 to i32 
%doubleRecursive_3_1 = alloca i32, align 4 
%doubleRecursive_4_2 = alloca i32, align 4 
%doubleRecursive_5_2 = alloca i32, align 4 
%doubleRecursive_6_1 = alloca i32, align 4 
%doubleRecursive_7_1 = alloca i32, align 4 
store  i32 %doubleRecursive_0_1, i32* %doubleRecursive_4_2, align 4 
store  i32 %doubleRecursive_1_1, i32* %doubleRecursive_5_2, align 4 
%doubleRecursive_8_1 = load  i32, i32* %doubleRecursive_4_2, align 4 
%doubleRecursive_9_1 = load  i32, i32* %doubleRecursive_5_2, align 4 
%doubleRecursive_10_1 = sub  nsw i32 %doubleRecursive_8_1, %doubleRecursive_9_1 
%doubleRecursive_11_1 = icmp sgt i32 %doubleRecursive_10_1, 100 
path-eq %doubleRecursive_11_1 = bitcast i1 0 to i1 
%doubleRecursive_17_2 = load  i32, i32* %doubleRecursive_4_2, align 4 
%doubleRecursive_18_2 = load  i32, i32* %doubleRecursive_5_2, align 4 
%doubleRecursive_19_2 = sub  nsw i32 %doubleRecursive_18_2, 1 
enter-call doubleRecursive
%doubleRecursive_0_2 = bitcast i32 %doubleRecursive_17_2 to i32 
%doubleRecursive_1_2 = bitcast i32 %doubleRecursive_19_2 to i32 
%doubleRecursive_3_2 = alloca i32, align 4 
%doubleRecursive_4_3 = alloca i32, align 4 
%doubleRecursive_5_3 = alloca i32, align 4 
%doubleRecursive_6_2 = alloca i32, align 4 
%doubleRecursive_7_2 = alloca i32, align 4 
store  i32 %doubleRecursive_0_2, i32* %doubleRecursive_4_3, align 4 
store  i32 %doubleRecursive_1_2, i32* %doubleRecursive_5_3, align 4 
%doubleRecursive_8_2 = load  i32, i32* %doubleRecursive_4_3, align 4 
%doubleRecursive_9_2 = load  i32, i32* %doubleRecursive_5_3, align 4 
%doubleRecursive_10_2 = sub  nsw i32 %doubleRecursive_8_2, %doubleRecursive_9_2 
%doubleRecursive_11_2 = icmp sgt i32 %doubleRecursive_10_2, 100 
path-eq %doubleRecursive_11_2 = bitcast i1 0 to i1 
%doubleRecursive_17_3 = load  i32, i32* %doubleRecursive_4_3, align 4 
%doubleRecursive_18_3 = load  i32, i32* %doubleRecursive_5_3, align 4 
%doubleRecursive_19_3 = sub  nsw i32 %doubleRecursive_18_3, 1 
