int position_escalier(int num_fils, int *positionjoueur, int resultatde) {
  int nouvelleP;
  nouvelleP = *positionjoueur;
  switch (num_fils) {
  case 1:
    if (*positionjoueur == 56 && resultatde == 1)
      nouvelleP = 57;
    if (*positionjoueur == 57 && resultatde == 2)
      nouvelleP = 58;
    if (*positionjoueur == 58 && resultatde == 3)
      nouvelleP = 59;
    if (*positionjoueur == 59 && resultatde == 4)
      nouvelleP = 60;
    if (*positionjoueur == 60 && resultatde == 5)
      nouvelleP = 61;
    if (*positionjoueur == 61 && resultatde == 6)
      nouvelleP = 61;
    break;
  case 2:
    if (*positionjoueur == 14 && resultatde == 1)
      nouvelleP = 63;
    if (*positionjoueur == 63 && resultatde == 2)
      nouvelleP = 64;
    if (*positionjoueur == 64 && resultatde == 3)
      nouvelleP = 65;
    if (*positionjoueur == 65 && resultatde == 4)
      nouvelleP = 66;
    if (*positionjoueur == 66 && resultatde == 5)
      nouvelleP = 67;
    if (*positionjoueur == 67 && resultatde == 6)
      nouvelleP = 68;
    break;
  case 3:
    if (*positionjoueur == 28 && resultatde == 1)
      nouvelleP = 69;
    if (*positionjoueur == 69 && resultatde == 2)
      nouvelleP = 70;
    if (*positionjoueur == 70 && resultatde == 3)
      nouvelleP = 71;
    if (*positionjoueur == 71 && resultatde == 4)
      nouvelleP = 72;
    if (*positionjoueur == 72 && resultatde == 5)
      nouvelleP = 73;
    if (*positionjoueur == 73 && resultatde == 6)
      nouvelleP = 74;
    break;
  case 4:
    if (*positionjoueur == 42 && resultatde == 1)
      nouvelleP = 75;
    if (*positionjoueur == 75 && resultatde == 2)
      nouvelleP = 76;
    if (*positionjoueur == 76 && resultatde == 3)
      nouvelleP = 77;
    if (*positionjoueur == 77 && resultatde == 4)
      nouvelleP = 78;
    if (*positionjoueur == 78 && resultatde == 5)
      nouvelleP = 79;
    if (*positionjoueur == 79 && resultatde == 6)
      nouvelleP = 80;
    break;
  }
  return nouvelleP;
}


