long str$compare(const struct dsc$descriptor_s *first_source_string,
                 const struct dsc$descriptor_s *second_source_string) {
  char *s1_ptr;
  unsigned short s1_length;
  char *s2_ptr;
  unsigned short s2_length;
  unsigned short min_length;
  long result;
  result = 0;
  str$analyze_sdesc(first_source_string, &s1_length, &s1_ptr);
  str$analyze_sdesc(second_source_string, &s2_length, &s2_ptr);
  min_length = (s1_length < s2_length) ? s1_length : s2_length;
  if (min_length != 0)
    result = memcmp(s1_ptr, s2_ptr, min_length);
  if (result == 0) {
    if (s1_length < s2_length) {
      while ((min_length < s2_length) && (result == 0)) {
        if (s2_ptr[min_length++] != ' ') {
          result = -1;
        }
      }
    } else {
      if (s1_length > s2_length) {
        while ((min_length < s1_length) && (result == 0)) {
          if (s1_ptr[min_length++] != ' ')
            result = 1;
        }
      }
    }
  }
  if (result < -1) {
    result = -1;
  }
  if (result > 1) {
    result = 1;
  }
  return result;
}


x86 assembly (clang, -O0):
<str$compare>:
push   %rbp
mov    %rsp,%rbp
sub    $0x40,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
movq   $0x0,-0x38(%rbp)
mov    -0x8(%rbp),%rdi
lea    -0x1a(%rbp),%rsi
lea    -0x18(%rbp),%rdx
mov    $0x0,%al
call   1030 <str$analyze_sdesc@plt>
mov    -0x10(%rbp),%rdi
lea    -0x2a(%rbp),%rsi
lea    -0x28(%rbp),%rdx
mov    $0x0,%al
call   1030 <str$analyze_sdesc@plt>
movzwl -0x1a(%rbp),%eax
movzwl -0x2a(%rbp),%ecx
cmp    %ecx,%eax
jge    117a <str$compare+0x5a>
movzwl -0x1a(%rbp),%eax
mov    %eax,-0x3c(%rbp)
jmp    1181 <str$compare+0x61>
movzwl -0x2a(%rbp),%eax
mov    %eax,-0x3c(%rbp)
mov    -0x3c(%rbp),%eax
mov    %ax,-0x2c(%rbp)
movzwl -0x2c(%rbp),%eax
cmp    $0x0,%eax
je     11ae <str$compare+0x8e>
mov    -0x18(%rbp),%rdi
mov    -0x28(%rbp),%rsi
movzwl -0x2c(%rbp),%eax
mov    %eax,%edx
call   1040 <memcmp@plt>
cltq
mov    %rax,-0x38(%rbp)
cmpq   $0x0,-0x38(%rbp)
jne    12b7 <str$compare+0x197>
movzwl -0x1a(%rbp),%eax
movzwl -0x2a(%rbp),%ecx
cmp    %ecx,%eax
jge    1233 <str$compare+0x113>
jmp    11ce <str$compare+0xae>
movzwl -0x2c(%rbp),%ecx
movzwl -0x2a(%rbp),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x3d(%rbp)
jge    11ee <str$compare+0xce>
cmpq   $0x0,-0x38(%rbp)
sete   %al
mov    %al,-0x3d(%rbp)
mov    -0x3d(%rbp),%al
test   $0x1,%al
jne    11fe <str$compare+0xde>
jmp    122e <str$compare+0x10e>
mov    -0x28(%rbp),%rax
mov    -0x2c(%rbp),%cx
mov    %cx,%dx
add    $0x1,%dx
mov    %dx,-0x2c(%rbp)
movzwl %cx,%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     1229 <str$compare+0x109>
movq   $0xffffffffffffffff,-0x38(%rbp)
ff
jmp    11ce <str$compare+0xae>
jmp    12b2 <str$compare+0x192>
movzwl -0x1a(%rbp),%eax
movzwl -0x2a(%rbp),%ecx
cmp    %ecx,%eax
jle    12ad <str$compare+0x18d>
jmp    1248 <str$compare+0x128>
movzwl -0x2c(%rbp),%ecx
movzwl -0x1a(%rbp),%edx
xor    %eax,%eax
cmp    %edx,%ecx
mov    %al,-0x3e(%rbp)
jge    1268 <str$compare+0x148>
cmpq   $0x0,-0x38(%rbp)
sete   %al
mov    %al,-0x3e(%rbp)
mov    -0x3e(%rbp),%al
test   $0x1,%al
jne    1278 <str$compare+0x158>
jmp    12a8 <str$compare+0x188>
mov    -0x18(%rbp),%rax
mov    -0x2c(%rbp),%cx
mov    %cx,%dx
add    $0x1,%dx
mov    %dx,-0x2c(%rbp)
movzwl %cx,%ecx
movsbl (%rax,%rcx,1),%eax
cmp    $0x20,%eax
je     12a3 <str$compare+0x183>
movq   $0x1,-0x38(%rbp)
jmp    1248 <str$compare+0x128>
jmp    12ad <str$compare+0x18d>
jmp    12b2 <str$compare+0x192>
jmp    12b7 <str$compare+0x197>
cmpq   $0xffffffffffffffff,-0x38(%rbp)
jge    12ca <str$compare+0x1aa>
movq   $0xffffffffffffffff,-0x38(%rbp)
ff
cmpq   $0x1,-0x38(%rbp)
jle    12dd <str$compare+0x1bd>
movq   $0x1,-0x38(%rbp)
mov    -0x38(%rbp),%rax
add    $0x40,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<str$compare>:
push   %r14
push   %rbx
sub    $0x18,%rsp
mov    %rsi,%rbx
lea    0x6(%rsp),%rsi
lea    0x10(%rsp),%rdx
xor    %eax,%eax
call   1030 <str$analyze_sdesc@plt>
lea    0x4(%rsp),%rsi
lea    0x8(%rsp),%rdx
mov    %rbx,%rdi
xor    %eax,%eax
call   1030 <str$analyze_sdesc@plt>
movzwl 0x6(%rsp),%ebx
movzwl 0x4(%rsp),%r14d
cmp    %r14w,%bx
mov    %r14d,%eax
cmovb  %ebx,%eax
test   %ax,%ax
je     1189 <str$compare+0x69>
mov    0x10(%rsp),%rdi
mov    0x8(%rsp),%rsi
movzwl %ax,%edx
call   1040 <memcmp@plt>
test   %eax,%eax
je     1189 <str$compare+0x69>
movslq %eax,%rcx
test   %rcx,%rcx
jns    11fe <str$compare+0xde>
jmp    11c6 <str$compare+0xa6>
movzwl %bx,%eax
movzwl %r14w,%ecx
cmp    %cx,%ax
jae    11cf <str$compare+0xaf>
mov    0x8(%rsp),%rdx
add    $0x1,%rax
xchg   %ax,%ax
movzbl -0x1(%rdx,%rax,1),%ebx
cmp    $0x20,%bl
jne    11b6 <str$compare+0x96>
lea    0x1(%rax),%rsi
cmp    %rcx,%rax
mov    %rsi,%rax
jb     11a0 <str$compare+0x80>
xor    %ecx,%ecx
cmp    $0x20,%bl
setne  %cl
neg    %rcx
test   %rcx,%rcx
jns    11fe <str$compare+0xde>
mov    $0xffffffffffffffff,%rax
jmp    120a <str$compare+0xea>
cmp    %cx,%ax
jbe    1208 <str$compare+0xe8>
mov    0x10(%rsp),%rdx
add    $0x1,%rcx
nopl   (%rax)
movzbl -0x1(%rdx,%rcx,1),%ebx
cmp    $0x20,%bl
jne    11f6 <str$compare+0xd6>
lea    0x1(%rcx),%rsi
cmp    %rax,%rcx
mov    %rsi,%rcx
jb     11e0 <str$compare+0xc0>
xor    %ecx,%ecx
cmp    $0x20,%bl
setne  %cl
mov    $0x1,%eax
test   %rcx,%rcx
jne    120a <str$compare+0xea>
xor    %eax,%eax
add    $0x18,%rsp
pop    %rbx
pop    %r14
ret

