int isRectangle(unsigned int edges[]) {
  if (edges[0] == edges[1] && edges[2] == edges[3])
    return 1;
  if (edges[0] == edges[2] && edges[1] == edges[3])
    return 1;
  if (edges[0] == edges[3] && edges[1] == edges[2])
    return 1;
  return 0;
}


x86 assembly (clang, -O0):
<isRectangle>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x4(%rcx),%eax
jne    113b <isRectangle+0x3b>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0xc(%rcx),%eax
jne    113b <isRectangle+0x3b>
movl   $0x1,-0x4(%rbp)
jmp    11a8 <isRectangle+0xa8>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
jne    116e <isRectangle+0x6e>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0xc(%rcx),%eax
jne    116e <isRectangle+0x6e>
movl   $0x1,-0x4(%rbp)
jmp    11a8 <isRectangle+0xa8>
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0xc(%rcx),%eax
jne    11a1 <isRectangle+0xa1>
mov    -0x10(%rbp),%rax
mov    0x4(%rax),%eax
mov    -0x10(%rbp),%rcx
cmp    0x8(%rcx),%eax
jne    11a1 <isRectangle+0xa1>
movl   $0x1,-0x4(%rbp)
jmp    11a8 <isRectangle+0xa8>
movl   $0x0,-0x4(%rbp)
mov    -0x4(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<isRectangle>:
mov    (%rdi),%ecx
mov    0x4(%rdi),%edx
mov    0x8(%rdi),%esi
cmp    %edx,%ecx
jne    1116 <isRectangle+0x16>
mov    $0x1,%eax
cmp    0xc(%rdi),%esi
je     1126 <isRectangle+0x26>
mov    0xc(%rdi),%edi
cmp    %esi,%ecx
jne    1127 <isRectangle+0x27>
mov    $0x1,%eax
cmp    %edi,%edx
jne    1127 <isRectangle+0x27>
ret
xor    %edi,%ecx
xor    %esi,%edx
xor    %eax,%eax
or     %ecx,%edx
sete   %al
ret

LLVM IR (-O0):
define i32 @isRectangle(i32* %0) {
%2 = alloca i32
%3 = alloca i32*
store i32* %0, i32** %3
%4 = load i32*, i32** %3
%5 = getelementptr inbounds i32, i32* %4, i64 0
%6 = load i32, i32* %5
%7 = load i32*, i32** %3
%8 = getelementptr inbounds i32, i32* %7, i64 1
%9 = load i32, i32* %8
%10 = icmp eq i32 %6, %9
br i1 %10, label %11, label %20
11: ; preds = %1
%12 = load i32*, i32** %3
%13 = getelementptr inbounds i32, i32* %12, i64 2
%14 = load i32, i32* %13
%15 = load i32*, i32** %3
%16 = getelementptr inbounds i32, i32* %15, i64 3
%17 = load i32, i32* %16
%18 = icmp eq i32 %14, %17
br i1 %18, label %19, label %20
19: ; preds = %11
store i32 1, i32* %2
br label %55
20: ; preds = %11, %1
%21 = load i32*, i32** %3
%22 = getelementptr inbounds i32, i32* %21, i64 0
%23 = load i32, i32* %22
%24 = load i32*, i32** %3
%25 = getelementptr inbounds i32, i32* %24, i64 2
%26 = load i32, i32* %25
%27 = icmp eq i32 %23, %26
br i1 %27, label %28, label %37
28: ; preds = %20
%29 = load i32*, i32** %3
%30 = getelementptr inbounds i32, i32* %29, i64 1
%31 = load i32, i32* %30
%32 = load i32*, i32** %3
%33 = getelementptr inbounds i32, i32* %32, i64 3
%34 = load i32, i32* %33
%35 = icmp eq i32 %31, %34
br i1 %35, label %36, label %37
36: ; preds = %28
store i32 1, i32* %2
br label %55
37: ; preds = %28, %20
%38 = load i32*, i32** %3
%39 = getelementptr inbounds i32, i32* %38, i64 0
%40 = load i32, i32* %39
%41 = load i32*, i32** %3
%42 = getelementptr inbounds i32, i32* %41, i64 3
%43 = load i32, i32* %42
%44 = icmp eq i32 %40, %43
br i1 %44, label %45, label %54
45: ; preds = %37
%46 = load i32*, i32** %3
%47 = getelementptr inbounds i32, i32* %46, i64 1
%48 = load i32, i32* %47
%49 = load i32*, i32** %3
%50 = getelementptr inbounds i32, i32* %49, i64 2
%51 = load i32, i32* %50
%52 = icmp eq i32 %48, %51
br i1 %52, label %53, label %54
53: ; preds = %45
store i32 1, i32* %2
br label %55
54: ; preds = %45, %37
store i32 0, i32* %2
br label %55
55: ; preds = %54, %53, %36, %19
%56 = load i32, i32* %2
ret i32 %56
}

LLVM IR (-O2):
define i32 @isRectangle(i32* nocapture %0) {
%2 = load i32, i32* %0
%3 = getelementptr inbounds i32, i32* %0, i64 1
%4 = load i32, i32* %3
%5 = icmp eq i32 %2, %4
%6 = getelementptr inbounds i32, i32* %0, i64 2
%7 = load i32, i32* %6
br i1 %5, label %8, label %12
8: ; preds = %1
%9 = getelementptr inbounds i32, i32* %0, i64 3
%10 = load i32, i32* %9
%11 = icmp eq i32 %7, %10
br i1 %11, label %23, label %12
12: ; preds = %1, %8
%13 = icmp eq i32 %2, %7
%14 = getelementptr inbounds i32, i32* %0, i64 3
%15 = load i32, i32* %14
%16 = icmp eq i32 %4, %15
%17 = select i1 %13, i1 %16, i1 false
br i1 %17, label %23, label %18
18: ; preds = %12
%19 = icmp eq i32 %2, %15
%20 = icmp eq i32 %4, %7
%21 = select i1 %19, i1 %20, i1 false
%22 = zext i1 %21 to i32
br label %23
23: ; preds = %12, %18, %8
%24 = phi i32 [ 1, %8 ], [ %22, %18 ], [ 1, %12 ]
ret i32 %24
}