#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 atof(char *);
int atoi(char *);
int /*<<< orphan*/ *strchr(char *, char);
char *strpbrk(char *, char *);
int check_t_terms(double t, char *sinp, double *doutp) {
  int i, isgn = 1, z;
  int retc = 0;
  char *sp;
  double tt[5], fac;
  tt[0] = t / 36525;
  tt[1] = tt[0];
  tt[2] = tt[1] * tt[1];
  tt[3] = tt[2] * tt[1];
  tt[4] = tt[3] * tt[1];
  if ((sp = strpbrk(sinp, "+-")) != NULL)
    retc = 1;
  sp = sinp;
  *doutp = 0;
  fac = 1;
  z = 0;
  while (1) {
    while (*sp != '\0' && strchr(" \t", *sp) != NULL)
      sp++;
    if (strchr("+-", *sp) || *sp == '\0') {
      if (z > 0)
        *doutp += fac;
      isgn = 1;
      if (*sp == '-')
        isgn = -1;
      fac = 1 * isgn;
      if (*sp == '\0')
        return retc;
      sp++;
    } else {
      while (*sp != '\0' && strchr("* \t", *sp) != NULL)
        sp++;
      if (*sp != '\0' && strchr("tT", *sp) != NULL) {
        sp++;
        if (*sp != '\0' && strchr("+-", *sp))
          fac *= tt[0];
        else if ((i = atoi(sp)) <= 4 && i >= 0)
          fac *= tt[i];
      } else {
        if (atof(sp) != 0 || *sp == '0')
          fac *= atof(sp);
      }
      while (*sp != '\0' && strchr("0123456789.", *sp))
        sp++;
    }
    z++;
  }
  return retc;
}


