xref: /llvm-project/llvm/test/CodeGen/X86/pr32345.ll (revision f8395f8420cee8fc0854f43c9e88819c0ed54696) 
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -O0 -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s -check-prefix=X64-O0
3; RUN: llc -O0 -mtriple=i686-unknown             < %s | FileCheck %s -check-prefix=X86-O0
4; RUN: llc     -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s -check-prefix=X64
5; RUN: llc     -mtriple=i686-unknown             < %s | FileCheck %s -check-prefix=X86
6
7@var_22 = external dso_local global i16, align 2
8@var_27 = external dso_local global i16, align 2
9
10define void @foo() {
11; X64-O0-LABEL: foo:
12; X64-O0:       # %bb.0: # %bb
13; X64-O0-NEXT:    movzwl var_22, %eax
14; X64-O0-NEXT:    movzwl var_27, %ecx
15; X64-O0-NEXT:    xorl %ecx, %eax
16; X64-O0-NEXT:    movzwl var_27, %ecx
17; X64-O0-NEXT:    xorl %ecx, %eax
18; X64-O0-NEXT:    cltq
19; X64-O0-NEXT:    movq %rax, -{{[0-9]+}}(%rsp)
20; X64-O0-NEXT:    movzwl var_22, %eax
21; X64-O0-NEXT:    movzwl var_27, %ecx
22; X64-O0-NEXT:    xorl %ecx, %eax
23; X64-O0-NEXT:    movzwl var_27, %ecx
24; X64-O0-NEXT:    xorl %ecx, %eax
25; X64-O0-NEXT:    cltq
26; X64-O0-NEXT:    movzwl var_27, %ecx
27; X64-O0-NEXT:    subl $16610, %ecx # imm = 0x40E2
28; X64-O0-NEXT:    movl %ecx, %ecx
29; X64-O0-NEXT:    # kill: def $rcx killed $ecx
30; X64-O0-NEXT:    # kill: def $cl killed $rcx
31; X64-O0-NEXT:    sarq %cl, %rax
32; X64-O0-NEXT:    movb %al, %cl
33; X64-O0-NEXT:    # implicit-def: $rax
34; X64-O0-NEXT:    movb %cl, (%rax)
35; X64-O0-NEXT:    retq
36;
37; X86-O0-LABEL: foo:
38; X86-O0:       # %bb.0: # %bb
39; X86-O0-NEXT:    pushl %ebp
40; X86-O0-NEXT:    .cfi_def_cfa_offset 8
41; X86-O0-NEXT:    .cfi_offset %ebp, -8
42; X86-O0-NEXT:    movl %esp, %ebp
43; X86-O0-NEXT:    .cfi_def_cfa_register %ebp
44; X86-O0-NEXT:    andl $-8, %esp
45; X86-O0-NEXT:    subl $24, %esp
46; X86-O0-NEXT:    movzwl var_22, %eax
47; X86-O0-NEXT:    movl %eax, {{[0-9]+}}(%esp)
48; X86-O0-NEXT:    movl $0, {{[0-9]+}}(%esp)
49; X86-O0-NEXT:    movzwl var_22, %edx
50; X86-O0-NEXT:    movb var_27, %cl
51; X86-O0-NEXT:    addb $30, %cl
52; X86-O0-NEXT:    movb %cl, {{[-0-9]+}}(%e{{[sb]}}p) # 1-byte Spill
53; X86-O0-NEXT:    xorl %eax, %eax
54; X86-O0-NEXT:    shrdl %cl, %eax, %edx
55; X86-O0-NEXT:    movb {{[-0-9]+}}(%e{{[sb]}}p), %cl # 1-byte Reload
56; X86-O0-NEXT:    movl %edx, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
57; X86-O0-NEXT:    testb $32, %cl
58; X86-O0-NEXT:    movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
59; X86-O0-NEXT:    jne .LBB0_2
60; X86-O0-NEXT:  # %bb.1: # %bb
61; X86-O0-NEXT:    movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
62; X86-O0-NEXT:    movl %eax, {{[-0-9]+}}(%e{{[sb]}}p) # 4-byte Spill
63; X86-O0-NEXT:  .LBB0_2: # %bb
64; X86-O0-NEXT:    movl {{[-0-9]+}}(%e{{[sb]}}p), %eax # 4-byte Reload
65; X86-O0-NEXT:    movb %al, %cl
66; X86-O0-NEXT:    # implicit-def: $eax
67; X86-O0-NEXT:    movb %cl, (%eax)
68; X86-O0-NEXT:    movl %ebp, %esp
69; X86-O0-NEXT:    popl %ebp
70; X86-O0-NEXT:    .cfi_def_cfa %esp, 4
71; X86-O0-NEXT:    retl
72;
73; X64-LABEL: foo:
74; X64:       # %bb.0: # %bb
75; X64-NEXT:    movzbl var_27(%rip), %ecx
76; X64-NEXT:    movzwl var_22(%rip), %eax
77; X64-NEXT:    movq %rax, -{{[0-9]+}}(%rsp)
78; X64-NEXT:    addb $30, %cl
79; X64-NEXT:    shrq %cl, %rax
80; X64-NEXT:    movb %al, (%rax)
81; X64-NEXT:    retq
82;
83; X86-LABEL: foo:
84; X86:       # %bb.0: # %bb
85; X86-NEXT:    pushl %ebp
86; X86-NEXT:    .cfi_def_cfa_offset 8
87; X86-NEXT:    .cfi_offset %ebp, -8
88; X86-NEXT:    movl %esp, %ebp
89; X86-NEXT:    .cfi_def_cfa_register %ebp
90; X86-NEXT:    andl $-8, %esp
91; X86-NEXT:    subl $8, %esp
92; X86-NEXT:    movzbl var_27, %ecx
93; X86-NEXT:    movzwl var_22, %eax
94; X86-NEXT:    movl %eax, (%esp)
95; X86-NEXT:    movl $0, {{[0-9]+}}(%esp)
96; X86-NEXT:    addb $30, %cl
97; X86-NEXT:    xorl %edx, %edx
98; X86-NEXT:    shrdl %cl, %edx, %eax
99; X86-NEXT:    testb $32, %cl
100; X86-NEXT:    jne .LBB0_2
101; X86-NEXT:  # %bb.1: # %bb
102; X86-NEXT:    movl %eax, %edx
103; X86-NEXT:  .LBB0_2: # %bb
104; X86-NEXT:    movb %dl, (%eax)
105; X86-NEXT:    movl %ebp, %esp
106; X86-NEXT:    popl %ebp
107; X86-NEXT:    .cfi_def_cfa %esp, 4
108; X86-NEXT:    retl
109bb:
110  %tmp = alloca i64, align 8
111  %tmp1 = load i16, ptr @var_22, align 2
112  %tmp2 = zext i16 %tmp1 to i32
113  %tmp3 = load i16, ptr @var_27, align 2
114  %tmp4 = zext i16 %tmp3 to i32
115  %tmp5 = xor i32 %tmp2, %tmp4
116  %tmp6 = load i16, ptr @var_27, align 2
117  %tmp7 = zext i16 %tmp6 to i32
118  %tmp8 = xor i32 %tmp5, %tmp7
119  %tmp9 = sext i32 %tmp8 to i64
120  store i64 %tmp9, ptr %tmp, align 8
121  %tmp10 = load i16, ptr @var_22, align 2
122  %tmp11 = zext i16 %tmp10 to i32
123  %tmp12 = load i16, ptr @var_27, align 2
124  %tmp13 = zext i16 %tmp12 to i32
125  %tmp14 = xor i32 %tmp11, %tmp13
126  %tmp15 = load i16, ptr @var_27, align 2
127  %tmp16 = zext i16 %tmp15 to i32
128  %tmp17 = xor i32 %tmp14, %tmp16
129  %tmp18 = sext i32 %tmp17 to i64
130  %tmp19 = load i16, ptr @var_27, align 2
131  %tmp20 = zext i16 %tmp19 to i32
132  %tmp21 = sub nsw i32 %tmp20, 16610
133  %tmp22 = zext i32 %tmp21 to i64
134  %tmp23 = ashr i64 %tmp18, %tmp22
135  %tmp24 = trunc i64 %tmp23 to i8
136  store i8 %tmp24, ptr undef, align 1
137  ret void
138}
139