#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*/ fatal(char *, char *);
int /*<<< orphan*/ non_fatal(char *, char *);
int /*<<< orphan*/ sprintf(char *, char *, int, int, int);
int cast_val(int t, int v, int w) {
  int i = 0;
  short s = 0;
  unsigned int u = 0;
  if (t == 3 || t == 32 || t == 64)
    i = v;
  else if (t == 16)
    s = (short)v;
  else if (t == 8 || t == 275)
    u = (unsigned char)v;
  else if (t == 1)
    u = (unsigned char)(v & 1);
  else if (t == 5) {
    if (w == 0)
      fatal("cannot happen, cast_val", (char *)0);
    u = (unsigned)(v & (~0u >> (8 * sizeof(unsigned) - w)));
  }
  if (v != i + s + (int)u) {
    char buf[64];
    sprintf(buf, "%d->%d (%d)", v, i + s + u, t);
    non_fatal("value (%s) truncated in assignment", buf);
  }
  return (int)(i + s + u);
}


x86 assembly (clang, -O0):
<cast_val>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    %edi,-0x4(%rbp)
mov    %esi,-0x8(%rbp)
mov    %edx,-0xc(%rbp)
movl   $0x0,-0x10(%rbp)
movw   $0x0,-0x12(%rbp)
movl   $0x0,-0x18(%rbp)
cmpl   $0x3,-0x4(%rbp)
je     1173 <cast_val+0x43>
cmpl   $0x20,-0x4(%rbp)
je     1173 <cast_val+0x43>
cmpl   $0x40,-0x4(%rbp)
jne    117e <cast_val+0x4e>
mov    -0x8(%rbp),%eax
mov    %eax,-0x10(%rbp)
jmp    1229 <cast_val+0xf9>
cmpl   $0x10,-0x4(%rbp)
jne    1194 <cast_val+0x64>
mov    -0x8(%rbp),%eax
mov    %ax,-0x12(%rbp)
jmp    1224 <cast_val+0xf4>
cmpl   $0x8,-0x4(%rbp)
je     11ab <cast_val+0x7b>
cmpl   $0x113,-0x4(%rbp)
jne    11b9 <cast_val+0x89>
mov    -0x8(%rbp),%eax
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
jmp    121f <cast_val+0xef>
cmpl   $0x1,-0x4(%rbp)
jne    11d4 <cast_val+0xa4>
mov    -0x8(%rbp),%eax
and    $0x1,%eax
movzbl %al,%eax
mov    %eax,-0x18(%rbp)
jmp    121a <cast_val+0xea>
cmpl   $0x5,-0x4(%rbp)
jne    1215 <cast_val+0xe5>
cmpl   $0x0,-0xc(%rbp)
jne    11f8 <cast_val+0xc8>
lea    0xe11(%rip),%rdi
xor    %eax,%eax
mov    %eax,%esi
call   1050 <fatal@plt>
mov    -0x8(%rbp),%eax
movslq -0xc(%rbp),%rdx
mov    $0x20,%ecx
sub    %rdx,%rcx
mov    $0xffffffff,%edx
shr    %cl,%edx
mov    %edx,%ecx
and    %ecx,%eax
mov    %eax,-0x18(%rbp)
jmp    121a <cast_val+0xea>
jmp    121f <cast_val+0xef>
jmp    1224 <cast_val+0xf4>
jmp    1229 <cast_val+0xf9>
mov    -0x8(%rbp),%eax
mov    -0x10(%rbp),%ecx
movswl -0x12(%rbp),%edx
add    %edx,%ecx
add    -0x18(%rbp),%ecx
cmp    %ecx,%eax
je     1273 <cast_val+0x143>
lea    -0x60(%rbp),%rdi
mov    -0x8(%rbp),%edx
mov    -0x10(%rbp),%ecx
movswl -0x12(%rbp),%eax
add    %eax,%ecx
add    -0x18(%rbp),%ecx
mov    -0x4(%rbp),%r8d
lea    0xdba(%rip),%rsi
call   1040 <sprintf@plt>
lea    -0x60(%rbp),%rsi
lea    0xdb6(%rip),%rdi
call   1030 <non_fatal@plt>
mov    -0x10(%rbp),%eax
movswl -0x12(%rbp),%ecx
add    %ecx,%eax
add    -0x18(%rbp),%eax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<cast_val>:
push   %rbp
push   %r15
push   %r14
push   %rbx
sub    $0x48,%rsp
mov    %esi,%ebx
mov    %edi,%r14d
lea    -0x1(%r14),%eax
cmp    $0x3f,%eax
ja     1168 <cast_val+0x38>
mov    %edx,%r15d
xor    %ecx,%ecx
lea    0xeac(%rip),%rdx
movslq (%rdx,%rax,4),%rsi
add    %rdx,%rsi
mov    %ebx,%ebp
xor    %eax,%eax
jmp    *%rsi
mov    %ebx,%eax
and    $0x1,%eax
jmp    119b <cast_val+0x6b>
cmp    $0x113,%r14d
jne    1176 <cast_val+0x46>
movzbl %bl,%eax
jmp    119b <cast_val+0x6b>
xor    %ebp,%ebp
xor    %ecx,%ecx
jmp    11a6 <cast_val+0x76>
test   %r15d,%r15d
jne    118f <cast_val+0x5f>
lea    0xf78(%rip),%rdi
xor    %esi,%esi
call   1050 <fatal@plt>
neg    %r15b
mov    %ebx,%eax
mov    %r15d,%ecx
shl    %cl,%eax
shr    %cl,%eax
xor    %ebp,%ebp
xor    %ecx,%ecx
jmp    11a8 <cast_val+0x78>
movswl %bx,%ecx
xor    %ebp,%ebp
xor    %eax,%eax
add    %ecx,%ebp
add    %eax,%ebp
cmp    %ebx,%ebp
je     11d8 <cast_val+0xa8>
lea    0xf61(%rip),%rsi
mov    %rsp,%r15
mov    %r15,%rdi
mov    %ebx,%edx
mov    %ebp,%ecx
mov    %r14d,%r8d
call   1040 <sprintf@plt>
lea    0xf54(%rip),%rdi
mov    %r15,%rsi
call   1030 <non_fatal@plt>
mov    %ebp,%eax
add    $0x48,%rsp
pop    %rbx
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [24 x i8] c"cannot happen, cast_val\00"
@.str.1 = [12 x i8] c"%d->%d (%d)\00"
@.str.2 = [35 x i8] c"value (%s) truncated in assignment\00"
define i32 @cast_val(i32 %0, i32 %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32
%6 = alloca i32
%7 = alloca i32
%8 = alloca i16
%9 = alloca i32
%10 = alloca [64 x i8]
store i32 %0, i32* %4
store i32 %1, i32* %5
store i32 %2, i32* %6
store i32 0, i32* %7
store i16 0, i16* %8
store i32 0, i32* %9
%11 = load i32, i32* %4
%12 = icmp eq i32 %11, 3
br i1 %12, label %19, label %13
13: ; preds = %3
%14 = load i32, i32* %4
%15 = icmp eq i32 %14, 32
br i1 %15, label %19, label %16
16: ; preds = %13
%17 = load i32, i32* %4
%18 = icmp eq i32 %17, 64
br i1 %18, label %19, label %21
19: ; preds = %16, %13, %3
%20 = load i32, i32* %5
store i32 %20, i32* %7
br label %65
21: ; preds = %16
%22 = load i32, i32* %4
%23 = icmp eq i32 %22, 16
br i1 %23, label %24, label %27
24: ; preds = %21
%25 = load i32, i32* %5
%26 = trunc i32 %25 to i16
store i16 %26, i16* %8
br label %64
27: ; preds = %21
%28 = load i32, i32* %4
%29 = icmp eq i32 %28, 8
br i1 %29, label %33, label %30
30: ; preds = %27
%31 = load i32, i32* %4
%32 = icmp eq i32 %31, 275
br i1 %32, label %33, label %37
33: ; preds = %30, %27
%34 = load i32, i32* %5
%35 = trunc i32 %34 to i8
%36 = zext i8 %35 to i32
store i32 %36, i32* %9
br label %63
37: ; preds = %30
%38 = load i32, i32* %4
%39 = icmp eq i32 %38, 1
br i1 %39, label %40, label %45
40: ; preds = %37
%41 = load i32, i32* %5
%42 = and i32 %41, 1
%43 = trunc i32 %42 to i8
%44 = zext i8 %43 to i32
store i32 %44, i32* %9
br label %62
45: ; preds = %37
%46 = load i32, i32* %4
%47 = icmp eq i32 %46, 5
br i1 %47, label %48, label %61
48: ; preds = %45
%49 = load i32, i32* %6
%50 = icmp eq i32 %49, 0
br i1 %50, label %51, label %53
51: ; preds = %48
%52 = call i32 @fatal(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i8* null)
br label %53
53: ; preds = %51, %48
%54 = load i32, i32* %5
%55 = load i32, i32* %6
%56 = sext i32 %55 to i64
%57 = sub i64 32, %56
%58 = trunc i64 %57 to i32
%59 = lshr i32 -1, %58
%60 = and i32 %54, %59
store i32 %60, i32* %9
br label %61
61: ; preds = %53, %45
br label %62
62: ; preds = %61, %40
br label %63
63: ; preds = %62, %33
br label %64
64: ; preds = %63, %24
br label %65
65: ; preds = %64, %19
%66 = load i32, i32* %5
%67 = load i32, i32* %7
%68 = load i16, i16* %8
%69 = sext i16 %68 to i32
%70 = add nsw i32 %67, %69
%71 = load i32, i32* %9
%72 = add nsw i32 %70, %71
%73 = icmp ne i32 %66, %72
br i1 %73, label %74, label %87
74: ; preds = %65
%75 = getelementptr inbounds [64 x i8], [64 x i8]* %10, i64 0, i64 0
%76 = load i32, i32* %5
%77 = load i32, i32* %7
%78 = load i16, i16* %8
%79 = sext i16 %78 to i32
%80 = add nsw i32 %77, %79
%81 = load i32, i32* %9
%82 = add i32 %80, %81
%83 = load i32, i32* %4
%84 = call i32 @sprintf(i8* %75, i8* getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), i32 %76, i32 %82, i32 %83)
%85 = getelementptr inbounds [64 x i8], [64 x i8]* %10, i64 0, i64 0
%86 = call i32 @non_fatal(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.2, i64 0, i64 0), i8* %85)
br label %87
87: ; preds = %74, %65
%88 = load i32, i32* %7
%89 = load i16, i16* %8
%90 = sext i16 %89 to i32
%91 = add nsw i32 %88, %90
%92 = load i32, i32* %9
%93 = add i32 %91, %92
ret i32 %93
}