x86 assembly (clang, -O0):
<check_t_terms>:
push   %rbp
mov    %rsp,%rbp
sub    $0x70,%rsp
movsd  %xmm0,-0x8(%rbp)
mov    %rdi,-0x10(%rbp)
mov    %rsi,-0x18(%rbp)
movl   $0x1,-0x20(%rbp)
movl   $0x0,-0x28(%rbp)
movsd  -0x8(%rbp),%xmm0
movsd  0xe90(%rip),%xmm1
divsd  %xmm1,%xmm0
movsd  %xmm0,-0x60(%rbp)
movsd  -0x60(%rbp),%xmm0
movsd  %xmm0,-0x58(%rbp)
movsd  -0x58(%rbp),%xmm0
mulsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x50(%rbp)
movsd  -0x50(%rbp),%xmm0
mulsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x48(%rbp)
movsd  -0x48(%rbp),%xmm0
mulsd  -0x58(%rbp),%xmm0
movsd  %xmm0,-0x40(%rbp)
mov    -0x10(%rbp),%rdi
lea    0xe55(%rip),%rsi
call   1050 <strpbrk@plt>
mov    %rax,-0x30(%rbp)
cmp    $0x0,%rax
je     11d5 <check_t_terms+0x95>
movl   $0x1,-0x28(%rbp)
mov    -0x10(%rbp),%rax
mov    %rax,-0x30(%rbp)
mov    -0x18(%rbp),%rax
xorps  %xmm0,%xmm0
movsd  %xmm0,(%rax)
movsd  0xe18(%rip),%xmm0
movsd  %xmm0,-0x68(%rbp)
movl   $0x0,-0x24(%rbp)
jmp    1201 <check_t_terms+0xc1>
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x69(%rbp)
je     1233 <check_t_terms+0xf3>
mov    -0x30(%rbp),%rax
lea    0xdf3(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x69(%rbp)
mov    -0x69(%rbp),%al
test   $0x1,%al
jne    1243 <check_t_terms+0x103>
jmp    1254 <check_t_terms+0x114>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    1201 <check_t_terms+0xc1>
mov    -0x30(%rbp),%rax
lea    0xdb1(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
jne    1281 <check_t_terms+0x141>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    12f3 <check_t_terms+0x1b3>
cmpl   $0x0,-0x24(%rbp)
jle    129c <check_t_terms+0x15c>
movsd  -0x68(%rbp),%xmm0
mov    -0x18(%rbp),%rax
addsd  (%rax),%xmm0
movsd  %xmm0,(%rax)
movl   $0x1,-0x20(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x2d,%eax
jne    12ba <check_t_terms+0x17a>
movl   $0xffffffff,-0x20(%rbp)
mov    -0x20(%rbp),%eax
shl    $0x0,%eax
cvtsi2sd %eax,%xmm0
movsd  %xmm0,-0x68(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
jne    12e2 <check_t_terms+0x1a2>
mov    -0x28(%rbp),%eax
add    $0x70,%rsp
pop    %rbp
ret
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    14a3 <check_t_terms+0x363>
jmp    12f8 <check_t_terms+0x1b8>
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x6a(%rbp)
je     132a <check_t_terms+0x1ea>
mov    -0x30(%rbp),%rax
lea    0xcfb(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x6a(%rbp)
mov    -0x6a(%rbp),%al
test   $0x1,%al
jne    133a <check_t_terms+0x1fa>
jmp    134b <check_t_terms+0x20b>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    12f8 <check_t_terms+0x1b8>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     1402 <check_t_terms+0x2c2>
mov    -0x30(%rbp),%rax
lea    0xcb1(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
je     1402 <check_t_terms+0x2c2>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x0,%eax
je     13c5 <check_t_terms+0x285>
mov    -0x30(%rbp),%rax
lea    0xc71(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
je     13c5 <check_t_terms+0x285>
movsd  -0x60(%rbp),%xmm0
mulsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    13fd <check_t_terms+0x2bd>
mov    -0x30(%rbp),%rdi
call   1060 <atoi@plt>
mov    %eax,-0x1c(%rbp)
cmp    $0x4,%eax
jg     13f8 <check_t_terms+0x2b8>
cmpl   $0x0,-0x1c(%rbp)
jl     13f8 <check_t_terms+0x2b8>
movslq -0x1c(%rbp),%rax
movsd  -0x60(%rbp,%rax,8),%xmm0
mulsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    13fd <check_t_terms+0x2bd>
jmp    1446 <check_t_terms+0x306>
mov    -0x30(%rbp),%rdi
call   1030 <atof@plt>
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    142e <check_t_terms+0x2ee>
jp     142e <check_t_terms+0x2ee>
mov    -0x30(%rbp),%rax
movsbl (%rax),%eax
cmp    $0x30,%eax
jne    1441 <check_t_terms+0x301>
mov    -0x30(%rbp),%rdi
call   1030 <atof@plt>
mulsd  -0x68(%rbp),%xmm0
movsd  %xmm0,-0x68(%rbp)
jmp    1446 <check_t_terms+0x306>
jmp    144b <check_t_terms+0x30b>
mov    -0x30(%rbp),%rax
movsbl (%rax),%ecx
xor    %eax,%eax
cmp    $0x0,%ecx
mov    %al,-0x6b(%rbp)
je     147d <check_t_terms+0x33d>
mov    -0x30(%rbp),%rax
lea    0xbaf(%rip),%rdi
movsbl (%rax),%esi
call   1040 <strchr@plt>
cmp    $0x0,%rax
setne  %al
mov    %al,-0x6b(%rbp)
mov    -0x6b(%rbp),%al
test   $0x1,%al
jne    148d <check_t_terms+0x34d>
jmp    149e <check_t_terms+0x35e>
mov    -0x30(%rbp),%rax
add    $0x1,%rax
mov    %rax,-0x30(%rbp)
jmp    144b <check_t_terms+0x30b>
jmp    14a3 <check_t_terms+0x363>
mov    -0x24(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x24(%rbp)
jmp    11fc <check_t_terms+0xbc>

x86 assembly (clang, -O2):
<check_t_terms>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x48,%rsp
mov    %rsi,%r14
mov    %rdi,%r13
divsd  0xea4(%rip),%xmm0
movsd  %xmm0,0x20(%rsp)
movsd  %xmm0,0x28(%rsp)
movapd %xmm0,%xmm1
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x30(%rsp)
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x38(%rsp)
movsd  %xmm0,0x10(%rsp)
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x40(%rsp)
lea    0xe91(%rip),%rbx
mov    %rbx,%rsi
call   1050 <strpbrk@plt>
mov    %rax,0x18(%rsp)
movq   $0x0,(%r14)
movsd  0xe55(%rip),%xmm0
movsd  %xmm0,0x8(%rsp)
xor    %r12d,%r12d
lea    0xe55(%rip),%rbp
lea    0xe62(%rip),%r15
jmp    11db <check_t_terms+0x9b>
nopl   0x0(%rax)
lea    0xe41(%rip),%rbp
add    $0x1,%r12d
mov    0x0(%r13),%al
test   %al,%al
je     120d <check_t_terms+0xcd>
cs nopw 0x0(%rax,%rax,1)
nopl   (%rax)
movsbl %al,%esi
mov    %r15,%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     1220 <check_t_terms+0xe0>
movzbl 0x1(%r13),%eax
add    $0x1,%r13
test   %al,%al
jne    11f0 <check_t_terms+0xb0>
xor    %eax,%eax
jmp    1224 <check_t_terms+0xe4>
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax,%rax,1)
mov    0x0(%r13),%al
movsbl %al,%esi
mov    %rbx,%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     1280 <check_t_terms+0x140>
test   %r12d,%r12d
je     1249 <check_t_terms+0x109>
movsd  0x8(%rsp),%xmm0
addsd  (%r14),%xmm0
movsd  %xmm0,(%r14)
mov    0x0(%r13),%al
test   %al,%al
je     13a6 <check_t_terms+0x266>
xor    %ecx,%ecx
cmp    $0x2d,%al
sete   %cl
movsd  0x0(%rbp,%rcx,8),%xmm0
movsd  %xmm0,0x8(%rsp)
add    $0x1,%r13
add    $0x1,%r12d
jmp    11db <check_t_terms+0x9b>
cs nopw 0x0(%rax,%rax,1)
nop
mov    0x0(%r13),%al
test   %al,%al
je     1234 <check_t_terms+0xf4>
mov    %r14,%rbp
add    $0x1,%r13
mov    %r13,%r14
lea    0xd92(%rip),%rbx
nopl   0x0(%rax)
movsbl %al,%esi
mov    %rbx,%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     12c5 <check_t_terms+0x185>
movzbl (%r14),%eax
add    $0x1,%r14
test   %al,%al
jne    12a0 <check_t_terms+0x160>
add    $0xffffffffffffffff,%r14
mov    %r14,%r13
jmp    130e <check_t_terms+0x1ce>
lea    -0x1(%r14),%r13
mov    -0x1(%r14),%al
test   %al,%al
je     130e <check_t_terms+0x1ce>
movsbl %al,%esi
lea    0xd54(%rip),%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     130e <check_t_terms+0x1ce>
mov    (%r14),%al
test   %al,%al
je     133c <check_t_terms+0x1fc>
movsbl %al,%esi
lea    0xd32(%rip),%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     133c <check_t_terms+0x1fc>
movsd  0x8(%rsp),%xmm0
mulsd  0x10(%rsp),%xmm0
jmp    1357 <check_t_terms+0x217>
mov    %r13,%rdi
call   1030 <atof@plt>
ucomisd 0xcf2(%rip),%xmm0
jne    132a <check_t_terms+0x1ea>
jp     132a <check_t_terms+0x1ea>
mov    0x0(%r13),%al
cmp    $0x30,%al
jne    1364 <check_t_terms+0x224>
movsd  0x8(%rsp),%xmm1
mulsd  %xmm0,%xmm1
movsd  %xmm1,0x8(%rsp)
jmp    1360 <check_t_terms+0x220>
mov    %r14,%rdi
call   1060 <atoi@plt>
cmp    $0x4,%eax
ja     135d <check_t_terms+0x21d>
mov    %eax,%eax
movsd  0x8(%rsp),%xmm0
mulsd  0x20(%rsp,%rax,8),%xmm0
movsd  %xmm0,0x8(%rsp)
mov    %r14,%r13
mov    0x0(%r13),%al
mov    %rbp,%r14
lea    0xcba(%rip),%rbx
lea    0xcbd(%rip),%rbp
test   %al,%al
je     11d0 <check_t_terms+0x90>
nopl   (%rax)
movsbl %al,%esi
mov    %rbp,%rdi
call   1040 <strchr@plt>
test   %rax,%rax
je     11d0 <check_t_terms+0x90>
movzbl 0x1(%r13),%eax
add    $0x1,%r13
test   %al,%al
jne    1380 <check_t_terms+0x240>
jmp    11d0 <check_t_terms+0x90>
xor    %eax,%eax
cmpq   $0x0,0x18(%rsp)
setne  %al
add    $0x48,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [3 x i8] c"+-\00"
@.str.1 = [3 x i8] c" \09\00"
@.str.2 = [4 x i8] c"* \09\00"
@.str.3 = [3 x i8] c"tT\00"
@.str.4 = [12 x i8] c"0123456789.\00"
define i32 @check_t_terms(double %0, i8* %1, double* %2) {
%4 = alloca double
%5 = alloca i8*
%6 = alloca double*
%7 = alloca i32
%8 = alloca i32
%9 = alloca i32
%10 = alloca i32
%11 = alloca i8*
%12 = alloca [5 x double]
%13 = alloca double
store double %0, double* %4
store i8* %1, i8** %5
store double* %2, double** %6
store i32 1, i32* %8
store i32 0, i32* %10
%14 = load double, double* %4
%15 = fdiv double %14, 3.652500e+04
%16 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 0
store double %15, double* %16
%17 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 0
%18 = load double, double* %17
%19 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 1
store double %18, double* %19
%20 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 1
%21 = load double, double* %20
%22 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 1
%23 = load double, double* %22
%24 = fmul double %21, %23
%25 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 2
store double %24, double* %25
%26 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 2
%27 = load double, double* %26
%28 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 1
%29 = load double, double* %28
%30 = fmul double %27, %29
%31 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 3
store double %30, double* %31
%32 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 3
%33 = load double, double* %32
%34 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 1
%35 = load double, double* %34
%36 = fmul double %33, %35
%37 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 4
store double %36, double* %37
%38 = load i8*, i8** %5
%39 = call i8* @strpbrk(i8* %38, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
store i8* %39, i8** %11
%40 = icmp ne i8* %39, null
br i1 %40, label %41, label %42
41: ; preds = %3
store i32 1, i32* %10
br label %42
42: ; preds = %41, %3
%43 = load i8*, i8** %5
store i8* %43, i8** %11
%44 = load double*, double** %6
store double 0.000000e+00, double* %44
store double 1.000000e+00, double* %13
store i32 0, i32* %9
br label %45
45: ; preds = %42, %189
br label %46
46: ; preds = %58, %45
%47 = load i8*, i8** %11
%48 = load i8, i8* %47
%49 = sext i8 %48 to i32
%50 = icmp ne i32 %49, 0
br i1 %50, label %51, label %56
51: ; preds = %46
%52 = load i8*, i8** %11
%53 = load i8, i8* %52
%54 = call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8 signext %53)
%55 = icmp ne i32* %54, null
br label %56
56: ; preds = %51, %46
%57 = phi i1 [ false, %46 ], [ %55, %51 ]
br i1 %57, label %58, label %61
58: ; preds = %56
%59 = load i8*, i8** %11
%60 = getelementptr inbounds i8, i8* %59, i32 1
store i8* %60, i8** %11
br label %46
61: ; preds = %56
%62 = load i8*, i8** %11
%63 = load i8, i8* %62
%64 = call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8 signext %63)
%65 = icmp ne i32* %64, null
br i1 %65, label %71, label %66
66: ; preds = %61
%67 = load i8*, i8** %11
%68 = load i8, i8* %67
%69 = sext i8 %68 to i32
%70 = icmp eq i32 %69, 0
br i1 %70, label %71, label %98
71: ; preds = %66, %61
%72 = load i32, i32* %9
%73 = icmp sgt i32 %72, 0
br i1 %73, label %74, label %79
74: ; preds = %71
%75 = load double, double* %13
%76 = load double*, double** %6
%77 = load double, double* %76
%78 = fadd double %77, %75
store double %78, double* %76
br label %79
79: ; preds = %74, %71
store i32 1, i32* %8
%80 = load i8*, i8** %11
%81 = load i8, i8* %80
%82 = sext i8 %81 to i32
%83 = icmp eq i32 %82, 45
br i1 %83, label %84, label %85
84: ; preds = %79
store i32 -1, i32* %8
br label %85
85: ; preds = %84, %79
%86 = load i32, i32* %8
%87 = mul nsw i32 1, %86
%88 = sitofp i32 %87 to double
store double %88, double* %13
%89 = load i8*, i8** %11
%90 = load i8, i8* %89
%91 = sext i8 %90 to i32
%92 = icmp eq i32 %91, 0
br i1 %92, label %93, label %95
93: ; preds = %85
%94 = load i32, i32* %10
ret i32 %94
95: ; preds = %85
%96 = load i8*, i8** %11
%97 = getelementptr inbounds i8, i8* %96, i32 1
store i8* %97, i8** %11
br label %189
98: ; preds = %66
br label %99
99: ; preds = %111, %98
%100 = load i8*, i8** %11
%101 = load i8, i8* %100
%102 = sext i8 %101 to i32
%103 = icmp ne i32 %102, 0
br i1 %103, label %104, label %109
104: ; preds = %99
%105 = load i8*, i8** %11
%106 = load i8, i8* %105
%107 = call i32* @strchr(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8 signext %106)
%108 = icmp ne i32* %107, null
br label %109
109: ; preds = %104, %99
%110 = phi i1 [ false, %99 ], [ %108, %104 ]
br i1 %110, label %111, label %114
111: ; preds = %109
%112 = load i8*, i8** %11
%113 = getelementptr inbounds i8, i8* %112, i32 1
store i8* %113, i8** %11
br label %99
114: ; preds = %109
%115 = load i8*, i8** %11
%116 = load i8, i8* %115
%117 = sext i8 %116 to i32
%118 = icmp ne i32 %117, 0
br i1 %118, label %119, label %157
119: ; preds = %114
%120 = load i8*, i8** %11
%121 = load i8, i8* %120
%122 = call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i8 signext %121)
%123 = icmp ne i32* %122, null
br i1 %123, label %124, label %157
124: ; preds = %119
%125 = load i8*, i8** %11
%126 = getelementptr inbounds i8, i8* %125, i32 1
store i8* %126, i8** %11
%127 = load i8*, i8** %11
%128 = load i8, i8* %127
%129 = sext i8 %128 to i32
%130 = icmp ne i32 %129, 0
br i1 %130, label %131, label %141
131: ; preds = %124
%132 = load i8*, i8** %11
%133 = load i8, i8* %132
%134 = call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8 signext %133)
%135 = icmp ne i32* %134, null
br i1 %135, label %136, label %141
136: ; preds = %131
%137 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 0
%138 = load double, double* %137
%139 = load double, double* %13
%140 = fmul double %139, %138
store double %140, double* %13
br label %156
141: ; preds = %131, %124
%142 = load i8*, i8** %11
%143 = call i32 @atoi(i8* %142)
store i32 %143, i32* %7
%144 = icmp sle i32 %143, 4
br i1 %144, label %145, label %155
145: ; preds = %141
%146 = load i32, i32* %7
%147 = icmp sge i32 %146, 0
br i1 %147, label %148, label %155
148: ; preds = %145
%149 = load i32, i32* %7
%150 = sext i32 %149 to i64
%151 = getelementptr inbounds [5 x double], [5 x double]* %12, i64 0, i64 %150
%152 = load double, double* %151
%153 = load double, double* %13
%154 = fmul double %153, %152
store double %154, double* %13
br label %155
155: ; preds = %148, %145, %141
br label %156
156: ; preds = %155, %136
br label %172
157: ; preds = %119, %114
%158 = load i8*, i8** %11
%159 = call double @atof(i8* %158)
%160 = fcmp une double %159, 0.000000e+00
br i1 %160, label %166, label %161
161: ; preds = %157
%162 = load i8*, i8** %11
%163 = load i8, i8* %162
%164 = sext i8 %163 to i32
%165 = icmp eq i32 %164, 48
br i1 %165, label %166, label %171
166: ; preds = %161, %157
%167 = load i8*, i8** %11
%168 = call double @atof(i8* %167)
%169 = load double, double* %13
%170 = fmul double %169, %168
store double %170, double* %13
br label %171
171: ; preds = %166, %161
br label %172
172: ; preds = %171, %156
br label %173
173: ; preds = %185, %172
%174 = load i8*, i8** %11
%175 = load i8, i8* %174
%176 = sext i8 %175 to i32
%177 = icmp ne i32 %176, 0
br i1 %177, label %178, label %183
178: ; preds = %173
%179 = load i8*, i8** %11
%180 = load i8, i8* %179
%181 = call i32* @strchr(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8 signext %180)
%182 = icmp ne i32* %181, null
br label %183
183: ; preds = %178, %173
%184 = phi i1 [ false, %173 ], [ %182, %178 ]
br i1 %184, label %185, label %188
185: ; preds = %183
%186 = load i8*, i8** %11
%187 = getelementptr inbounds i8, i8* %186, i32 1
store i8* %187, i8** %11
br label %173
188: ; preds = %183
br label %189
189: ; preds = %188, %95
%190 = load i32, i32* %9
%191 = add nsw i32 %190, 1
store i32 %191, i32* %9
br label %45
}

LLVM IR (-O2):
@.str = [3 x i8] c"+-\00"
@.str.1 = [3 x i8] c" \09\00"
@.str.2 = [4 x i8] c"* \09\00"
@.str.3 = [3 x i8] c"tT\00"
@.str.4 = [12 x i8] c"0123456789.\00"
define i32 @check_t_terms(double %0, i8* %1, double* nocapture %2) {
%4 = alloca [5 x double]
%5 = bitcast [5 x double]* %4 to i8*
%6 = fdiv double %0, 3.652500e+04
%7 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 0
store double %6, double* %7
%8 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 1
store double %6, double* %8
%9 = fmul double %6, %6
%10 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 2
store double %9, double* %10
%11 = fmul double %6, %9
%12 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 3
store double %11, double* %12
%13 = fmul double %6, %11
%14 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 4
store double %13, double* %14
%15 = tail call i8* @strpbrk(i8* %1, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
store double 0.000000e+00, double* %2
br label %16
16: ; preds = %115, %3
%17 = phi i32 [ 0, %3 ], [ %118, %115 ]
%18 = phi i8* [ %1, %3 ], [ %116, %115 ]
%19 = phi double [ 1.000000e+00, %3 ], [ %117, %115 ]
%20 = load i8, i8* %18
%21 = icmp eq i8 %20, 0
br i1 %21, label %33, label %22
22: ; preds = %16, %29
%23 = phi i8 [ %31, %29 ], [ %20, %16 ]
%24 = phi i8* [ %30, %29 ], [ %18, %16 ]
%25 = tail call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.1, i64 0, i64 0), i8 signext %23)
%26 = icmp eq i32* %25, null
br i1 %26, label %27, label %29
27: ; preds = %22
%28 = load i8, i8* %24
br label %33
29: ; preds = %22
%30 = getelementptr inbounds i8, i8* %24, i64 1
%31 = load i8, i8* %30
%32 = icmp eq i8 %31, 0
br i1 %32, label %33, label %22
33: ; preds = %29, %27, %16
%34 = phi i8 [ 0, %16 ], [ %28, %27 ], [ 0, %29 ]
%35 = phi i8* [ %18, %16 ], [ %24, %27 ], [ %30, %29 ]
%36 = tail call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8 signext %34)
%37 = icmp eq i32* %36, null
br i1 %37, label %38, label %41
38: ; preds = %33
%39 = load i8, i8* %35
%40 = icmp eq i8 %39, 0
br i1 %40, label %41, label %56
41: ; preds = %38, %33
%42 = icmp eq i32 %17, 0
br i1 %42, label %46, label %43
43: ; preds = %41
%44 = load double, double* %2
%45 = fadd double %19, %44
store double %45, double* %2
br label %46
46: ; preds = %43, %41
%47 = load i8, i8* %35
%48 = icmp eq i8 %47, 0
br i1 %48, label %49, label %52
49: ; preds = %46
%50 = icmp ne i8* %15, null
%51 = zext i1 %50 to i32
ret i32 %51
52: ; preds = %46
%53 = icmp eq i8 %47, 45
%54 = select i1 %53, double -1.000000e+00, double 1.000000e+00
%55 = getelementptr inbounds i8, i8* %35, i64 1
br label %115
56: ; preds = %38, %61
%57 = phi i8* [ %62, %61 ], [ %35, %38 ]
%58 = phi i8 [ %63, %61 ], [ %39, %38 ]
%59 = tail call i32* @strchr(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), i8 signext %58)
%60 = icmp eq i32* %59, null
br i1 %60, label %65, label %61
61: ; preds = %56
%62 = getelementptr inbounds i8, i8* %57, i64 1
%63 = load i8, i8* %62
%64 = icmp eq i8 %63, 0
br i1 %64, label %88, label %56
65: ; preds = %56
%66 = load i8, i8* %57
%67 = icmp eq i8 %66, 0
br i1 %67, label %88, label %68
68: ; preds = %65
%69 = tail call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.3, i64 0, i64 0), i8 signext %66)
%70 = icmp eq i32* %69, null
br i1 %70, label %88, label %71
71: ; preds = %68
%72 = getelementptr inbounds i8, i8* %57, i64 1
%73 = load i8, i8* %72
%74 = icmp eq i8 %73, 0
br i1 %74, label %80, label %75
75: ; preds = %71
%76 = tail call i32* @strchr(i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0), i8 signext %73)
%77 = icmp eq i32* %76, null
br i1 %77, label %80, label %78
78: ; preds = %75
%79 = fmul double %6, %19
br label %97
80: ; preds = %75, %71
%81 = tail call i32 @atoi(i8* %72)
%82 = icmp ult i32 %81, 5
br i1 %82, label %83, label %97
83: ; preds = %80
%84 = zext i32 %81 to i64
%85 = getelementptr inbounds [5 x double], [5 x double]* %4, i64 0, i64 %84
%86 = load double, double* %85
%87 = fmul double %19, %86
br label %97
88: ; preds = %61, %68, %65
%89 = phi i8* [ %57, %68 ], [ %57, %65 ], [ %62, %61 ]
%90 = tail call double @atof(i8* %89)
%91 = fcmp une double %90, 0.000000e+00
br i1 %91, label %95, label %92
92: ; preds = %88
%93 = load i8, i8* %89
%94 = icmp eq i8 %93, 48
br i1 %94, label %95, label %101
95: ; preds = %92, %88
%96 = fmul double %19, %90
br label %97
97: ; preds = %80, %83, %78, %95
%98 = phi i8* [ %89, %95 ], [ %72, %80 ], [ %72, %83 ], [ %72, %78 ]
%99 = phi double [ %96, %95 ], [ %19, %80 ], [ %87, %83 ], [ %79, %78 ]
%100 = load i8, i8* %98
br label %101
101: ; preds = %97, %92
%102 = phi i8 [ %100, %97 ], [ %93, %92 ]
%103 = phi i8* [ %98, %97 ], [ %89, %92 ]
%104 = phi double [ %99, %97 ], [ %19, %92 ]
%105 = icmp eq i8 %102, 0
br i1 %105, label %115, label %106
106: ; preds = %101, %111
%107 = phi i8 [ %113, %111 ], [ %102, %101 ]
%108 = phi i8* [ %112, %111 ], [ %103, %101 ]
%109 = tail call i32* @strchr(i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.4, i64 0, i64 0), i8 signext %107)
%110 = icmp eq i32* %109, null
br i1 %110, label %115, label %111
111: ; preds = %106
%112 = getelementptr inbounds i8, i8* %108, i64 1
%113 = load i8, i8* %112
%114 = icmp eq i8 %113, 0
br i1 %114, label %115, label %106
115: ; preds = %111, %106, %101, %52
%116 = phi i8* [ %55, %52 ], [ %103, %101 ], [ %112, %111 ], [ %108, %106 ]
%117 = phi double [ %54, %52 ], [ %104, %101 ], [ %104, %106 ], [ %104, %111 ]
%118 = add nuw nsw i32 %17, 1
br label %16
}