#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 */
scalar_t__ json_getValue(char *, int, int *, int *);
char *json_type_toString(int);
int /*<<< orphan*/ printf(char *, int, char *, ...);
int /*<<< orphan*/ puts(char *);
void test_json_getValue() {
  puts("Test json_getValue");
  puts("======================================================================="
       "=========");
  char *str[100] = {"abcnullabc",
                    "null",
                    "n",
                    "nullabc",
                    "",
                    "abcfalseabc",
                    "0ee",
                    "true",
                    "false",
                    "tabc",
                    "fabc",
                    "t",
                    "f",
                    "--123",
                    "abc",
                    "123\n",
                    "456",
                    "-",
                    "-abc",
                    "-123",
                    "0",
                    "-0",
                    "0.",
                    ".",
                    "0.0",
                    "1.2.3",
                    "-10.123",
                    "10.e",
                    "10..",
                    "e",
                    "-E",
                    "-0e12",
                    "10.5e00abc",
                    "10.5E+13",
                    "8.5E-15",
                    "8e",
                    "123E-",
                    "456E+",
                    "9.e",
                    "9.e99",
                    "0ee",
                    "0.0eabc",
                    "0.0e-abc",
                    "\"\"ab c\"",
                    "",
                    "\"abc\"",
                    "abc",
                    "\"",
                    "\"abc\"abc",
                    "\"abc\\",
                    "\"abc",
                    "\"\"abc\"",
                    "\"\\abc\"",
                    "\"/abc\"",
                    "\"\\/abc\"",
                    "\"\\\"\\\\\\/\\b\\f\\n\\r\\t\"",
                    "\"abc\\u\"",
                    "\"abc\\u1\"",
                    "\"abc\\u12\"",
                    "\"abc\\u123\"",
                    "\"abc\\u1234\"",
                    "\"abc\\u1234",
                    "\"abc\\u1a34\"",
                    "\"abc\\u1A3456\"",
                    "\"abc\\u12s4\"",
                    "\"abc\\u1234\\u1234abc\"",
                    "{}",
                    "{1234567890}",
                    "{12345{12345{12345",
                    "{12345{12345{12345}}}",
                    "{12345{12345}}}}",
                    "{12345{{{12345}}}",
                    "[]",
                    "[1234567890]",
                    "[12345[12345[12345",
                    "[12345[12345[12345]]]",
                    "[12345[12345]]]]",
                    "[12345[[[12345]]]"};
  int i, startIndex, endIndex, jsonType;
  for (i = 0; str[i] != NULL; i++) {
    startIndex = 0;
    if (json_getValue(str[i], startIndex, &endIndex, &jsonType) == 0) {
      printf("%d. %s [%d..%d] is %s\n\n", i + 1, str[i], startIndex, endIndex,
             json_type_toString(jsonType));
    } else {
      printf("%d. %s is not JSON value\n\n", i + 1, str[i]);
    }
  }
  puts("======================================================================="
       "=========\n");
}