x86 assembly (clang, -O0):
<position_escalier>:
push   %rbp
mov    %rsp,%rbp
mov    %edi,-0x4(%rbp)
mov    %rsi,-0x10(%rbp)
mov    %edx,-0x14(%rbp)
mov    -0x10(%rbp),%rax
mov    (%rax),%eax
mov    %eax,-0x18(%rbp)
mov    -0x4(%rbp),%eax
add    $0xffffffff,%eax
mov    %eax,%ecx
mov    %rcx,-0x20(%rbp)
sub    $0x3,%eax
ja     1424 <position_escalier+0x324>
mov    -0x20(%rbp),%rax
lea    0xec9(%rip),%rcx
movslq (%rcx,%rax,4),%rax
add    %rcx,%rax
jmp    *%rax
mov    -0x10(%rbp),%rax
cmpl   $0x38,(%rax)
jne    115e <position_escalier+0x5e>
cmpl   $0x1,-0x14(%rbp)
jne    115e <position_escalier+0x5e>
movl   $0x39,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x39,(%rax)
jne    117c <position_escalier+0x7c>
cmpl   $0x2,-0x14(%rbp)
jne    117c <position_escalier+0x7c>
movl   $0x3a,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x3a,(%rax)
jne    119a <position_escalier+0x9a>
cmpl   $0x3,-0x14(%rbp)
jne    119a <position_escalier+0x9a>
movl   $0x3b,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x3b,(%rax)
jne    11b8 <position_escalier+0xb8>
cmpl   $0x4,-0x14(%rbp)
jne    11b8 <position_escalier+0xb8>
movl   $0x3c,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x3c,(%rax)
jne    11d6 <position_escalier+0xd6>
cmpl   $0x5,-0x14(%rbp)
jne    11d6 <position_escalier+0xd6>
movl   $0x3d,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x3d,(%rax)
jne    11f4 <position_escalier+0xf4>
cmpl   $0x6,-0x14(%rbp)
jne    11f4 <position_escalier+0xf4>
movl   $0x3d,-0x18(%rbp)
jmp    1424 <position_escalier+0x324>
mov    -0x10(%rbp),%rax
cmpl   $0xe,(%rax)
jne    1217 <position_escalier+0x117>
cmpl   $0x1,-0x14(%rbp)
jne    1217 <position_escalier+0x117>
movl   $0x3f,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x3f,(%rax)
jne    1235 <position_escalier+0x135>
cmpl   $0x2,-0x14(%rbp)
jne    1235 <position_escalier+0x135>
movl   $0x40,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x40,(%rax)
jne    1253 <position_escalier+0x153>
cmpl   $0x3,-0x14(%rbp)
jne    1253 <position_escalier+0x153>
movl   $0x41,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x41,(%rax)
jne    1271 <position_escalier+0x171>
cmpl   $0x4,-0x14(%rbp)
jne    1271 <position_escalier+0x171>
movl   $0x42,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x42,(%rax)
jne    128f <position_escalier+0x18f>
cmpl   $0x5,-0x14(%rbp)
jne    128f <position_escalier+0x18f>
movl   $0x43,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x43,(%rax)
jne    12ad <position_escalier+0x1ad>
cmpl   $0x6,-0x14(%rbp)
jne    12ad <position_escalier+0x1ad>
movl   $0x44,-0x18(%rbp)
jmp    1424 <position_escalier+0x324>
mov    -0x10(%rbp),%rax
cmpl   $0x1c,(%rax)
jne    12d0 <position_escalier+0x1d0>
cmpl   $0x1,-0x14(%rbp)
jne    12d0 <position_escalier+0x1d0>
movl   $0x45,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x45,(%rax)
jne    12ee <position_escalier+0x1ee>
cmpl   $0x2,-0x14(%rbp)
jne    12ee <position_escalier+0x1ee>
movl   $0x46,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x46,(%rax)
jne    130c <position_escalier+0x20c>
cmpl   $0x3,-0x14(%rbp)
jne    130c <position_escalier+0x20c>
movl   $0x47,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x47,(%rax)
jne    132a <position_escalier+0x22a>
cmpl   $0x4,-0x14(%rbp)
jne    132a <position_escalier+0x22a>
movl   $0x48,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x48,(%rax)
jne    1348 <position_escalier+0x248>
cmpl   $0x5,-0x14(%rbp)
jne    1348 <position_escalier+0x248>
movl   $0x49,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x49,(%rax)
jne    1366 <position_escalier+0x266>
cmpl   $0x6,-0x14(%rbp)
jne    1366 <position_escalier+0x266>
movl   $0x4a,-0x18(%rbp)
jmp    1424 <position_escalier+0x324>
mov    -0x10(%rbp),%rax
cmpl   $0x2a,(%rax)
jne    1389 <position_escalier+0x289>
cmpl   $0x1,-0x14(%rbp)
jne    1389 <position_escalier+0x289>
movl   $0x4b,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x4b,(%rax)
jne    13a7 <position_escalier+0x2a7>
cmpl   $0x2,-0x14(%rbp)
jne    13a7 <position_escalier+0x2a7>
movl   $0x4c,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x4c,(%rax)
jne    13c5 <position_escalier+0x2c5>
cmpl   $0x3,-0x14(%rbp)
jne    13c5 <position_escalier+0x2c5>
movl   $0x4d,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x4d,(%rax)
jne    13e3 <position_escalier+0x2e3>
cmpl   $0x4,-0x14(%rbp)
jne    13e3 <position_escalier+0x2e3>
movl   $0x4e,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x4e,(%rax)
jne    1401 <position_escalier+0x301>
cmpl   $0x5,-0x14(%rbp)
jne    1401 <position_escalier+0x301>
movl   $0x4f,-0x18(%rbp)
mov    -0x10(%rbp),%rax
cmpl   $0x4f,(%rax)
jne    141f <position_escalier+0x31f>
cmpl   $0x6,-0x14(%rbp)
jne    141f <position_escalier+0x31f>
movl   $0x50,-0x18(%rbp)
jmp    1424 <position_escalier+0x324>
mov    -0x18(%rbp),%eax
pop    %rbp
ret

