#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 */
double dot(double *, double *);
scalar_t__ num_strmatch(char *, char **, int, int);
int /*<<< orphan*/ sprintf(char *, char *, int, int);
int toupper(char);
double veclen(double *);
void check_Watson_Crick(long num_bp, char **bp_seq, double **orien,
                        double **org, long *WC_info) {
  char bpi[3];
  static char *WC[9] = {"XX", "AT", "AU", "TA", "UA", "GC", "CG", "IC", "CI"};
  double temp[4];
  long i, ioffset, j, k;
  for (i = 1; i <= num_bp; i++) {
    ioffset = (i - 1) * 9;
    sprintf(bpi, "%c%c", toupper(bp_seq[1][i]), toupper(bp_seq[2][i]));
    k = dot(&orien[1][ioffset], &orien[2][ioffset]) > 0.0 &&
        dot(&orien[1][ioffset + 3], &orien[2][ioffset + 3]) > 0.0 &&
        dot(&orien[1][ioffset + 6], &orien[2][ioffset + 6]) > 0.0;
    if (k) {
      WC_info[i] = 1;
      ioffset = (i - 1) * 3;
      for (j = 1; j <= 3; j++)
        temp[j] = org[1][ioffset + j] - org[2][ioffset + j];
      if (veclen(temp) <= 2.5 && num_strmatch(bpi, WC, 1, 8))
        WC_info[i] = 2;
    }
  }
}


