#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 signed_range(int, int);
int /*<<< orphan*/ sink(int /*<<< orphan*/, ...);
void test_narrow(void) {
  int i = signed_range((1), (2));
  const char *p0 = "12";
  const char *p1 = p0 + i;
  const char *p2 = p1 + i;
  const char *p3 = p2 + i;
  const char *p4 = p3 + i;
  sink(0, p0[-1]);
  sink(0, p0[0]);
  sink(0, p0[1]);
  sink(0, p0[2]);
  sink(0, p0[3]);
  sink(0, &p0[-1]);
  sink(0, &p0[0]);
  sink(0, &p0[1]);
  sink(0, &p0[2]);
  sink(0, &p0[3]);
  sink(0, &p0[4]);
  sink(0, p1[-3]);
  sink(0, p1[-2]);
  sink(0, p1[-1]);
  sink(0, p1[0]);
  sink(0, p1[1]);
  sink(0, p1[2]);
  sink(0, p1[3]);
  sink(0, &p1[-3]);
  sink(0, &p1[-2]);
  sink(0, &p1[-1]);
  sink(0, &p1[0]);
  sink(0, &p1[1]);
  sink(0, &p1[2]);
  sink(0, &p1[3]);
  sink(0, p2[-4]);
  sink(0, p2[-3]);
  sink(0, p2[-2]);
  sink(0, p2[-1]);
  sink(0, p2[0]);
  sink(0, p3[-4]);
  sink(0, p3[-3]);
  sink(0, p3[-2]);
  sink(0, p3[-1]);
  sink(0, p3[0]);
  sink(0, p4[-4]);
  sink(0, p4[-3]);
  sink(0, p4[-2]);
  sink(0, p4[-1]);
  sink(0, p4[0]);
}