x86 assembly (clang, -O2):
<position_escalier>:
mov    (%rsi),%eax
add    $0xffffffff,%edi
cmp    $0x3,%edi
ja     12ed <position_escalier+0x1ed>
lea    0xeeb(%rip),%rcx
movslq (%rcx,%rdi,4),%rsi
add    %rcx,%rsi
jmp    *%rsi
mov    %eax,%ecx
xor    $0x38,%ecx
mov    %edx,%esi
xor    $0x1,%esi
or     %ecx,%esi
mov    $0x39,%ecx
cmovne %eax,%ecx
mov    %eax,%esi
xor    $0x39,%esi
mov    %edx,%edi
xor    $0x2,%edi
or     %esi,%edi
mov    $0x3a,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x3a,%ecx
mov    %edx,%edi
xor    $0x3,%edi
or     %ecx,%edi
mov    $0x3b,%ecx
cmovne %esi,%ecx
mov    %eax,%esi
xor    $0x3b,%esi
mov    %edx,%edi
xor    $0x4,%edi
or     %esi,%edi
mov    $0x3c,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x3c,%ecx
mov    %edx,%edi
xor    $0x5,%edi
xor    $0x3d,%eax
xor    $0x6,%edx
or     %ecx,%edi
mov    $0x3d,%ecx
cmove  %ecx,%esi
or     %eax,%edx
cmove  %ecx,%esi
mov    %esi,%eax
ret
mov    %eax,%ecx
xor    $0xe,%ecx
mov    %edx,%esi
xor    $0x1,%esi
or     %ecx,%esi
mov    $0x3f,%ecx
cmovne %eax,%ecx
mov    %eax,%esi
xor    $0x3f,%esi
mov    %edx,%edi
xor    $0x2,%edi
or     %esi,%edi
mov    $0x40,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x40,%ecx
mov    %edx,%edi
xor    $0x3,%edi
or     %ecx,%edi
mov    $0x41,%ecx
cmovne %esi,%ecx
mov    %eax,%esi
xor    $0x41,%esi
mov    %edx,%edi
xor    $0x4,%edi
or     %esi,%edi
mov    $0x42,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x42,%ecx
mov    %edx,%edi
xor    $0x5,%edi
or     %ecx,%edi
mov    $0x43,%ecx
cmovne %esi,%ecx
xor    $0x43,%eax
xor    $0x6,%edx
or     %eax,%edx
mov    $0x44,%eax
jmp    12ea <position_escalier+0x1ea>
mov    %eax,%ecx
xor    $0x1c,%ecx
mov    %edx,%esi
xor    $0x1,%esi
or     %ecx,%esi
mov    $0x45,%ecx
cmovne %eax,%ecx
mov    %eax,%esi
xor    $0x45,%esi
mov    %edx,%edi
xor    $0x2,%edi
or     %esi,%edi
mov    $0x46,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x46,%ecx
mov    %edx,%edi
xor    $0x3,%edi
or     %ecx,%edi
mov    $0x47,%ecx
cmovne %esi,%ecx
mov    %eax,%esi
xor    $0x47,%esi
mov    %edx,%edi
xor    $0x4,%edi
or     %esi,%edi
mov    $0x48,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x48,%ecx
mov    %edx,%edi
xor    $0x5,%edi
or     %ecx,%edi
mov    $0x49,%ecx
cmovne %esi,%ecx
xor    $0x49,%eax
xor    $0x6,%edx
or     %eax,%edx
mov    $0x4a,%eax
jmp    12ea <position_escalier+0x1ea>
mov    %eax,%ecx
xor    $0x2a,%ecx
mov    %edx,%esi
xor    $0x1,%esi
or     %ecx,%esi
mov    $0x4b,%ecx
cmovne %eax,%ecx
mov    %eax,%esi
xor    $0x4b,%esi
mov    %edx,%edi
xor    $0x2,%edi
or     %esi,%edi
mov    $0x4c,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x4c,%ecx
mov    %edx,%edi
xor    $0x3,%edi
or     %ecx,%edi
mov    $0x4d,%ecx
cmovne %esi,%ecx
mov    %eax,%esi
xor    $0x4d,%esi
mov    %edx,%edi
xor    $0x4,%edi
or     %esi,%edi
mov    $0x4e,%esi
cmovne %ecx,%esi
mov    %eax,%ecx
xor    $0x4e,%ecx
mov    %edx,%edi
xor    $0x5,%edi
or     %ecx,%edi
mov    $0x4f,%ecx
cmovne %esi,%ecx
xor    $0x4f,%eax
xor    $0x6,%edx
or     %eax,%edx
mov    $0x50,%eax
cmovne %ecx,%eax
ret

