#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
bool carPooling(int **trips, int tripsSize, int *tripsColSize, int capacity) {
  int psgn[1001] = {0};
  int sum = 0;
  for (int i = 0; i < tripsSize; i++) {
    psgn[trips[i][1]] += trips[i][0];
    psgn[trips[i][2]] -= trips[i][0];
  }
  for (int i = 0; i < 1001; i++) {
    if (psgn[i] == 0)
      continue;
    sum += psgn[i];
    if (sum > capacity)
      return false;
  }
  return true;
}


x86 assembly (clang, -O0):
<carPooling>:
push   %rbp
mov    %rsp,%rbp
sub    $0xfe0,%rsp
mov    %rdi,-0x10(%rbp)
mov    %esi,-0x14(%rbp)
mov    %rdx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
lea    -0xfd0(%rbp),%rdi
xor    %esi,%esi
mov    $0xfa4,%edx
call   1030 <memset@plt>
movl   $0x0,-0xfd4(%rbp)
movl   $0x0,-0xfd8(%rbp)
mov    -0xfd8(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    11d9 <carPooling+0xc9>
mov    -0x10(%rbp),%rax
movslq -0xfd8(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%ecx
mov    -0x10(%rbp),%rax
movslq -0xfd8(%rbp),%rdx
mov    (%rax,%rdx,8),%rax
movslq 0x4(%rax),%rax
add    -0xfd0(%rbp,%rax,4),%ecx
mov    %ecx,-0xfd0(%rbp,%rax,4)
mov    -0x10(%rbp),%rax
movslq -0xfd8(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
mov    (%rax),%edx
mov    -0x10(%rbp),%rax
movslq -0xfd8(%rbp),%rcx
mov    (%rax,%rcx,8),%rax
movslq 0x8(%rax),%rax
mov    -0xfd0(%rbp,%rax,4),%ecx
sub    %edx,%ecx
mov    %ecx,-0xfd0(%rbp,%rax,4)
mov    -0xfd8(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfd8(%rbp)
jmp    1150 <carPooling+0x40>
movl   $0x0,-0xfdc(%rbp)
cmpl   $0x3e9,-0xfdc(%rbp)
jge    125b <carPooling+0x14b>
movslq -0xfdc(%rbp),%rax
cmpl   $0x0,-0xfd0(%rbp,%rax,4)
jne    120d <carPooling+0xfd>
jmp    1247 <carPooling+0x137>
movslq -0xfdc(%rbp),%rax
mov    -0xfd0(%rbp,%rax,4),%eax
add    -0xfd4(%rbp),%eax
mov    %eax,-0xfd4(%rbp)
mov    -0xfd4(%rbp),%eax
cmp    -0x24(%rbp),%eax
jle    1242 <carPooling+0x132>
movl   $0x0,-0x4(%rbp)
jmp    1262 <carPooling+0x152>
jmp    1247 <carPooling+0x137>
mov    -0xfdc(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0xfdc(%rbp)
jmp    11e3 <carPooling+0xd3>
movl   $0x1,-0x4(%rbp)
mov    -0x4(%rbp),%eax
add    $0xfe0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<carPooling>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0xfa8,%rsp
mov    %ecx,%r15d
mov    %esi,%r14d
mov    %rdi,%rbx
mov    %rsp,%rdi
xor    %ebp,%ebp
mov    $0xfa4,%edx
xor    %esi,%esi
call   1030 <memset@plt>
test   %r14d,%r14d
jle    11ac <carPooling+0x9c>
mov    %r14d,%r8d
cmp    $0x1,%r14d
jne    1149 <carPooling+0x39>
xor    %ecx,%ecx
jmp    1192 <carPooling+0x82>
mov    %r8d,%edx
and    $0xfffffffe,%edx
xor    %ecx,%ecx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    (%rbx,%rcx,8),%rsi
mov    (%rsi),%edi
movslq 0x4(%rsi),%rax
add    %edi,(%rsp,%rax,4)
movslq 0x8(%rsi),%rax
sub    %edi,(%rsp,%rax,4)
mov    0x8(%rbx,%rcx,8),%rax
mov    (%rax),%esi
movslq 0x4(%rax),%rdi
add    %esi,(%rsp,%rdi,4)
movslq 0x8(%rax),%rax
sub    %esi,(%rsp,%rax,4)
add    $0x2,%rcx
cmp    %rcx,%rdx
jne    1160 <carPooling+0x50>
test   $0x1,%r8b
je     11ac <carPooling+0x9c>
mov    (%rbx,%rcx,8),%rax
mov    (%rax),%ecx
movslq 0x4(%rax),%rdx
add    %ecx,(%rsp,%rdx,4)
movslq 0x8(%rax),%rax
sub    %ecx,(%rsp,%rax,4)
mov    $0x1,%cl
mov    $0x1,%eax
jmp    11cd <carPooling+0xbd>
cs nopw 0x0(%rax,%rax,1)
nop
cmp    $0x3e8,%rax
setb   %cl
add    $0x2,%rax
mov    -0x4(%rsp,%rax,4),%edx
test   %edx,%edx
je     11dc <carPooling+0xcc>
add    %edx,%ebp
cmp    %r15d,%ebp
jg     11ff <carPooling+0xef>
cmp    $0x3e9,%rax
je     11f2 <carPooling+0xe2>
mov    (%rsp,%rax,4),%ecx
test   %ecx,%ecx
je     11c0 <carPooling+0xb0>
add    %ecx,%ebp
cmp    %r15d,%ebp
jle    11c0 <carPooling+0xb0>
add    $0xffffffffffffffff,%rax
cmp    $0x3e8,%rax
setb   %cl
not    %cl
movzbl %cl,%eax
and    $0x1,%eax
add    $0xfa8,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

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

LLVM IR (-O2):
define i32 @carPooling(i32** nocapture %0, i32 %1, i32* nocapture readnone %2, i32 %3) {
%5 = alloca [1001 x i32]
%6 = bitcast [1001 x i32]* %5 to i8*
%7 = icmp sgt i32 %1, 0
br i1 %7, label %8, label %70
8: ; preds = %4
%9 = zext i32 %1 to i64
%10 = and i64 %9, 1
%11 = icmp eq i32 %1, 1
br i1 %11, label %51, label %12
12: ; preds = %8
%13 = and i64 %9, 4294967294
br label %14
14: ; preds = %14, %12
%15 = phi i64 [ 0, %12 ], [ %48, %14 ]
%16 = phi i64 [ 0, %12 ], [ %49, %14 ]
%17 = getelementptr inbounds i32*, i32** %0, i64 %15
%18 = load i32*, i32** %17
%19 = load i32, i32* %18
%20 = getelementptr inbounds i32, i32* %18, i64 1
%21 = load i32, i32* %20
%22 = sext i32 %21 to i64
%23 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %22
%24 = load i32, i32* %23
%25 = add nsw i32 %24, %19
store i32 %25, i32* %23
%26 = getelementptr inbounds i32, i32* %18, i64 2
%27 = load i32, i32* %26
%28 = sext i32 %27 to i64
%29 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %28
%30 = load i32, i32* %29
%31 = sub nsw i32 %30, %19
store i32 %31, i32* %29
%32 = or i64 %15, 1
%33 = getelementptr inbounds i32*, i32** %0, i64 %32
%34 = load i32*, i32** %33
%35 = load i32, i32* %34
%36 = getelementptr inbounds i32, i32* %34, i64 1
%37 = load i32, i32* %36
%38 = sext i32 %37 to i64
%39 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %38
%40 = load i32, i32* %39
%41 = add nsw i32 %40, %35
store i32 %41, i32* %39
%42 = getelementptr inbounds i32, i32* %34, i64 2
%43 = load i32, i32* %42
%44 = sext i32 %43 to i64
%45 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %44
%46 = load i32, i32* %45
%47 = sub nsw i32 %46, %35
store i32 %47, i32* %45
%48 = add nuw nsw i64 %15, 2
%49 = add i64 %16, 2
%50 = icmp eq i64 %49, %13
br i1 %50, label %51, label %14
51: ; preds = %14, %8
%52 = phi i64 [ 0, %8 ], [ %48, %14 ]
%53 = icmp eq i64 %10, 0
br i1 %53, label %70, label %54
54: ; preds = %51
%55 = getelementptr inbounds i32*, i32** %0, i64 %52
%56 = load i32*, i32** %55
%57 = load i32, i32* %56
%58 = getelementptr inbounds i32, i32* %56, i64 1
%59 = load i32, i32* %58
%60 = sext i32 %59 to i64
%61 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %60
%62 = load i32, i32* %61
%63 = add nsw i32 %62, %57
store i32 %63, i32* %61
%64 = getelementptr inbounds i32, i32* %56, i64 2
%65 = load i32, i32* %64
%66 = sext i32 %65 to i64
%67 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %66
%68 = load i32, i32* %67
%69 = sub nsw i32 %68, %57
store i32 %69, i32* %67
br label %70
70: ; preds = %54, %51, %4
br label %71
71: ; preds = %92, %70
%72 = phi i64 [ 0, %70 ], [ %94, %92 ]
%73 = phi i1 [ true, %70 ], [ %95, %92 ]
%74 = phi i32 [ 0, %70 ], [ %93, %92 ]
%75 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %72
%76 = load i32, i32* %75
%77 = icmp eq i32 %76, 0
br i1 %77, label %81, label %78
78: ; preds = %71
%79 = add nsw i32 %76, %74
%80 = icmp sgt i32 %79, %3
br i1 %80, label %100, label %81
81: ; preds = %78, %71
%82 = phi i32 [ %74, %71 ], [ %79, %78 ]
%83 = or i64 %72, 1
%84 = icmp eq i64 %83, 1001
br i1 %84, label %98, label %85
85: ; preds = %81
%86 = getelementptr inbounds [1001 x i32], [1001 x i32]* %5, i64 0, i64 %83
%87 = load i32, i32* %86
%88 = icmp eq i32 %87, 0
br i1 %88, label %92, label %89
89: ; preds = %85
%90 = add nsw i32 %87, %82
%91 = icmp sgt i32 %90, %3
br i1 %91, label %96, label %92
92: ; preds = %89, %85
%93 = phi i32 [ %82, %85 ], [ %90, %89 ]
%94 = add nuw nsw i64 %72, 2
%95 = icmp ult i64 %83, 1000
br label %71
96: ; preds = %89
%97 = icmp ult i64 %72, 1000
br label %100
98: ; preds = %81
%99 = icmp ult i64 %72, 1000
br label %100
100: ; preds = %78, %98, %96
%101 = phi i1 [ %97, %96 ], [ %99, %98 ], [ %73, %78 ]
%102 = xor i1 %101, true
%103 = zext i1 %102 to i32
ret i32 %103
}