LLVM IR (-O0):
%"struct.dsc$descriptor_s" = type opaque
define i64 @"str$compare"(%"struct.dsc$descriptor_s"* %0, %"struct.dsc$descriptor_s"* %1) {
%3 = alloca %"struct.dsc$descriptor_s"*
%4 = alloca %"struct.dsc$descriptor_s"*
%5 = alloca i8*
%6 = alloca i16
%7 = alloca i8*
%8 = alloca i16
%9 = alloca i16
%10 = alloca i64
store %"struct.dsc$descriptor_s"* %0, %"struct.dsc$descriptor_s"** %3
store %"struct.dsc$descriptor_s"* %1, %"struct.dsc$descriptor_s"** %4
store i64 0, i64* %10
%11 = load %"struct.dsc$descriptor_s"*, %"struct.dsc$descriptor_s"** %3
%12 = call i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...) bitcast (i32 (...)* @"str$analyze_sdesc" to i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...)*)(%"struct.dsc$descriptor_s"* %11, i16* %6, i8** %5)
%13 = load %"struct.dsc$descriptor_s"*, %"struct.dsc$descriptor_s"** %4
%14 = call i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...) bitcast (i32 (...)* @"str$analyze_sdesc" to i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...)*)(%"struct.dsc$descriptor_s"* %13, i16* %8, i8** %7)
%15 = load i16, i16* %6
%16 = zext i16 %15 to i32
%17 = load i16, i16* %8
%18 = zext i16 %17 to i32
%19 = icmp slt i32 %16, %18
br i1 %19, label %20, label %23
20: ; preds = %2
%21 = load i16, i16* %6
%22 = zext i16 %21 to i32
br label %26
23: ; preds = %2
%24 = load i16, i16* %8
%25 = zext i16 %24 to i32
br label %26
26: ; preds = %23, %20
%27 = phi i32 [ %22, %20 ], [ %25, %23 ]
%28 = trunc i32 %27 to i16
store i16 %28, i16* %9
%29 = load i16, i16* %9
%30 = zext i16 %29 to i32
%31 = icmp ne i32 %30, 0
br i1 %31, label %32, label %39
32: ; preds = %26
%33 = load i8*, i8** %5
%34 = load i8*, i8** %7
%35 = load i16, i16* %9
%36 = zext i16 %35 to i64
%37 = call i32 @memcmp(i8* %33, i8* %34, i64 %36)
%38 = sext i32 %37 to i64
store i64 %38, i64* %10
br label %39
39: ; preds = %32, %26
%40 = load i64, i64* %10
%41 = icmp eq i64 %40, 0
br i1 %41, label %42, label %104
42: ; preds = %39
%43 = load i16, i16* %6
%44 = zext i16 %43 to i32
%45 = load i16, i16* %8
%46 = zext i16 %45 to i32
%47 = icmp slt i32 %44, %46
br i1 %47, label %48, label %72
48: ; preds = %42
br label %49
49: ; preds = %70, %48
%50 = load i16, i16* %9
%51 = zext i16 %50 to i32
%52 = load i16, i16* %8
%53 = zext i16 %52 to i32
%54 = icmp slt i32 %51, %53
br i1 %54, label %55, label %58
55: ; preds = %49
%56 = load i64, i64* %10
%57 = icmp eq i64 %56, 0
br label %58
58: ; preds = %55, %49
%59 = phi i1 [ false, %49 ], [ %57, %55 ]
br i1 %59, label %60, label %71
60: ; preds = %58
%61 = load i8*, i8** %7
%62 = load i16, i16* %9
%63 = add i16 %62, 1
store i16 %63, i16* %9
%64 = zext i16 %62 to i64
%65 = getelementptr inbounds i8, i8* %61, i64 %64
%66 = load i8, i8* %65
%67 = sext i8 %66 to i32
%68 = icmp ne i32 %67, 32
br i1 %68, label %69, label %70
69: ; preds = %60
store i64 -1, i64* %10
br label %70
70: ; preds = %69, %60
br label %49
71: ; preds = %58
br label %103
72: ; preds = %42
%73 = load i16, i16* %6
%74 = zext i16 %73 to i32
%75 = load i16, i16* %8
%76 = zext i16 %75 to i32
%77 = icmp sgt i32 %74, %76
br i1 %77, label %78, label %102
78: ; preds = %72
br label %79
79: ; preds = %100, %78
%80 = load i16, i16* %9
%81 = zext i16 %80 to i32
%82 = load i16, i16* %6
%83 = zext i16 %82 to i32
%84 = icmp slt i32 %81, %83
br i1 %84, label %85, label %88
85: ; preds = %79
%86 = load i64, i64* %10
%87 = icmp eq i64 %86, 0
br label %88
88: ; preds = %85, %79
%89 = phi i1 [ false, %79 ], [ %87, %85 ]
br i1 %89, label %90, label %101
90: ; preds = %88
%91 = load i8*, i8** %5
%92 = load i16, i16* %9
%93 = add i16 %92, 1
store i16 %93, i16* %9
%94 = zext i16 %92 to i64
%95 = getelementptr inbounds i8, i8* %91, i64 %94
%96 = load i8, i8* %95
%97 = sext i8 %96 to i32
%98 = icmp ne i32 %97, 32
br i1 %98, label %99, label %100
99: ; preds = %90
store i64 1, i64* %10
br label %100
100: ; preds = %99, %90
br label %79
101: ; preds = %88
br label %102
102: ; preds = %101, %72
br label %103
103: ; preds = %102, %71
br label %104
104: ; preds = %103, %39
%105 = load i64, i64* %10
%106 = icmp slt i64 %105, -1
br i1 %106, label %107, label %108
107: ; preds = %104
store i64 -1, i64* %10
br label %108
108: ; preds = %107, %104
%109 = load i64, i64* %10
%110 = icmp sgt i64 %109, 1
br i1 %110, label %111, label %112
111: ; preds = %108
store i64 1, i64* %10
br label %112
112: ; preds = %111, %108
%113 = load i64, i64* %10
ret i64 %113
}

