#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*/ fprintf(int /*<<< orphan*/, char *, ...);
int /*<<< orphan*/ free(float *);
long get_fits_size(char *, long *, char *);
scalar_t__ malloc(long);
long nside2npix(long);
int /*<<< orphan*/ printf(char *);
float *read_healpix_map(char *, long *, char *, char *);
int /*<<< orphan*/ sprintf(char *, char *, char *);
int /*<<< orphan*/ stdout;
int /*<<< orphan*/ write_healpix_map(float *, long, char *, int, char *);
int main(void) {
  float *map;
  long nside, npix, np, ns;
  int i;
  char file[180] = "test_output.fits";
  char fileforce[180];
  char order1[10];
  char order2[10];
  char coord[10];
  printf("Starting C Healpix IO test\n");
  nside = 1;
  npix = nside2npix(nside);
  map = (float *)malloc(npix * sizeof(float));
  for (i = 0; i < npix; i++) {
    map[i] = 2. * i;
  }
  sprintf(fileforce, "!%s", file);
  write_healpix_map(map, nside, fileforce, 1, "C");
  fprintf(stdout, "file written\n");
  np = get_fits_size(file, &ns, order1);
  fprintf(stdout, "%s %ld %ld %s\n", file, ns, np, order1);
  map = read_healpix_map(file, &ns, coord, order2);
  fprintf(stdout, "%s %s\n", coord, order2);
  fprintf(stdout, "%g %g %g %g\n", map[0], map[1], map[10], map[11]);
  free(map);
  printf("test completed\n\n");
  return 0;
}


