#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 */
struct timespec {
  int tv_sec;
  scalar_t__ tv_nsec;
};

/* Variables and functions */
int /*<<< orphan*/ _string_to_timespec(char *, struct timespec *);
int /*<<< orphan*/ assert(int /*<<< orphan*/);
void test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations(
    void) {
  {
    struct timespec time;
    assert(_string_to_timespec(" 1 ", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           " 1 "
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec(" 1s", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           " 1s"
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec(" 1 s", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           " 1 s"
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec(" 1 s ", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           " 1 s "
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec("1.0s", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           "1.0s"
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec("79m", &time));
    assert(time.tv_sec == (79 * 60) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           "79m"
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec("2.5m", &time));
    assert(time.tv_sec == (2.5 * 60) && time.tv_nsec == 0 &&
           "Seconds parsed from "
           "2.5m"
           " did not match expected");
  };
  {
    struct timespec time;
    assert(_string_to_timespec("1.2s", &time));
    assert(time.tv_sec == (1) && time.tv_nsec == (200000000) &&
           "Seconds parsed from "
           "1.2s"
           " did not match expected");
  };
}


x86 assembly (clang, -O0):
<test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations>:
push   %rbp
mov    %rsp,%rbp
sub    $0x90,%rsp
lea    0xed6(%rip),%rdi
lea    -0x10(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x10(%rbp)
mov    %al,-0x81(%rbp)
jne    1174 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x54>
xor    %eax,%eax
cmpq   $0x0,-0x8(%rbp)
mov    %al,-0x81(%rbp)
jne    1174 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x54>
mov    $0x1,%al
mov    %al,-0x81(%rbp)
jmp    1174 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x54>
mov    -0x81(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xeb0(%rip),%rdi
lea    -0x20(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x20(%rbp)
mov    %al,-0x82(%rbp)
jne    11cd <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0xad>
xor    %eax,%eax
cmpq   $0x0,-0x18(%rbp)
mov    %al,-0x82(%rbp)
jne    11cd <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0xad>
mov    $0x1,%al
mov    %al,-0x82(%rbp)
jmp    11cd <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0xad>
mov    -0x82(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xe8a(%rip),%rdi
lea    -0x30(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x30(%rbp)
mov    %al,-0x83(%rbp)
jne    1226 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x106>
xor    %eax,%eax
cmpq   $0x0,-0x28(%rbp)
mov    %al,-0x83(%rbp)
jne    1226 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x106>
mov    $0x1,%al
mov    %al,-0x83(%rbp)
jmp    1226 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x106>
mov    -0x83(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xe66(%rip),%rdi
lea    -0x40(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x40(%rbp)
mov    %al,-0x84(%rbp)
jne    127f <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x15f>
xor    %eax,%eax
cmpq   $0x0,-0x38(%rbp)
mov    %al,-0x84(%rbp)
jne    127f <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x15f>
mov    $0x1,%al
mov    %al,-0x84(%rbp)
jmp    127f <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x15f>
mov    -0x84(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xe44(%rip),%rdi
lea    -0x50(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x50(%rbp)
mov    %al,-0x85(%rbp)
jne    12d8 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x1b8>
xor    %eax,%eax
cmpq   $0x0,-0x48(%rbp)
mov    %al,-0x85(%rbp)
jne    12d8 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x1b8>
mov    $0x1,%al
mov    %al,-0x85(%rbp)
jmp    12d8 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x1b8>
mov    -0x85(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xe20(%rip),%rdi
lea    -0x60(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1284,-0x60(%rbp)
mov    %al,-0x86(%rbp)
jne    1334 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x214>
xor    %eax,%eax
cmpq   $0x0,-0x58(%rbp)
mov    %al,-0x86(%rbp)
jne    1334 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x214>
mov    $0x1,%al
mov    %al,-0x86(%rbp)
jmp    1334 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x214>
mov    -0x86(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xdf7(%rip),%rdi
lea    -0x70(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cvtsi2sdl -0x70(%rbp),%xmm0
xor    %eax,%eax
movsd  0xc96(%rip),%xmm1
ucomisd %xmm1,%xmm0
mov    %al,-0x87(%rbp)
jne    13a0 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x280>
jp     13a0 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x280>
xor    %eax,%eax
cmpq   $0x0,-0x68(%rbp)
mov    %al,-0x87(%rbp)
jne    13a0 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x280>
mov    $0x1,%al
mov    %al,-0x87(%rbp)
jmp    13a0 <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x280>
mov    -0x87(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
lea    0xdc0(%rip),%rdi
lea    -0x80(%rbp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
xor    %eax,%eax
cmpl   $0x1,-0x80(%rbp)
mov    %al,-0x88(%rbp)
jne    13fc <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x2dc>
xor    %eax,%eax
cmpq   $0xbebc200,-0x78(%rbp)
0b
mov    %al,-0x88(%rbp)
jne    13fc <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x2dc>
mov    $0x1,%al
mov    %al,-0x88(%rbp)
jmp    13fc <test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations+0x2dc>
mov    -0x88(%rbp),%al
and    $0x1,%al
movzbl %al,%edi
call   1040 <assert@plt>
add    $0x90,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations>:
sub    $0x18,%rsp
lea    0xed5(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xea6(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xe77(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xe49(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xe1c(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xdee(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1284,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xdbc(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x96,0x8(%rsp)
sete   %al
cmpq   $0x0,0x10(%rsp)
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
lea    0xd8b(%rip),%rdi
lea    0x8(%rsp),%rsi
call   1030 <_string_to_timespec@plt>
mov    %eax,%edi
call   1040 <assert@plt>
cmpl   $0x1,0x8(%rsp)
sete   %al
cmpq   $0xbebc200,0x10(%rsp)
eb 0b
sete   %cl
and    %al,%cl
movzbl %cl,%edi
call   1040 <assert@plt>
add    $0x18,%rsp
ret

LLVM IR (-O0):
%struct.timespec = type { i32, i64 }
@.str = [4 x i8] c" 1 \00"
@.str.1 = [47 x i8] c"Seconds parsed from 1 did not match expected\00"
@.str.2 = [4 x i8] c" 1s\00"
@.str.3 = [47 x i8] c"Seconds parsed from 1s did not match expected\00"
@.str.4 = [5 x i8] c" 1 s\00"
@.str.5 = [48 x i8] c"Seconds parsed from 1 s did not match expected\00"
@.str.6 = [6 x i8] c" 1 s \00"
@.str.7 = [49 x i8] c"Seconds parsed from 1 s did not match expected\00"
@.str.8 = [5 x i8] c"1.0s\00"
@.str.9 = [48 x i8] c"Seconds parsed from 1.0s did not match expected\00"
@.str.10 = [4 x i8] c"79m\00"
@.str.11 = [47 x i8] c"Seconds parsed from 79m did not match expected\00"
@.str.12 = [5 x i8] c"2.5m\00"
@.str.13 = [48 x i8] c"Seconds parsed from 2.5m did not match expected\00"
@.str.14 = [5 x i8] c"1.2s\00"
@.str.15 = [48 x i8] c"Seconds parsed from 1.2s did not match expected\00"
define void @test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations() {
%1 = alloca %struct.timespec
%2 = alloca %struct.timespec
%3 = alloca %struct.timespec
%4 = alloca %struct.timespec
%5 = alloca %struct.timespec
%6 = alloca %struct.timespec
%7 = alloca %struct.timespec
%8 = alloca %struct.timespec
%9 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), %struct.timespec* %1)
%10 = call i32 @assert(i32 %9)
%11 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i32 0, i32 0
%12 = load i32, i32* %11
%13 = icmp eq i32 %12, 1
br i1 %13, label %14, label %19
14: ; preds = %0
%15 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i32 0, i32 1
%16 = load i64, i64* %15
%17 = icmp eq i64 %16, 0
br i1 %17, label %18, label %19
18: ; preds = %14
br label %19
19: ; preds = %18, %14, %0
%20 = phi i1 [ false, %14 ], [ false, %0 ], [ true, %18 ]
%21 = zext i1 %20 to i32
%22 = call i32 @assert(i32 %21)
%23 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), %struct.timespec* %2)
%24 = call i32 @assert(i32 %23)
%25 = getelementptr inbounds %struct.timespec, %struct.timespec* %2, i32 0, i32 0
%26 = load i32, i32* %25
%27 = icmp eq i32 %26, 1
br i1 %27, label %28, label %33
28: ; preds = %19
%29 = getelementptr inbounds %struct.timespec, %struct.timespec* %2, i32 0, i32 1
%30 = load i64, i64* %29
%31 = icmp eq i64 %30, 0
br i1 %31, label %32, label %33
32: ; preds = %28
br label %33
33: ; preds = %32, %28, %19
%34 = phi i1 [ false, %28 ], [ false, %19 ], [ true, %32 ]
%35 = zext i1 %34 to i32
%36 = call i32 @assert(i32 %35)
%37 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), %struct.timespec* %3)
%38 = call i32 @assert(i32 %37)
%39 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 0
%40 = load i32, i32* %39
%41 = icmp eq i32 %40, 1
br i1 %41, label %42, label %47
42: ; preds = %33
%43 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i32 0, i32 1
%44 = load i64, i64* %43
%45 = icmp eq i64 %44, 0
br i1 %45, label %46, label %47
46: ; preds = %42
br label %47
47: ; preds = %46, %42, %33
%48 = phi i1 [ false, %42 ], [ false, %33 ], [ true, %46 ]
%49 = zext i1 %48 to i32
%50 = call i32 @assert(i32 %49)
%51 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0), %struct.timespec* %4)
%52 = call i32 @assert(i32 %51)
%53 = getelementptr inbounds %struct.timespec, %struct.timespec* %4, i32 0, i32 0
%54 = load i32, i32* %53
%55 = icmp eq i32 %54, 1
br i1 %55, label %56, label %61
56: ; preds = %47
%57 = getelementptr inbounds %struct.timespec, %struct.timespec* %4, i32 0, i32 1
%58 = load i64, i64* %57
%59 = icmp eq i64 %58, 0
br i1 %59, label %60, label %61
60: ; preds = %56
br label %61
61: ; preds = %60, %56, %47
%62 = phi i1 [ false, %56 ], [ false, %47 ], [ true, %60 ]
%63 = zext i1 %62 to i32
%64 = call i32 @assert(i32 %63)
%65 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), %struct.timespec* %5)
%66 = call i32 @assert(i32 %65)
%67 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 0
%68 = load i32, i32* %67
%69 = icmp eq i32 %68, 1
br i1 %69, label %70, label %75
70: ; preds = %61
%71 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i32 0, i32 1
%72 = load i64, i64* %71
%73 = icmp eq i64 %72, 0
br i1 %73, label %74, label %75
74: ; preds = %70
br label %75
75: ; preds = %74, %70, %61
%76 = phi i1 [ false, %70 ], [ false, %61 ], [ true, %74 ]
%77 = zext i1 %76 to i32
%78 = call i32 @assert(i32 %77)
%79 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.10, i64 0, i64 0), %struct.timespec* %6)
%80 = call i32 @assert(i32 %79)
%81 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 0
%82 = load i32, i32* %81
%83 = icmp eq i32 %82, 4740
br i1 %83, label %84, label %89
84: ; preds = %75
%85 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i32 0, i32 1
%86 = load i64, i64* %85
%87 = icmp eq i64 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %84
br label %89
89: ; preds = %88, %84, %75
%90 = phi i1 [ false, %84 ], [ false, %75 ], [ true, %88 ]
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), %struct.timespec* %7)
%94 = call i32 @assert(i32 %93)
%95 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 0
%96 = load i32, i32* %95
%97 = sitofp i32 %96 to double
%98 = fcmp oeq double %97, 1.500000e+02
br i1 %98, label %99, label %104
99: ; preds = %89
%100 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i32 0, i32 1
%101 = load i64, i64* %100
%102 = icmp eq i64 %101, 0
br i1 %102, label %103, label %104
103: ; preds = %99
br label %104
104: ; preds = %103, %99, %89
%105 = phi i1 [ false, %99 ], [ false, %89 ], [ true, %103 ]
%106 = zext i1 %105 to i32
%107 = call i32 @assert(i32 %106)
%108 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0), %struct.timespec* %8)
%109 = call i32 @assert(i32 %108)
%110 = getelementptr inbounds %struct.timespec, %struct.timespec* %8, i32 0, i32 0
%111 = load i32, i32* %110
%112 = icmp eq i32 %111, 1
br i1 %112, label %113, label %118
113: ; preds = %104
%114 = getelementptr inbounds %struct.timespec, %struct.timespec* %8, i32 0, i32 1
%115 = load i64, i64* %114
%116 = icmp eq i64 %115, 200000000
br i1 %116, label %117, label %118
117: ; preds = %113
br label %118
118: ; preds = %117, %113, %104
%119 = phi i1 [ false, %113 ], [ false, %104 ], [ true, %117 ]
%120 = zext i1 %119 to i32
%121 = call i32 @assert(i32 %120)
ret void
}

LLVM IR (-O2):
%struct.timespec = type { i32, i64 }
@.str = [4 x i8] c" 1 \00"
@.str.2 = [4 x i8] c" 1s\00"
@.str.4 = [5 x i8] c" 1 s\00"
@.str.6 = [6 x i8] c" 1 s \00"
@.str.8 = [5 x i8] c"1.0s\00"
@.str.10 = [4 x i8] c"79m\00"
@.str.12 = [5 x i8] c"2.5m\00"
@.str.14 = [5 x i8] c"1.2s\00"
define void @test_string_to_timespec_should_be_able_to_parse_more_exotic_time_representations() {
%1 = alloca %struct.timespec
%2 = alloca %struct.timespec
%3 = alloca %struct.timespec
%4 = alloca %struct.timespec
%5 = alloca %struct.timespec
%6 = alloca %struct.timespec
%7 = alloca %struct.timespec
%8 = alloca %struct.timespec
%9 = bitcast %struct.timespec* %1 to i8*
%10 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), %struct.timespec* %1)
%11 = call i32 @assert(i32 %10)
%12 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 0
%13 = load i32, i32* %12
%14 = icmp eq i32 %13, 1
%15 = getelementptr inbounds %struct.timespec, %struct.timespec* %1, i64 0, i32 1
%16 = load i64, i64* %15
%17 = icmp eq i64 %16, 0
%18 = select i1 %14, i1 %17, i1 false
%19 = zext i1 %18 to i32
%20 = call i32 @assert(i32 %19)
%21 = bitcast %struct.timespec* %2 to i8*
%22 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.2, i64 0, i64 0), %struct.timespec* %2)
%23 = call i32 @assert(i32 %22)
%24 = getelementptr inbounds %struct.timespec, %struct.timespec* %2, i64 0, i32 0
%25 = load i32, i32* %24
%26 = icmp eq i32 %25, 1
%27 = getelementptr inbounds %struct.timespec, %struct.timespec* %2, i64 0, i32 1
%28 = load i64, i64* %27
%29 = icmp eq i64 %28, 0
%30 = select i1 %26, i1 %29, i1 false
%31 = zext i1 %30 to i32
%32 = call i32 @assert(i32 %31)
%33 = bitcast %struct.timespec* %3 to i8*
%34 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.4, i64 0, i64 0), %struct.timespec* %3)
%35 = call i32 @assert(i32 %34)
%36 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i64 0, i32 0
%37 = load i32, i32* %36
%38 = icmp eq i32 %37, 1
%39 = getelementptr inbounds %struct.timespec, %struct.timespec* %3, i64 0, i32 1
%40 = load i64, i64* %39
%41 = icmp eq i64 %40, 0
%42 = select i1 %38, i1 %41, i1 false
%43 = zext i1 %42 to i32
%44 = call i32 @assert(i32 %43)
%45 = bitcast %struct.timespec* %4 to i8*
%46 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.6, i64 0, i64 0), %struct.timespec* %4)
%47 = call i32 @assert(i32 %46)
%48 = getelementptr inbounds %struct.timespec, %struct.timespec* %4, i64 0, i32 0
%49 = load i32, i32* %48
%50 = icmp eq i32 %49, 1
%51 = getelementptr inbounds %struct.timespec, %struct.timespec* %4, i64 0, i32 1
%52 = load i64, i64* %51
%53 = icmp eq i64 %52, 0
%54 = select i1 %50, i1 %53, i1 false
%55 = zext i1 %54 to i32
%56 = call i32 @assert(i32 %55)
%57 = bitcast %struct.timespec* %5 to i8*
%58 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.8, i64 0, i64 0), %struct.timespec* %5)
%59 = call i32 @assert(i32 %58)
%60 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i64 0, i32 0
%61 = load i32, i32* %60
%62 = icmp eq i32 %61, 1
%63 = getelementptr inbounds %struct.timespec, %struct.timespec* %5, i64 0, i32 1
%64 = load i64, i64* %63
%65 = icmp eq i64 %64, 0
%66 = select i1 %62, i1 %65, i1 false
%67 = zext i1 %66 to i32
%68 = call i32 @assert(i32 %67)
%69 = bitcast %struct.timespec* %6 to i8*
%70 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.10, i64 0, i64 0), %struct.timespec* %6)
%71 = call i32 @assert(i32 %70)
%72 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i64 0, i32 0
%73 = load i32, i32* %72
%74 = icmp eq i32 %73, 4740
%75 = getelementptr inbounds %struct.timespec, %struct.timespec* %6, i64 0, i32 1
%76 = load i64, i64* %75
%77 = icmp eq i64 %76, 0
%78 = select i1 %74, i1 %77, i1 false
%79 = zext i1 %78 to i32
%80 = call i32 @assert(i32 %79)
%81 = bitcast %struct.timespec* %7 to i8*
%82 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i64 0, i64 0), %struct.timespec* %7)
%83 = call i32 @assert(i32 %82)
%84 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i64 0, i32 0
%85 = load i32, i32* %84
%86 = icmp eq i32 %85, 150
%87 = getelementptr inbounds %struct.timespec, %struct.timespec* %7, i64 0, i32 1
%88 = load i64, i64* %87
%89 = icmp eq i64 %88, 0
%90 = select i1 %86, i1 %89, i1 false
%91 = zext i1 %90 to i32
%92 = call i32 @assert(i32 %91)
%93 = bitcast %struct.timespec* %8 to i8*
%94 = call i32 @_string_to_timespec(i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.14, i64 0, i64 0), %struct.timespec* %8)
%95 = call i32 @assert(i32 %94)
%96 = getelementptr inbounds %struct.timespec, %struct.timespec* %8, i64 0, i32 0
%97 = load i32, i32* %96
%98 = icmp eq i32 %97, 1
%99 = getelementptr inbounds %struct.timespec, %struct.timespec* %8, i64 0, i32 1
%100 = load i64, i64* %99
%101 = icmp eq i64 %100, 200000000
%102 = select i1 %98, i1 %101, i1 false
%103 = zext i1 %102 to i32
%104 = call i32 @assert(i32 %103)
ret void
}