#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*/ FILE;

/* Variables and functions */
int /*<<< orphan*/ fprintf(int /*<<< orphan*/ *, char *, double, double, double,
                           double, double, double, double, double, char *,
                           char *);
void Polygon(FILE *F, double x1, double y1, double x2, double y2, double x3,
             double y3, double x4, double y4, char *colorf, char *colorb) {
  fprintf(F,
          "<polygon points=\"%.2lf,%.2lf %.2lf,%.2lf %.2lf,%.2lf "
          "%.2lf,%.2lf\" style=\"fill:%s;stroke:%s;stroke-width:1;"
          "fill-opacity:0.7\" />",
          x1, y1, x2, y2, x3, y3, x4, y4, colorf, colorb);
}


x86 assembly (clang, -O0):
<Polygon>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %rdi,-0x8(%rbp)
movsd  %xmm0,-0x10(%rbp)
movsd  %xmm1,-0x18(%rbp)
movsd  %xmm2,-0x20(%rbp)
movsd  %xmm3,-0x28(%rbp)
movsd  %xmm4,-0x30(%rbp)
movsd  %xmm5,-0x38(%rbp)
movsd  %xmm6,-0x40(%rbp)
movsd  %xmm7,-0x48(%rbp)
mov    %rsi,-0x50(%rbp)
mov    %rdx,-0x58(%rbp)
mov    -0x8(%rbp),%rdi
movsd  -0x10(%rbp),%xmm0
movsd  -0x18(%rbp),%xmm1
movsd  -0x20(%rbp),%xmm2
movsd  -0x28(%rbp),%xmm3
movsd  -0x30(%rbp),%xmm4
movsd  -0x38(%rbp),%xmm5
movsd  -0x40(%rbp),%xmm6
movsd  -0x48(%rbp),%xmm7
mov    -0x50(%rbp),%rdx
mov    -0x58(%rbp),%rcx
lea    0xe79(%rip),%rsi
call   1030 <fprintf@plt>
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<Polygon>:
mov    %rdx,%rcx
mov    %rsi,%rdx
lea    0xee3(%rip),%rsi
jmp    1030 <fprintf@plt>

LLVM IR (-O0):
@.str = [127 x i8] c"<polygon points=\22%.2lf,%.2lf %.2lf,%.2lf %.2lf,%.2lf %.2lf,%.2lf\22 style=\22fill:%s;stroke:%s;stroke-width:1;fill-opacity:0.7\22 />\00"
define void @Polygon(i32* %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, i8* %9, i8* %10) {
%12 = alloca i32*
%13 = alloca double
%14 = alloca double
%15 = alloca double
%16 = alloca double
%17 = alloca double
%18 = alloca double
%19 = alloca double
%20 = alloca double
%21 = alloca i8*
%22 = alloca i8*
store i32* %0, i32** %12
store double %1, double* %13
store double %2, double* %14
store double %3, double* %15
store double %4, double* %16
store double %5, double* %17
store double %6, double* %18
store double %7, double* %19
store double %8, double* %20
store i8* %9, i8** %21
store i8* %10, i8** %22
%23 = load i32*, i32** %12
%24 = load double, double* %13
%25 = load double, double* %14
%26 = load double, double* %15
%27 = load double, double* %16
%28 = load double, double* %17
%29 = load double, double* %18
%30 = load double, double* %19
%31 = load double, double* %20
%32 = load i8*, i8** %21
%33 = load i8*, i8** %22
%34 = call i32 @fprintf(i32* %23, i8* getelementptr inbounds ([127 x i8], [127 x i8]* @.str, i64 0, i64 0), double %24, double %25, double %26, double %27, double %28, double %29, double %30, double %31, i8* %32, i8* %33)
ret void
}

LLVM IR (-O2):
@.str = [127 x i8] c"<polygon points=\22%.2lf,%.2lf %.2lf,%.2lf %.2lf,%.2lf %.2lf,%.2lf\22 style=\22fill:%s;stroke:%s;stroke-width:1;fill-opacity:0.7\22 />\00"
define void @Polygon(i32* nocapture %0, double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, i8* %9, i8* %10) {
%12 = tail call i32 @fprintf(i32* %0, i8* getelementptr inbounds ([127 x i8], [127 x i8]* @.str, i64 0, i64 0), double %1, double %2, double %3, double %4, double %5, double %6, double %7, double %8, i8* %9, i8* %10)
ret void
}