int innpair(int s[2], double p[4]) {
  return (1 && p[0] >= 0 && p[0] < s[0] && p[1] >= 0 && p[1] < s[1] &&
          p[2] >= 0 && p[2] < s[0] && p[3] >= 0 && p[3] < s[1]);
}


x86 assembly (clang, -O0):
<innpair>:
push   %rbp
mov    %rsp,%rbp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jb     11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  (%rax),%xmm1
mov    -0x8(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jbe    11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jb     11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x8(%rax),%xmm1
mov    -0x8(%rbp),%rax
cvtsi2sdl 0x4(%rax),%xmm0
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jbe    11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jb     11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x10(%rax),%xmm1
mov    -0x8(%rbp),%rax
cvtsi2sdl (%rax),%xmm0
xor    %eax,%eax
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jbe    11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x18(%rax),%xmm0
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x11(%rbp)
jb     11f3 <innpair+0xf3>
mov    -0x10(%rbp),%rax
movsd  0x18(%rax),%xmm1
mov    -0x8(%rbp),%rax
cvtsi2sdl 0x4(%rax),%xmm0
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x11(%rbp)
mov    -0x11(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<innpair>:
movsd  (%rsi),%xmm0
xor    %eax,%eax
xorpd  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jb     1167 <innpair+0x67>
xorps  %xmm1,%xmm1
cvtsi2sdl (%rdi),%xmm1
ucomisd %xmm0,%xmm1
jbe    1167 <innpair+0x67>
movsd  0x8(%rsi),%xmm2
xorpd  %xmm0,%xmm0
ucomisd %xmm0,%xmm2
jb     1167 <innpair+0x67>
xorps  %xmm0,%xmm0
cvtsi2sdl 0x4(%rdi),%xmm0
ucomisd %xmm2,%xmm0
jbe    1167 <innpair+0x67>
movsd  0x10(%rsi),%xmm2
xorpd  %xmm3,%xmm3
ucomisd %xmm3,%xmm2
jb     1167 <innpair+0x67>
ucomisd %xmm2,%xmm1
jbe    1167 <innpair+0x67>
movsd  0x18(%rsi),%xmm1
xorpd  %xmm2,%xmm2
ucomisd %xmm2,%xmm1
jb     1167 <innpair+0x67>
xor    %eax,%eax
ucomisd %xmm1,%xmm0
seta   %al
ret

LLVM IR (-O0):
define i32 @innpair(i32* %0, double* %1) {
%3 = alloca i32*
%4 = alloca double*
store i32* %0, i32** %3
store double* %1, double** %4
%5 = load double*, double** %4
%6 = getelementptr inbounds double, double* %5, i64 0
%7 = load double, double* %6
%8 = fcmp oge double %7, 0.000000e+00
br i1 %8, label %9, label %60
9: ; preds = %2
%10 = load double*, double** %4
%11 = getelementptr inbounds double, double* %10, i64 0
%12 = load double, double* %11
%13 = load i32*, i32** %3
%14 = getelementptr inbounds i32, i32* %13, i64 0
%15 = load i32, i32* %14
%16 = sitofp i32 %15 to double
%17 = fcmp olt double %12, %16
br i1 %17, label %18, label %60
18: ; preds = %9
%19 = load double*, double** %4
%20 = getelementptr inbounds double, double* %19, i64 1
%21 = load double, double* %20
%22 = fcmp oge double %21, 0.000000e+00
br i1 %22, label %23, label %60
23: ; preds = %18
%24 = load double*, double** %4
%25 = getelementptr inbounds double, double* %24, i64 1
%26 = load double, double* %25
%27 = load i32*, i32** %3
%28 = getelementptr inbounds i32, i32* %27, i64 1
%29 = load i32, i32* %28
%30 = sitofp i32 %29 to double
%31 = fcmp olt double %26, %30
br i1 %31, label %32, label %60
32: ; preds = %23
%33 = load double*, double** %4
%34 = getelementptr inbounds double, double* %33, i64 2
%35 = load double, double* %34
%36 = fcmp oge double %35, 0.000000e+00
br i1 %36, label %37, label %60
37: ; preds = %32
%38 = load double*, double** %4
%39 = getelementptr inbounds double, double* %38, i64 2
%40 = load double, double* %39
%41 = load i32*, i32** %3
%42 = getelementptr inbounds i32, i32* %41, i64 0
%43 = load i32, i32* %42
%44 = sitofp i32 %43 to double
%45 = fcmp olt double %40, %44
br i1 %45, label %46, label %60
46: ; preds = %37
%47 = load double*, double** %4
%48 = getelementptr inbounds double, double* %47, i64 3
%49 = load double, double* %48
%50 = fcmp oge double %49, 0.000000e+00
br i1 %50, label %51, label %60
51: ; preds = %46
%52 = load double*, double** %4
%53 = getelementptr inbounds double, double* %52, i64 3
%54 = load double, double* %53
%55 = load i32*, i32** %3
%56 = getelementptr inbounds i32, i32* %55, i64 1
%57 = load i32, i32* %56
%58 = sitofp i32 %57 to double
%59 = fcmp olt double %54, %58
br label %60
60: ; preds = %51, %46, %37, %32, %23, %18, %9, %2
%61 = phi i1 [ false, %46 ], [ false, %37 ], [ false, %32 ], [ false, %23 ], [ false, %18 ], [ false, %9 ], [ false, %2 ], [ %59, %51 ]
%62 = zext i1 %61 to i32
ret i32 %62
}

LLVM IR (-O2):
define i32 @innpair(i32* nocapture %0, double* nocapture %1) {
%3 = load double, double* %1
%4 = fcmp ult double %3, 0.000000e+00
br i1 %4, label %31, label %5
5: ; preds = %2
%6 = load i32, i32* %0
%7 = sitofp i32 %6 to double
%8 = fcmp olt double %3, %7
br i1 %8, label %9, label %31
9: ; preds = %5
%10 = getelementptr inbounds double, double* %1, i64 1
%11 = load double, double* %10
%12 = fcmp ult double %11, 0.000000e+00
br i1 %12, label %31, label %13
13: ; preds = %9
%14 = getelementptr inbounds i32, i32* %0, i64 1
%15 = load i32, i32* %14
%16 = sitofp i32 %15 to double
%17 = fcmp olt double %11, %16
br i1 %17, label %18, label %31
18: ; preds = %13
%19 = getelementptr inbounds double, double* %1, i64 2
%20 = load double, double* %19
%21 = fcmp oge double %20, 0.000000e+00
%22 = fcmp olt double %20, %7
%23 = select i1 %21, i1 %22, i1 false
br i1 %23, label %24, label %31
24: ; preds = %18
%25 = getelementptr inbounds double, double* %1, i64 3
%26 = load double, double* %25
%27 = fcmp ult double %26, 0.000000e+00
br i1 %27, label %31, label %28
28: ; preds = %24
%29 = fcmp olt double %26, %16
%30 = zext i1 %29 to i32
br label %31
31: ; preds = %28, %24, %18, %13, %9, %5, %2
%32 = phi i32 [ 0, %24 ], [ 0, %18 ], [ 0, %13 ], [ 0, %9 ], [ 0, %5 ], [ 0, %2 ], [ %30, %28 ]
ret i32 %32
}