LLVM IR (-O0):
define i32 @position_escalier(i32 %0, i32* %1, i32 %2) {
%4 = alloca i32
%5 = alloca i32*
%6 = alloca i32
%7 = alloca i32
store i32 %0, i32* %4
store i32* %1, i32** %5
store i32 %2, i32* %6
%8 = load i32*, i32** %5
%9 = load i32, i32* %8
store i32 %9, i32* %7
%10 = load i32, i32* %4
switch i32 %10, label %207 [
i32 1, label %11
i32 2, label %60
i32 3, label %109
i32 4, label %158
]
11: ; preds = %3
%12 = load i32*, i32** %5
%13 = load i32, i32* %12
%14 = icmp eq i32 %13, 56
br i1 %14, label %15, label %19
15: ; preds = %11
%16 = load i32, i32* %6
%17 = icmp eq i32 %16, 1
br i1 %17, label %18, label %19
18: ; preds = %15
store i32 57, i32* %7
br label %19
19: ; preds = %18, %15, %11
%20 = load i32*, i32** %5
%21 = load i32, i32* %20
%22 = icmp eq i32 %21, 57
br i1 %22, label %23, label %27
23: ; preds = %19
%24 = load i32, i32* %6
%25 = icmp eq i32 %24, 2
br i1 %25, label %26, label %27
26: ; preds = %23
store i32 58, i32* %7
br label %27
27: ; preds = %26, %23, %19
%28 = load i32*, i32** %5
%29 = load i32, i32* %28
%30 = icmp eq i32 %29, 58
br i1 %30, label %31, label %35
31: ; preds = %27
%32 = load i32, i32* %6
%33 = icmp eq i32 %32, 3
br i1 %33, label %34, label %35
34: ; preds = %31
store i32 59, i32* %7
br label %35
35: ; preds = %34, %31, %27
%36 = load i32*, i32** %5
%37 = load i32, i32* %36
%38 = icmp eq i32 %37, 59
br i1 %38, label %39, label %43
39: ; preds = %35
%40 = load i32, i32* %6
%41 = icmp eq i32 %40, 4
br i1 %41, label %42, label %43
42: ; preds = %39
store i32 60, i32* %7
br label %43
43: ; preds = %42, %39, %35
%44 = load i32*, i32** %5
%45 = load i32, i32* %44
%46 = icmp eq i32 %45, 60
br i1 %46, label %47, label %51
47: ; preds = %43
%48 = load i32, i32* %6
%49 = icmp eq i32 %48, 5
br i1 %49, label %50, label %51
50: ; preds = %47
store i32 61, i32* %7
br label %51
51: ; preds = %50, %47, %43
%52 = load i32*, i32** %5
%53 = load i32, i32* %52
%54 = icmp eq i32 %53, 61
br i1 %54, label %55, label %59
55: ; preds = %51
%56 = load i32, i32* %6
%57 = icmp eq i32 %56, 6
br i1 %57, label %58, label %59
58: ; preds = %55
store i32 61, i32* %7
br label %59
59: ; preds = %58, %55, %51
br label %207
60: ; preds = %3
%61 = load i32*, i32** %5
%62 = load i32, i32* %61
%63 = icmp eq i32 %62, 14
br i1 %63, label %64, label %68
64: ; preds = %60
%65 = load i32, i32* %6
%66 = icmp eq i32 %65, 1
br i1 %66, label %67, label %68
67: ; preds = %64
store i32 63, i32* %7
br label %68
68: ; preds = %67, %64, %60
%69 = load i32*, i32** %5
%70 = load i32, i32* %69
%71 = icmp eq i32 %70, 63
br i1 %71, label %72, label %76
72: ; preds = %68
%73 = load i32, i32* %6
%74 = icmp eq i32 %73, 2
br i1 %74, label %75, label %76
75: ; preds = %72
store i32 64, i32* %7
br label %76
76: ; preds = %75, %72, %68
%77 = load i32*, i32** %5
%78 = load i32, i32* %77
%79 = icmp eq i32 %78, 64
br i1 %79, label %80, label %84
80: ; preds = %76
%81 = load i32, i32* %6
%82 = icmp eq i32 %81, 3
br i1 %82, label %83, label %84
83: ; preds = %80
store i32 65, i32* %7
br label %84
84: ; preds = %83, %80, %76
%85 = load i32*, i32** %5
%86 = load i32, i32* %85
%87 = icmp eq i32 %86, 65
br i1 %87, label %88, label %92
88: ; preds = %84
%89 = load i32, i32* %6
%90 = icmp eq i32 %89, 4
br i1 %90, label %91, label %92
91: ; preds = %88
store i32 66, i32* %7
br label %92
92: ; preds = %91, %88, %84
%93 = load i32*, i32** %5
%94 = load i32, i32* %93
%95 = icmp eq i32 %94, 66
br i1 %95, label %96, label %100
96: ; preds = %92
%97 = load i32, i32* %6
%98 = icmp eq i32 %97, 5
br i1 %98, label %99, label %100
99: ; preds = %96
store i32 67, i32* %7
br label %100
100: ; preds = %99, %96, %92
%101 = load i32*, i32** %5
%102 = load i32, i32* %101
%103 = icmp eq i32 %102, 67
br i1 %103, label %104, label %108
104: ; preds = %100
%105 = load i32, i32* %6
%106 = icmp eq i32 %105, 6
br i1 %106, label %107, label %108
107: ; preds = %104
store i32 68, i32* %7
br label %108
108: ; preds = %107, %104, %100
br label %207
109: ; preds = %3
%110 = load i32*, i32** %5
%111 = load i32, i32* %110
%112 = icmp eq i32 %111, 28
br i1 %112, label %113, label %117
113: ; preds = %109
%114 = load i32, i32* %6
%115 = icmp eq i32 %114, 1
br i1 %115, label %116, label %117
116: ; preds = %113
store i32 69, i32* %7
br label %117
117: ; preds = %116, %113, %109
%118 = load i32*, i32** %5
%119 = load i32, i32* %118
%120 = icmp eq i32 %119, 69
br i1 %120, label %121, label %125
121: ; preds = %117
%122 = load i32, i32* %6
%123 = icmp eq i32 %122, 2
br i1 %123, label %124, label %125
124: ; preds = %121
store i32 70, i32* %7
br label %125
125: ; preds = %124, %121, %117
%126 = load i32*, i32** %5
%127 = load i32, i32* %126
%128 = icmp eq i32 %127, 70
br i1 %128, label %129, label %133
129: ; preds = %125
%130 = load i32, i32* %6
%131 = icmp eq i32 %130, 3
br i1 %131, label %132, label %133
132: ; preds = %129
store i32 71, i32* %7
br label %133
133: ; preds = %132, %129, %125
%134 = load i32*, i32** %5
%135 = load i32, i32* %134
%136 = icmp eq i32 %135, 71
br i1 %136, label %137, label %141
137: ; preds = %133
%138 = load i32, i32* %6
%139 = icmp eq i32 %138, 4
br i1 %139, label %140, label %141
140: ; preds = %137
store i32 72, i32* %7
br label %141
141: ; preds = %140, %137, %133
%142 = load i32*, i32** %5
%143 = load i32, i32* %142
%144 = icmp eq i32 %143, 72
br i1 %144, label %145, label %149
145: ; preds = %141
%146 = load i32, i32* %6
%147 = icmp eq i32 %146, 5
br i1 %147, label %148, label %149
148: ; preds = %145
store i32 73, i32* %7
br label %149
149: ; preds = %148, %145, %141
%150 = load i32*, i32** %5
%151 = load i32, i32* %150
%152 = icmp eq i32 %151, 73
br i1 %152, label %153, label %157
153: ; preds = %149
%154 = load i32, i32* %6
%155 = icmp eq i32 %154, 6
br i1 %155, label %156, label %157
156: ; preds = %153
store i32 74, i32* %7
br label %157
157: ; preds = %156, %153, %149
br label %207
158: ; preds = %3
%159 = load i32*, i32** %5
%160 = load i32, i32* %159
%161 = icmp eq i32 %160, 42
br i1 %161, label %162, label %166
162: ; preds = %158
%163 = load i32, i32* %6
%164 = icmp eq i32 %163, 1
br i1 %164, label %165, label %166
165: ; preds = %162
store i32 75, i32* %7
br label %166
166: ; preds = %165, %162, %158
%167 = load i32*, i32** %5
%168 = load i32, i32* %167
%169 = icmp eq i32 %168, 75
br i1 %169, label %170, label %174
170: ; preds = %166
%171 = load i32, i32* %6
%172 = icmp eq i32 %171, 2
br i1 %172, label %173, label %174
173: ; preds = %170
store i32 76, i32* %7
br label %174
174: ; preds = %173, %170, %166
%175 = load i32*, i32** %5
%176 = load i32, i32* %175
%177 = icmp eq i32 %176, 76
br i1 %177, label %178, label %182
178: ; preds = %174
%179 = load i32, i32* %6
%180 = icmp eq i32 %179, 3
br i1 %180, label %181, label %182
181: ; preds = %178
store i32 77, i32* %7
br label %182
182: ; preds = %181, %178, %174
%183 = load i32*, i32** %5
%184 = load i32, i32* %183
%185 = icmp eq i32 %184, 77
br i1 %185, label %186, label %190
186: ; preds = %182
%187 = load i32, i32* %6
%188 = icmp eq i32 %187, 4
br i1 %188, label %189, label %190
189: ; preds = %186
store i32 78, i32* %7
br label %190
190: ; preds = %189, %186, %182
%191 = load i32*, i32** %5
%192 = load i32, i32* %191
%193 = icmp eq i32 %192, 78
br i1 %193, label %194, label %198
194: ; preds = %190
%195 = load i32, i32* %6
%196 = icmp eq i32 %195, 5
br i1 %196, label %197, label %198
197: ; preds = %194
store i32 79, i32* %7
br label %198
198: ; preds = %197, %194, %190
%199 = load i32*, i32** %5
%200 = load i32, i32* %199
%201 = icmp eq i32 %200, 79
br i1 %201, label %202, label %206
202: ; preds = %198
%203 = load i32, i32* %6
%204 = icmp eq i32 %203, 6
br i1 %204, label %205, label %206
205: ; preds = %202
store i32 80, i32* %7
br label %206
206: ; preds = %205, %202, %198
br label %207
207: ; preds = %3, %206, %157, %108, %59
%208 = load i32, i32* %7
ret i32 %208
}