x86 assembly (clang, -O0):
<test_json_getValue>:
push   %rbp
mov    %rsp,%rbp
sub    $0x350,%rsp
lea    0xe9e(%rip),%rdi
call   1030 <puts@plt>
lea    0xea5(%rip),%rdi
call   1030 <puts@plt>
lea    -0x320(%rbp),%rdi
lea    0x297f(%rip),%rsi
mov    $0x320,%edx
call   1060 <memcpy@plt>
movl   $0x0,-0x324(%rbp)
movslq -0x324(%rbp),%rax
cmpq   $0x0,-0x320(%rbp,%rax,8)
je     129e <test_json_getValue+0x14e>
movl   $0x0,-0x328(%rbp)
movslq -0x324(%rbp),%rax
mov    -0x320(%rbp,%rax,8),%rdi
ff
mov    -0x328(%rbp),%esi
lea    -0x32c(%rbp),%rdx
lea    -0x330(%rbp),%rcx
call   1070 <json_getValue@plt>
cmp    $0x0,%rax
jne    125f <test_json_getValue+0x10f>
mov    -0x324(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x344(%rbp)
movslq -0x324(%rbp),%rax
mov    -0x320(%rbp,%rax,8),%rax
ff
mov    %rax,-0x340(%rbp)
mov    -0x328(%rbp),%eax
mov    %eax,-0x338(%rbp)
mov    -0x32c(%rbp),%eax
mov    %eax,-0x334(%rbp)
mov    -0x330(%rbp),%edi
call   1050 <json_type_toString@plt>
mov    -0x344(%rbp),%esi
mov    -0x340(%rbp),%rdx
mov    -0x338(%rbp),%ecx
mov    -0x334(%rbp),%r8d
mov    %rax,%r9
lea    0x1043(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    1285 <test_json_getValue+0x135>
mov    -0x324(%rbp),%esi
add    $0x1,%esi
movslq -0x324(%rbp),%rax
mov    -0x320(%rbp,%rax,8),%rdx
ff
lea    0x1030(%rip),%rdi
mov    $0x0,%al
call   1040 <printf@plt>
jmp    128a <test_json_getValue+0x13a>
mov    -0x324(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x324(%rbp)
jmp    1195 <test_json_getValue+0x45>
lea    0x1024(%rip),%rdi
call   1030 <puts@plt>
add    $0x350,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_json_getValue>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
push   %rax
lea    0xeae(%rip),%rdi
call   1030 <puts@plt>
lea    0xeb5(%rip),%rdi
call   1030 <puts@plt>
lea    0xefa(%rip),%rbp
mov    $0x1,%ebx
lea    0x4(%rsp),%r14
mov    %rsp,%r15
lea    0x2982(%rip),%r13
jmp    11a2 <test_json_getValue+0x62>
lea    0x1127(%rip),%rdi
mov    %ebx,%esi
mov    %rbp,%rdx
xor    %eax,%eax
call   1040 <printf@plt>
mov    0x0(%r13,%rbx,8),%rbp
add    $0x1,%rbx
cmp    $0x4f,%rbx
je     11e1 <test_json_getValue+0xa1>
mov    %rbp,%rdi
xor    %esi,%esi
mov    %r14,%rdx
mov    %r15,%rcx
call   1060 <json_getValue@plt>
test   %rax,%rax
jne    1180 <test_json_getValue+0x40>
mov    0x4(%rsp),%r12d
mov    (%rsp),%edi
call   1050 <json_type_toString@plt>
lea    0x10cb(%rip),%rdi
mov    %ebx,%esi
mov    %rbp,%rdx
xor    %ecx,%ecx
mov    %r12d,%r8d
mov    %rax,%r9
xor    %eax,%eax
call   1040 <printf@plt>
jmp    1193 <test_json_getValue+0x53>
lea    0x10e1(%rip),%rdi
call   1030 <puts@plt>
add    $0x8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [19 x i8] c"Test json_getValue\00"
@.str.1 = [81 x i8] c"================================================================================\00"
@.str.2 = [11 x i8] c"abcnullabc\00"
@.str.3 = [5 x i8] c"null\00"
@.str.4 = [2 x i8] c"n\00"
@.str.5 = [8 x i8] c"nullabc\00"
@.str.6 = [1 x i8] zeroinitializer
@.str.7 = [12 x i8] c"abcfalseabc\00"
@.str.8 = [4 x i8] c"0ee\00"
@.str.9 = [5 x i8] c"true\00"
@.str.10 = [6 x i8] c"false\00"
@.str.11 = [5 x i8] c"tabc\00"
@.str.12 = [5 x i8] c"fabc\00"
@.str.13 = [2 x i8] c"t\00"
@.str.14 = [2 x i8] c"f\00"
@.str.15 = [6 x i8] c"--123\00"
@.str.16 = [4 x i8] c"abc\00"
@.str.17 = [5 x i8] c"123\0A\00"
@.str.18 = [4 x i8] c"456\00"
@.str.19 = [2 x i8] c"-\00"
@.str.20 = [5 x i8] c"-abc\00"
@.str.21 = [5 x i8] c"-123\00"
@.str.22 = [2 x i8] c"0\00"
@.str.23 = [3 x i8] c"-0\00"
@.str.24 = [3 x i8] c"0.\00"
@.str.25 = [2 x i8] c".\00"
@.str.26 = [4 x i8] c"0.0\00"
@.str.27 = [6 x i8] c"1.2.3\00"
@.str.28 = [8 x i8] c"-10.123\00"
@.str.29 = [5 x i8] c"10.e\00"
@.str.30 = [5 x i8] c"10..\00"
@.str.31 = [2 x i8] c"e\00"
@.str.32 = [3 x i8] c"-E\00"
@.str.33 = [6 x i8] c"-0e12\00"
@.str.34 = [11 x i8] c"10.5e00abc\00"
@.str.35 = [9 x i8] c"10.5E+13\00"
@.str.36 = [8 x i8] c"8.5E-15\00"
@.str.37 = [3 x i8] c"8e\00"
@.str.38 = [6 x i8] c"123E-\00"
@.str.39 = [6 x i8] c"456E+\00"
@.str.40 = [4 x i8] c"9.e\00"
@.str.41 = [6 x i8] c"9.e99\00"
@.str.42 = [8 x i8] c"0.0eabc\00"
@.str.43 = [9 x i8] c"0.0e-abc\00"
@.str.44 = [8 x i8] c"\22\22ab c\22\00"
@.str.45 = [6 x i8] c"\22abc\22\00"
@.str.46 = [2 x i8] c"\22\00"
@.str.47 = [9 x i8] c"\22abc\22abc\00"
@.str.48 = [6 x i8] c"\22abc\\\00"
@.str.49 = [5 x i8] c"\22abc\00"
@.str.50 = [7 x i8] c"\22\22abc\22\00"
@.str.51 = [7 x i8] c"\22\\abc\22\00"
@.str.52 = [7 x i8] c"\22/abc\22\00"
@.str.53 = [8 x i8] c"\22\\/abc\22\00"
@.str.54 = [19 x i8] c"\22\\\22\\\\\\/\\b\\f\\n\\r\\t\22\00"
@.str.55 = [8 x i8] c"\22abc\\u\22\00"
@.str.56 = [9 x i8] c"\22abc\\u1\22\00"
@.str.57 = [10 x i8] c"\22abc\\u12\22\00"
@.str.58 = [11 x i8] c"\22abc\\u123\22\00"
@.str.59 = [12 x i8] c"\22abc\\u1234\22\00"
@.str.60 = [11 x i8] c"\22abc\\u1234\00"
@.str.61 = [12 x i8] c"\22abc\\u1a34\22\00"
@.str.62 = [14 x i8] c"\22abc\\u1A3456\22\00"
@.str.63 = [12 x i8] c"\22abc\\u12s4\22\00"
@.str.64 = [21 x i8] c"\22abc\\u1234\\u1234abc\22\00"
@.str.65 = [3 x i8] c"{}\00"
@.str.66 = [13 x i8] c"{1234567890}\00"
@.str.67 = [19 x i8] c"{12345{12345{12345\00"
@.str.68 = [22 x i8] c"{12345{12345{12345}}}\00"
@.str.69 = [17 x i8] c"{12345{12345}}}}\00"
@.str.70 = [18 x i8] c"{12345{{{12345}}}\00"
@.str.71 = [3 x i8] c"[]\00"
@.str.72 = [13 x i8] c"[1234567890]\00"
@.str.73 = [19 x i8] c"[12345[12345[12345\00"
@.str.74 = [22 x i8] c"[12345[12345[12345]]]\00"
@.str.75 = [17 x i8] c"[12345[12345]]]]\00"
@.str.76 = [18 x i8] c"[12345[[[12345]]]\00"
@__const.test_json_getValue.str = <{ [78 x i8*], [22 x i8*] }> <{ [78 x i8*] [i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.18, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.19, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.21, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.22, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.23, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.24, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.25, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.26, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.27, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.28, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.29, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.30, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.31, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.32, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.33, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.34, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.35, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.36, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.38, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.39, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.40, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.41, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.42, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.43, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.44, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.45, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.46, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.47, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.48, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.49, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.50, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.51, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.52, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.53, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.54, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.55, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.56, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.57, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.58, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.59, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.60, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.61, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.62, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.63, i32 0, i32 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.64, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.65, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.66, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.67, i32 0, i32 0), i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.68, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.69, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.70, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.71, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.72, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.73, i32 0, i32 0), i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.74, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.75, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.76, i32 0, i32 0)], [22 x i8*] zeroinitializer }>
@.str.77 = [24 x i8] c"%d. %s [%d..%d] is %s\0A\0A\00"
@.str.78 = [27 x i8] c"%d. %s is not JSON value\0A\0A\00"
@.str.79 = [82 x i8] c"================================================================================\0A\00"
define void @test_json_getValue() {
%1 = alloca [100 x i8*]
%2 = alloca i32
%3 = alloca i32
%4 = alloca i32
%5 = alloca i32
%6 = call i32 @puts(i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
%7 = call i32 @puts(i8* getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0))
%8 = bitcast [100 x i8*]* %1 to i8*
store i32 0, i32* %2
br label %9
9: ; preds = %44, %0
%10 = load i32, i32* %2
%11 = sext i32 %10 to i64
%12 = getelementptr inbounds [100 x i8*], [100 x i8*]* %1, i64 0, i64 %11
%13 = load i8*, i8** %12
%14 = icmp ne i8* %13, null
br i1 %14, label %15, label %47
15: ; preds = %9
store i32 0, i32* %3
%16 = load i32, i32* %2
%17 = sext i32 %16 to i64
%18 = getelementptr inbounds [100 x i8*], [100 x i8*]* %1, i64 0, i64 %17
%19 = load i8*, i8** %18
%20 = load i32, i32* %3
%21 = call i64 @json_getValue(i8* %19, i32 %20, i32* %4, i32* %5)
%22 = icmp eq i64 %21, 0
br i1 %22, label %23, label %35
23: ; preds = %15
%24 = load i32, i32* %2
%25 = add nsw i32 %24, 1
%26 = load i32, i32* %2
%27 = sext i32 %26 to i64
%28 = getelementptr inbounds [100 x i8*], [100 x i8*]* %1, i64 0, i64 %27
%29 = load i8*, i8** %28
%30 = load i32, i32* %3
%31 = load i32, i32* %4
%32 = load i32, i32* %5
%33 = call i8* @json_type_toString(i32 %32)
%34 = call i32 (i8*, i32, i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.77, i64 0, i64 0), i32 %25, i8* %29, i32 %30, i32 %31, i8* %33)
br label %43
35: ; preds = %15
%36 = load i32, i32* %2
%37 = add nsw i32 %36, 1
%38 = load i32, i32* %2
%39 = sext i32 %38 to i64
%40 = getelementptr inbounds [100 x i8*], [100 x i8*]* %1, i64 0, i64 %39
%41 = load i8*, i8** %40
%42 = call i32 (i8*, i32, i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.78, i64 0, i64 0), i32 %37, i8* %41)
br label %43
43: ; preds = %35, %23
br label %44
44: ; preds = %43
%45 = load i32, i32* %2
%46 = add nsw i32 %45, 1
store i32 %46, i32* %2
br label %9
47: ; preds = %9
%48 = call i32 @puts(i8* getelementptr inbounds ([82 x i8], [82 x i8]* @.str.79, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@.str = [19 x i8] c"Test json_getValue\00"
@.str.1 = [81 x i8] c"================================================================================\00"
@.str.2 = [11 x i8] c"abcnullabc\00"
@.str.3 = [5 x i8] c"null\00"
@.str.4 = [2 x i8] c"n\00"
@.str.5 = [8 x i8] c"nullabc\00"
@.str.6 = [1 x i8] zeroinitializer
@.str.7 = [12 x i8] c"abcfalseabc\00"
@.str.8 = [4 x i8] c"0ee\00"
@.str.9 = [5 x i8] c"true\00"
@.str.10 = [6 x i8] c"false\00"
@.str.11 = [5 x i8] c"tabc\00"
@.str.12 = [5 x i8] c"fabc\00"
@.str.13 = [2 x i8] c"t\00"
@.str.14 = [2 x i8] c"f\00"
@.str.15 = [6 x i8] c"--123\00"
@.str.16 = [4 x i8] c"abc\00"
@.str.17 = [5 x i8] c"123\0A\00"
@.str.18 = [4 x i8] c"456\00"
@.str.19 = [2 x i8] c"-\00"
@.str.20 = [5 x i8] c"-abc\00"
@.str.21 = [5 x i8] c"-123\00"
@.str.22 = [2 x i8] c"0\00"
@.str.23 = [3 x i8] c"-0\00"
@.str.24 = [3 x i8] c"0.\00"
@.str.25 = [2 x i8] c".\00"
@.str.26 = [4 x i8] c"0.0\00"
@.str.27 = [6 x i8] c"1.2.3\00"
@.str.28 = [8 x i8] c"-10.123\00"
@.str.29 = [5 x i8] c"10.e\00"
@.str.30 = [5 x i8] c"10..\00"
@.str.31 = [2 x i8] c"e\00"
@.str.32 = [3 x i8] c"-E\00"
@.str.33 = [6 x i8] c"-0e12\00"
@.str.34 = [11 x i8] c"10.5e00abc\00"
@.str.35 = [9 x i8] c"10.5E+13\00"
@.str.36 = [8 x i8] c"8.5E-15\00"
@.str.37 = [3 x i8] c"8e\00"
@.str.38 = [6 x i8] c"123E-\00"
@.str.39 = [6 x i8] c"456E+\00"
@.str.40 = [4 x i8] c"9.e\00"
@.str.41 = [6 x i8] c"9.e99\00"
@.str.42 = [8 x i8] c"0.0eabc\00"
@.str.43 = [9 x i8] c"0.0e-abc\00"
@.str.44 = [8 x i8] c"\22\22ab c\22\00"
@.str.45 = [6 x i8] c"\22abc\22\00"
@.str.46 = [2 x i8] c"\22\00"
@.str.47 = [9 x i8] c"\22abc\22abc\00"
@.str.48 = [6 x i8] c"\22abc\\\00"
@.str.49 = [5 x i8] c"\22abc\00"
@.str.50 = [7 x i8] c"\22\22abc\22\00"
@.str.51 = [7 x i8] c"\22\\abc\22\00"
@.str.52 = [7 x i8] c"\22/abc\22\00"
@.str.53 = [8 x i8] c"\22\\/abc\22\00"
@.str.54 = [19 x i8] c"\22\\\22\\\\\\/\\b\\f\\n\\r\\t\22\00"
@.str.55 = [8 x i8] c"\22abc\\u\22\00"
@.str.56 = [9 x i8] c"\22abc\\u1\22\00"
@.str.57 = [10 x i8] c"\22abc\\u12\22\00"
@.str.58 = [11 x i8] c"\22abc\\u123\22\00"
@.str.59 = [12 x i8] c"\22abc\\u1234\22\00"
@.str.60 = [11 x i8] c"\22abc\\u1234\00"
@.str.61 = [12 x i8] c"\22abc\\u1a34\22\00"
@.str.62 = [14 x i8] c"\22abc\\u1A3456\22\00"
@.str.63 = [12 x i8] c"\22abc\\u12s4\22\00"
@.str.64 = [21 x i8] c"\22abc\\u1234\\u1234abc\22\00"
@.str.65 = [3 x i8] c"{}\00"
@.str.66 = [13 x i8] c"{1234567890}\00"
@.str.67 = [19 x i8] c"{12345{12345{12345\00"
@.str.68 = [22 x i8] c"{12345{12345{12345}}}\00"
@.str.69 = [17 x i8] c"{12345{12345}}}}\00"
@.str.70 = [18 x i8] c"{12345{{{12345}}}\00"
@.str.71 = [3 x i8] c"[]\00"
@.str.72 = [13 x i8] c"[1234567890]\00"
@.str.73 = [19 x i8] c"[12345[12345[12345\00"
@.str.74 = [22 x i8] c"[12345[12345[12345]]]\00"
@.str.75 = [17 x i8] c"[12345[12345]]]]\00"
@.str.76 = [18 x i8] c"[12345[[[12345]]]\00"
@__const.test_json_getValue.str = <{ [78 x i8*], [22 x i8*] }> <{ [78 x i8*] [i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.18, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.19, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.20, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.21, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.22, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.23, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.24, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.25, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.26, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.27, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.28, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.29, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.30, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.31, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.32, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.33, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.34, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.35, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.36, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.37, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.38, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.39, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.40, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.41, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.42, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.43, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.44, i32 0, i32 0), i8* getelementptr inbounds ([1 x i8], [1 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.45, i32 0, i32 0), i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.46, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.47, i32 0, i32 0), i8* getelementptr inbounds ([6 x i8], [6 x i8]* @.str.48, i32 0, i32 0), i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.49, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.50, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.51, i32 0, i32 0), i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str.52, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.53, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.54, i32 0, i32 0), i8* getelementptr inbounds ([8 x i8], [8 x i8]* @.str.55, i32 0, i32 0), i8* getelementptr inbounds ([9 x i8], [9 x i8]* @.str.56, i32 0, i32 0), i8* getelementptr inbounds ([10 x i8], [10 x i8]* @.str.57, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.58, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.59, i32 0, i32 0), i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str.60, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.61, i32 0, i32 0), i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.62, i32 0, i32 0), i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.63, i32 0, i32 0), i8* getelementptr inbounds ([21 x i8], [21 x i8]* @.str.64, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.65, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.66, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.67, i32 0, i32 0), i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.68, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.69, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.70, i32 0, i32 0), i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str.71, i32 0, i32 0), i8* getelementptr inbounds ([13 x i8], [13 x i8]* @.str.72, i32 0, i32 0), i8* getelementptr inbounds ([19 x i8], [19 x i8]* @.str.73, i32 0, i32 0), i8* getelementptr inbounds ([22 x i8], [22 x i8]* @.str.74, i32 0, i32 0), i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.75, i32 0, i32 0), i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str.76, i32 0, i32 0)], [22 x i8*] zeroinitializer }>
@.str.77 = [24 x i8] c"%d. %s [%d..%d] is %s\0A\0A\00"
@.str.78 = [27 x i8] c"%d. %s is not JSON value\0A\0A\00"
@.str.79 = [82 x i8] c"================================================================================\0A\00"
define void @test_json_getValue() {
%1 = alloca i32
%2 = alloca i32
%3 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([19 x i8], [19 x i8]* @.str, i64 0, i64 0))
%4 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([81 x i8], [81 x i8]* @.str.1, i64 0, i64 0))
%5 = bitcast i32* %1 to i8*
%6 = bitcast i32* %2 to i8*
br label %7
7: ; preds = %0, %22
%8 = phi i64 [ 0, %0 ], [ %12, %22 ]
%9 = phi i8* [ getelementptr inbounds ([11 x i8], [11 x i8]* @.str.2, i64 0, i64 0), %0 ], [ %24, %22 ]
%10 = call i64 @json_getValue(i8* %9, i32 0, i32* %1, i32* %2)
%11 = icmp eq i64 %10, 0
%12 = add nuw nsw i64 %8, 1
br i1 %11, label %13, label %19
13: ; preds = %7
%14 = load i32, i32* %1
%15 = load i32, i32* %2
%16 = call i8* @json_type_toString(i32 %15)
%17 = trunc i64 %12 to i32
%18 = call i32 (i8*, i32, i8*, ...) @printf(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str.77, i64 0, i64 0), i32 %17, i8* %9, i32 0, i32 %14, i8* %16)
br label %22
19: ; preds = %7
%20 = trunc i64 %12 to i32
%21 = call i32 (i8*, i32, i8*, ...) @printf(i8* getelementptr inbounds ([27 x i8], [27 x i8]* @.str.78, i64 0, i64 0), i32 %20, i8* %9)
br label %22
22: ; preds = %13, %19
%23 = getelementptr inbounds [100 x i8*], [100 x i8*]* bitcast (<{ [78 x i8*], [22 x i8*] }>* @__const.test_json_getValue.str to [100 x i8*]*), i64 0, i64 %12
%24 = load i8*, i8** %23
%25 = icmp eq i64 %12, 78
br i1 %25, label %26, label %7
26: ; preds = %22
%27 = call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([82 x i8], [82 x i8]* @.str.79, i64 0, i64 0))
ret void
}