#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 */
typedef int /*<<< orphan*/ time_t;

/* Variables and functions */
int atoi(char *);
int /*<<< orphan*/ printf(char *, ...);
int rand();
int /*<<< orphan*/ srand(int /*<<< orphan*/);
int /*<<< orphan*/ time(int /*<<< orphan*/ *);
int main(int argc, char *argv[]) {
  if (argc != 4) {
    printf("Usage: gt1 n m k\nn is size of V\nm is size of E\nk is size of "
           "vertex cover\n");
    return -1;
  }
  int i, j, n, m, k, nn;
  time_t t;
  srand(time(&t));
  n = atoi(argv[1]);
  m = atoi(argv[2]);
  k = atoi(argv[3]);
  nn = n * (n + 1) / 2;
  if (m > nn)
    m = nn;
  printf("GT1\n");
  for (i = 1; i < argc; i++)
    printf("%s\n", argv[i]);
  if (n == 0)
    return 0;
  if (m == 0)
    return 0;
  char decide[nn];
  for (i = 0; i < nn; i++)
    decide[i] = 0;
  i = 0;
  while (m) {
    i = rand() % nn;
    if (!decide[i]) {
      decide[i] = 1;
      m--;
    }
  }
  for (i = 0; i < n; i++)
    for (j = i; j < n; j++)
      if (decide[i * n + j - i * (i + 1) / 2]) {
        printf("%d,%d\n", i, j);
      }
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x50,%rsp
movl   $0x0,-0x4(%rbp)
mov    %edi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
cmpl   $0x4,-0x8(%rbp)
je     118a <main+0x3a>
lea    0xe89(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0xffffffff,-0x4(%rbp)
jmp    13a6 <main+0x256>
lea    -0x2c(%rbp),%rdi
call   1050 <time@plt>
mov    %eax,%edi
call   1040 <srand@plt>
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x1c(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
mov    0x18(%rax),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x24(%rbp)
mov    -0x1c(%rbp),%eax
mov    -0x1c(%rbp),%ecx
add    $0x1,%ecx
imul   %ecx,%eax
mov    $0x2,%ecx
cltd
idiv   %ecx
mov    %eax,-0x28(%rbp)
mov    -0x20(%rbp),%eax
cmp    -0x28(%rbp),%eax
jle    11f3 <main+0xa3>
mov    -0x28(%rbp),%eax
mov    %eax,-0x20(%rbp)
lea    0xe50(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
movl   $0x1,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x8(%rbp),%eax
jge    123c <main+0xec>
mov    -0x10(%rbp),%rax
movslq -0x14(%rbp),%rcx
mov    (%rax,%rcx,8),%rsi
lea    0xe28(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1208 <main+0xb8>
cmpl   $0x0,-0x1c(%rbp)
jne    1252 <main+0x102>
movl   $0x0,-0x4(%rbp)
jmp    13a6 <main+0x256>
cmpl   $0x0,-0x20(%rbp)
jne    1268 <main+0x118>
movl   $0x0,-0x4(%rbp)
jmp    13a6 <main+0x256>
mov    -0x28(%rbp),%eax
mov    %rsp,%rcx
mov    %rcx,-0x38(%rbp)
mov    %rax,%rdx
add    $0xf,%rdx
and    $0xfffffffffffffff0,%rdx
mov    %rsp,%rcx
sub    %rdx,%rcx
mov    %rcx,-0x48(%rbp)
mov    %rcx,%rsp
mov    %rax,-0x40(%rbp)
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x28(%rbp),%eax
jge    12bb <main+0x16b>
mov    -0x48(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    1295 <main+0x145>
movl   $0x0,-0x14(%rbp)
cmpl   $0x0,-0x20(%rbp)
je     1306 <main+0x1b6>
mov    $0x0,%al
call   1070 <rand@plt>
cltd
idivl  -0x28(%rbp)
mov    -0x48(%rbp),%rax
mov    %edx,-0x14(%rbp)
movslq -0x14(%rbp),%rcx
cmpb   $0x0,(%rax,%rcx,1)
jne    1301 <main+0x1b1>
mov    -0x48(%rbp),%rax
movslq -0x14(%rbp),%rcx
movb   $0x1,(%rax,%rcx,1)
mov    -0x20(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,-0x20(%rbp)
jmp    12c2 <main+0x172>
movl   $0x0,-0x14(%rbp)
mov    -0x14(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1398 <main+0x248>
mov    -0x14(%rbp),%eax
mov    %eax,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    1385 <main+0x235>
mov    -0x14(%rbp),%ecx
imul   -0x1c(%rbp),%ecx
add    -0x18(%rbp),%ecx
mov    -0x14(%rbp),%eax
mov    -0x14(%rbp),%edx
add    $0x1,%edx
imul   %edx,%eax
mov    $0x2,%esi
cltd
idiv   %esi
mov    %eax,%edx
mov    -0x48(%rbp),%rax
sub    %edx,%ecx
movslq %ecx,%rcx
cmpb   $0x0,(%rax,%rcx,1)
je     1372 <main+0x222>
mov    -0x14(%rbp),%esi
mov    -0x18(%rbp),%edx
lea    0xce8(%rip),%rdi
mov    $0x0,%al
call   1030 <printf@plt>
jmp    1377 <main+0x227>
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    131f <main+0x1cf>
jmp    138a <main+0x23a>
mov    -0x14(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x14(%rbp)
jmp    130d <main+0x1bd>
movl   $0x0,-0x4(%rbp)
mov    -0x38(%rbp),%rax
mov    %rax,%rsp
mov    -0x4(%rbp),%eax
mov    %rbp,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
mov    %rsp,%rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
cmp    $0x4,%edi
jne    1275 <main+0x105>
mov    %rsi,%rbx
lea    -0x44(%rbp),%rdi
call   1070 <time@plt>
mov    %eax,%edi
call   1060 <srand@plt>
mov    0x8(%rbx),%rdi
call   1080 <atoi@plt>
mov    %eax,%r12d
mov    0x10(%rbx),%rdi
call   1080 <atoi@plt>
mov    %eax,%r15d
lea    0x1(%r12),%r13d
mov    %r13d,-0x2c(%rbp)
imul   %r12d,%r13d
mov    %r13d,%r14d
shr    $0x1f,%r14d
add    %r13d,%r14d
sar    %r14d
lea    0xe31(%rip),%rdi
call   1030 <puts@plt>
mov    0x8(%rbx),%rdi
call   1030 <puts@plt>
mov    0x10(%rbx),%rdi
call   1030 <puts@plt>
mov    0x18(%rbx),%rdi
mov    %r12,%rbx
call   1030 <puts@plt>
cmp    %r14d,%r15d
cmovg  %r14d,%r15d
test   %ebx,%ebx
je     1320 <main+0x1b0>
test   %r15d,%r15d
je     1320 <main+0x1b0>
mov    %rsp,%rcx
mov    %r14d,%eax
mov    %rsp,%r12
add    $0xf,%rax
and    $0xfffffffffffffff0,%rax
sub    %rax,%r12
mov    %r12,%rsp
cmp    $0x2,%r13d
mov    %rcx,-0x40(%rbp)
jl     1255 <main+0xe5>
lea    -0x1(%r14),%edx
add    $0x1,%rdx
mov    %r12,%rdi
xor    %esi,%esi
call   1050 <memset@plt>
jmp    1255 <main+0xe5>
cs nopw 0x0(%rax,%rax,1)
test   %r15d,%r15d
je     128b <main+0x11b>
xor    %eax,%eax
call   1090 <rand@plt>
cltd
idiv   %r14d
movslq %edx,%rax
cmpb   $0x0,(%r12,%rax,1)
jne    1250 <main+0xe0>
movb   $0x1,(%r12,%rax,1)
add    $0xffffffff,%r15d
jmp    1250 <main+0xe0>
lea    0xd8f(%rip),%rdi
call   1030 <puts@plt>
mov    $0xffffffff,%eax
jmp    1322 <main+0x1b2>
test   %ebx,%ebx
jle    131c <main+0x1ac>
mov    %ebx,%r13d
mov    $0x2,%eax
xor    %ecx,%ecx
xor    %r14d,%r14d
xor    %r15d,%r15d
jmp    12cc <main+0x15c>
cs nopw 0x0(%rax,%rax,1)
nop
add    $0x1,%r15
mov    -0x30(%rbp),%r14d
add    -0x2c(%rbp),%r14d
mov    -0x38(%rbp),%eax
mov    -0x34(%rbp),%ecx
add    %eax,%ecx
add    $0x2,%eax
cmp    %r13,%r15
je     131c <main+0x1ac>
mov    %eax,-0x38(%rbp)
mov    %ecx,-0x34(%rbp)
mov    %ecx,%eax
shr    %eax
mov    %r14d,-0x30(%rbp)
sub    %eax,%r14d
mov    %r15,%rbx
jmp    12fd <main+0x18d>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
add    $0x1,%rbx
add    $0x1,%r14d
cmp    %rbx,%r13
je     12b0 <main+0x140>
movslq %r14d,%rax
cmpb   $0x0,(%r12,%rax,1)
je     12f0 <main+0x180>
lea    0xcf2(%rip),%rdi
mov    %r15d,%esi
mov    %ebx,%edx
xor    %eax,%eax
call   1040 <printf@plt>
jmp    12f0 <main+0x180>
mov    -0x40(%rbp),%rsp
xor    %eax,%eax
lea    -0x28(%rbp),%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [74 x i8] c"Usage: gt1 n m k\0An is size of V\0Am is size of E\0Ak is size of vertex cover\0A\00"
@.str.1 = [5 x i8] c"GT1\0A\00"
@.str.2 = [4 x i8] c"%s\0A\00"
@.str.3 = [7 x i8] c"%d,%d\0A\00"
define i32 @main(i32 %0, i8** %1) {
%3 = alloca i32
%4 = alloca i32
%5 = alloca i8**
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i32
%12 = alloca i32
%13 = alloca i8*
%14 = alloca i64
store i32 0, i32* %3
store i32 %0, i32* %4
store i8** %1, i8*** %5
%15 = load i32, i32* %4
%16 = icmp ne i32 %15, 4
br i1 %16, label %17, label %19
17: ; preds = %2
%18 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str, i64 0, i64 0))
store i32 -1, i32* %3
br label %145
19: ; preds = %2
%20 = call i32 @time(i32* %12)
%21 = call i32 @srand(i32 %20)
%22 = load i8**, i8*** %5
%23 = getelementptr inbounds i8*, i8** %22, i64 1
%24 = load i8*, i8** %23
%25 = call i32 @atoi(i8* %24)
store i32 %25, i32* %8
%26 = load i8**, i8*** %5
%27 = getelementptr inbounds i8*, i8** %26, i64 2
%28 = load i8*, i8** %27
%29 = call i32 @atoi(i8* %28)
store i32 %29, i32* %9
%30 = load i8**, i8*** %5
%31 = getelementptr inbounds i8*, i8** %30, i64 3
%32 = load i8*, i8** %31
%33 = call i32 @atoi(i8* %32)
store i32 %33, i32* %10
%34 = load i32, i32* %8
%35 = load i32, i32* %8
%36 = add nsw i32 %35, 1
%37 = mul nsw i32 %34, %36
%38 = sdiv i32 %37, 2
store i32 %38, i32* %11
%39 = load i32, i32* %9
%40 = load i32, i32* %11
%41 = icmp sgt i32 %39, %40
br i1 %41, label %42, label %44
42: ; preds = %19
%43 = load i32, i32* %11
store i32 %43, i32* %9
br label %44
44: ; preds = %42, %19
%45 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0))
store i32 1, i32* %6
br label %46
46: ; preds = %57, %44
%47 = load i32, i32* %6
%48 = load i32, i32* %4
%49 = icmp slt i32 %47, %48
br i1 %49, label %50, label %60
50: ; preds = %46
%51 = load i8**, i8*** %5
%52 = load i32, i32* %6
%53 = sext i32 %52 to i64
%54 = getelementptr inbounds i8*, i8** %51, i64 %53
%55 = load i8*, i8** %54
%56 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8* %55)
br label %57
57: ; preds = %50
%58 = load i32, i32* %6
%59 = add nsw i32 %58, 1
store i32 %59, i32* %6
br label %46
60: ; preds = %46
%61 = load i32, i32* %8
%62 = icmp eq i32 %61, 0
br i1 %62, label %63, label %64
63: ; preds = %60
store i32 0, i32* %3
br label %145
64: ; preds = %60
%65 = load i32, i32* %9
%66 = icmp eq i32 %65, 0
br i1 %66, label %67, label %68
67: ; preds = %64
store i32 0, i32* %3
br label %145
68: ; preds = %64
%69 = load i32, i32* %11
%70 = zext i32 %69 to i64
%71 = call i8* @llvm.stacksave()
store i8* %71, i8** %13
%72 = alloca i8, i64 %70
store i64 %70, i64* %14
store i32 0, i32* %6
br label %73
73: ; preds = %81, %68
%74 = load i32, i32* %6
%75 = load i32, i32* %11
%76 = icmp slt i32 %74, %75
br i1 %76, label %77, label %84
77: ; preds = %73
%78 = load i32, i32* %6
%79 = sext i32 %78 to i64
%80 = getelementptr inbounds i8, i8* %72, i64 %79
store i8 0, i8* %80
br label %81
81: ; preds = %77
%82 = load i32, i32* %6
%83 = add nsw i32 %82, 1
store i32 %83, i32* %6
br label %73
84: ; preds = %73
store i32 0, i32* %6
br label %85
85: ; preds = %103, %84
%86 = load i32, i32* %9
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %104
88: ; preds = %85
%89 = call i32 (...) @rand()
%90 = load i32, i32* %11
%91 = srem i32 %89, %90
store i32 %91, i32* %6
%92 = load i32, i32* %6
%93 = sext i32 %92 to i64
%94 = getelementptr inbounds i8, i8* %72, i64 %93
%95 = load i8, i8* %94
%96 = icmp ne i8 %95, 0
br i1 %96, label %103, label %97
97: ; preds = %88
%98 = load i32, i32* %6
%99 = sext i32 %98 to i64
%100 = getelementptr inbounds i8, i8* %72, i64 %99
store i8 1, i8* %100
%101 = load i32, i32* %9
%102 = add nsw i32 %101, -1
store i32 %102, i32* %9
br label %103
103: ; preds = %97, %88
br label %85
104: ; preds = %85
store i32 0, i32* %6
br label %105
105: ; preds = %140, %104
%106 = load i32, i32* %6
%107 = load i32, i32* %8
%108 = icmp slt i32 %106, %107
br i1 %108, label %109, label %143
109: ; preds = %105
%110 = load i32, i32* %6
store i32 %110, i32* %7
br label %111
111: ; preds = %136, %109
%112 = load i32, i32* %7
%113 = load i32, i32* %8
%114 = icmp slt i32 %112, %113
br i1 %114, label %115, label %139
115: ; preds = %111
%116 = load i32, i32* %6
%117 = load i32, i32* %8
%118 = mul nsw i32 %116, %117
%119 = load i32, i32* %7
%120 = add nsw i32 %118, %119
%121 = load i32, i32* %6
%122 = load i32, i32* %6
%123 = add nsw i32 %122, 1
%124 = mul nsw i32 %121, %123
%125 = sdiv i32 %124, 2
%126 = sub nsw i32 %120, %125
%127 = sext i32 %126 to i64
%128 = getelementptr inbounds i8, i8* %72, i64 %127
%129 = load i8, i8* %128
%130 = icmp ne i8 %129, 0
br i1 %130, label %131, label %135
131: ; preds = %115
%132 = load i32, i32* %6
%133 = load i32, i32* %7
%134 = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i32 %132, i32 %133)
br label %135
135: ; preds = %131, %115
br label %136
136: ; preds = %135
%137 = load i32, i32* %7
%138 = add nsw i32 %137, 1
store i32 %138, i32* %7
br label %111
139: ; preds = %111
br label %140
140: ; preds = %139
%141 = load i32, i32* %6
%142 = add nsw i32 %141, 1
store i32 %142, i32* %6
br label %105
143: ; preds = %105
store i32 0, i32* %3
%144 = load i8*, i8** %13
br label %145
145: ; preds = %143, %67, %63, %17
%146 = load i32, i32* %3
ret i32 %146
}

LLVM IR (-O2):
@.str.3 = [7 x i8] c"%d,%d\0A\00"
@str = [4 x i8] c"GT1\00"
@str.4 = [73 x i8] c"Usage: gt1 n m k\0An is size of V\0Am is size of E\0Ak is size of vertex cover\00"
define i32 @main(i32 %0, i8** nocapture %1) {
%3 = alloca i32
%4 = icmp eq i32 %0, 4
br i1 %4, label %7, label %5
5: ; preds = %2
%6 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([73 x i8], [73 x i8]* @str.4, i64 0, i64 0))
br label %86
7: ; preds = %2
%8 = bitcast i32* %3 to i8*
%9 = call i32 @time(i32* %3)
%10 = call i32 @srand(i32 %9)
%11 = getelementptr inbounds i8*, i8** %1, i64 1
%12 = load i8*, i8** %11
%13 = call i32 @atoi(i8* %12)
%14 = getelementptr inbounds i8*, i8** %1, i64 2
%15 = load i8*, i8** %14
%16 = call i32 @atoi(i8* %15)
%17 = add nsw i32 %13, 1
%18 = mul nsw i32 %17, %13
%19 = sdiv i32 %18, 2
%20 = icmp sgt i32 %16, %19
%21 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @str, i64 0, i64 0))
%22 = load i8*, i8** %11
%23 = call i32 @puts(i8* dereferenceable(1) %22)
%24 = load i8*, i8** %14
%25 = call i32 @puts(i8* dereferenceable(1) %24)
%26 = getelementptr inbounds i8*, i8** %1, i64 3
%27 = load i8*, i8** %26
%28 = call i32 @puts(i8* dereferenceable(1) %27)
%29 = select i1 %20, i32 %19, i32 %16
%30 = icmp eq i32 %13, 0
%31 = icmp eq i32 %29, 0
%32 = select i1 %30, i1 true, i1 %31
br i1 %32, label %85, label %33
33: ; preds = %7
%34 = zext i32 %19 to i64
%35 = call i8* @llvm.stacksave()
%36 = alloca i8, i64 %34
%37 = icmp sgt i32 %18, 1
br i1 %37, label %38, label %42
38: ; preds = %33
%39 = add nsw i32 %19, -1
%40 = zext i32 %39 to i64
%41 = add nuw nsw i64 %40, 1
br label %42
42: ; preds = %33, %38
br label %47
43: ; preds = %57
%44 = icmp sgt i32 %13, 0
br i1 %44, label %45, label %84
45: ; preds = %43
%46 = zext i32 %13 to i64
br label %60
47: ; preds = %42, %57
%48 = phi i32 [ %58, %57 ], [ %29, %42 ]
%49 = call i32 (...) @rand()
%50 = srem i32 %49, %19
%51 = sext i32 %50 to i64
%52 = getelementptr inbounds i8, i8* %36, i64 %51
%53 = load i8, i8* %52
%54 = icmp eq i8 %53, 0
br i1 %54, label %55, label %57
55: ; preds = %47
store i8 1, i8* %52
%56 = add nsw i32 %48, -1
br label %57
57: ; preds = %55, %47
%58 = phi i32 [ %48, %47 ], [ %56, %55 ]
%59 = icmp eq i32 %58, 0
br i1 %59, label %43, label %47
60: ; preds = %81, %45
%61 = phi i64 [ 0, %45 ], [ %82, %81 ]
%62 = trunc i64 %61 to i32
%63 = mul nsw i32 %13, %62
%64 = add nuw nsw i32 %62, 1
%65 = mul nsw i32 %64, %62
%66 = lshr i32 %65, 1
%67 = sub i32 %63, %66
br label %68
68: ; preds = %60, %78
%69 = phi i64 [ %61, %60 ], [ %79, %78 ]
%70 = trunc i64 %69 to i32
%71 = add i32 %67, %70
%72 = sext i32 %71 to i64
%73 = getelementptr inbounds i8, i8* %36, i64 %72
%74 = load i8, i8* %73
%75 = icmp eq i8 %74, 0
br i1 %75, label %78, label %76
76: ; preds = %68
%77 = call i32 (i8*, ...) @printf(i8* dereferenceable(1) getelementptr inbounds ([7 x i8], [7 x i8]* @.str.3, i64 0, i64 0), i32 %62, i32 %70)
br label %78
78: ; preds = %68, %76
%79 = add nuw nsw i64 %69, 1
%80 = icmp eq i64 %79, %46
br i1 %80, label %81, label %68
81: ; preds = %78
%82 = add nuw nsw i64 %61, 1
%83 = icmp eq i64 %82, %46
br i1 %83, label %84, label %60
84: ; preds = %81, %43
br label %85
85: ; preds = %7, %84
br label %86
86: ; preds = %85, %5
%87 = phi i32 [ -1, %5 ], [ 0, %85 ]
ret i32 %87
}