int sdiff(const char *s, const char *t) {
  char x;
  for (;;) {
    x = *s;
    if (x != *t)
      break;
    if (!x)
      break;
    ++s;
    ++t;
    x = *s;
    if (x != *t)
      break;
    if (!x)
      break;
    ++s;
    ++t;
    x = *s;
    if (x != *t)
      break;
    if (!x)
      break;
    ++s;
    ++t;
    x = *s;
    if (x != *t)
      break;
    if (!x)
      break;
    ++s;
    ++t;
  }
  return ((int)(unsigned char)x) - ((int)(unsigned char)*t);
}


x86 assembly (clang, -O0):
<sdiff>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     112d <sdiff+0x2d>
jmp    1231 <sdiff+0x131>
cmpb   $0x0,-0x11(%rbp)
jne    113c <sdiff+0x3c>
jmp    1231 <sdiff+0x131>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1175 <sdiff+0x75>
jmp    1231 <sdiff+0x131>
cmpb   $0x0,-0x11(%rbp)
jne    1184 <sdiff+0x84>
jmp    1231 <sdiff+0x131>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     11bd <sdiff+0xbd>
jmp    1231 <sdiff+0x131>
cmpb   $0x0,-0x11(%rbp)
jne    11cc <sdiff+0xcc>
jmp    1231 <sdiff+0x131>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
mov    -0x8(%rbp),%rax
mov    (%rax),%al
mov    %al,-0x11(%rbp)
movsbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movsbl (%rcx),%ecx
cmp    %ecx,%eax
je     1205 <sdiff+0x105>
jmp    1231 <sdiff+0x131>
cmpb   $0x0,-0x11(%rbp)
jne    1214 <sdiff+0x114>
jmp    1231 <sdiff+0x131>
mov    -0x8(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x10(%rbp)
jmp    110c <sdiff+0xc>
movzbl -0x11(%rbp),%eax
mov    -0x10(%rbp),%rcx
movzbl (%rcx),%ecx
sub    %ecx,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<sdiff>:
mov    (%rdi),%al
mov    (%rsi),%cl
test   %al,%al
je     116a <sdiff+0x6a>
cmp    %cl,%al
jne    116a <sdiff+0x6a>
mov    $0x4,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
movzbl -0x3(%rdi,%rdx,1),%eax
movzbl -0x3(%rsi,%rdx,1),%ecx
test   %al,%al
je     116a <sdiff+0x6a>
cmp    %cl,%al
jne    116a <sdiff+0x6a>
movzbl -0x2(%rdi,%rdx,1),%eax
movzbl -0x2(%rsi,%rdx,1),%ecx
test   %al,%al
je     116a <sdiff+0x6a>
cmp    %cl,%al
jne    116a <sdiff+0x6a>
movzbl -0x1(%rdi,%rdx,1),%eax
movzbl -0x1(%rsi,%rdx,1),%ecx
test   %al,%al
je     116a <sdiff+0x6a>
cmp    %cl,%al
jne    116a <sdiff+0x6a>
movzbl (%rdi,%rdx,1),%eax
movzbl (%rsi,%rdx,1),%ecx
test   %al,%al
je     116a <sdiff+0x6a>
add    $0x4,%rdx
cmp    %cl,%al
je     1120 <sdiff+0x20>
movzbl %al,%eax
movzbl %cl,%ecx
sub    %ecx,%eax
ret

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

LLVM IR (-O2):
define i32 @sdiff(i8* nocapture %0, i8* nocapture %1) {
%3 = load i8, i8* %0
%4 = load i8, i8* %1
%5 = icmp eq i8 %3, %4
%6 = icmp ne i8 %3, 0
%7 = and i1 %6, %5
br i1 %7, label %8, label %42
8: ; preds = %2, %34
%9 = phi i8* [ %36, %34 ], [ %1, %2 ]
%10 = phi i8* [ %35, %34 ], [ %0, %2 ]
%11 = getelementptr inbounds i8, i8* %10, i64 1
%12 = getelementptr inbounds i8, i8* %9, i64 1
%13 = load i8, i8* %11
%14 = load i8, i8* %12
%15 = icmp eq i8 %13, %14
%16 = icmp ne i8 %13, 0
%17 = and i1 %16, %15
br i1 %17, label %18, label %42
18: ; preds = %8
%19 = getelementptr inbounds i8, i8* %10, i64 2
%20 = getelementptr inbounds i8, i8* %9, i64 2
%21 = load i8, i8* %19
%22 = load i8, i8* %20
%23 = icmp eq i8 %21, %22
%24 = icmp ne i8 %21, 0
%25 = and i1 %24, %23
br i1 %25, label %26, label %42
26: ; preds = %18
%27 = getelementptr inbounds i8, i8* %10, i64 3
%28 = getelementptr inbounds i8, i8* %9, i64 3
%29 = load i8, i8* %27
%30 = load i8, i8* %28
%31 = icmp eq i8 %29, %30
%32 = icmp ne i8 %29, 0
%33 = and i1 %32, %31
br i1 %33, label %34, label %42
34: ; preds = %26
%35 = getelementptr inbounds i8, i8* %10, i64 4
%36 = getelementptr inbounds i8, i8* %9, i64 4
%37 = load i8, i8* %35
%38 = load i8, i8* %36
%39 = icmp eq i8 %37, %38
%40 = icmp ne i8 %37, 0
%41 = and i1 %40, %39
br i1 %41, label %8, label %42
42: ; preds = %34, %8, %18, %26, %2
%43 = phi i8 [ %4, %2 ], [ %38, %34 ], [ %14, %8 ], [ %22, %18 ], [ %30, %26 ]
%44 = phi i8 [ %3, %2 ], [ %37, %34 ], [ %13, %8 ], [ %21, %18 ], [ %29, %26 ]
%45 = zext i8 %44 to i32
%46 = zext i8 %43 to i32
%47 = sub nsw i32 %45, %46
ret i32 %47
}