#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ fisError(char *);
int /*<<< orphan*/ printf(char *, int);
void fisGetString2(char *target, double *array, int max_leng) {
  int i;
  int actual_leng;
  for (actual_leng = 0; actual_leng < max_leng; actual_leng++) {
    if (array[actual_leng] == 0)
      break;
  }
  if (actual_leng + 1 > 500) {
    printf("actual_leng = %d\n", actual_leng);
    printf("STR_LEN = %d\n", 500);
    fisError("String too long!");
  }
  for (i = 0; i < actual_leng; i++)
    target[i] = (char)array[i];
  target[actual_leng] = 0;
}


x86 assembly (clang, -O0):
<fisGetString2>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
movl   $0x0,-0x1c(%rbp)
mov    -0x1c(%rbp),%eax
cmp    -0x14(%rbp),%eax
jge    117e <fisGetString2+0x5e>
mov    -0x10(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
xorps  %xmm1,%xmm1
ucomisd %xmm1,%xmm0
jne    116b <fisGetString2+0x4b>
jp     116b <fisGetString2+0x4b>
jmp    117e <fisGetString2+0x5e>
jmp    1170 <fisGetString2+0x50>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x1c(%rbp)
jmp    113a <fisGetString2+0x1a>
mov    -0x1c(%rbp),%eax
add    $0x1,%eax
cmp    $0x1f4,%eax
jle    11bb <fisGetString2+0x9b>
mov    -0x1c(%rbp),%esi
lea    0xe67(%rip),%rdi
call   1040 <printf@plt>
lea    0xe6d(%rip),%rdi
mov    $0x1f4,%esi
call   1040 <printf@plt>
lea    0xe6a(%rip),%rdi
call   1030 <fisError@plt>
movl   $0x0,-0x18(%rbp)
mov    -0x18(%rbp),%eax
cmp    -0x1c(%rbp),%eax
jge    11fa <fisGetString2+0xda>
mov    -0x10(%rbp),%rax
movslq -0x18(%rbp),%rcx
movsd  (%rax,%rcx,8),%xmm0
cvttsd2si %xmm0,%eax
mov    %al,%dl
mov    -0x8(%rbp),%rax
movslq -0x18(%rbp),%rcx
mov    %dl,(%rax,%rcx,1)
mov    -0x18(%rbp),%eax
add    $0x1,%eax
mov    %eax,-0x18(%rbp)
jmp    11c2 <fisGetString2+0xa2>
mov    -0x8(%rbp),%rax
movslq -0x1c(%rbp),%rcx
movb   $0x0,(%rax,%rcx,1)
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<fisGetString2>:
push   %r15
push   %r14
push   %rbx
mov    %rdi,%r14
test   %edx,%edx
jle    1229 <fisGetString2+0x109>
mov    %rsi,%r15
mov    %edx,%eax
xor    %ebx,%ebx
xorpd  %xmm0,%xmm0
nopl   0x0(%rax,%rax,1)
movsd  (%r15,%rbx,8),%xmm1
ucomisd %xmm0,%xmm1
jne    114e <fisGetString2+0x2e>
jnp    1159 <fisGetString2+0x39>
add    $0x1,%rbx
cmp    %rbx,%rax
jne    1140 <fisGetString2+0x20>
mov    %eax,%ebx
cmp    $0x1f4,%ebx
jb     118e <fisGetString2+0x6e>
lea    0xe98(%rip),%rdi
mov    %ebx,%esi
call   1040 <printf@plt>
lea    0xe9c(%rip),%rdi
mov    $0x1f4,%esi
call   1040 <printf@plt>
lea    0xe99(%rip),%rdi
call   1030 <fisError@plt>
jmp    1196 <fisGetString2+0x76>
test   %ebx,%ebx
je     1229 <fisGetString2+0x109>
mov    %ebx,%eax
cmp    $0x4,%ebx
jb     11b7 <fisGetString2+0x97>
lea    (%r15,%rax,8),%rcx
cmp    %r14,%rcx
jbe    1236 <fisGetString2+0x116>
lea    (%r14,%rax,1),%rcx
cmp    %r15,%rcx
jbe    1236 <fisGetString2+0x116>
xor    %ecx,%ecx
mov    %rcx,%rdx
not    %rdx
add    %rax,%rdx
mov    %rax,%rsi
and    $0x3,%rsi
je     11e4 <fisGetString2+0xc4>
nopl   0x0(%rax,%rax,1)
cvttsd2si (%r15,%rcx,8),%edi
mov    %dil,(%r14,%rcx,1)
add    $0x1,%rcx
add    $0xffffffffffffffff,%rsi
jne    11d0 <fisGetString2+0xb0>
cmp    $0x3,%rdx
jb     122b <fisGetString2+0x10b>
nopw   0x0(%rax,%rax,1)
cvttsd2si (%r15,%rcx,8),%edx
mov    %dl,(%r14,%rcx,1)
cvttsd2si 0x8(%r15,%rcx,8),%edx
mov    %dl,0x1(%r14,%rcx,1)
cvttsd2si 0x10(%r15,%rcx,8),%edx
mov    %dl,0x2(%r14,%rcx,1)
cvttsd2si 0x18(%r15,%rcx,8),%edx
mov    %dl,0x3(%r14,%rcx,1)
add    $0x4,%rcx
cmp    %rcx,%rax
jne    11f0 <fisGetString2+0xd0>
jmp    122b <fisGetString2+0x10b>
xor    %eax,%eax
movb   $0x0,(%r14,%rax,1)
pop    %rbx
pop    %r14
pop    %r15
ret
mov    %eax,%ecx
and    $0xfffffffc,%ecx
lea    -0x4(%rcx),%rdx
mov    %rdx,%rsi
shr    $0x2,%rsi
add    $0x1,%rsi
test   %rdx,%rdx
je     132e <fisGetString2+0x20e>
mov    %rsi,%rdi
and    $0xfffffffffffffffe,%rdi
xor    %edx,%edx
nopl   0x0(%rax)
movupd (%r15,%rdx,8),%xmm0
movupd 0x10(%r15,%rdx,8),%xmm1
cvttpd2dq %xmm0,%xmm0
pshuflw $0xe8,%xmm0,%xmm0
packsswb %xmm0,%xmm0
cvttpd2dq %xmm1,%xmm1
pshuflw $0xe8,%xmm1,%xmm1
packsswb %xmm1,%xmm1
movd   %xmm0,%ebx
mov    %bx,(%r14,%rdx,1)
movd   %xmm1,%ebx
mov    %bx,0x2(%r14,%rdx,1)
movupd 0x20(%r15,%rdx,8),%xmm0
movupd 0x30(%r15,%rdx,8),%xmm1
cvttpd2dq %xmm0,%xmm0
pshuflw $0xe8,%xmm0,%xmm0
packsswb %xmm0,%xmm0
cvttpd2dq %xmm1,%xmm1
pshuflw $0xe8,%xmm1,%xmm1
packsswb %xmm1,%xmm1
movd   %xmm0,%ebx
mov    %bx,0x4(%r14,%rdx,1)
movd   %xmm1,%ebx
mov    %bx,0x6(%r14,%rdx,1)
add    $0x8,%rdx
add    $0xfffffffffffffffe,%rdi
jne    1260 <fisGetString2+0x140>
test   $0x1,%sil
je     1320 <fisGetString2+0x200>
movupd (%r15,%rdx,8),%xmm0
movupd 0x10(%r15,%rdx,8),%xmm1
cvttpd2dq %xmm0,%xmm0
pshuflw $0xe8,%xmm0,%xmm0
packsswb %xmm0,%xmm0
cvttpd2dq %xmm1,%xmm1
pshuflw $0xe8,%xmm1,%xmm1
packsswb %xmm1,%xmm1
movd   %xmm0,%esi
mov    %si,(%r14,%rdx,1)
movd   %xmm1,%esi
mov    %si,0x2(%r14,%rdx,1)
cmp    %rax,%rcx
je     122b <fisGetString2+0x10b>
jmp    11b9 <fisGetString2+0x99>
xor    %edx,%edx
test   $0x1,%sil
jne    12e6 <fisGetString2+0x1c6>
jmp    1320 <fisGetString2+0x200>

LLVM IR (-O0):
@.str = [18 x i8] c"actual_leng = %d\0A\00"
@.str.1 = [14 x i8] c"STR_LEN = %d\0A\00"
@.str.2 = [17 x i8] c"String too long!\00"
define void @fisGetString2(i8* %0, double* %1, i32 %2) {
%4 = alloca i8*
%5 = alloca double*
%6 = alloca i32
%7 = alloca i32
%8 = alloca i32
store i8* %0, i8** %4
store double* %1, double** %5
store i32 %2, i32* %6
store i32 0, i32* %8
br label %9
9: ; preds = %22, %3
%10 = load i32, i32* %8
%11 = load i32, i32* %6
%12 = icmp slt i32 %10, %11
br i1 %12, label %13, label %25
13: ; preds = %9
%14 = load double*, double** %5
%15 = load i32, i32* %8
%16 = sext i32 %15 to i64
%17 = getelementptr inbounds double, double* %14, i64 %16
%18 = load double, double* %17
%19 = fcmp oeq double %18, 0.000000e+00
br i1 %19, label %20, label %21
20: ; preds = %13
br label %25
21: ; preds = %13
br label %22
22: ; preds = %21
%23 = load i32, i32* %8
%24 = add nsw i32 %23, 1
store i32 %24, i32* %8
br label %9
25: ; preds = %20, %9
%26 = load i32, i32* %8
%27 = add nsw i32 %26, 1
%28 = icmp sgt i32 %27, 500
br i1 %28, label %29, label %34
29: ; preds = %25
%30 = load i32, i32* %8
%31 = call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i32 %30)
%32 = call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 500)
%33 = call i32 @fisError(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %34
34: ; preds = %29, %25
store i32 0, i32* %7
br label %35
35: ; preds = %50, %34
%36 = load i32, i32* %7
%37 = load i32, i32* %8
%38 = icmp slt i32 %36, %37
br i1 %38, label %39, label %53
39: ; preds = %35
%40 = load double*, double** %5
%41 = load i32, i32* %7
%42 = sext i32 %41 to i64
%43 = getelementptr inbounds double, double* %40, i64 %42
%44 = load double, double* %43
%45 = fptosi double %44 to i8
%46 = load i8*, i8** %4
%47 = load i32, i32* %7
%48 = sext i32 %47 to i64
%49 = getelementptr inbounds i8, i8* %46, i64 %48
store i8 %45, i8* %49
br label %50
50: ; preds = %39
%51 = load i32, i32* %7
%52 = add nsw i32 %51, 1
store i32 %52, i32* %7
br label %35
53: ; preds = %35
%54 = load i8*, i8** %4
%55 = load i32, i32* %8
%56 = sext i32 %55 to i64
%57 = getelementptr inbounds i8, i8* %54, i64 %56
store i8 0, i8* %57
ret void
}

