int p3_diff_seq(s1, s2)
int s1, s2;
{
  int i;
  if (s1 < 0x10 || s2 < 0x10 || s1 > 0x7f || s2 > 0x7f)
    return -1;
  for (i = 0; p3_add_seq(s2, i) != s1; i++)
    ;
  return i;
}


x86 assembly (clang, -O0):
<p3_diff_seq>:
push   %rbp
mov    %rsp,%rbp
sub    $0x10,%rsp
mov    %edi,-0x8(%rbp)
mov    %esi,-0xc(%rbp)
cmpl   $0x10,-0x8(%rbp)
jl     1146 <p3_diff_seq+0x36>
cmpl   $0x10,-0xc(%rbp)
jl     1146 <p3_diff_seq+0x36>
cmpl   $0x7f,-0x8(%rbp)
jg     1146 <p3_diff_seq+0x36>
cmpl   $0x7f,-0xc(%rbp)
jle    1152 <p3_diff_seq+0x42>
movl   $0xffffffff,-0x4(%rbp)
jmp    1188 <p3_diff_seq+0x78>
movl   $0x0,-0x10(%rbp)
mov    -0xc(%rbp),%edi
mov    -0x10(%rbp),%esi
mov    $0x0,%al
call   1030 <p3_add_seq@plt>
cmp    -0x8(%rbp),%eax
je     1182 <p3_diff_seq+0x72>
jmp    1174 <p3_diff_seq+0x64>
mov    -0x10(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x10(%rbp)
jmp    1159 <p3_diff_seq+0x49>
mov    -0x10(%rbp),%eax
mov    %eax,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0x10,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<p3_diff_seq>:
push   %rbp
push   %r14
push   %rbx
mov    %edi,%ebx
lea    -0x80(%rbx),%eax
mov    $0xffffffff,%ebp
cmp    $0xffffff90,%eax
jb     1153 <p3_diff_seq+0x43>
mov    %esi,%r14d
lea    -0x80(%r14),%eax
cmp    $0xffffff90,%eax
jb     1153 <p3_diff_seq+0x43>
mov    $0xffffffff,%ebp
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
add    $0x1,%ebp
mov    %r14d,%edi
mov    %ebp,%esi
xor    %eax,%eax
call   1030 <p3_add_seq@plt>
cmp    %ebx,%eax
jne    1140 <p3_diff_seq+0x30>
mov    %ebp,%eax
pop    %rbx
pop    %r14
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @p3_diff_seq(i32 %0, i32 %1) {
%3 = add i32 %0, -128
%4 = icmp ult i32 %3, -112
%5 = add i32 %1, -128
%6 = icmp ult i32 %5, -112
%7 = or i1 %4, %6
br i1 %7, label %13, label %8
8: ; preds = %2, %8
%9 = phi i32 [ %12, %8 ], [ 0, %2 ]
%10 = tail call i32 (i32, i32, ...) bitcast (i32 (...)* @p3_add_seq to i32 (i32, i32, ...)*)(i32 %1, i32 %9)
%11 = icmp eq i32 %10, %0
%12 = add nuw nsw i32 %9, 1
br i1 %11, label %13, label %8
13: ; preds = %8, %2
%14 = phi i32 [ -1, %2 ], [ %9, %8 ]
ret i32 %14
}