LLVM IR (-O2):
%"struct.dsc$descriptor_s" = type opaque
define i64 @"str$compare"(%"struct.dsc$descriptor_s"* %0, %"struct.dsc$descriptor_s"* %1) {
%3 = alloca i8*
%4 = alloca i16
%5 = alloca i8*
%6 = alloca i16
%7 = bitcast i8** %3 to i8*
%8 = bitcast i16* %4 to i8*
%9 = bitcast i8** %5 to i8*
%10 = bitcast i16* %6 to i8*
%11 = call i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...) bitcast (i32 (...)* @"str$analyze_sdesc" to i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...)*)(%"struct.dsc$descriptor_s"* %0, i16* %4, i8** %3)
%12 = call i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...) bitcast (i32 (...)* @"str$analyze_sdesc" to i32 (%"struct.dsc$descriptor_s"*, i16*, i8**, ...)*)(%"struct.dsc$descriptor_s"* %1, i16* %6, i8** %5)
%13 = load i16, i16* %4
%14 = load i16, i16* %6
%15 = icmp ult i16 %13, %14
%16 = select i1 %15, i16 %13, i16 %14
%17 = icmp eq i16 %16, 0
br i1 %17, label %25, label %18
18: ; preds = %2
%19 = load i8*, i8** %3
%20 = load i8*, i8** %5
%21 = zext i16 %16 to i64
%22 = call i32 @memcmp(i8* %19, i8* %20, i64 %21)
%23 = sext i32 %22 to i64
%24 = icmp eq i32 %22, 0
br i1 %24, label %25, label %54
25: ; preds = %2, %18
br i1 %15, label %26, label %38
26: ; preds = %25
%27 = load i8*, i8** %5
%28 = zext i16 %13 to i64
%29 = zext i16 %14 to i64
br label %30
30: ; preds = %26, %30
%31 = phi i64 [ %28, %26 ], [ %32, %30 ]
%32 = add nuw nsw i64 %31, 1
%33 = getelementptr inbounds i8, i8* %27, i64 %31
%34 = load i8, i8* %33
%35 = icmp ne i8 %34, 32
%36 = icmp uge i64 %32, %29
%37 = or i1 %35, %36
br i1 %37, label %52, label %30
38: ; preds = %25
%39 = icmp ugt i16 %13, %14
br i1 %39, label %40, label %62
40: ; preds = %38
%41 = load i8*, i8** %3
%42 = zext i16 %14 to i64
%43 = zext i16 %13 to i64
br label %44
44: ; preds = %40, %44
%45 = phi i64 [ %42, %40 ], [ %46, %44 ]
%46 = add nuw nsw i64 %45, 1
%47 = getelementptr inbounds i8, i8* %41, i64 %45
%48 = load i8, i8* %47
%49 = icmp ne i8 %48, 32
%50 = icmp uge i64 %46, %43
%51 = or i1 %49, %50
br i1 %51, label %57, label %44
52: ; preds = %30
%53 = sext i1 %35 to i64
br label %54
54: ; preds = %52, %18
%55 = phi i64 [ %23, %18 ], [ %53, %52 ]
%56 = icmp sgt i64 %55, -1
br i1 %56, label %59, label %62
57: ; preds = %44
%58 = zext i1 %49 to i64
br label %59
59: ; preds = %57, %54
%60 = phi i64 [ %55, %54 ], [ %58, %57 ]
%61 = icmp eq i64 %60, 0
br i1 %61, label %62, label %64
62: ; preds = %38, %54, %59
%63 = phi i64 [ 0, %59 ], [ -1, %54 ], [ 0, %38 ]
br label %64
64: ; preds = %59, %62
%65 = phi i64 [ %63, %62 ], [ 1, %59 ]
ret i64 %65
}