void palin(unsigned *xs, int lo, int hi, int carry) {
  if (lo > hi)
    return;
  xs[lo] = (xs[lo] + carry) % 10;
  if (xs[hi] > xs[lo]) {
    xs[hi - 1] = (xs[hi - 1] + 1) % 10;
    if (!xs[hi - 1]) {
      carry = 1;
      xs[lo] = (xs[lo] + carry) % 10;
    }
  }
  xs[hi] = xs[lo];
  palin(xs, lo + 1, hi - 1, carry);
}


x86 assembly (clang, -O0):
<palin>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
mov    %edx,-0x10(%rbp)
mov    %ecx,-0x14(%rbp)
mov    -0xc(%rbp),%eax
cmp    -0x10(%rbp),%eax
jle    1136 <palin+0x26>
jmp    1213 <palin+0x103>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x14(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
mov    -0x8(%rbp),%rcx
movslq -0xc(%rbp),%rdx
cmp    (%rcx,%rdx,4),%eax
jbe    11e5 <palin+0xd5>
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    (%rax,%rcx,4),%eax
add    $0x1,%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rax
mov    -0x10(%rbp),%ecx
sub    $0x1,%ecx
movslq %ecx,%rcx
cmpl   $0x0,(%rax,%rcx,4)
jne    11e0 <palin+0xd0>
movl   $0x1,-0x14(%rbp)
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%eax
add    -0x14(%rbp),%eax
mov    $0xa,%ecx
xor    %edx,%edx
div    %ecx
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
jmp    11e5 <palin+0xd5>
mov    -0x8(%rbp),%rax
movslq -0xc(%rbp),%rcx
mov    (%rax,%rcx,4),%edx
mov    -0x8(%rbp),%rax
movslq -0x10(%rbp),%rcx
mov    %edx,(%rax,%rcx,4)
mov    -0x8(%rbp),%rdi
mov    -0xc(%rbp),%esi
add    $0x1,%esi
mov    -0x10(%rbp),%edx
sub    $0x1,%edx
mov    -0x14(%rbp),%ecx
call   1030 <palin@plt>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<palin>:
cmp    %edx,%esi
jle    1105 <palin+0x5>
ret
movslq %edx,%r9
movslq %esi,%rdx
add    $0xffffffffffffffff,%rdx
add    $0xffffffffffffffff,%r9
mov    $0xcccccccd,%r8d
jmp    1135 <palin+0x35>
nopl   0x0(%rax,%rax,1)
mov    %eax,0x4(%rdi,%r9,4)
add    $0x1,%rdx
lea    -0x1(%r9),%rax
cmp    %r9,%rdx
mov    %rax,%r9
jge    1104 <palin+0x4>
mov    0x4(%rdi,%rdx,4),%eax
add    %ecx,%eax
mov    %rax,%rsi
imul   %r8,%rsi
shr    $0x23,%rsi
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
sub    %esi,%eax
mov    %eax,0x4(%rdi,%rdx,4)
cmp    %eax,0x4(%rdi,%r9,4)
jbe    1120 <palin+0x20>
mov    (%rdi,%r9,4),%eax
add    $0x1,%eax
mov    %rax,%rsi
imul   %r8,%rsi
shr    $0x23,%rsi
add    %esi,%esi
lea    (%rsi,%rsi,4),%esi
sub    %esi,%eax
mov    %eax,(%rdi,%r9,4)
mov    0x4(%rdi,%rdx,4),%eax
jne    1120 <palin+0x20>
add    $0x1,%eax
mov    %rax,%rcx
imul   %r8,%rcx
shr    $0x23,%rcx
add    %ecx,%ecx
lea    (%rcx,%rcx,4),%ecx
sub    %ecx,%eax
mov    %eax,0x4(%rdi,%rdx,4)
mov    $0x1,%ecx
jmp    1120 <palin+0x20>

LLVM IR (-O0):
define void @palin(i32* %0, i32 %1, i32 %2, i32 %3) {
%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
store i32 %3, i32* %8
%9 = load i32, i32* %6
%10 = load i32, i32* %7
%11 = icmp sgt i32 %9, %10
br i1 %11, label %12, label %13
12: ; preds = %4
br label %88
13: ; preds = %4
%14 = load i32*, i32** %5
%15 = load i32, i32* %6
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds i32, i32* %14, i64 %16
%18 = load i32, i32* %17
%19 = load i32, i32* %8
%20 = add i32 %18, %19
%21 = urem i32 %20, 10
%22 = load i32*, i32** %5
%23 = load i32, i32* %6
%24 = sext i32 %23 to i64
%25 = getelementptr inbounds i32, i32* %22, i64 %24
store i32 %21, i32* %25
%26 = load i32*, i32** %5
%27 = load i32, i32* %7
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds i32, i32* %26, i64 %28
%30 = load i32, i32* %29
%31 = load i32*, i32** %5
%32 = load i32, i32* %6
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds i32, i32* %31, i64 %33
%35 = load i32, i32* %34
%36 = icmp ugt i32 %30, %35
br i1 %36, label %37, label %72
37: ; preds = %13
%38 = load i32*, i32** %5
%39 = load i32, i32* %7
%40 = sub nsw i32 %39, 1
%41 = sext i32 %40 to i64
%42 = getelementptr inbounds i32, i32* %38, i64 %41
%43 = load i32, i32* %42
%44 = add i32 %43, 1
%45 = urem i32 %44, 10
%46 = load i32*, i32** %5
%47 = load i32, i32* %7
%48 = sub nsw i32 %47, 1
%49 = sext i32 %48 to i64
%50 = getelementptr inbounds i32, i32* %46, i64 %49
store i32 %45, i32* %50
%51 = load i32*, i32** %5
%52 = load i32, i32* %7
%53 = sub nsw i32 %52, 1
%54 = sext i32 %53 to i64
%55 = getelementptr inbounds i32, i32* %51, i64 %54
%56 = load i32, i32* %55
%57 = icmp ne i32 %56, 0
br i1 %57, label %71, label %58
58: ; preds = %37
store i32 1, i32* %8
%59 = load i32*, i32** %5
%60 = load i32, i32* %6
%61 = sext i32 %60 to i64
%62 = getelementptr inbounds i32, i32* %59, i64 %61
%63 = load i32, i32* %62
%64 = load i32, i32* %8
%65 = add i32 %63, %64
%66 = urem i32 %65, 10
%67 = load i32*, i32** %5
%68 = load i32, i32* %6
%69 = sext i32 %68 to i64
%70 = getelementptr inbounds i32, i32* %67, i64 %69
store i32 %66, i32* %70
br label %71
71: ; preds = %58, %37
br label %72
72: ; preds = %71, %13
%73 = load i32*, i32** %5
%74 = load i32, i32* %6
%75 = sext i32 %74 to i64
%76 = getelementptr inbounds i32, i32* %73, i64 %75
%77 = load i32, i32* %76
%78 = load i32*, i32** %5
%79 = load i32, i32* %7
%80 = sext i32 %79 to i64
%81 = getelementptr inbounds i32, i32* %78, i64 %80
store i32 %77, i32* %81
%82 = load i32*, i32** %5
%83 = load i32, i32* %6
%84 = add nsw i32 %83, 1
%85 = load i32, i32* %7
%86 = sub nsw i32 %85, 1
%87 = load i32, i32* %8
br label %88
88: ; preds = %72, %12
ret void
}

LLVM IR (-O2):
define void @palin(i32* nocapture %0, i32 %1, i32 %2, i32 %3) {
%5 = icmp sgt i32 %1, %2
br i1 %5, label %36, label %6
6: ; preds = %4
%7 = sext i32 %2 to i64
%8 = sext i32 %1 to i64
br label %9
9: ; preds = %6, %31
%10 = phi i64 [ %8, %6 ], [ %34, %31 ]
%11 = phi i64 [ %7, %6 ], [ %20, %31 ]
%12 = phi i32 [ %3, %6 ], [ %33, %31 ]
%13 = getelementptr inbounds i32, i32* %0, i64 %10
%14 = load i32, i32* %13
%15 = add i32 %14, %12
%16 = urem i32 %15, 10
store i32 %16, i32* %13
%17 = getelementptr inbounds i32, i32* %0, i64 %11
%18 = load i32, i32* %17
%19 = icmp ugt i32 %18, %16
%20 = add nsw i64 %11, -1
br i1 %19, label %21, label %31
21: ; preds = %9
%22 = getelementptr inbounds i32, i32* %0, i64 %20
%23 = load i32, i32* %22
%24 = add i32 %23, 1
%25 = urem i32 %24, 10
store i32 %25, i32* %22
%26 = icmp eq i32 %25, 0
%27 = load i32, i32* %13
br i1 %26, label %28, label %31
28: ; preds = %21
%29 = add i32 %27, 1
%30 = urem i32 %29, 10
store i32 %30, i32* %13
br label %31
31: ; preds = %21, %9, %28
%32 = phi i32 [ %30, %28 ], [ %16, %9 ], [ %27, %21 ]
%33 = phi i32 [ 1, %28 ], [ %12, %9 ], [ %12, %21 ]
store i32 %32, i32* %17
%34 = add nsw i64 %10, 1
%35 = icmp slt i64 %10, %20
br i1 %35, label %9, label %36
36: ; preds = %31, %4
ret void
}