LLVM IR (-O2):
define i32 @position_escalier(i32 %0, i32* %1, i32 %2) {
%4 = load i32, i32* %1
switch i32 %0, label %105 [
i32 1, label %5
i32 2, label %30
i32 3, label %55
i32 4, label %80
]
5: ; preds = %3
%6 = icmp eq i32 %4, 56
%7 = icmp eq i32 %2, 1
%8 = and i1 %7, %6
%9 = select i1 %8, i32 57, i32 %4
%10 = icmp eq i32 %4, 57
%11 = icmp eq i32 %2, 2
%12 = and i1 %11, %10
%13 = select i1 %12, i32 58, i32 %9
%14 = icmp eq i32 %4, 58
%15 = icmp eq i32 %2, 3
%16 = and i1 %15, %14
%17 = select i1 %16, i32 59, i32 %13
%18 = icmp eq i32 %4, 59
%19 = icmp eq i32 %2, 4
%20 = and i1 %19, %18
%21 = select i1 %20, i32 60, i32 %17
%22 = icmp eq i32 %4, 60
%23 = icmp eq i32 %2, 5
%24 = and i1 %23, %22
%25 = icmp eq i32 %4, 61
%26 = icmp eq i32 %2, 6
%27 = and i1 %26, %25
%28 = or i1 %27, %24
%29 = select i1 %28, i32 61, i32 %21
br label %105
30: ; preds = %3
%31 = icmp eq i32 %4, 14
%32 = icmp eq i32 %2, 1
%33 = and i1 %32, %31
%34 = select i1 %33, i32 63, i32 %4
%35 = icmp eq i32 %4, 63
%36 = icmp eq i32 %2, 2
%37 = and i1 %36, %35
%38 = select i1 %37, i32 64, i32 %34
%39 = icmp eq i32 %4, 64
%40 = icmp eq i32 %2, 3
%41 = and i1 %40, %39
%42 = select i1 %41, i32 65, i32 %38
%43 = icmp eq i32 %4, 65
%44 = icmp eq i32 %2, 4
%45 = and i1 %44, %43
%46 = select i1 %45, i32 66, i32 %42
%47 = icmp eq i32 %4, 66
%48 = icmp eq i32 %2, 5
%49 = and i1 %48, %47
%50 = select i1 %49, i32 67, i32 %46
%51 = icmp eq i32 %4, 67
%52 = icmp eq i32 %2, 6
%53 = and i1 %52, %51
%54 = select i1 %53, i32 68, i32 %50
br label %105
55: ; preds = %3
%56 = icmp eq i32 %4, 28
%57 = icmp eq i32 %2, 1
%58 = and i1 %57, %56
%59 = select i1 %58, i32 69, i32 %4
%60 = icmp eq i32 %4, 69
%61 = icmp eq i32 %2, 2
%62 = and i1 %61, %60
%63 = select i1 %62, i32 70, i32 %59
%64 = icmp eq i32 %4, 70
%65 = icmp eq i32 %2, 3
%66 = and i1 %65, %64
%67 = select i1 %66, i32 71, i32 %63
%68 = icmp eq i32 %4, 71
%69 = icmp eq i32 %2, 4
%70 = and i1 %69, %68
%71 = select i1 %70, i32 72, i32 %67
%72 = icmp eq i32 %4, 72
%73 = icmp eq i32 %2, 5
%74 = and i1 %73, %72
%75 = select i1 %74, i32 73, i32 %71
%76 = icmp eq i32 %4, 73
%77 = icmp eq i32 %2, 6
%78 = and i1 %77, %76
%79 = select i1 %78, i32 74, i32 %75
br label %105
80: ; preds = %3
%81 = icmp eq i32 %4, 42
%82 = icmp eq i32 %2, 1
%83 = and i1 %82, %81
%84 = select i1 %83, i32 75, i32 %4
%85 = icmp eq i32 %4, 75
%86 = icmp eq i32 %2, 2
%87 = and i1 %86, %85
%88 = select i1 %87, i32 76, i32 %84
%89 = icmp eq i32 %4, 76
%90 = icmp eq i32 %2, 3
%91 = and i1 %90, %89
%92 = select i1 %91, i32 77, i32 %88
%93 = icmp eq i32 %4, 77
%94 = icmp eq i32 %2, 4
%95 = and i1 %94, %93
%96 = select i1 %95, i32 78, i32 %92
%97 = icmp eq i32 %4, 78
%98 = icmp eq i32 %2, 5
%99 = and i1 %98, %97
%100 = select i1 %99, i32 79, i32 %96
%101 = icmp eq i32 %4, 79
%102 = icmp eq i32 %2, 6
%103 = and i1 %102, %101
%104 = select i1 %103, i32 80, i32 %100
br label %105
105: ; preds = %80, %55, %30, %5, %3
%106 = phi i32 [ %4, %3 ], [ %29, %5 ], [ %54, %30 ], [ %79, %55 ], [ %104, %80 ]
ret i32 %106
}