#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 fabs(double);
double pdot(double *, double *, int);
double pnormsq(double *, int);
int /*<<< orphan*/ pnormsq2(double *, double *, int);
int /*<<< orphan*/ pouter2(double *, double *, int);
char *test_dot_normsq() {
  double x[] = {0.12, -0.82, 1.3, 0.5};
  double y[] = {6.12, 0.19, 3.4, -4.1};
  do {
    if (!(fabs(pnormsq(x, 4) - 2.6268) < 1e-8))
      return "pnormsq(x,4) != 2.6268";
  } while (0);
  do {
    if (!(fabs(pnormsq(y, 4) - 65.8605) < 1e-8))
      return "pnormsq(y,4) != 65.8605";
  } while (0);
  do {
    if (!(fabs(pdot(x, y, 4) - 2.9486) < 1e-8))
      return "pdot(x,y,4)  != 2.9486";
  } while (0);
  double normsq2[2];
  pnormsq2(normsq2, x, 2);
  do {
    if (!(fabs(normsq2[0] - 0.12 * 0.12 - 1.3 * 1.3) < 1e-8))
      return "pnormsq2(x,2)[0] not right";
  } while (0);
  do {
    if (!(fabs(normsq2[1] - 0.82 * 0.82 - 0.5 * 0.5) < 1e-8))
      return "pnormsq2(x,2)[1] not right";
  } while (0);
  double outer[3];
  pouter2(outer, x, 2);
  do {
    if (!(fabs(outer[0] - 0.12 * 0.12 - 1.3 * 1.3) < 1e-8))
      return "pouter(x,2)[0] not right";
  } while (0);
  do {
    if (!(fabs(outer[1] - 0.82 * 0.82 - 0.5 * 0.5) < 1e-8))
      return "pouter(x,2)[1] not right";
  } while (0);
  do {
    if (!(fabs(outer[2] - (0.12 * (-0.82) + 1.3 * 0.5)) < 1e-8))
      return "pouter(x,2)[2] not right";
  } while (0);
  return 0;
}