LLVM IR (-O2):
@.str = [24 x i8] c"cannot happen, cast_val\00"
@.str.1 = [12 x i8] c"%d->%d (%d)\00"
@.str.2 = [35 x i8] c"value (%s) truncated in assignment\00"
define i32 @cast_val(i32 %0, i32 %1, i32 %2) {
%4 = alloca [64 x i8]
switch i32 %0, label %20 [
i32 64, label %21
i32 32, label %21
i32 3, label %21
i32 16, label %5
i32 275, label %8
i32 8, label %8
i32 1, label %10
i32 5, label %12
]
5: ; preds = %3
%6 = shl i32 %1, 16
%7 = ashr exact i32 %6, 16
br label %21
8: ; preds = %3, %3
%9 = and i32 %1, 255
br label %21
10: ; preds = %3
%11 = and i32 %1, 1
br label %21
12: ; preds = %3
%13 = icmp eq i32 %2, 0
br i1 %13, label %14, label %16
14: ; preds = %12
%15 = tail call i32 @fatal(i8* getelementptr inbounds ([24 x i8], [24 x i8]* @.str, i64 0, i64 0), i8* null)
br label %16
16: ; preds = %14, %12
%17 = sub i32 32, %2
%18 = lshr i32 -1, %17
%19 = and i32 %18, %1
br label %21
20: ; preds = %3
br label %21
21: ; preds = %3, %3, %3, %20, %5, %10, %16, %8
%22 = phi i32 [ 0, %5 ], [ 0, %8 ], [ 0, %10 ], [ 0, %16 ], [ %1, %3 ], [ %1, %3 ], [ %1, %3 ], [ 0, %20 ]
%23 = phi i32 [ %7, %5 ], [ 0, %8 ], [ 0, %10 ], [ 0, %16 ], [ 0, %3 ], [ 0, %3 ], [ 0, %3 ], [ 0, %20 ]
%24 = phi i32 [ 0, %5 ], [ %9, %8 ], [ %11, %10 ], [ %19, %16 ], [ 0, %3 ], [ 0, %3 ], [ 0, %3 ], [ 0, %20 ]
%25 = add nsw i32 %23, %22
%26 = add i32 %25, %24
%27 = icmp eq i32 %26, %1
br i1 %27, label %32, label %28
28: ; preds = %21
%29 = getelementptr inbounds [64 x i8], [64 x i8]* %4, i64 0, i64 0
%30 = call i32 @sprintf(i8* %29, i8* dereferenceable(1) getelementptr inbounds ([12 x i8], [12 x i8]* @.str.1, i64 0, i64 0), i32 %1, i32 %26, i32 %0)
%31 = call i32 @non_fatal(i8* getelementptr inbounds ([35 x i8], [35 x i8]* @.str.2, i64 0, i64 0), i8* %29)
br label %32
32: ; preds = %28, %21
ret i32 %26
}