1; RUN: llc -mtriple=x86_64-linux-gnu -O0 %s -o - | FileCheck %s
2; CHECK: patatino:
3; CHECK:         .cfi_startproc
4; CHECK:         movzwl  (%rax), [[REG0:%e[abcd]x]]
5; CHECK:         movl    [[REG0]], %e[[REG1C:[abcd]]]x
6; CHECK:         movq    %r[[REG1C]]x, ({{%r[abcd]x}})
7; CHECK:         retq
8
9define void @patatino() {
10  %tmp = load i16, i16* undef, align 8
11  %conv18098 = sext i16 %tmp to i64
12  %and1 = and i64 %conv18098, -1
13  %cmp = icmp ult i64 -1, undef
14  %conv = sext i1 %cmp to i64
15  %load1 = load i48, i48* undef, align 8
16  %bf.cast18158 = sext i48 %load1 to i64
17  %conv18159 = trunc i64 %bf.cast18158 to i32
18  %conv18160 = sext i32 %conv18159 to i64
19  %div18162 = udiv i64 %conv, %conv18160
20  %and18163 = and i64 %conv18098, %div18162
21  %shr18164 = lshr i64 %and1, %and18163
22  %conv18165 = trunc i64 %shr18164 to i16
23  %conv18166 = zext i16 %conv18165 to i64
24  store i64 %conv18166, i64* undef, align 8
25  store i48 undef, i48* undef, align 8
26  ret void
27}
28