int substr(int c[], int low, int high) {
  int p;
  if (low == high)
    return c[high];
  else
    p = (c[low] + substr(c, low + 1, high));
  return p;
}


x86 assembly (clang, -O0):
<substr>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %edx,-0x18(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x18(%rbp),%eax
jne    1141 <substr+0x31>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x4(%rbp)
jmp    1171 <substr+0x61>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rdi
mov    -0x14(%rbp),%esi
add    $0x1,%esi
mov    -0x18(%rbp),%edx
call   1030 <substr@plt>
mov    %eax,%ecx
mov    -0x20(%rbp),%eax
add    %ecx,%eax
mov    %eax,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<substr>:
xor    %eax,%eax
cmp    %edx,%esi
je     124b <substr+0x14b>
movslq %esi,%rcx
not    %esi
add    %edx,%esi
xor    %eax,%eax
cmp    $0x7,%esi
jb     1230 <substr+0x130>
add    $0x1,%rsi
mov    %rsi,%r8
and    $0xfffffffffffffff8,%r8
lea    -0x8(%r8),%rax
mov    %rax,%r10
shr    $0x3,%r10
add    $0x1,%r10
mov    %r10d,%r9d
and    $0x3,%r9d
cmp    $0x18,%rax
jae    1152 <substr+0x52>
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
jmp    11d1 <substr+0xd1>
and    $0xfffffffffffffffc,%r10
lea    (%rdi,%rcx,4),%r11
add    $0x70,%r11
pxor   %xmm0,%xmm0
xor    %eax,%eax
pxor   %xmm1,%xmm1
nopl   0x0(%rax,%rax,1)
movdqu -0x70(%r11,%rax,4),%xmm2
paddd  %xmm0,%xmm2
movdqu -0x60(%r11,%rax,4),%xmm0
paddd  %xmm1,%xmm0
movdqu -0x50(%r11,%rax,4),%xmm1
movdqu -0x40(%r11,%rax,4),%xmm3
movdqu -0x30(%r11,%rax,4),%xmm4
paddd  %xmm1,%xmm4
paddd  %xmm2,%xmm4
movdqu -0x20(%r11,%rax,4),%xmm2
paddd  %xmm3,%xmm2
paddd  %xmm0,%xmm2
movdqu -0x10(%r11,%rax,4),%xmm0
paddd  %xmm4,%xmm0
movdqu (%r11,%rax,4),%xmm1
paddd  %xmm2,%xmm1
add    $0x20,%rax
add    $0xfffffffffffffffc,%r10
jne    1170 <substr+0x70>
test   %r9,%r9
je     120e <substr+0x10e>
add    %rcx,%rax
lea    (%rdi,%rax,4),%r10
add    $0x10,%r10
shl    $0x5,%r9
xor    %eax,%eax
nopw   0x0(%rax,%rax,1)
movdqu -0x10(%r10,%rax,1),%xmm2
paddd  %xmm2,%xmm0
movdqu (%r10,%rax,1),%xmm2
paddd  %xmm2,%xmm1
add    $0x20,%rax
cmp    %rax,%r9
jne    11f0 <substr+0xf0>
paddd  %xmm1,%xmm0
pshufd $0xee,%xmm0,%xmm1
paddd  %xmm0,%xmm1
pshufd $0x55,%xmm1,%xmm0
paddd  %xmm1,%xmm0
movd   %xmm0,%eax
cmp    %r8,%rsi
je     124b <substr+0x14b>
add    %r8,%rcx
mov    %edx,%esi
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    (%rdi,%rcx,4),%eax
add    $0x1,%rcx
cmp    %ecx,%esi
jne    1240 <substr+0x140>
movslq %edx,%rcx
add    (%rdi,%rcx,4),%eax
ret

LLVM IR (-O0):
define i32 @substr(i32* %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i32* %0, i32** %5
store i32 %1, i32* %6
store i32 %2, i32* %7
%9 = load i32, i32* %6
%10 = load i32, i32* %7
%11 = icmp eq i32 %9, %10
br i1 %11, label %12, label %18
12: ; preds = %3
%13 = load i32*, i32** %5
%14 = load i32, i32* %7
%15 = sext i32 %14 to i64
%16 = getelementptr inbounds i32, i32* %13, i64 %15
%17 = load i32, i32* %16
store i32 %17, i32* %4
br label %32
18: ; preds = %3
%19 = load i32*, i32** %5
%20 = load i32, i32* %6
%21 = sext i32 %20 to i64
%22 = getelementptr inbounds i32, i32* %19, i64 %21
%23 = load i32, i32* %22
%24 = load i32*, i32** %5
%25 = load i32, i32* %6
%26 = add nsw i32 %25, 1
%27 = load i32, i32* %7
%28 = call i32 @substr(i32* %24, i32 %26, i32 %27)
%29 = add nsw i32 %23, %28
store i32 %29, i32* %8
br label %30
30: ; preds = %18
%31 = load i32, i32* %8
store i32 %31, i32* %4
br label %32
32: ; preds = %30, %12
%33 = load i32, i32* %4
ret i32 %33
}

LLVM IR (-O2):
define i32 @substr(i32* nocapture %0, i32 %1, i32 %2) {
%4 = icmp eq i32 %1, %2
br i1 %4, label %102, label %5
5: ; preds = %3
%6 = sext i32 %1 to i64
%7 = xor i32 %1, -1
%8 = add i32 %7, %2
%9 = zext i32 %8 to i64
%10 = add nuw nsw i64 %9, 1
%11 = icmp ult i32 %8, 7
br i1 %11, label %99, label %12
12: ; preds = %5
%13 = and i64 %10, 8589934584
%14 = add nsw i64 %13, %6
%15 = add nsw i64 %13, -8
%16 = lshr exact i64 %15, 3
%17 = add nuw nsw i64 %16, 1
%18 = and i64 %17, 3
%19 = icmp ult i64 %15, 24
br i1 %19, label %69, label %20
20: ; preds = %12
%21 = and i64 %17, 4611686018427387900
br label %22
22: ; preds = %22, %20
%23 = phi i64 [ 0, %20 ], [ %66, %22 ]
%24 = phi <4 x i32> [ zeroinitializer, %20 ], [ %64, %22 ]
%25 = phi <4 x i32> [ zeroinitializer, %20 ], [ %65, %22 ]
%26 = phi i64 [ 0, %20 ], [ %67, %22 ]
%27 = add i64 %23, %6
%28 = getelementptr inbounds i32, i32* %0, i64 %27
%29 = bitcast i32* %28 to <4 x i32>*
%30 = load <4 x i32>, <4 x i32>* %29
%31 = getelementptr inbounds i32, i32* %28, i64 4
%32 = bitcast i32* %31 to <4 x i32>*
%33 = load <4 x i32>, <4 x i32>* %32
%34 = add <4 x i32> %30, %24
%35 = add <4 x i32> %33, %25
%36 = or i64 %23, 8
%37 = add i64 %36, %6
%38 = getelementptr inbounds i32, i32* %0, i64 %37
%39 = bitcast i32* %38 to <4 x i32>*
%40 = load <4 x i32>, <4 x i32>* %39
%41 = getelementptr inbounds i32, i32* %38, i64 4
%42 = bitcast i32* %41 to <4 x i32>*
%43 = load <4 x i32>, <4 x i32>* %42
%44 = add <4 x i32> %40, %34
%45 = add <4 x i32> %43, %35
%46 = or i64 %23, 16
%47 = add i64 %46, %6
%48 = getelementptr inbounds i32, i32* %0, i64 %47
%49 = bitcast i32* %48 to <4 x i32>*
%50 = load <4 x i32>, <4 x i32>* %49
%51 = getelementptr inbounds i32, i32* %48, i64 4
%52 = bitcast i32* %51 to <4 x i32>*
%53 = load <4 x i32>, <4 x i32>* %52
%54 = add <4 x i32> %50, %44
%55 = add <4 x i32> %53, %45
%56 = or i64 %23, 24
%57 = add i64 %56, %6
%58 = getelementptr inbounds i32, i32* %0, i64 %57
%59 = bitcast i32* %58 to <4 x i32>*
%60 = load <4 x i32>, <4 x i32>* %59
%61 = getelementptr inbounds i32, i32* %58, i64 4
%62 = bitcast i32* %61 to <4 x i32>*
%63 = load <4 x i32>, <4 x i32>* %62
%64 = add <4 x i32> %60, %54
%65 = add <4 x i32> %63, %55
%66 = add nuw i64 %23, 32
%67 = add i64 %26, 4
%68 = icmp eq i64 %67, %21
br i1 %68, label %69, label %22
69: ; preds = %22, %12
%70 = phi <4 x i32> [ undef, %12 ], [ %64, %22 ]
%71 = phi <4 x i32> [ undef, %12 ], [ %65, %22 ]
%72 = phi i64 [ 0, %12 ], [ %66, %22 ]
%73 = phi <4 x i32> [ zeroinitializer, %12 ], [ %64, %22 ]
%74 = phi <4 x i32> [ zeroinitializer, %12 ], [ %65, %22 ]
%75 = icmp eq i64 %18, 0
br i1 %75, label %93, label %76
76: ; preds = %69, %76
%77 = phi i64 [ %90, %76 ], [ %72, %69 ]
%78 = phi <4 x i32> [ %88, %76 ], [ %73, %69 ]
%79 = phi <4 x i32> [ %89, %76 ], [ %74, %69 ]
%80 = phi i64 [ %91, %76 ], [ 0, %69 ]
%81 = add i64 %77, %6
%82 = getelementptr inbounds i32, i32* %0, i64 %81
%83 = bitcast i32* %82 to <4 x i32>*
%84 = load <4 x i32>, <4 x i32>* %83
%85 = getelementptr inbounds i32, i32* %82, i64 4
%86 = bitcast i32* %85 to <4 x i32>*
%87 = load <4 x i32>, <4 x i32>* %86
%88 = add <4 x i32> %84, %78
%89 = add <4 x i32> %87, %79
%90 = add nuw i64 %77, 8
%91 = add i64 %80, 1
%92 = icmp eq i64 %91, %18
br i1 %92, label %93, label %76
93: ; preds = %76, %69
%94 = phi <4 x i32> [ %70, %69 ], [ %88, %76 ]
%95 = phi <4 x i32> [ %71, %69 ], [ %89, %76 ]
%96 = add <4 x i32> %95, %94
%97 = call i32 @llvm.vector.reduce.add.v4i32(<4 x i32> %96)
%98 = icmp eq i64 %10, %13
br i1 %98, label %102, label %99
99: ; preds = %5, %93
%100 = phi i64 [ %6, %5 ], [ %14, %93 ]
%101 = phi i32 [ 0, %5 ], [ %97, %93 ]
br label %108
102: ; preds = %108, %93, %3
%103 = phi i32 [ 0, %3 ], [ %97, %93 ], [ %114, %108 ]
%104 = sext i32 %2 to i64
%105 = getelementptr inbounds i32, i32* %0, i64 %104
%106 = load i32, i32* %105
%107 = add nsw i32 %106, %103
ret i32 %107
108: ; preds = %99, %108
%109 = phi i64 [ %113, %108 ], [ %100, %99 ]
%110 = phi i32 [ %114, %108 ], [ %101, %99 ]
%111 = getelementptr inbounds i32, i32* %0, i64 %109
%112 = load i32, i32* %111
%113 = add nsw i64 %109, 1
%114 = add nsw i32 %112, %110
%115 = trunc i64 %113 to i32
%116 = icmp eq i32 %115, %2
br i1 %116, label %102, label %108
}