x86 assembly (clang, -O0):
<check_Watson_Crick>:
push   %rbp
mov    %rsp,%rbp
sub    $0x80,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %rdx,-0x18(%rbp)
mov    %rcx,-0x20(%rbp)
mov    %r8,-0x28(%rbp)
movq   $0x1,-0x58(%rbp)
mov    -0x58(%rbp),%rax
cmp    -0x8(%rbp),%rax
jg     139f <check_Watson_Crick+0x24f>
mov    -0x58(%rbp),%rax
sub    $0x1,%rax
imul   $0x9,%rax,%rax
mov    %rax,-0x60(%rbp)
lea    -0x2b(%rbp),%rax
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x58(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <toupper@plt>
mov    %eax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
mov    0x10(%rax),%rax
mov    -0x58(%rbp),%rcx
movsbl (%rax,%rcx,1),%edi
call   1050 <toupper@plt>
mov    -0x80(%rbp),%rdi
mov    -0x78(%rbp),%edx
mov    %eax,%ecx
lea    0xe49(%rip),%rsi
call   1070 <sprintf@plt>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rdi
mov    -0x60(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rsi
mov    -0x60(%rbp),%rax
shl    $0x3,%rax
add    %rax,%rsi
call   1030 <dot@plt>
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x71(%rbp)
jbe    12a1 <check_Watson_Crick+0x151>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rdi
mov    -0x60(%rbp),%rax
add    $0x3,%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rsi
mov    -0x60(%rbp),%rax
add    $0x3,%rax
shl    $0x3,%rax
add    %rax,%rsi
call   1030 <dot@plt>
xor    %eax,%eax
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x71(%rbp)
jbe    12a1 <check_Watson_Crick+0x151>
mov    -0x18(%rbp),%rax
mov    0x8(%rax),%rdi
mov    -0x60(%rbp),%rax
add    $0x6,%rax
shl    $0x3,%rax
add    %rax,%rdi
mov    -0x18(%rbp),%rax
mov    0x10(%rax),%rsi
mov    -0x60(%rbp),%rax
add    $0x6,%rax
shl    $0x3,%rax
add    %rax,%rsi
call   1030 <dot@plt>
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
seta   %al
mov    %al,-0x71(%rbp)
mov    -0x71(%rbp),%al
and    $0x1,%al
movzbl %al,%eax
cltq
mov    %rax,-0x70(%rbp)
cmpq   $0x0,-0x70(%rbp)
je     1389 <check_Watson_Crick+0x239>
mov    -0x28(%rbp),%rax
mov    -0x58(%rbp),%rcx
movq   $0x1,(%rax,%rcx,8)
mov    -0x58(%rbp),%rax
sub    $0x1,%rax
imul   $0x3,%rax,%rax
mov    %rax,-0x60(%rbp)
movq   $0x1,-0x68(%rbp)
cmpq   $0x3,-0x68(%rbp)
jg     1332 <check_Watson_Crick+0x1e2>
mov    -0x20(%rbp),%rax
mov    0x8(%rax),%rax
mov    -0x60(%rbp),%rcx
add    -0x68(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
mov    -0x20(%rbp),%rax
mov    0x10(%rax),%rax
mov    -0x60(%rbp),%rcx
add    -0x68(%rbp),%rcx
subsd  (%rax,%rcx,8),%xmm0
mov    -0x68(%rbp),%rax
movsd  %xmm0,-0x50(%rbp,%rax,8)
mov    -0x68(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x68(%rbp)
jmp    12e2 <check_Watson_Crick+0x192>
lea    -0x50(%rbp),%rdi
call   1060 <veclen@plt>
movaps %xmm0,%xmm1
movsd  0xcba(%rip),%xmm0
ucomisd %xmm1,%xmm0
jb     1384 <check_Watson_Crick+0x234>
lea    -0x2b(%rbp),%rdi
lea    0x2cf5(%rip),%rsi
mov    $0x1,%edx
mov    $0x8,%ecx
call   1040 <num_strmatch@plt>
cmp    $0x0,%rax
je     1384 <check_Watson_Crick+0x234>
mov    -0x28(%rbp),%rax
mov    -0x58(%rbp),%rcx
movq   $0x2,(%rax,%rcx,8)
jmp    1389 <check_Watson_Crick+0x239>
jmp    138e <check_Watson_Crick+0x23e>
mov    -0x58(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x58(%rbp)
jmp    1177 <check_Watson_Crick+0x27>
add    $0x80,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<check_Watson_Crick>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %r8,0x8(%rsp)
mov    %rcx,0x10(%rsp)
mov    %rdi,0x18(%rsp)
test   %rdi,%rdi
jle    12fb <check_Watson_Crick+0x1ab>
mov    %rdx,%rbx
mov    %rsi,%r12
mov    $0x30,%ebp
mov    $0x3,%r14d
xor    %r13d,%r13d
jmp    11a7 <check_Watson_Crick+0x57>
nopl   0x0(%rax)
add    $0x1,%r13
add    $0x48,%rbp
add    $0x3,%r14
cmp    %r13,0x18(%rsp)
je     12fb <check_Watson_Crick+0x1ab>
mov    0x8(%r12),%rax
movsbl 0x1(%rax,%r13,1),%edi
call   1050 <toupper@plt>
mov    %eax,%r15d
mov    0x10(%r12),%rax
movsbl 0x1(%rax,%r13,1),%edi
call   1050 <toupper@plt>
lea    0x5(%rsp),%rdi
lea    0xe55(%rip),%rsi
mov    %r15d,%edx
mov    %eax,%ecx
call   1070 <sprintf@plt>
mov    0x8(%rbx),%rax
mov    0x10(%rbx),%rcx
lea    (%rax,%rbp,1),%rdi
add    $0xffffffffffffffd0,%rdi
lea    (%rcx,%rbp,1),%rsi
add    $0xffffffffffffffd0,%rsi
call   1030 <dot@plt>
ucomisd 0xe03(%rip),%xmm0
jbe    1190 <check_Watson_Crick+0x40>
mov    0x8(%rbx),%rax
mov    0x10(%rbx),%rcx
lea    (%rax,%rbp,1),%rdi
add    $0xffffffffffffffe8,%rdi
lea    (%rcx,%rbp,1),%rsi
add    $0xffffffffffffffe8,%rsi
call   1030 <dot@plt>
ucomisd 0xddc(%rip),%xmm0
jbe    1190 <check_Watson_Crick+0x40>
mov    0x8(%rbx),%rdi
add    %rbp,%rdi
mov    0x10(%rbx),%rsi
add    %rbp,%rsi
call   1030 <dot@plt>
ucomisd 0xdbb(%rip),%xmm0
jbe    1190 <check_Watson_Crick+0x40>
mov    0x8(%rsp),%rax
movq   $0x1,0x8(%rax,%r13,8)
mov    0x10(%rsp),%rcx
mov    0x8(%rcx),%rax
mov    0x10(%rcx),%rcx
movsd  -0x10(%rax,%r14,8),%xmm0
subsd  -0x10(%rcx,%r14,8),%xmm0
movsd  %xmm0,0x28(%rsp)
movsd  -0x8(%rax,%r14,8),%xmm0
subsd  -0x8(%rcx,%r14,8),%xmm0
movsd  %xmm0,0x30(%rsp)
movsd  (%rax,%r14,8),%xmm0
subsd  (%rcx,%r14,8),%xmm0
movsd  %xmm0,0x38(%rsp)
lea    0x20(%rsp),%rdi
call   1060 <veclen@plt>
movsd  0xd46(%rip),%xmm1
ucomisd %xmm0,%xmm1
jb     1190 <check_Watson_Crick+0x40>
lea    0x5(%rsp),%rdi
lea    0x2d80(%rip),%rsi
mov    $0x1,%edx
mov    $0x8,%ecx
call   1040 <num_strmatch@plt>
test   %rax,%rax
je     1190 <check_Watson_Crick+0x40>
mov    0x8(%rsp),%rax
movq   $0x2,0x8(%rax,%r13,8)
jmp    1190 <check_Watson_Crick+0x40>
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@check_Watson_Crick.WC = internal global [9 x i8*] [i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i32 0, i32 0)]
@.str = [3 x i8] c"XX\00"
@.str.1 = [3 x i8] c"AT\00"
@.str.2 = [3 x i8] c"AU\00"
@.str.3 = [3 x i8] c"TA\00"
@.str.4 = [3 x i8] c"UA\00"
@.str.5 = [3 x i8] c"GC\00"
@.str.6 = [3 x i8] c"CG\00"
@.str.7 = [3 x i8] c"IC\00"
@.str.8 = [3 x i8] c"CI\00"
@.str.9 = [5 x i8] c"%c%c\00"
define void @check_Watson_Crick(i64 %0, i8** %1, double** %2, double** %3, i64* %4) {
%6 = alloca i64
%7 = alloca i8**
%8 = alloca double**
%9 = alloca double**
%10 = alloca i64*
%11 = alloca [3 x i8]
%12 = alloca [4 x double]
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
store i64 %0, i64* %6
store i8** %1, i8*** %7
store double** %2, double*** %8
store double** %3, double*** %9
store i64* %4, i64** %10
store i64 1, i64* %13
br label %17
17: ; preds = %136, %5
%18 = load i64, i64* %13
%19 = load i64, i64* %6
%20 = icmp sle i64 %18, %19
br i1 %20, label %21, label %139
21: ; preds = %17
%22 = load i64, i64* %13
%23 = sub nsw i64 %22, 1
%24 = mul nsw i64 %23, 9
store i64 %24, i64* %14
%25 = getelementptr inbounds [3 x i8], [3 x i8]* %11, i64 0, i64 0
%26 = load i8**, i8*** %7
%27 = getelementptr inbounds i8*, i8** %26, i64 1
%28 = load i8*, i8** %27
%29 = load i64, i64* %13
%30 = getelementptr inbounds i8, i8* %28, i64 %29
%31 = load i8, i8* %30
%32 = call i32 @toupper(i8 signext %31)
%33 = load i8**, i8*** %7
%34 = getelementptr inbounds i8*, i8** %33, i64 2
%35 = load i8*, i8** %34
%36 = load i64, i64* %13
%37 = getelementptr inbounds i8, i8* %35, i64 %36
%38 = load i8, i8* %37
%39 = call i32 @toupper(i8 signext %38)
%40 = call i32 @sprintf(i8* %25, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0), i32 %32, i32 %39)
%41 = load double**, double*** %8
%42 = getelementptr inbounds double*, double** %41, i64 1
%43 = load double*, double** %42
%44 = load i64, i64* %14
%45 = getelementptr inbounds double, double* %43, i64 %44
%46 = load double**, double*** %8
%47 = getelementptr inbounds double*, double** %46, i64 2
%48 = load double*, double** %47
%49 = load i64, i64* %14
%50 = getelementptr inbounds double, double* %48, i64 %49
%51 = call double @dot(double* %45, double* %50)
%52 = fcmp ogt double %51, 0.000000e+00
br i1 %52, label %53, label %83
53: ; preds = %21
%54 = load double**, double*** %8
%55 = getelementptr inbounds double*, double** %54, i64 1
%56 = load double*, double** %55
%57 = load i64, i64* %14
%58 = add nsw i64 %57, 3
%59 = getelementptr inbounds double, double* %56, i64 %58
%60 = load double**, double*** %8
%61 = getelementptr inbounds double*, double** %60, i64 2
%62 = load double*, double** %61
%63 = load i64, i64* %14
%64 = add nsw i64 %63, 3
%65 = getelementptr inbounds double, double* %62, i64 %64
%66 = call double @dot(double* %59, double* %65)
%67 = fcmp ogt double %66, 0.000000e+00
br i1 %67, label %68, label %83
68: ; preds = %53
%69 = load double**, double*** %8
%70 = getelementptr inbounds double*, double** %69, i64 1
%71 = load double*, double** %70
%72 = load i64, i64* %14
%73 = add nsw i64 %72, 6
%74 = getelementptr inbounds double, double* %71, i64 %73
%75 = load double**, double*** %8
%76 = getelementptr inbounds double*, double** %75, i64 2
%77 = load double*, double** %76
%78 = load i64, i64* %14
%79 = add nsw i64 %78, 6
%80 = getelementptr inbounds double, double* %77, i64 %79
%81 = call double @dot(double* %74, double* %80)
%82 = fcmp ogt double %81, 0.000000e+00
br label %83
83: ; preds = %68, %53, %21
%84 = phi i1 [ false, %53 ], [ false, %21 ], [ %82, %68 ]
%85 = zext i1 %84 to i32
%86 = sext i32 %85 to i64
store i64 %86, i64* %16
%87 = load i64, i64* %16
%88 = icmp ne i64 %87, 0
br i1 %88, label %89, label %135
89: ; preds = %83
%90 = load i64*, i64** %10
%91 = load i64, i64* %13
%92 = getelementptr inbounds i64, i64* %90, i64 %91
store i64 1, i64* %92
%93 = load i64, i64* %13
%94 = sub nsw i64 %93, 1
%95 = mul nsw i64 %94, 3
store i64 %95, i64* %14
store i64 1, i64* %15
br label %96
96: ; preds = %119, %89
%97 = load i64, i64* %15
%98 = icmp sle i64 %97, 3
br i1 %98, label %99, label %122
99: ; preds = %96
%100 = load double**, double*** %9
%101 = getelementptr inbounds double*, double** %100, i64 1
%102 = load double*, double** %101
%103 = load i64, i64* %14
%104 = load i64, i64* %15
%105 = add nsw i64 %103, %104
%106 = getelementptr inbounds double, double* %102, i64 %105
%107 = load double, double* %106
%108 = load double**, double*** %9
%109 = getelementptr inbounds double*, double** %108, i64 2
%110 = load double*, double** %109
%111 = load i64, i64* %14
%112 = load i64, i64* %15
%113 = add nsw i64 %111, %112
%114 = getelementptr inbounds double, double* %110, i64 %113
%115 = load double, double* %114
%116 = fsub double %107, %115
%117 = load i64, i64* %15
%118 = getelementptr inbounds [4 x double], [4 x double]* %12, i64 0, i64 %117
store double %116, double* %118
br label %119
119: ; preds = %99
%120 = load i64, i64* %15
%121 = add nsw i64 %120, 1
store i64 %121, i64* %15
br label %96
122: ; preds = %96
%123 = getelementptr inbounds [4 x double], [4 x double]* %12, i64 0, i64 0
%124 = call double @veclen(double* %123)
%125 = fcmp ole double %124, 2.500000e+00
br i1 %125, label %126, label %134
126: ; preds = %122
%127 = getelementptr inbounds [3 x i8], [3 x i8]* %11, i64 0, i64 0
%128 = call i64 @num_strmatch(i8* %127, i8** getelementptr inbounds ([9 x i8*], [9 x i8*]* @check_Watson_Crick.WC, i64 0, i64 0), i32 1, i32 8)
%129 = icmp ne i64 %128, 0
br i1 %129, label %130, label %134
130: ; preds = %126
%131 = load i64*, i64** %10
%132 = load i64, i64* %13
%133 = getelementptr inbounds i64, i64* %131, i64 %132
store i64 2, i64* %133
br label %134
134: ; preds = %130, %126, %122
br label %135
135: ; preds = %134, %83
br label %136
136: ; preds = %135
%137 = load i64, i64* %13
%138 = add nsw i64 %137, 1
store i64 %138, i64* %13
br label %17
139: ; preds = %17
ret void
}

LLVM IR (-O2):
@check_Watson_Crick.WC = internal global [9 x i8*] [i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.8, i32 0, i32 0)]
@.str = [3 x i8] c"XX\00"
@.str.1 = [3 x i8] c"AT\00"
@.str.2 = [3 x i8] c"AU\00"
@.str.3 = [3 x i8] c"TA\00"
@.str.4 = [3 x i8] c"UA\00"
@.str.5 = [3 x i8] c"GC\00"
@.str.6 = [3 x i8] c"CG\00"
@.str.7 = [3 x i8] c"IC\00"
@.str.8 = [3 x i8] c"CI\00"
@.str.9 = [5 x i8] c"%c%c\00"
define void @check_Watson_Crick(i64 %0, i8** nocapture %1, double** nocapture %2, double** nocapture %3, i64* nocapture writeonly %4) {
%6 = alloca [3 x i8]
%7 = alloca [4 x double]
%8 = getelementptr inbounds [3 x i8], [3 x i8]* %6, i64 0, i64 0
%9 = bitcast [4 x double]* %7 to i8*
%10 = icmp slt i64 %0, 1
br i1 %10, label %89, label %11
11: ; preds = %5
%12 = getelementptr inbounds i8*, i8** %1, i64 1
%13 = getelementptr inbounds i8*, i8** %1, i64 2
%14 = getelementptr inbounds double*, double** %2, i64 1
%15 = getelementptr inbounds double*, double** %2, i64 2
%16 = getelementptr inbounds double*, double** %3, i64 1
%17 = getelementptr inbounds double*, double** %3, i64 2
%18 = getelementptr inbounds [4 x double], [4 x double]* %7, i64 0, i64 0
%19 = getelementptr inbounds [4 x double], [4 x double]* %7, i64 0, i64 1
%20 = getelementptr inbounds [4 x double], [4 x double]* %7, i64 0, i64 2
%21 = getelementptr inbounds [4 x double], [4 x double]* %7, i64 0, i64 3
br label %22
22: ; preds = %11, %86
%23 = phi i64 [ 1, %11 ], [ %87, %86 ]
%24 = add nsw i64 %23, -1
%25 = mul nsw i64 %24, 9
%26 = load i8*, i8** %12
%27 = getelementptr inbounds i8, i8* %26, i64 %23
%28 = load i8, i8* %27
%29 = call i32 @toupper(i8 signext %28)
%30 = load i8*, i8** %13
%31 = getelementptr inbounds i8, i8* %30, i64 %23
%32 = load i8, i8* %31
%33 = call i32 @toupper(i8 signext %32)
%34 = call i32 @sprintf(i8* %8, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i64 0, i64 0), i32 %29, i32 %33)
%35 = load double*, double** %14
%36 = getelementptr inbounds double, double* %35, i64 %25
%37 = load double*, double** %15
%38 = getelementptr inbounds double, double* %37, i64 %25
%39 = call double @dot(double* %36, double* %38)
%40 = fcmp ogt double %39, 0.000000e+00
br i1 %40, label %41, label %86
41: ; preds = %22
%42 = load double*, double** %14
%43 = add nsw i64 %25, 3
%44 = getelementptr inbounds double, double* %42, i64 %43
%45 = load double*, double** %15
%46 = getelementptr inbounds double, double* %45, i64 %43
%47 = call double @dot(double* %44, double* %46)
%48 = fcmp ogt double %47, 0.000000e+00
br i1 %48, label %49, label %86
49: ; preds = %41
%50 = load double*, double** %14
%51 = add nsw i64 %25, 6
%52 = getelementptr inbounds double, double* %50, i64 %51
%53 = load double*, double** %15
%54 = getelementptr inbounds double, double* %53, i64 %51
%55 = call double @dot(double* %52, double* %54)
%56 = fcmp ogt double %55, 0.000000e+00
br i1 %56, label %57, label %86
57: ; preds = %49
%58 = getelementptr inbounds i64, i64* %4, i64 %23
store i64 1, i64* %58
%59 = mul nsw i64 %24, 3
%60 = load double*, double** %16
%61 = load double*, double** %17
%62 = add nsw i64 %59, 1
%63 = getelementptr inbounds double, double* %60, i64 %62
%64 = load double, double* %63
%65 = getelementptr inbounds double, double* %61, i64 %62
%66 = load double, double* %65
%67 = fsub double %64, %66
store double %67, double* %19
%68 = add nsw i64 %59, 2
%69 = getelementptr inbounds double, double* %60, i64 %68
%70 = load double, double* %69
%71 = getelementptr inbounds double, double* %61, i64 %68
%72 = load double, double* %71
%73 = fsub double %70, %72
store double %73, double* %20
%74 = add nsw i64 %59, 3
%75 = getelementptr inbounds double, double* %60, i64 %74
%76 = load double, double* %75
%77 = getelementptr inbounds double, double* %61, i64 %74
%78 = load double, double* %77
%79 = fsub double %76, %78
store double %79, double* %21
%80 = call double @veclen(double* %18)
%81 = fcmp ugt double %80, 2.500000e+00
br i1 %81, label %86, label %82
82: ; preds = %57
%83 = call i64 @num_strmatch(i8* %8, i8** getelementptr inbounds ([9 x i8*], [9 x i8*]* @check_Watson_Crick.WC, i64 0, i64 0), i32 1, i32 8)
%84 = icmp eq i64 %83, 0
br i1 %84, label %86, label %85
85: ; preds = %82
store i64 2, i64* %58
br label %86
86: ; preds = %22, %41, %49, %85, %82, %57
%87 = add nuw i64 %23, 1
%88 = icmp eq i64 %23, %0
br i1 %88, label %89, label %22
89: ; preds = %86, %5
ret void
}