x86 assembly (clang, -O0):
<main>:
push   %rbp
mov    %rsp,%rbp
sub    $0x1d0,%rsp
movl   $0x0,-0x4(%rbp)
lea    -0xf0(%rbp),%rdi
lea    0xe50(%rip),%rsi
mov    $0xb4,%edx
call   1070 <memcpy@plt>
lea    0xef3(%rip),%rdi
call   1040 <printf@plt>
movq   $0x1,-0x18(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <nside2npix@plt>
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rdi
shl    $0x2,%rdi
call   1080 <malloc@plt>
mov    %rax,-0x10(%rbp)
movl   $0x0,-0x34(%rbp)
movslq -0x34(%rbp),%rax
cmp    -0x20(%rbp),%rax
jge    1241 <main+0xa1>
cvtsi2sdl -0x34(%rbp),%xmm1
movsd  0xde2(%rip),%xmm0
mulsd  %xmm1,%xmm0
cvtsd2ss %xmm0,%xmm0
mov    -0x10(%rbp),%rax
movslq -0x34(%rbp),%rcx
movss  %xmm0,(%rax,%rcx,4)
mov    -0x34(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x34(%rbp)
jmp    1203 <main+0x63>
lea    -0x1b0(%rbp),%rdi
lea    -0xf0(%rbp),%rdx
lea    0xe8a(%rip),%rsi
call   10a0 <sprintf@plt>
mov    -0x10(%rbp),%rdi
mov    -0x18(%rbp),%rsi
lea    -0x1b0(%rbp),%rdx
mov    $0x1,%ecx
lea    0xe6e(%rip),%r8
call   10c0 <write_healpix_map@plt>
mov    0x2d5e(%rip),%rax
mov    (%rax),%edi
lea    0xe5b(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
lea    -0xf0(%rbp),%rdi
lea    -0x1ba(%rbp),%rdx
lea    -0x30(%rbp),%rsi
call   1090 <get_fits_size@plt>
mov    %rax,-0x28(%rbp)
mov    0x2d2c(%rip),%rax
mov    (%rax),%edi
lea    -0xf0(%rbp),%rdx
mov    -0x30(%rbp),%rcx
mov    -0x28(%rbp),%r8
lea    -0x1ba(%rbp),%r9
lea    0xe21(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
lea    -0xf0(%rbp),%rdi
lea    -0x1ce(%rbp),%rdx
lea    -0x1c4(%rbp),%rcx
lea    -0x30(%rbp),%rsi
call   10b0 <read_healpix_map@plt>
mov    %rax,-0x10(%rbp)
mov    0x2cdd(%rip),%rax
mov    (%rax),%edi
lea    -0x1ce(%rbp),%rdx
lea    -0x1c4(%rbp),%rcx
lea    0xde9(%rip),%rsi
mov    $0x0,%al
call   1060 <fprintf@plt>
mov    0x2cb8(%rip),%rax
mov    (%rax),%edi
mov    -0x10(%rbp),%rax
movss  (%rax),%xmm0
cvtss2sd %xmm0,%xmm0
mov    -0x10(%rbp),%rax
movss  0x4(%rax),%xmm1
cvtss2sd %xmm1,%xmm1
mov    -0x10(%rbp),%rax
movss  0x28(%rax),%xmm2
cvtss2sd %xmm2,%xmm2
mov    -0x10(%rbp),%rax
movss  0x2c(%rax),%xmm3
cvtss2sd %xmm3,%xmm3
lea    0xda6(%rip),%rsi
mov    $0x4,%al
call   1060 <fprintf@plt>
mov    -0x10(%rbp),%rdi
call   1030 <free@plt>
lea    0xd9c(%rip),%rdi
call   1040 <printf@plt>
xor    %eax,%eax
add    $0x1d0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<main>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1a8,%rsp
lea    0xe98(%rip),%rsi
lea    0x30(%rsp),%rdi
mov    $0xb4,%edx
call   1070 <memcpy@plt>
lea    0xf6d(%rip),%rdi
call   1040 <puts@plt>
mov    $0x1,%edi
call   1050 <nside2npix@plt>
mov    %rax,%r14
lea    0x0(,%rax,4),%rdi
call   1080 <malloc@plt>
mov    %rax,%rbx
test   %r14,%r14
jle    13b9 <main+0x219>
cmp    $0x8,%r14
jae    1206 <main+0x66>
xor    %eax,%eax
jmp    139c <main+0x1fc>
mov    %r14,%rax
and    $0xfffffffffffffff8,%rax
lea    -0x8(%rax),%rcx
mov    %rcx,%rdx
shr    $0x3,%rdx
add    $0x1,%rdx
test   %rcx,%rcx
je     1332 <main+0x192>
mov    %rdx,%rsi
and    $0xfffffffffffffffe,%rsi
movdqa 0xdcc(%rip),%xmm0
xor    %ecx,%ecx
movdqa 0xdd1(%rip),%xmm8
movdqa 0xdd8(%rip),%xmm9
movdqa 0xddf(%rip),%xmm10
movdqa 0xde7(%rip),%xmm4
nopl   0x0(%rax)
movdqa %xmm0,%xmm5
paddd  %xmm8,%xmm5
cvtdq2pd %xmm0,%xmm6
pshufd $0xee,%xmm0,%xmm7
cvtdq2pd %xmm7,%xmm7
cvtdq2pd %xmm5,%xmm1
pshufd $0xee,%xmm5,%xmm5
cvtdq2pd %xmm5,%xmm5
addpd  %xmm7,%xmm7
addpd  %xmm6,%xmm6
addpd  %xmm5,%xmm5
cvtpd2ps %xmm6,%xmm6
cvtpd2ps %xmm7,%xmm7
addpd  %xmm1,%xmm1
unpcklpd %xmm7,%xmm6
cvtpd2ps %xmm1,%xmm1
cvtpd2ps %xmm5,%xmm5
unpcklpd %xmm5,%xmm1
movdqa %xmm0,%xmm5
paddd  %xmm9,%xmm5
movdqa %xmm0,%xmm7
paddd  %xmm10,%xmm7
cvtdq2pd %xmm5,%xmm2
pshufd $0xee,%xmm5,%xmm5
cvtdq2pd %xmm5,%xmm5
cvtdq2pd %xmm7,%xmm3
movupd %xmm6,(%rbx,%rcx,4)
pshufd $0xee,%xmm7,%xmm6
cvtdq2pd %xmm6,%xmm6
movupd %xmm1,0x10(%rbx,%rcx,4)
addpd  %xmm5,%xmm5
addpd  %xmm2,%xmm2
addpd  %xmm6,%xmm6
cvtpd2ps %xmm2,%xmm1
cvtpd2ps %xmm5,%xmm2
addpd  %xmm3,%xmm3
unpcklpd %xmm2,%xmm1
cvtpd2ps %xmm3,%xmm2
cvtpd2ps %xmm6,%xmm3
unpcklpd %xmm3,%xmm2
movupd %xmm1,0x20(%rbx,%rcx,4)
movupd %xmm2,0x30(%rbx,%rcx,4)
add    $0x10,%rcx
paddd  %xmm4,%xmm0
add    $0xfffffffffffffffe,%rsi
jne    1260 <main+0xc0>
test   $0x1,%dl
jne    1341 <main+0x1a1>
jmp    13b4 <main+0x214>
movdqa 0xcc6(%rip),%xmm0
xor    %ecx,%ecx
test   $0x1,%dl
je     13b4 <main+0x214>
movdqa 0xcc7(%rip),%xmm1
paddd  %xmm0,%xmm1
cvtdq2pd %xmm0,%xmm2
pshufd $0xee,%xmm0,%xmm0
cvtdq2pd %xmm0,%xmm0
cvtdq2pd %xmm1,%xmm3
pshufd $0xee,%xmm1,%xmm1
cvtdq2pd %xmm1,%xmm1
addpd  %xmm0,%xmm0
addpd  %xmm2,%xmm2
addpd  %xmm1,%xmm1
addpd  %xmm3,%xmm3
cvtpd2ps %xmm2,%xmm2
cvtpd2ps %xmm0,%xmm0
cvtpd2ps %xmm3,%xmm3
cvtpd2ps %xmm1,%xmm1
unpcklpd %xmm0,%xmm2
unpcklpd %xmm1,%xmm3
movupd %xmm2,(%rbx,%rcx,4)
movupd %xmm3,0x10(%rbx,%rcx,4)
jmp    13b4 <main+0x214>
xorps  %xmm0,%xmm0
cvtsi2sd %eax,%xmm0
addsd  %xmm0,%xmm0
cvtsd2ss %xmm0,%xmm0
movss  %xmm0,(%rbx,%rax,4)
add    $0x1,%rax
cmp    %rax,%r14
jne    139c <main+0x1fc>
lea    0xd44(%rip),%rsi
lea    0xf0(%rsp),%r15
lea    0x30(%rsp),%r14
mov    %r15,%rdi
mov    %r14,%rdx
call   10a0 <sprintf@plt>
lea    0xd29(%rip),%r8
mov    $0x1,%esi
mov    %rbx,%rdi
mov    %r15,%rdx
mov    $0x1,%ecx
call   10c0 <write_healpix_map@plt>
mov    0x2be5(%rip),%rbp
mov    0x0(%rbp),%edi
lea    0xd05(%rip),%rsi
xor    %eax,%eax
call   1060 <fprintf@plt>
lea    0x8(%rsp),%r15
lea    0x26(%rsp),%rbx
mov    %r14,%rdi
mov    %r15,%rsi
mov    %rbx,%rdx
call   1090 <get_fits_size@plt>
mov    0x0(%rbp),%edi
mov    0x8(%rsp),%rcx
lea    0xce5(%rip),%rsi
mov    %r14,%rdx
mov    %rax,%r8
mov    %rbx,%r9
xor    %eax,%eax
call   1060 <fprintf@plt>
lea    0x12(%rsp),%r12
lea    0x1c(%rsp),%r13
mov    %r14,%rdi
mov    %r15,%rsi
mov    %r12,%rdx
mov    %r13,%rcx
call   10b0 <read_healpix_map@plt>
mov    %rax,%rbx
mov    0x0(%rbp),%edi
lea    0xcbc(%rip),%rsi
mov    %r12,%rdx
mov    %r13,%rcx
xor    %eax,%eax
call   1060 <fprintf@plt>
mov    0x0(%rbp),%edi
movss  (%rbx),%xmm0
movss  0x4(%rbx),%xmm1
cvtss2sd %xmm0,%xmm0
cvtss2sd %xmm1,%xmm1
movss  0x28(%rbx),%xmm2
cvtss2sd %xmm2,%xmm2
movss  0x2c(%rbx),%xmm3
cvtss2sd %xmm3,%xmm3
lea    0xc89(%rip),%rsi
mov    $0x4,%al
call   1060 <fprintf@plt>
mov    %rbx,%rdi
call   1030 <free@plt>
lea    0xc9b(%rip),%rdi
call   1040 <puts@plt>
xor    %eax,%eax
add    $0x1a8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@__const.main.file = [180 x i8] c"test_output.fits\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00"
@.str = [28 x i8] c"Starting C Healpix IO test\0A\00"
@.str.1 = [4 x i8] c"!%s\00"
@.str.2 = [2 x i8] c"C\00"
@stdout = global i32 0
@.str.3 = [14 x i8] c"file written\0A\00"
@.str.4 = [15 x i8] c"%s %ld %ld %s\0A\00"
@.str.5 = [7 x i8] c"%s %s\0A\00"
@.str.6 = [13 x i8] c"%g %g %g %g\0A\00"
@.str.7 = [17 x i8] c"test completed\0A\0A\00"
define i32 @main() {
%1 = alloca i32
%2 = alloca float*
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i32
%8 = alloca [180 x i8]
%9 = alloca [180 x i8]
%10 = alloca [10 x i8]
%11 = alloca [10 x i8]
%12 = alloca [10 x i8]
store i32 0, i32* %1
%13 = bitcast [180 x i8]* %8 to i8*
%14 = call i32 @printf(i8* getelementptr inbounds ([28 x i8], [28 x i8]* @.str, i64 0, i64 0))
store i64 1, i64* %3
%15 = load i64, i64* %3
%16 = call i64 @nside2npix(i64 %15)
store i64 %16, i64* %4
%17 = load i64, i64* %4
%18 = mul i64 %17, 4
%19 = call i64 @malloc(i64 %18)
%20 = inttoptr i64 %19 to float*
store float* %20, float** %2
store i32 0, i32* %7
br label %21
21: ; preds = %35, %0
%22 = load i32, i32* %7
%23 = sext i32 %22 to i64
%24 = load i64, i64* %4
%25 = icmp slt i64 %23, %24
br i1 %25, label %26, label %38
26: ; preds = %21
%27 = load i32, i32* %7
%28 = sitofp i32 %27 to double
%29 = fmul double 2.000000e+00, %28
%30 = fptrunc double %29 to float
%31 = load float*, float** %2
%32 = load i32, i32* %7
%33 = sext i32 %32 to i64
%34 = getelementptr inbounds float, float* %31, i64 %33
store float %30, float* %34
br label %35
35: ; preds = %26
%36 = load i32, i32* %7
%37 = add nsw i32 %36, 1
store i32 %37, i32* %7
br label %21
38: ; preds = %21
%39 = getelementptr inbounds [180 x i8], [180 x i8]* %9, i64 0, i64 0
%40 = getelementptr inbounds [180 x i8], [180 x i8]* %8, i64 0, i64 0
%41 = call i32 @sprintf(i8* %39, i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i8* %40)
%42 = load float*, float** %2
%43 = load i64, i64* %3
%44 = getelementptr inbounds [180 x i8], [180 x i8]* %9, i64 0, i64 0
%45 = call i32 @write_healpix_map(float* %42, i64 %43, i8* %44, i32 1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%46 = load i32, i32* @stdout
%47 = call i32 (i32, i8*, ...) @fprintf(i32 %46, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
%48 = getelementptr inbounds [180 x i8], [180 x i8]* %8, i64 0, i64 0
%49 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%50 = call i64 @get_fits_size(i8* %48, i64* %6, i8* %49)
store i64 %50, i64* %5
%51 = load i32, i32* @stdout
%52 = getelementptr inbounds [180 x i8], [180 x i8]* %8, i64 0, i64 0
%53 = load i64, i64* %6
%54 = load i64, i64* %5
%55 = getelementptr inbounds [10 x i8], [10 x i8]* %10, i64 0, i64 0
%56 = call i32 (i32, i8*, ...) @fprintf(i32 %51, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0), i8* %52, i64 %53, i64 %54, i8* %55)
%57 = getelementptr inbounds [180 x i8], [180 x i8]* %8, i64 0, i64 0
%58 = getelementptr inbounds [10 x i8], [10 x i8]* %12, i64 0, i64 0
%59 = getelementptr inbounds [10 x i8], [10 x i8]* %11, i64 0, i64 0
%60 = call float* @read_healpix_map(i8* %57, i64* %6, i8* %58, i8* %59)
store float* %60, float** %2
%61 = load i32, i32* @stdout
%62 = getelementptr inbounds [10 x i8], [10 x i8]* %12, i64 0, i64 0
%63 = getelementptr inbounds [10 x i8], [10 x i8]* %11, i64 0, i64 0
%64 = call i32 (i32, i8*, ...) @fprintf(i32 %61, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* %62, i8* %63)
%65 = load i32, i32* @stdout
%66 = load float*, float** %2
%67 = getelementptr inbounds float, float* %66, i64 0
%68 = load float, float* %67
%69 = fpext float %68 to double
%70 = load float*, float** %2
%71 = getelementptr inbounds float, float* %70, i64 1
%72 = load float, float* %71
%73 = fpext float %72 to double
%74 = load float*, float** %2
%75 = getelementptr inbounds float, float* %74, i64 10
%76 = load float, float* %75
%77 = fpext float %76 to double
%78 = load float*, float** %2
%79 = getelementptr inbounds float, float* %78, i64 11
%80 = load float, float* %79
%81 = fpext float %80 to double
%82 = call i32 (i32, i8*, ...) @fprintf(i32 %65, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.6, i64 0, i64 0), double %69, double %73, double %77, double %81)
%83 = load float*, float** %2
%84 = call i32 @free(float* %83)
%85 = call i32 @printf(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.7, i64 0, i64 0))
ret i32 0
}

LLVM IR (-O2):
@__const.main.file = [180 x i8] c"test_output.fits\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00"
@.str.1 = [4 x i8] c"!%s\00"
@.str.2 = [2 x i8] c"C\00"
@stdout = global i32 0
@.str.3 = [14 x i8] c"file written\0A\00"
@.str.4 = [15 x i8] c"%s %ld %ld %s\0A\00"
@.str.5 = [7 x i8] c"%s %s\0A\00"
@.str.6 = [13 x i8] c"%g %g %g %g\0A\00"
@str = [27 x i8] c"Starting C Healpix IO test\00"
@str.8 = [16 x i8] c"test completed\0A\00"
define i32 @main() {
%1 = alloca i64
%2 = alloca [180 x i8]
%3 = alloca [180 x i8]
%4 = alloca [10 x i8]
%5 = alloca [10 x i8]
%6 = alloca [10 x i8]
%7 = bitcast i64* %1 to i8*
%8 = getelementptr inbounds [180 x i8], [180 x i8]* %2, i64 0, i64 0
%9 = getelementptr inbounds [180 x i8], [180 x i8]* %3, i64 0, i64 0
%10 = getelementptr inbounds [10 x i8], [10 x i8]* %4, i64 0, i64 0
%11 = getelementptr inbounds [10 x i8], [10 x i8]* %5, i64 0, i64 0
%12 = getelementptr inbounds [10 x i8], [10 x i8]* %6, i64 0, i64 0
%13 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([27 x i8], [27 x i8]* @str, i64 0, i64 0))
%14 = tail call i64 @nside2npix(i64 1)
%15 = shl i64 %14, 2
%16 = tail call i64 @malloc(i64 %15)
%17 = inttoptr i64 %16 to float*
%18 = icmp sgt i64 %14, 0
br i1 %18, label %19, label %91
19: ; preds = %0
%20 = icmp ult i64 %14, 8
br i1 %20, label %80, label %21
21: ; preds = %19
%22 = and i64 %14, -8
%23 = add i64 %22, -8
%24 = lshr exact i64 %23, 3
%25 = add nuw nsw i64 %24, 1
%26 = and i64 %25, 1
%27 = icmp eq i64 %23, 0
br i1 %27, label %62, label %28
28: ; preds = %21
%29 = and i64 %25, 4611686018427387902
br label %30
30: ; preds = %30, %28
%31 = phi i64 [ 0, %28 ], [ %58, %30 ]
%32 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %28 ], [ %59, %30 ]
%33 = phi i64 [ 0, %28 ], [ %60, %30 ]
%34 = add <4 x i32> %32, <i32 4, i32 4, i32 4, i32 4>
%35 = sitofp <4 x i32> %32 to <4 x double>
%36 = sitofp <4 x i32> %34 to <4 x double>
%37 = fmul <4 x double> %35, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%38 = fmul <4 x double> %36, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%39 = fptrunc <4 x double> %37 to <4 x float>
%40 = fptrunc <4 x double> %38 to <4 x float>
%41 = getelementptr inbounds float, float* %17, i64 %31
%42 = bitcast float* %41 to <4 x float>*
store <4 x float> %39, <4 x float>* %42
%43 = getelementptr inbounds float, float* %41, i64 4
%44 = bitcast float* %43 to <4 x float>*
store <4 x float> %40, <4 x float>* %44
%45 = or i64 %31, 8
%46 = add <4 x i32> %32, <i32 8, i32 8, i32 8, i32 8>
%47 = add <4 x i32> %32, <i32 12, i32 12, i32 12, i32 12>
%48 = sitofp <4 x i32> %46 to <4 x double>
%49 = sitofp <4 x i32> %47 to <4 x double>
%50 = fmul <4 x double> %48, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%51 = fmul <4 x double> %49, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%52 = fptrunc <4 x double> %50 to <4 x float>
%53 = fptrunc <4 x double> %51 to <4 x float>
%54 = getelementptr inbounds float, float* %17, i64 %45
%55 = bitcast float* %54 to <4 x float>*
store <4 x float> %52, <4 x float>* %55
%56 = getelementptr inbounds float, float* %54, i64 4
%57 = bitcast float* %56 to <4 x float>*
store <4 x float> %53, <4 x float>* %57
%58 = add nuw i64 %31, 16
%59 = add <4 x i32> %32, <i32 16, i32 16, i32 16, i32 16>
%60 = add i64 %33, 2
%61 = icmp eq i64 %60, %29
br i1 %61, label %62, label %30
62: ; preds = %30, %21
%63 = phi i64 [ 0, %21 ], [ %58, %30 ]
%64 = phi <4 x i32> [ <i32 0, i32 1, i32 2, i32 3>, %21 ], [ %59, %30 ]
%65 = icmp eq i64 %26, 0
br i1 %65, label %78, label %66
66: ; preds = %62
%67 = add <4 x i32> %64, <i32 4, i32 4, i32 4, i32 4>
%68 = sitofp <4 x i32> %64 to <4 x double>
%69 = sitofp <4 x i32> %67 to <4 x double>
%70 = fmul <4 x double> %68, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%71 = fmul <4 x double> %69, <double 2.000000e+00, double 2.000000e+00, double 2.000000e+00, double 2.000000e+00>
%72 = fptrunc <4 x double> %70 to <4 x float>
%73 = fptrunc <4 x double> %71 to <4 x float>
%74 = getelementptr inbounds float, float* %17, i64 %63
%75 = bitcast float* %74 to <4 x float>*
store <4 x float> %72, <4 x float>* %75
%76 = getelementptr inbounds float, float* %74, i64 4
%77 = bitcast float* %76 to <4 x float>*
store <4 x float> %73, <4 x float>* %77
br label %78
78: ; preds = %62, %66
%79 = icmp eq i64 %14, %22
br i1 %79, label %91, label %80
80: ; preds = %19, %78
%81 = phi i64 [ 0, %19 ], [ %22, %78 ]
br label %82
82: ; preds = %80, %82
%83 = phi i64 [ %89, %82 ], [ %81, %80 ]
%84 = trunc i64 %83 to i32
%85 = sitofp i32 %84 to double
%86 = fmul double %85, 2.000000e+00
%87 = fptrunc double %86 to float
%88 = getelementptr inbounds float, float* %17, i64 %83
store float %87, float* %88
%89 = add nuw nsw i64 %83, 1
%90 = icmp eq i64 %89, %14
br i1 %90, label %91, label %82
91: ; preds = %82, %78, %0
%92 = call i32 @sprintf(i8* %9, i8* dereferenceable(1) getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i8* %8)
%93 = call i32 @write_healpix_map(float* %17, i64 1, i8* %9, i32 1, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.2, i64 0, i64 0))
%94 = load i32, i32* @stdout
%95 = call i32 (i32, i8*, ...) @fprintf(i32 %94, i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.3, i64 0, i64 0))
%96 = call i64 @get_fits_size(i8* %8, i64* %1, i8* %10)
%97 = load i32, i32* @stdout
%98 = load i64, i64* %1
%99 = call i32 (i32, i8*, ...) @fprintf(i32 %97, i8* getelementptr inbounds ([15 x i8], [15 x i8]* @.str.4, i64 0, i64 0), i8* %8, i64 %98, i64 %96, i8* %10)
%100 = call float* @read_healpix_map(i8* %8, i64* %1, i8* %12, i8* %11)
%101 = load i32, i32* @stdout
%102 = call i32 (i32, i8*, ...) @fprintf(i32 %101, i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.5, i64 0, i64 0), i8* %12, i8* %11)
%103 = load i32, i32* @stdout
%104 = load float, float* %100
%105 = fpext float %104 to double
%106 = getelementptr inbounds float, float* %100, i64 1
%107 = load float, float* %106
%108 = fpext float %107 to double
%109 = getelementptr inbounds float, float* %100, i64 10
%110 = load float, float* %109
%111 = fpext float %110 to double
%112 = getelementptr inbounds float, float* %100, i64 11
%113 = load float, float* %112
%114 = fpext float %113 to double
%115 = call i32 (i32, i8*, ...) @fprintf(i32 %103, i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.6, i64 0, i64 0), double %105, double %108, double %111, double %114)
%116 = call i32 @free(float* %100)
%117 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([16 x i8], [16 x i8]* @str.8, i64 0, i64 0))
ret i32 0
}