x86 assembly (clang, -O0):
<test_narrow>:
push   %rbp
mov    %rsp,%rbp
sub    $0x30,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
call   1030 <signed_range@plt>
mov    %eax,-0x4(%rbp)
lea    0xebf(%rip),%rax
mov    %rax,-0x10(%rbp)
mov    -0x10(%rbp),%rax
movslq -0x4(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
movslq -0x4(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x20(%rbp)
mov    -0x20(%rbp),%rax
movslq -0x4(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x28(%rbp)
mov    -0x28(%rbp),%rax
movslq -0x4(%rbp),%rcx
add    %rcx,%rax
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
movsbl -0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rax
movsbl (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rax
movsbl 0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rax
movsbl 0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rax
movsbl 0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
add    $0xffffffffffffffff,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
add    $0x1,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
add    $0x2,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
add    $0x3,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x10(%rbp),%rsi
add    $0x4,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl -0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl -0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl -0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl 0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl 0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rax
movsbl 0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0xfffffffffffffffd,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0xfffffffffffffffe,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0xffffffffffffffff,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0x1,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0x2,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x18(%rbp),%rsi
add    $0x3,%rsi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x20(%rbp),%rax
movsbl -0x4(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x20(%rbp),%rax
movsbl -0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x20(%rbp),%rax
movsbl -0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x20(%rbp),%rax
movsbl -0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x20(%rbp),%rax
movsbl (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x28(%rbp),%rax
movsbl -0x4(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x28(%rbp),%rax
movsbl -0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x28(%rbp),%rax
movsbl -0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x28(%rbp),%rax
movsbl -0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x28(%rbp),%rax
movsbl (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x30(%rbp),%rax
movsbl -0x4(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x30(%rbp),%rax
movsbl -0x3(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x30(%rbp),%rax
movsbl -0x2(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x30(%rbp),%rax
movsbl -0x1(%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
mov    -0x30(%rbp),%rax
movsbl (%rax),%esi
xor    %edi,%edi
mov    $0x0,%al
call   1040 <sink@plt>
add    $0x30,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test_narrow>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x28,%rsp
mov    $0x1,%edi
mov    $0x2,%esi
call   1030 <signed_range@plt>
movslq %eax,%r13
lea    0xeb9(%rip),%rbx
lea    (%rbx,%r13,1),%r14
lea    (%r14,%r13,1),%rax
mov    %rax,0x18(%rsp)
add    %r13,%rax
mov    %rax,0x20(%rsp)
xor    %edi,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    $0x31,%esi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    $0x32,%esi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
xor    %esi,%esi
xor    %eax,%eax
call   1040 <sink@plt>
lea    0xe5f(%rip),%rsi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    %rbx,%rsi
xor    %eax,%eax
call   1040 <sink@plt>
lea    0xe45(%rip),%rsi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    0xe36(%rip),%rsi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    0xe27(%rip),%rsi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    0xe18(%rip),%rsi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%rax
add    $0xfffffffffffffffd,%rax
mov    %rax,0x10(%rsp)
movsbl -0x3(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%rax
add    $0xfffffffffffffffe,%rax
mov    %rax,0x8(%rsp)
movsbl -0x2(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%rax
add    $0xffffffffffffffff,%rax
mov    %rax,(%rsp)
movsbl -0x1(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl 0x0(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%rbp
add    $0x1,%rbp
movsbl 0x1(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%r15
add    $0x2,%r15
movsbl 0x2(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
lea    (%rbx,%r13,1),%r12
add    $0x3,%r12
movsbl 0x3(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    0x10(%rsp),%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    0x8(%rsp),%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    (%rsp),%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    %r14,%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    %rbp,%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    %r15,%rsi
xor    %eax,%eax
call   1040 <sink@plt>
xor    %edi,%edi
mov    %r12,%rsi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x4(%r13,%r14,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x3(%r13,%r14,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x2(%r13,%r14,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x1(%r13,%r14,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl 0x0(%r13,%r14,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
mov    0x18(%rsp),%rbx
movsbl -0x4(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x3(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x2(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x1(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl 0x0(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
mov    0x20(%rsp),%rbx
movsbl -0x4(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x3(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x2(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl -0x1(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
call   1040 <sink@plt>
movsbl 0x0(%r13,%rbx,1),%esi
xor    %edi,%edi
xor    %eax,%eax
add    $0x28,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <sink@plt>

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

LLVM IR (-O2):
@.str = [3 x i8] c"12\00"
define void @test_narrow() {
%1 = tail call i32 @signed_range(i32 1, i32 2)
%2 = sext i32 %1 to i64
%3 = getelementptr inbounds [3 x i8], [3 x i8]* @.str, i64 0, i64 %2
%4 = getelementptr inbounds i8, i8* %3, i64 %2
%5 = getelementptr inbounds i8, i8* %4, i64 %2
%6 = getelementptr inbounds i8, i8* %5, i64 %2
%7 = tail call i32 (i32, ...) @sink(i32 0, i32 0)
%8 = tail call i32 (i32, ...) @sink(i32 0, i32 49)
%9 = tail call i32 (i32, ...) @sink(i32 0, i32 50)
%10 = tail call i32 (i32, ...) @sink(i32 0, i32 0)
%11 = tail call i32 (i32, ...) @sink(i32 0, i32 0)
%12 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 -1, i64 2))
%13 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 0))
%14 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 1))
%15 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 0, i64 2))
%16 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 1, i64 0))
%17 = tail call i32 (i32, ...) @sink(i32 0, i8* getelementptr inbounds ([3 x i8], [3 x i8]* @.str, i64 1, i64 1))
%18 = getelementptr inbounds i8, i8* %3, i64 -3
%19 = load i8, i8* %18
%20 = sext i8 %19 to i32
%21 = tail call i32 (i32, ...) @sink(i32 0, i32 %20)
%22 = getelementptr inbounds i8, i8* %3, i64 -2
%23 = load i8, i8* %22
%24 = sext i8 %23 to i32
%25 = tail call i32 (i32, ...) @sink(i32 0, i32 %24)
%26 = getelementptr inbounds i8, i8* %3, i64 -1
%27 = load i8, i8* %26
%28 = sext i8 %27 to i32
%29 = tail call i32 (i32, ...) @sink(i32 0, i32 %28)
%30 = load i8, i8* %3
%31 = sext i8 %30 to i32
%32 = tail call i32 (i32, ...) @sink(i32 0, i32 %31)
%33 = getelementptr inbounds i8, i8* %3, i64 1
%34 = load i8, i8* %33
%35 = sext i8 %34 to i32
%36 = tail call i32 (i32, ...) @sink(i32 0, i32 %35)
%37 = getelementptr inbounds i8, i8* %3, i64 2
%38 = load i8, i8* %37
%39 = sext i8 %38 to i32
%40 = tail call i32 (i32, ...) @sink(i32 0, i32 %39)
%41 = getelementptr inbounds i8, i8* %3, i64 3
%42 = load i8, i8* %41
%43 = sext i8 %42 to i32
%44 = tail call i32 (i32, ...) @sink(i32 0, i32 %43)
%45 = tail call i32 (i32, ...) @sink(i32 0, i8* %18)
%46 = tail call i32 (i32, ...) @sink(i32 0, i8* %22)
%47 = tail call i32 (i32, ...) @sink(i32 0, i8* %26)
%48 = tail call i32 (i32, ...) @sink(i32 0, i8* %3)
%49 = tail call i32 (i32, ...) @sink(i32 0, i8* %33)
%50 = tail call i32 (i32, ...) @sink(i32 0, i8* %37)
%51 = tail call i32 (i32, ...) @sink(i32 0, i8* %41)
%52 = getelementptr inbounds i8, i8* %4, i64 -4
%53 = load i8, i8* %52
%54 = sext i8 %53 to i32
%55 = tail call i32 (i32, ...) @sink(i32 0, i32 %54)
%56 = getelementptr inbounds i8, i8* %4, i64 -3
%57 = load i8, i8* %56
%58 = sext i8 %57 to i32
%59 = tail call i32 (i32, ...) @sink(i32 0, i32 %58)
%60 = getelementptr inbounds i8, i8* %4, i64 -2
%61 = load i8, i8* %60
%62 = sext i8 %61 to i32
%63 = tail call i32 (i32, ...) @sink(i32 0, i32 %62)
%64 = getelementptr inbounds i8, i8* %4, i64 -1
%65 = load i8, i8* %64
%66 = sext i8 %65 to i32
%67 = tail call i32 (i32, ...) @sink(i32 0, i32 %66)
%68 = load i8, i8* %4
%69 = sext i8 %68 to i32
%70 = tail call i32 (i32, ...) @sink(i32 0, i32 %69)
%71 = getelementptr inbounds i8, i8* %5, i64 -4
%72 = load i8, i8* %71
%73 = sext i8 %72 to i32
%74 = tail call i32 (i32, ...) @sink(i32 0, i32 %73)
%75 = getelementptr inbounds i8, i8* %5, i64 -3
%76 = load i8, i8* %75
%77 = sext i8 %76 to i32
%78 = tail call i32 (i32, ...) @sink(i32 0, i32 %77)
%79 = getelementptr inbounds i8, i8* %5, i64 -2
%80 = load i8, i8* %79
%81 = sext i8 %80 to i32
%82 = tail call i32 (i32, ...) @sink(i32 0, i32 %81)
%83 = getelementptr inbounds i8, i8* %5, i64 -1
%84 = load i8, i8* %83
%85 = sext i8 %84 to i32
%86 = tail call i32 (i32, ...) @sink(i32 0, i32 %85)
%87 = load i8, i8* %5
%88 = sext i8 %87 to i32
%89 = tail call i32 (i32, ...) @sink(i32 0, i32 %88)
%90 = getelementptr inbounds i8, i8* %6, i64 -4
%91 = load i8, i8* %90
%92 = sext i8 %91 to i32
%93 = tail call i32 (i32, ...) @sink(i32 0, i32 %92)
%94 = getelementptr inbounds i8, i8* %6, i64 -3
%95 = load i8, i8* %94
%96 = sext i8 %95 to i32
%97 = tail call i32 (i32, ...) @sink(i32 0, i32 %96)
%98 = getelementptr inbounds i8, i8* %6, i64 -2
%99 = load i8, i8* %98
%100 = sext i8 %99 to i32
%101 = tail call i32 (i32, ...) @sink(i32 0, i32 %100)
%102 = getelementptr inbounds i8, i8* %6, i64 -1
%103 = load i8, i8* %102
%104 = sext i8 %103 to i32
%105 = tail call i32 (i32, ...) @sink(i32 0, i32 %104)
%106 = load i8, i8* %6
%107 = sext i8 %106 to i32
%108 = tail call i32 (i32, ...) @sink(i32 0, i32 %107)
ret void
}