#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 */
int /*<<< orphan*/ printf(char *);
void approx_help() {
  printf("-t, --threshold=f\n"
         "\t Threshold giving the floating-point number where to discretize.\n"
         "\t Defaults to 1.0.\n"
         "-B, --temporary-basis=FILE\n"
         "\t A file where the basis will be printed during computation.\n"
         "-p, --bonus-covered=p\n"
         "\t Bias the object function to give `p' times more points for\n"
         "\t covering 1s.\n");
  printf("-P, --penalty-overcovered=P\n"
         "\t Bias the object function to penalize each covered 0 by 'P'.\n"
         "-D, --decomp-matrix=FILE\n"
         "\t The file where the decomposition matrix will be printed.\n"
         "\t The decomposition matrix will be printed as a transpose.\n\n");
}


x86 assembly (clang, -O0):
<approx_help>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <printf@plt>
lea    0xffb(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<approx_help>:
push   %rax
lea    0xee8(%rip),%rdi
call   1030 <puts@plt>
lea    0xffd(%rip),%rdi
pop    %rax
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [290 x i8] c"-t, --threshold=f\0A\09 Threshold giving the floating-point number where to discretize.\0A\09 Defaults to 1.0.\0A-B, --temporary-basis=FILE\0A\09 A file where the basis will be printed during computation.\0A-p, --bonus-covered=p\0A\09 Bias the object function to give `p' times more points for\0A\09 covering 1s.\0A\00"
@.str.1 = [235 x i8] c"-P, --penalty-overcovered=P\0A\09 Bias the object function to penalize each covered 0 by 'P'.\0A-D, --decomp-matrix=FILE\0A\09 The file where the decomposition matrix will be printed.\0A\09 The decomposition matrix will be printed as a transpose.\0A\0A\00"
define void @approx_help() {
%1 = call i32 @printf(i8* getelementptr inbounds ([290 x i8], [290 x i8]* @.str, i64 0, i64 0))
%2 = call i32 @printf(i8* getelementptr inbounds ([235 x i8], [235 x i8]* @.str.1, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [289 x i8] c"-t, --threshold=f\0A\09 Threshold giving the floating-point number where to discretize.\0A\09 Defaults to 1.0.\0A-B, --temporary-basis=FILE\0A\09 A file where the basis will be printed during computation.\0A-p, --bonus-covered=p\0A\09 Bias the object function to give `p' times more points for\0A\09 covering 1s.\00"
@str.2 = [234 x i8] c"-P, --penalty-overcovered=P\0A\09 Bias the object function to penalize each covered 0 by 'P'.\0A-D, --decomp-matrix=FILE\0A\09 The file where the decomposition matrix will be printed.\0A\09 The decomposition matrix will be printed as a transpose.\0A\00"
define void @approx_help() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([289 x i8], [289 x i8]* @str, i64 0, i64 0))
%2 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([234 x i8], [234 x i8]* @str.2, i64 0, i64 0))
ret void
}