LLVM IR (-O2):
@.str = [18 x i8] c"actual_leng = %d\0A\00"
@.str.1 = [14 x i8] c"STR_LEN = %d\0A\00"
@.str.2 = [17 x i8] c"String too long!\00"
define void @fisGetString2(i8* nocapture writeonly %0, double* nocapture %1, i32 %2) {
%4 = bitcast double* %1 to i8*
%5 = icmp sgt i32 %2, 0
br i1 %5, label %6, label %137
6: ; preds = %3
%7 = zext i32 %2 to i64
br label %8
8: ; preds = %6, %13
%9 = phi i64 [ 0, %6 ], [ %14, %13 ]
%10 = getelementptr inbounds double, double* %1, i64 %9
%11 = load double, double* %10
%12 = fcmp oeq double %11, 0.000000e+00
br i1 %12, label %16, label %13
13: ; preds = %8
%14 = add nuw nsw i64 %9, 1
%15 = icmp eq i64 %14, %7
br i1 %15, label %18, label %8
16: ; preds = %8
%17 = trunc i64 %9 to i32
br label %18
18: ; preds = %13, %16
%19 = phi i32 [ %17, %16 ], [ %2, %13 ]
%20 = icmp ugt i32 %19, 499
br i1 %20, label %21, label %25
21: ; preds = %18
%22 = tail call i32 @printf(i8* getelementptr inbounds ([18 x i8], [18 x i8]* @.str, i64 0, i64 0), i32 %19)
%23 = tail call i32 @printf(i8* getelementptr inbounds ([14 x i8], [14 x i8]* @.str.1, i64 0, i64 0), i32 500)
%24 = tail call i32 @fisError(i8* getelementptr inbounds ([17 x i8], [17 x i8]* @.str.2, i64 0, i64 0))
br label %27
25: ; preds = %18
%26 = icmp eq i32 %19, 0
br i1 %26, label %137, label %27
27: ; preds = %21, %25
%28 = zext i32 %19 to i64
%29 = icmp ult i32 %19, 4
br i1 %29, label %95, label %30
30: ; preds = %27
%31 = getelementptr i8, i8* %0, i64 %28
%32 = getelementptr double, double* %1, i64 %28
%33 = bitcast double* %32 to i8*
%34 = icmp ugt i8* %33, %0
%35 = icmp ugt i8* %31, %4
%36 = and i1 %34, %35
br i1 %36, label %95, label %37
37: ; preds = %30
%38 = and i64 %28, 4294967292
%39 = add nsw i64 %38, -4
%40 = lshr exact i64 %39, 2
%41 = add nuw nsw i64 %40, 1
%42 = and i64 %41, 1
%43 = icmp eq i64 %39, 0
br i1 %43, label %77, label %44
44: ; preds = %37
%45 = and i64 %41, 9223372036854775806
br label %46
46: ; preds = %46, %44
%47 = phi i64 [ 0, %44 ], [ %74, %46 ]
%48 = phi i64 [ 0, %44 ], [ %75, %46 ]
%49 = getelementptr inbounds double, double* %1, i64 %47
%50 = bitcast double* %49 to <2 x double>*
%51 = load <2 x double>, <2 x double>* %50
%52 = getelementptr inbounds double, double* %49, i64 2
%53 = bitcast double* %52 to <2 x double>*
%54 = load <2 x double>, <2 x double>* %53
%55 = fptosi <2 x double> %51 to <2 x i8>
%56 = fptosi <2 x double> %54 to <2 x i8>
%57 = getelementptr inbounds i8, i8* %0, i64 %47
%58 = bitcast i8* %57 to <2 x i8>*
store <2 x i8> %55, <2 x i8>* %58
%59 = getelementptr inbounds i8, i8* %57, i64 2
%60 = bitcast i8* %59 to <2 x i8>*
store <2 x i8> %56, <2 x i8>* %60
%61 = or i64 %47, 4
%62 = getelementptr inbounds double, double* %1, i64 %61
%63 = bitcast double* %62 to <2 x double>*
%64 = load <2 x double>, <2 x double>* %63
%65 = getelementptr inbounds double, double* %62, i64 2
%66 = bitcast double* %65 to <2 x double>*
%67 = load <2 x double>, <2 x double>* %66
%68 = fptosi <2 x double> %64 to <2 x i8>
%69 = fptosi <2 x double> %67 to <2 x i8>
%70 = getelementptr inbounds i8, i8* %0, i64 %61
%71 = bitcast i8* %70 to <2 x i8>*
store <2 x i8> %68, <2 x i8>* %71
%72 = getelementptr inbounds i8, i8* %70, i64 2
%73 = bitcast i8* %72 to <2 x i8>*
store <2 x i8> %69, <2 x i8>* %73
%74 = add nuw i64 %47, 8
%75 = add i64 %48, 2
%76 = icmp eq i64 %75, %45
br i1 %76, label %77, label %46
77: ; preds = %46, %37
%78 = phi i64 [ 0, %37 ], [ %74, %46 ]
%79 = icmp eq i64 %42, 0
br i1 %79, label %93, label %80
80: ; preds = %77
%81 = getelementptr inbounds double, double* %1, i64 %78
%82 = bitcast double* %81 to <2 x double>*
%83 = load <2 x double>, <2 x double>* %82
%84 = getelementptr inbounds double, double* %81, i64 2
%85 = bitcast double* %84 to <2 x double>*
%86 = load <2 x double>, <2 x double>* %85
%87 = fptosi <2 x double> %83 to <2 x i8>
%88 = fptosi <2 x double> %86 to <2 x i8>
%89 = getelementptr inbounds i8, i8* %0, i64 %78
%90 = bitcast i8* %89 to <2 x i8>*
store <2 x i8> %87, <2 x i8>* %90
%91 = getelementptr inbounds i8, i8* %89, i64 2
%92 = bitcast i8* %91 to <2 x i8>*
store <2 x i8> %88, <2 x i8>* %92
br label %93
93: ; preds = %77, %80
%94 = icmp eq i64 %38, %28
br i1 %94, label %137, label %95
95: ; preds = %30, %27, %93
%96 = phi i64 [ 0, %30 ], [ 0, %27 ], [ %38, %93 ]
%97 = xor i64 %96, -1
%98 = add nsw i64 %97, %28
%99 = and i64 %28, 3
%100 = icmp eq i64 %99, 0
br i1 %100, label %111, label %101
101: ; preds = %95, %101
%102 = phi i64 [ %108, %101 ], [ %96, %95 ]
%103 = phi i64 [ %109, %101 ], [ 0, %95 ]
%104 = getelementptr inbounds double, double* %1, i64 %102
%105 = load double, double* %104
%106 = fptosi double %105 to i8
%107 = getelementptr inbounds i8, i8* %0, i64 %102
store i8 %106, i8* %107
%108 = add nuw nsw i64 %102, 1
%109 = add i64 %103, 1
%110 = icmp eq i64 %109, %99
br i1 %110, label %111, label %101
111: ; preds = %101, %95
%112 = phi i64 [ %96, %95 ], [ %108, %101 ]
%113 = icmp ult i64 %98, 3
br i1 %113, label %137, label %114
114: ; preds = %111, %114
%115 = phi i64 [ %135, %114 ], [ %112, %111 ]
%116 = getelementptr inbounds double, double* %1, i64 %115
%117 = load double, double* %116
%118 = fptosi double %117 to i8
%119 = getelementptr inbounds i8, i8* %0, i64 %115
store i8 %118, i8* %119
%120 = add nuw nsw i64 %115, 1
%121 = getelementptr inbounds double, double* %1, i64 %120
%122 = load double, double* %121
%123 = fptosi double %122 to i8
%124 = getelementptr inbounds i8, i8* %0, i64 %120
store i8 %123, i8* %124
%125 = add nuw nsw i64 %115, 2
%126 = getelementptr inbounds double, double* %1, i64 %125
%127 = load double, double* %126
%128 = fptosi double %127 to i8
%129 = getelementptr inbounds i8, i8* %0, i64 %125
store i8 %128, i8* %129
%130 = add nuw nsw i64 %115, 3
%131 = getelementptr inbounds double, double* %1, i64 %130
%132 = load double, double* %131
%133 = fptosi double %132 to i8
%134 = getelementptr inbounds i8, i8* %0, i64 %130
store i8 %133, i8* %134
%135 = add nuw nsw i64 %115, 4
%136 = icmp eq i64 %135, %28
br i1 %136, label %137, label %114
137: ; preds = %111, %114, %93, %25, %3
%138 = phi i64 [ 0, %3 ], [ 0, %25 ], [ %28, %93 ], [ %28, %114 ], [ %28, %111 ]
%139 = getelementptr inbounds i8, i8* %0, i64 %138
store i8 0, i8* %139
ret void
}