x86 assembly (clang, -O0):
<test_dot_normsq>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    0xeee(%rip),%rax
mov    %rax,-0x30(%rbp)
mov    0xeeb(%rip),%rax
mov    %rax,-0x28(%rbp)
mov    0xee8(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xee5(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xee2(%rip),%rax
mov    %rax,-0x50(%rbp)
mov    0xedf(%rip),%rax
mov    %rax,-0x48(%rbp)
mov    0xedc(%rip),%rax
mov    %rax,-0x40(%rbp)
mov    0xed9(%rip),%rax
mov    %rax,-0x38(%rbp)
lea    -0x30(%rbp),%rdi
mov    $0x4,%esi
call   1060 <pnormsq@plt>
movsd  0xe3f(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xe22(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     11f8 <test_dot_normsq+0xa8>
lea    0xea1(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    11fd <test_dot_normsq+0xad>
jmp    1202 <test_dot_normsq+0xb2>
lea    -0x50(%rbp),%rdi
mov    $0x4,%esi
call   1060 <pnormsq@plt>
movsd  0xdf8(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xdd3(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     1247 <test_dot_normsq+0xf7>
lea    0xe69(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    124c <test_dot_normsq+0xfc>
jmp    1251 <test_dot_normsq+0x101>
lea    -0x30(%rbp),%rdi
lea    -0x50(%rbp),%rsi
mov    $0x4,%edx
call   1040 <pdot@plt>
movsd  0xdad(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xd80(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     129a <test_dot_normsq+0x14a>
lea    0xe2e(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    129f <test_dot_normsq+0x14f>
lea    -0x60(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x2,%edx
call   1070 <pnormsq2@plt>
movsd  -0x60(%rbp),%xmm0
movsd  0xd6a(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xd56(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xd21(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     12f9 <test_dot_normsq+0x1a9>
lea    0xde6(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    12fe <test_dot_normsq+0x1ae>
jmp    1303 <test_dot_normsq+0x1b3>
movsd  -0x58(%rbp),%xmm0
movsd  0xd28(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xd14(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xccf(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     134b <test_dot_normsq+0x1fb>
lea    0xdaf(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    1350 <test_dot_normsq+0x200>
lea    -0x80(%rbp),%rdi
lea    -0x30(%rbp),%rsi
mov    $0x2,%edx
call   1030 <pouter2@plt>
movsd  -0x80(%rbp),%xmm0
movsd  0xcb9(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xca5(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xc70(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     13aa <test_dot_normsq+0x25a>
lea    0xd6b(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    13af <test_dot_normsq+0x25f>
jmp    13b4 <test_dot_normsq+0x264>
movsd  -0x78(%rbp),%xmm0
movsd  0xc77(%rip),%xmm1
subsd  %xmm1,%xmm0
movsd  0xc63(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xc1e(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     13fc <test_dot_normsq+0x2ac>
lea    0xd32(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    1401 <test_dot_normsq+0x2b1>
jmp    1406 <test_dot_normsq+0x2b6>
movsd  -0x70(%rbp),%xmm0
movsd  0xc2d(%rip),%xmm1
subsd  %xmm1,%xmm0
call   1050 <fabs@plt>
cvtsi2sd %eax,%xmm1
movsd  0xbd8(%rip),%xmm0
ucomisd %xmm1,%xmm0
ja     1442 <test_dot_normsq+0x2f2>
lea    0xd05(%rip),%rax
mov    %rax,-0x8(%rbp)
jmp    144f <test_dot_normsq+0x2ff>
jmp    1447 <test_dot_normsq+0x2f7>
movq   $0x0,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_dot_normsq>:
sub    $0x78,%rsp
movaps 0xef5(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
movaps 0xed9(%rip),%xmm0
movaps %xmm0,0x10(%rsp)
movaps 0xefd(%rip),%xmm0
movaps %xmm0,0x60(%rsp)
movapd 0xee0(%rip),%xmm0
movapd %xmm0,0x50(%rsp)
lea    0x10(%rsp),%rdi
mov    $0x4,%esi
call   1060 <pnormsq@plt>
addsd  0xe63(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    11b2 <test_dot_normsq+0x62>
lea    0xed3(%rip),%rax
add    $0x78,%rsp
ret
lea    0x50(%rsp),%rdi
mov    $0x4,%esi
call   1060 <pnormsq@plt>
addsd  0xe3f(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    11de <test_dot_normsq+0x8e>
lea    0xebe(%rip),%rax
add    $0x78,%rsp
ret
lea    0x10(%rsp),%rdi
lea    0x50(%rsp),%rsi
mov    $0x4,%edx
call   1040 <pdot@plt>
addsd  0xe16(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    120f <test_dot_normsq+0xbf>
lea    0xea5(%rip),%rax
add    $0x78,%rsp
ret
mov    %rsp,%rdi
lea    0x10(%rsp),%rsi
mov    $0x2,%edx
call   1070 <pnormsq2@plt>
movsd  (%rsp),%xmm0
addsd  0xdea(%rip),%xmm0
addsd  0xdea(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    124b <test_dot_normsq+0xfb>
lea    0xe80(%rip),%rax
add    $0x78,%rsp
ret
movsd  0x8(%rsp),%xmm0
addsd  0xdcf(%rip),%xmm0
addsd  0xdcf(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    1276 <test_dot_normsq+0x126>
lea    0xe70(%rip),%rax
add    $0x78,%rsp
ret
lea    0x30(%rsp),%rdi
lea    0x10(%rsp),%rsi
mov    $0x2,%edx
call   1030 <pouter2@plt>
movsd  0x30(%rsp),%xmm0
addsd  0xd80(%rip),%xmm0
addsd  0xd80(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    12b5 <test_dot_normsq+0x165>
lea    0xe4c(%rip),%rax
add    $0x78,%rsp
ret
movsd  0x38(%rsp),%xmm0
addsd  0xd65(%rip),%xmm0
addsd  0xd65(%rip),%xmm0
call   1050 <fabs@plt>
test   %eax,%eax
jle    12e0 <test_dot_normsq+0x190>
lea    0xe3a(%rip),%rax
add    $0x78,%rsp
ret
movsd  0x40(%rsp),%xmm0
addsd  0xd4a(%rip),%xmm0
call   1050 <fabs@plt>
mov    %eax,%ecx
xor    %eax,%eax
test   %ecx,%ecx
lea    0xe2e(%rip),%rcx
cmovg  %rcx,%rax
add    $0x78,%rsp
ret

LLVM IR (-O0):
@__const.test_dot_normsq.x = [4 x double] [double 1.200000e-01, double -8.200000e-01, double 1.300000e+00, double 5.000000e-01]
@__const.test_dot_normsq.y = [4 x double] [double 6.120000e+00, double 1.900000e-01, double 3.400000e+00, double -4.100000e+00]
@.str = [23 x i8] c"pnormsq(x,4) != 2.6268\00"
@.str.1 = [24 x i8] c"pnormsq(y,4) != 65.8605\00"
@.str.2 = [23 x i8] c"pdot(x,y,4) != 2.9486\00"
@.str.3 = [27 x i8] c"pnormsq2(x,2)[0] not right\00"
@.str.4 = [27 x i8] c"pnormsq2(x,2)[1] not right\00"
@.str.5 = [25 x i8] c"pouter(x,2)[0] not right\00"
@.str.6 = [25 x i8] c"pouter(x,2)[1] not right\00"
@.str.7 = [25 x i8] c"pouter(x,2)[2] not right\00"
define i8* @test_dot_normsq() {
%1 = alloca i8*
%2 = alloca [4 x double]
%3 = alloca [4 x double]
%4 = alloca [2 x double]
%5 = alloca [3 x double]
%6 = bitcast [4 x double]* %2 to i8*
%7 = bitcast [4 x double]* %3 to i8*
br label %8
8: ; preds = %0
%9 = getelementptr inbounds [4 x double], [4 x double]* %2, i64 0, i64 0
%10 = call double @pnormsq(double* %9, i32 4)
%11 = fsub double %10, 2.626800e+00
%12 = call i32 @fabs(double %11)
%13 = sitofp i32 %12 to double
%14 = fcmp olt double %13, 1.000000e-08
br i1 %14, label %16, label %15
15: ; preds = %8
store i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), i8** %1
br label %99
16: ; preds = %8
br label %17
17: ; preds = %16
br label %18
18: ; preds = %17
%19 = getelementptr inbounds [4 x double], [4 x double]* %3, i64 0, i64 0
%20 = call double @pnormsq(double* %19, i32 4)
%21 = fsub double %20, 6.586050e+01
%22 = call i32 @fabs(double %21)
%23 = sitofp i32 %22 to double
%24 = fcmp olt double %23, 1.000000e-08
br i1 %24, label %26, label %25
25: ; preds = %18
store i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0), i8** %1
br label %99
26: ; preds = %18
br label %27
27: ; preds = %26
br label %28
28: ; preds = %27
%29 = getelementptr inbounds [4 x double], [4 x double]* %2, i64 0, i64 0
%30 = getelementptr inbounds [4 x double], [4 x double]* %3, i64 0, i64 0
%31 = call double @pdot(double* %29, double* %30, i32 4)
%32 = fsub double %31, 2.948600e+00
%33 = call i32 @fabs(double %32)
%34 = sitofp i32 %33 to double
%35 = fcmp olt double %34, 1.000000e-08
br i1 %35, label %37, label %36
36: ; preds = %28
store i8* getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), i8** %1
br label %99
37: ; preds = %28
br label %38
38: ; preds = %37
%39 = getelementptr inbounds [2 x double], [2 x double]* %4, i64 0, i64 0
%40 = getelementptr inbounds [4 x double], [4 x double]* %2, i64 0, i64 0
%41 = call i32 @pnormsq2(double* %39, double* %40, i32 2)
br label %42
42: ; preds = %38
%43 = getelementptr inbounds [2 x double], [2 x double]* %4, i64 0, i64 0
%44 = load double, double* %43
%45 = fsub double %44, 1.440000e-02
%46 = fsub double %45, 0x3FFB0A3D70A3D70B
%47 = call i32 @fabs(double %46)
%48 = sitofp i32 %47 to double
%49 = fcmp olt double %48, 1.000000e-08
br i1 %49, label %51, label %50
50: ; preds = %42
store i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), i8** %1
br label %99
51: ; preds = %42
br label %52
52: ; preds = %51
br label %53
53: ; preds = %52
%54 = getelementptr inbounds [2 x double], [2 x double]* %4, i64 0, i64 1
%55 = load double, double* %54
%56 = fsub double %55, 0x3FE5844D013A92A2
%57 = fsub double %56, 2.500000e-01
%58 = call i32 @fabs(double %57)
%59 = sitofp i32 %58 to double
%60 = fcmp olt double %59, 1.000000e-08
br i1 %60, label %62, label %61
61: ; preds = %53
store i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.4, i64 0, i64 0), i8** %1
br label %99
62: ; preds = %53
br label %63
63: ; preds = %62
%64 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 0
%65 = getelementptr inbounds [4 x double], [4 x double]* %2, i64 0, i64 0
%66 = call i32 @pouter2(double* %64, double* %65, i32 2)
br label %67
67: ; preds = %63
%68 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 0
%69 = load double, double* %68
%70 = fsub double %69, 1.440000e-02
%71 = fsub double %70, 0x3FFB0A3D70A3D70B
%72 = call i32 @fabs(double %71)
%73 = sitofp i32 %72 to double
%74 = fcmp olt double %73, 1.000000e-08
br i1 %74, label %76, label %75
75: ; preds = %67
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.5, i64 0, i64 0), i8** %1
br label %99
76: ; preds = %67
br label %77
77: ; preds = %76
br label %78
78: ; preds = %77
%79 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 1
%80 = load double, double* %79
%81 = fsub double %80, 0x3FE5844D013A92A2
%82 = fsub double %81, 2.500000e-01
%83 = call i32 @fabs(double %82)
%84 = sitofp i32 %83 to double
%85 = fcmp olt double %84, 1.000000e-08
br i1 %85, label %87, label %86
86: ; preds = %78
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.6, i64 0, i64 0), i8** %1
br label %99
87: ; preds = %78
br label %88
88: ; preds = %87
br label %89
89: ; preds = %88
%90 = getelementptr inbounds [3 x double], [3 x double]* %5, i64 0, i64 2
%91 = load double, double* %90
%92 = fsub double %91, 0x3FE1A6B50B0F27BC
%93 = call i32 @fabs(double %92)
%94 = sitofp i32 %93 to double
%95 = fcmp olt double %94, 1.000000e-08
br i1 %95, label %97, label %96
96: ; preds = %89
store i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.7, i64 0, i64 0), i8** %1
br label %99
97: ; preds = %89
br label %98
98: ; preds = %97
store i8* null, i8** %1
br label %99
99: ; preds = %98, %96, %86, %75, %61, %50, %36, %25, %15
%100 = load i8*, i8** %1
ret i8* %100
}

LLVM IR (-O2):
@__const.test_dot_normsq.x = [4 x double] [double 1.200000e-01, double -8.200000e-01, double 1.300000e+00, double 5.000000e-01]
@__const.test_dot_normsq.y = [4 x double] [double 6.120000e+00, double 1.900000e-01, double 3.400000e+00, double -4.100000e+00]
@.str = [23 x i8] c"pnormsq(x,4) != 2.6268\00"
@.str.1 = [24 x i8] c"pnormsq(y,4) != 65.8605\00"
@.str.2 = [23 x i8] c"pdot(x,y,4) != 2.9486\00"
@.str.3 = [27 x i8] c"pnormsq2(x,2)[0] not right\00"
@.str.4 = [27 x i8] c"pnormsq2(x,2)[1] not right\00"
@.str.5 = [25 x i8] c"pouter(x,2)[0] not right\00"
@.str.6 = [25 x i8] c"pouter(x,2)[1] not right\00"
@.str.7 = [25 x i8] c"pouter(x,2)[2] not right\00"
define i8* @test_dot_normsq() {
%1 = alloca [4 x double]
%2 = alloca [4 x double]
%3 = alloca [2 x double]
%4 = alloca [3 x double]
%5 = bitcast [4 x double]* %1 to i8*
%6 = bitcast [4 x double]* %2 to i8*
%7 = getelementptr inbounds [4 x double], [4 x double]* %1, i64 0, i64 0
%8 = call double @pnormsq(double* %7, i32 4)
%9 = fadd double %8, -2.626800e+00
%10 = call i32 @fabs(double %9)
%11 = icmp slt i32 %10, 1
br i1 %11, label %12, label %66
12: ; preds = %0
%13 = getelementptr inbounds [4 x double], [4 x double]* %2, i64 0, i64 0
%14 = call double @pnormsq(double* %13, i32 4)
%15 = fadd double %14, -6.586050e+01
%16 = call i32 @fabs(double %15)
%17 = icmp slt i32 %16, 1
br i1 %17, label %18, label %66
18: ; preds = %12
%19 = call double @pdot(double* %7, double* %13, i32 4)
%20 = fadd double %19, -2.948600e+00
%21 = call i32 @fabs(double %20)
%22 = icmp slt i32 %21, 1
br i1 %22, label %23, label %66
23: ; preds = %18
%24 = bitcast [2 x double]* %3 to i8*
%25 = getelementptr inbounds [2 x double], [2 x double]* %3, i64 0, i64 0
%26 = call i32 @pnormsq2(double* %25, double* %7, i32 2)
%27 = load double, double* %25
%28 = fadd double %27, -1.440000e-02
%29 = fadd double %28, 0xBFFB0A3D70A3D70B
%30 = call i32 @fabs(double %29)
%31 = icmp slt i32 %30, 1
br i1 %31, label %32, label %64
32: ; preds = %23
%33 = getelementptr inbounds [2 x double], [2 x double]* %3, i64 0, i64 1
%34 = load double, double* %33
%35 = fadd double %34, 0xBFE5844D013A92A2
%36 = fadd double %35, -2.500000e-01
%37 = call i32 @fabs(double %36)
%38 = icmp slt i32 %37, 1
br i1 %38, label %39, label %64
39: ; preds = %32
%40 = bitcast [3 x double]* %4 to i8*
%41 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 0
%42 = call i32 @pouter2(double* %41, double* %7, i32 2)
%43 = load double, double* %41
%44 = fadd double %43, -1.440000e-02
%45 = fadd double %44, 0xBFFB0A3D70A3D70B
%46 = call i32 @fabs(double %45)
%47 = icmp slt i32 %46, 1
br i1 %47, label %48, label %62
48: ; preds = %39
%49 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 1
%50 = load double, double* %49
%51 = fadd double %50, 0xBFE5844D013A92A2
%52 = fadd double %51, -2.500000e-01
%53 = call i32 @fabs(double %52)
%54 = icmp slt i32 %53, 1
br i1 %54, label %55, label %62
55: ; preds = %48
%56 = getelementptr inbounds [3 x double], [3 x double]* %4, i64 0, i64 2
%57 = load double, double* %56
%58 = fadd double %57, 0xBFE1A6B50B0F27BC
%59 = call i32 @fabs(double %58)
%60 = icmp slt i32 %59, 1
%61 = select i1 %60, i8* null, i8* getelementptr inbounds ([25 x i8], [25 x i8]* @.str.7, i64 0, i64 0)
br label %62
62: ; preds = %55, %48, %39
%63 = phi i8* [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.5, i64 0, i64 0), %39 ], [ getelementptr inbounds ([25 x i8], [25 x i8]* @.str.6, i64 0, i64 0), %48 ], [ %61, %55 ]
br label %64
64: ; preds = %32, %23, %62
%65 = phi i8* [ %63, %62 ], [ getelementptr inbounds ([27 x i8], [27 x i8]* @.str.3, i64 0, i64 0), %23 ], [ getelementptr inbounds ([27 x i8], [27 x i8]* @.str.4, i64 0, i64 0), %32 ]
br label %66
66: ; preds = %18, %12, %0, %64
%67 = phi i8* [ %65, %64 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str, i64 0, i64 0), %0 ], [ getelementptr inbounds ([24 x i8], [24 x i8]* @.str.1, i64 0, i64 0), %12 ], [ getelementptr inbounds ([23 x i8], [23 x i8]* @.str.2, i64 0, i64 0), %18 ]
ret i8* %67
}