#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*/ _assert(int, char *, int);
int /*<<< orphan*/ putchar(char);
int /*<<< orphan*/ puts(char *);
void test_switch(void) {
  int i;
  char c;
  puts("--- testing switch\n");
  switch (1) {
  case 1:
    break;
  default:
    _assert((0),
            "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
            "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
            "m68360/gdb7/test7.c",
            182);
    break;
  }
  for (i = 0; i < 100; i += 10) {
    switch (i) {
    case 0:
      _assert((i == 0),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              190);
      break;
    case 10:
      _assert((i == 10),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              193);
      break;
    case 20:
      _assert((i == 20),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              196);
      break;
    case 30:
      _assert((i == 30),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              199);
      break;
    case 40:
      _assert((i == 40),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              202);
      break;
    case 50:
      _assert((i == 50),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              205);
      break;
    case 60:
      _assert((i == 60),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              208);
      break;
    case 70:
      _assert((i == 70),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              211);
      break;
    case 80:
      _assert((i == 80),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              214);
      break;
    case 90:
      _assert((i == 90),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              217);
      break;
    default:
      _assert((0),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              221);
      break;
    }
  }
  for (c = 'a'; c <= 'j'; c++) {
    switch (c) {
    case 'a':
      _assert((c == 'a'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              231);
      break;
    case 'b':
      _assert((c == 'b'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              234);
      break;
    case 'c':
      _assert((c == 'c'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              237);
      break;
    case 'd':
      _assert((c == 'd'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              240);
      break;
    case 'e':
      _assert((c == 'e'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              243);
      break;
    case 'f':
      _assert((c == 'f'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              246);
      break;
    case 'g':
      _assert((c == 'g'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              249);
      break;
    case 'h':
      _assert((c == 'h'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              252);
      break;
    case 'i':
      _assert((c == 'i'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              255);
      break;
    case 'j':
      _assert((c == 'j'),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              258);
      break;
    default:
      puts("switch failed on character: ");
      putchar(c);
      puts("\n");
      _assert((0),
              "/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/"
              "2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/"
              "m68360/gdb7/test7.c",
              265);
      break;
    }
  }
}


x86 assembly (clang, -O0):
<test_switch>:
push   %rbp
mov    %rsp,%rbp
sub    $0x20,%rsp
lea    0x1055(%rip),%rdi
call   1040 <puts@plt>
movl   $0x0,-0x4(%rbp)
cmpl   $0x64,-0x4(%rbp)
jge    12f4 <test_switch+0x1c4>
mov    -0x4(%rbp),%eax
mov    %rax,-0x10(%rbp)
sub    $0x5a,%rax
ja     12ce <test_switch+0x19e>
mov    -0x10(%rbp),%rax
lea    0xeb7(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
cmpl   $0x0,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0x101b(%rip),%rsi
mov    $0xbe,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0xa,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xff9(%rip),%rsi
mov    $0xc1,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x14,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xfd7(%rip),%rsi
mov    $0xc4,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x1e,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xfb5(%rip),%rsi
mov    $0xc7,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x28,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xf93(%rip),%rsi
mov    $0xca,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x32,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xf71(%rip),%rsi
mov    $0xcd,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x3c,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xf4f(%rip),%rsi
mov    $0xd0,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x46,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xf2d(%rip),%rsi
mov    $0xd3,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x50,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xf0b(%rip),%rsi
mov    $0xd6,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
cmpl   $0x5a,-0x4(%rbp)
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xee9(%rip),%rsi
mov    $0xd9,%edx
call   1050 <_assert@plt>
jmp    12e1 <test_switch+0x1b1>
xor    %edi,%edi
lea    0xed1(%rip),%rsi
mov    $0xdd,%edx
call   1050 <_assert@plt>
jmp    12e6 <test_switch+0x1b6>
mov    -0x4(%rbp),%eax
add    $0xa,%eax
mov    %eax,-0x4(%rbp)
jmp    114b <test_switch+0x1b>
movb   $0x61,-0x5(%rbp)
movsbl -0x5(%rbp),%eax
cmp    $0x6a,%eax
jg     14e7 <test_switch+0x3b7>
movsbl -0x5(%rbp),%eax
add    $0xffffff9f,%eax
mov    %eax,%ecx
mov    %rcx,-0x18(%rbp)
sub    $0x9,%eax
ja     14a1 <test_switch+0x371>
mov    -0x18(%rbp),%rax
lea    0xcda(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
movsbl -0x5(%rbp),%eax
cmp    $0x61,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe63(%rip),%rsi
mov    $0xe7,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x62,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe3e(%rip),%rsi
mov    $0xea,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x63,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xe19(%rip),%rsi
mov    $0xed,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x64,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xdf4(%rip),%rsi
mov    $0xf0,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x65,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xdcf(%rip),%rsi
mov    $0xf3,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x66,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xdaa(%rip),%rsi
mov    $0xf6,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x67,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd85(%rip),%rsi
mov    $0xf9,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x68,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd60(%rip),%rsi
mov    $0xfc,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x69,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd3b(%rip),%rsi
mov    $0xff,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
movsbl -0x5(%rbp),%eax
cmp    $0x6a,%eax
sete   %al
and    $0x1,%al
movzbl %al,%edi
lea    0xd16(%rip),%rsi
mov    $0x102,%edx
call   1050 <_assert@plt>
jmp    14d5 <test_switch+0x3a5>
lea    0xd92(%rip),%rdi
call   1040 <puts@plt>
movsbl -0x5(%rbp),%edi
call   1030 <putchar@plt>
lea    0xce9(%rip),%rdi
call   1040 <puts@plt>
xor    %edi,%edi
lea    0xcdd(%rip),%rsi
mov    $0x109,%edx
call   1050 <_assert@plt>
jmp    14da <test_switch+0x3aa>
mov    -0x5(%rbp),%al
add    $0x1,%al
mov    %al,-0x5(%rbp)
jmp    12f8 <test_switch+0x1c8>
add    $0x20,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_switch>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
lea    0x1054(%rip),%rdi
call   1040 <puts@plt>
mov    $0xfffffff6,%ebx
lea    0x1057(%rip),%r14
lea    0xea8(%rip),%r15
jmp    117e <test_switch+0x4e>
xor    %edi,%edi
mov    %r14,%rsi
mov    $0xdd,%edx
cs nopw 0x0(%rax,%rax,1)
xchg   %ax,%ax
call   1050 <_assert@plt>
cmp    $0x5a,%ebx
jae    1235 <test_switch+0x105>
add    $0xa,%ebx
cmp    $0x5a,%ebx
ja     115a <test_switch+0x2a>
movslq (%r15,%rbx,4),%rax
add    %r15,%rax
jmp    *%rax
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xbe,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xc1,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xc4,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xc7,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xca,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xcd,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xd0,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xd3,%edx
jmp    1170 <test_switch+0x40>
mov    $0x1,%edi
mov    %r14,%rsi
mov    $0xd6,%edx
jmp    1170 <test_switch+0x40>
lea    0xf82(%rip),%rsi
mov    $0x1,%edi
mov    $0xd9,%edx
call   1050 <_assert@plt>
mov    $0x61,%bl
lea    0xffc(%rip),%r14
lea    0xf61(%rip),%r15
lea    0xf5c(%rip),%r12
lea    0xf19(%rip),%r13
jmp    1278 <test_switch+0x148>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xe7,%edx
cs nopw 0x0(%rax,%rax,1)
nopl   0x0(%rax)
call   1050 <_assert@plt>
add    $0x1,%bl
lea    -0x61(%rbx),%eax
cmp    $0x9,%al
ja     129b <test_switch+0x16b>
movzbl %al,%eax
movslq 0x0(%r13,%rax,4),%rax
add    %r13,%rax
jmp    *%rax
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xea,%edx
jmp    1270 <test_switch+0x140>
mov    %r14,%rdi
call   1040 <puts@plt>
movsbl %bl,%edi
call   1030 <putchar@plt>
mov    %r15,%rdi
call   1040 <puts@plt>
xor    %edi,%edi
mov    %r12,%rsi
mov    $0x109,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xed,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xf0,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xf3,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xf6,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xf9,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xfc,%edx
jmp    1270 <test_switch+0x140>
mov    $0x1,%edi
mov    %r12,%rsi
mov    $0xff,%edx
jmp    1270 <test_switch+0x140>
lea    0xe6d(%rip),%rsi
mov    $0x1,%edi
mov    $0x102,%edx
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
jmp    1050 <_assert@plt>

LLVM IR (-O0):
@.str = [20 x i8] c"--- testing switch\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
@.str.2 = [29 x i8] c"switch failed on character: \00"
@.str.3 = [2 x i8] c"\0A\00"
define void @test_switch() {
%1 = alloca i32
%2 = alloca i8
%3 = call i32 @puts(i8* getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0))
store i32 0, i32* %1
br label %4
4: ; preds = %62, %0
%5 = load i32, i32* %1
%6 = icmp slt i32 %5, 100
br i1 %6, label %7, label %65
7: ; preds = %4
%8 = load i32, i32* %1
switch i32 %8, label %59 [
i32 0, label %9
i32 10, label %14
i32 20, label %19
i32 30, label %24
i32 40, label %29
i32 50, label %34
i32 60, label %39
i32 70, label %44
i32 80, label %49
i32 90, label %54
]
9: ; preds = %7
%10 = load i32, i32* %1
%11 = icmp eq i32 %10, 0
%12 = zext i1 %11 to i32
%13 = call i32 @_assert(i32 %12, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 190)
br label %61
14: ; preds = %7
%15 = load i32, i32* %1
%16 = icmp eq i32 %15, 10
%17 = zext i1 %16 to i32
%18 = call i32 @_assert(i32 %17, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 193)
br label %61
19: ; preds = %7
%20 = load i32, i32* %1
%21 = icmp eq i32 %20, 20
%22 = zext i1 %21 to i32
%23 = call i32 @_assert(i32 %22, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 196)
br label %61
24: ; preds = %7
%25 = load i32, i32* %1
%26 = icmp eq i32 %25, 30
%27 = zext i1 %26 to i32
%28 = call i32 @_assert(i32 %27, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 199)
br label %61
29: ; preds = %7
%30 = load i32, i32* %1
%31 = icmp eq i32 %30, 40
%32 = zext i1 %31 to i32
%33 = call i32 @_assert(i32 %32, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 202)
br label %61
34: ; preds = %7
%35 = load i32, i32* %1
%36 = icmp eq i32 %35, 50
%37 = zext i1 %36 to i32
%38 = call i32 @_assert(i32 %37, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 205)
br label %61
39: ; preds = %7
%40 = load i32, i32* %1
%41 = icmp eq i32 %40, 60
%42 = zext i1 %41 to i32
%43 = call i32 @_assert(i32 %42, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 208)
br label %61
44: ; preds = %7
%45 = load i32, i32* %1
%46 = icmp eq i32 %45, 70
%47 = zext i1 %46 to i32
%48 = call i32 @_assert(i32 %47, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 211)
br label %61
49: ; preds = %7
%50 = load i32, i32* %1
%51 = icmp eq i32 %50, 80
%52 = zext i1 %51 to i32
%53 = call i32 @_assert(i32 %52, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 214)
br label %61
54: ; preds = %7
%55 = load i32, i32* %1
%56 = icmp eq i32 %55, 90
%57 = zext i1 %56 to i32
%58 = call i32 @_assert(i32 %57, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 217)
br label %61
59: ; preds = %7
%60 = call i32 @_assert(i32 0, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 221)
br label %61
61: ; preds = %59, %54, %49, %44, %39, %34, %29, %24, %19, %14, %9
br label %62
62: ; preds = %61
%63 = load i32, i32* %1
%64 = add nsw i32 %63, 10
store i32 %64, i32* %1
br label %4
65: ; preds = %4
store i8 97, i8* %2
br label %66
66: ; preds = %140, %65
%67 = load i8, i8* %2
%68 = sext i8 %67 to i32
%69 = icmp sle i32 %68, 106
br i1 %69, label %70, label %143
70: ; preds = %66
%71 = load i8, i8* %2
%72 = sext i8 %71 to i32
switch i32 %72, label %133 [
i32 97, label %73
i32 98, label %79
i32 99, label %85
i32 100, label %91
i32 101, label %97
i32 102, label %103
i32 103, label %109
i32 104, label %115
i32 105, label %121
i32 106, label %127
]
73: ; preds = %70
%74 = load i8, i8* %2
%75 = sext i8 %74 to i32
%76 = icmp eq i32 %75, 97
%77 = zext i1 %76 to i32
%78 = call i32 @_assert(i32 %77, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 231)
br label %139
79: ; preds = %70
%80 = load i8, i8* %2
%81 = sext i8 %80 to i32
%82 = icmp eq i32 %81, 98
%83 = zext i1 %82 to i32
%84 = call i32 @_assert(i32 %83, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 234)
br label %139
85: ; preds = %70
%86 = load i8, i8* %2
%87 = sext i8 %86 to i32
%88 = icmp eq i32 %87, 99
%89 = zext i1 %88 to i32
%90 = call i32 @_assert(i32 %89, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 237)
br label %139
91: ; preds = %70
%92 = load i8, i8* %2
%93 = sext i8 %92 to i32
%94 = icmp eq i32 %93, 100
%95 = zext i1 %94 to i32
%96 = call i32 @_assert(i32 %95, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 240)
br label %139
97: ; preds = %70
%98 = load i8, i8* %2
%99 = sext i8 %98 to i32
%100 = icmp eq i32 %99, 101
%101 = zext i1 %100 to i32
%102 = call i32 @_assert(i32 %101, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 243)
br label %139
103: ; preds = %70
%104 = load i8, i8* %2
%105 = sext i8 %104 to i32
%106 = icmp eq i32 %105, 102
%107 = zext i1 %106 to i32
%108 = call i32 @_assert(i32 %107, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 246)
br label %139
109: ; preds = %70
%110 = load i8, i8* %2
%111 = sext i8 %110 to i32
%112 = icmp eq i32 %111, 103
%113 = zext i1 %112 to i32
%114 = call i32 @_assert(i32 %113, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 249)
br label %139
115: ; preds = %70
%116 = load i8, i8* %2
%117 = sext i8 %116 to i32
%118 = icmp eq i32 %117, 104
%119 = zext i1 %118 to i32
%120 = call i32 @_assert(i32 %119, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 252)
br label %139
121: ; preds = %70
%122 = load i8, i8* %2
%123 = sext i8 %122 to i32
%124 = icmp eq i32 %123, 105
%125 = zext i1 %124 to i32
%126 = call i32 @_assert(i32 %125, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 255)
br label %139
127: ; preds = %70
%128 = load i8, i8* %2
%129 = sext i8 %128 to i32
%130 = icmp eq i32 %129, 106
%131 = zext i1 %130 to i32
%132 = call i32 @_assert(i32 %131, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 258)
br label %139
133: ; preds = %70
%134 = call i32 @puts(i8* getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i64 0, i64 0))
%135 = load i8, i8* %2
%136 = call i32 @putchar(i8 signext %135)
%137 = call i32 @puts(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%138 = call i32 @_assert(i32 0, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 265)
br label %139
139: ; preds = %133, %127, %121, %115, %109, %103, %97, %91, %85, %79, %73
br label %140
140: ; preds = %139
%141 = load i8, i8* %2
%142 = add i8 %141, 1
store i8 %142, i8* %2
br label %66
143: ; preds = %66
ret void
}

LLVM IR (-O2):
@.str = [20 x i8] c"--- testing switch\0A\00"
@.str.1 = [146 x i8] c"/scratch/repos/new/home/jordi_armengol_estape/c-scraper/outputs/2022-01-22/02-19-57/repos/BSVC/bsvc/refs/heads/master/samples/m68360/gdb7/test7.c\00"
@.str.2 = [29 x i8] c"switch failed on character: \00"
@.str.3 = [2 x i8] c"\0A\00"
define void @test_switch() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([20 x i8], [20 x i8]* @.str, i64 0, i64 0))
br label %2
2: ; preds = %0, %26
%3 = phi i32 [ 0, %0 ], [ %27, %26 ]
switch i32 %3, label %24 [
i32 0, label %4
i32 10, label %6
i32 20, label %8
i32 30, label %10
i32 40, label %12
i32 50, label %14
i32 60, label %16
i32 70, label %18
i32 80, label %20
i32 90, label %22
]
4: ; preds = %2
%5 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 190)
br label %26
6: ; preds = %2
%7 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 193)
br label %26
8: ; preds = %2
%9 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 196)
br label %26
10: ; preds = %2
%11 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 199)
br label %26
12: ; preds = %2
%13 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 202)
br label %26
14: ; preds = %2
%15 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 205)
br label %26
16: ; preds = %2
%17 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 208)
br label %26
18: ; preds = %2
%19 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 211)
br label %26
20: ; preds = %2
%21 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 214)
br label %26
22: ; preds = %2
%23 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 217)
br label %29
24: ; preds = %2
%25 = tail call i32 @_assert(i32 0, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 221)
br label %26
26: ; preds = %4, %6, %8, %10, %12, %14, %16, %18, %20, %24
%27 = add nuw nsw i32 %3, 10
%28 = icmp ult i32 %3, 90
br i1 %28, label %2, label %29
29: ; preds = %26, %22
br label %30
30: ; preds = %29, %55
%31 = phi i8 [ %56, %55 ], [ 97, %29 ]
switch i8 %31, label %50 [
i8 97, label %32
i8 98, label %34
i8 99, label %36
i8 100, label %38
i8 101, label %40
i8 102, label %42
i8 103, label %44
i8 104, label %46
i8 105, label %48
i8 106, label %57
]
32: ; preds = %30
%33 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 231)
br label %55
34: ; preds = %30
%35 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 234)
br label %55
36: ; preds = %30
%37 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 237)
br label %55
38: ; preds = %30
%39 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 240)
br label %55
40: ; preds = %30
%41 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 243)
br label %55
42: ; preds = %30
%43 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 246)
br label %55
44: ; preds = %30
%45 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 249)
br label %55
46: ; preds = %30
%47 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 252)
br label %55
48: ; preds = %30
%49 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 255)
br label %55
50: ; preds = %30
%51 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([29 x i8], [29 x i8]* @.str.2, i64 0, i64 0))
%52 = tail call i32 @putchar(i8 signext %31)
%53 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([2 x i8], [2 x i8]* @.str.3, i64 0, i64 0))
%54 = tail call i32 @_assert(i32 0, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 265)
br label %55
55: ; preds = %32, %34, %36, %38, %40, %42, %44, %46, %48, %50
%56 = add nuw nsw i8 %31, 1
br label %30
57: ; preds = %30
%58 = tail call i32 @_assert(i32 1, i8* getelementptr inbounds ([146 x i8], [146 x i8]* @.str.1, i64 0, i64 0), i32 258)
ret void
}