1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-unknown       | FileCheck %s
3; RUN: llc < %s -mtriple=x86_64--windows-msvc | FileCheck %s -check-prefix=CHECK-WIN
4
5; The Windows runtime doesn't have these.
6; CHECK-WIN-NOT: __ashlti3
7; CHECK-WIN-NOT: __ashrti3
8; CHECK-WIN-NOT: __lshrti3
9
10define i64 @f0(i64 %val, i64 %amt) minsize optsize {
11; CHECK-LABEL: f0:
12; CHECK:       # %bb.0:
13; CHECK-NEXT:    movq %rsi, %rcx
14; CHECK-NEXT:    movq %rdi, %rax
15; CHECK-NEXT:    # kill: def $cl killed $cl killed $rcx
16; CHECK-NEXT:    shlq %cl, %rax
17; CHECK-NEXT:    retq
18;
19; CHECK-WIN-LABEL: f0:
20; CHECK-WIN:       # %bb.0:
21; CHECK-WIN-NEXT:    movq %rcx, %rax
22; CHECK-WIN-NEXT:    movl %edx, %ecx
23; CHECK-WIN-NEXT:    shlq %cl, %rax
24; CHECK-WIN-NEXT:    retq
25  %res = shl i64 %val, %amt
26  ret i64 %res
27}
28
29define i32 @f1(i64 %x, i64 %y) minsize optsize {
30; CHECK-LABEL: f1:
31; CHECK:       # %bb.0:
32; CHECK-NEXT:    movq %rsi, %rcx
33; CHECK-NEXT:    movq %rdi, %rax
34; CHECK-NEXT:    # kill: def $cl killed $cl killed $rcx
35; CHECK-NEXT:    shlq %cl, %rax
36; CHECK-NEXT:    # kill: def $eax killed $eax killed $rax
37; CHECK-NEXT:    retq
38;
39; CHECK-WIN-LABEL: f1:
40; CHECK-WIN:       # %bb.0:
41; CHECK-WIN-NEXT:    movq %rcx, %rax
42; CHECK-WIN-NEXT:    movl %edx, %ecx
43; CHECK-WIN-NEXT:    shlq %cl, %rax
44; CHECK-WIN-NEXT:    # kill: def $eax killed $eax killed $rax
45; CHECK-WIN-NEXT:    retq
46	%a = shl i64 %x, %y
47	%b = trunc i64 %a to i32
48	ret i32 %b
49}
50
51define i32 @f2(i64 %x, i64 %y) minsize optsize {
52; CHECK-LABEL: f2:
53; CHECK:       # %bb.0:
54; CHECK-NEXT:    movq %rsi, %rcx
55; CHECK-NEXT:    movq %rdi, %rax
56; CHECK-NEXT:    # kill: def $cl killed $cl killed $rcx
57; CHECK-NEXT:    sarq %cl, %rax
58; CHECK-NEXT:    # kill: def $eax killed $eax killed $rax
59; CHECK-NEXT:    retq
60;
61; CHECK-WIN-LABEL: f2:
62; CHECK-WIN:       # %bb.0:
63; CHECK-WIN-NEXT:    movq %rcx, %rax
64; CHECK-WIN-NEXT:    movl %edx, %ecx
65; CHECK-WIN-NEXT:    sarq %cl, %rax
66; CHECK-WIN-NEXT:    # kill: def $eax killed $eax killed $rax
67; CHECK-WIN-NEXT:    retq
68	%a = ashr i64 %x, %y
69	%b = trunc i64 %a to i32
70	ret i32 %b
71}
72
73define i32 @f3(i64 %x, i64 %y) minsize optsize {
74; CHECK-LABEL: f3:
75; CHECK:       # %bb.0:
76; CHECK-NEXT:    movq %rsi, %rcx
77; CHECK-NEXT:    movq %rdi, %rax
78; CHECK-NEXT:    # kill: def $cl killed $cl killed $rcx
79; CHECK-NEXT:    shrq %cl, %rax
80; CHECK-NEXT:    # kill: def $eax killed $eax killed $rax
81; CHECK-NEXT:    retq
82;
83; CHECK-WIN-LABEL: f3:
84; CHECK-WIN:       # %bb.0:
85; CHECK-WIN-NEXT:    movq %rcx, %rax
86; CHECK-WIN-NEXT:    movl %edx, %ecx
87; CHECK-WIN-NEXT:    shrq %cl, %rax
88; CHECK-WIN-NEXT:    # kill: def $eax killed $eax killed $rax
89; CHECK-WIN-NEXT:    retq
90	%a = lshr i64 %x, %y
91	%b = trunc i64 %a to i32
92	ret i32 %b
93}
94
95define dso_local { i64, i64 } @shl128(i64 %x.coerce0, i64 %x.coerce1, i8 signext %y) minsize optsize {
96; CHECK-LABEL: shl128:
97; CHECK:       # %bb.0: # %entry
98; CHECK-NEXT:    pushq %rax
99; CHECK-NEXT:    .cfi_def_cfa_offset 16
100; CHECK-NEXT:    movzbl %dl, %edx
101; CHECK-NEXT:    callq __ashlti3@PLT
102; CHECK-NEXT:    popq %rcx
103; CHECK-NEXT:    .cfi_def_cfa_offset 8
104; CHECK-NEXT:    retq
105;
106; CHECK-WIN-LABEL: shl128:
107; CHECK-WIN:       # %bb.0: # %entry
108; CHECK-WIN-NEXT:    movq %rcx, %r9
109; CHECK-WIN-NEXT:    movl %r8d, %ecx
110; CHECK-WIN-NEXT:    shldq %cl, %r9, %rdx
111; CHECK-WIN-NEXT:    shlq %cl, %r9
112; CHECK-WIN-NEXT:    xorl %eax, %eax
113; CHECK-WIN-NEXT:    testb $64, %r8b
114; CHECK-WIN-NEXT:    cmovneq %r9, %rdx
115; CHECK-WIN-NEXT:    cmoveq %r9, %rax
116; CHECK-WIN-NEXT:    retq
117entry:
118  %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128
119  %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64
120  %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128
121  %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext
122  %conv = sext i8 %y to i32
123  %sh_prom = zext i32 %conv to i128
124  %shl = shl i128 %x.sroa.0.0.insert.insert, %sh_prom
125  %retval.sroa.0.0.extract.trunc = trunc i128 %shl to i64
126  %retval.sroa.2.0.extract.shift = lshr i128 %shl, 64
127  %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64
128  %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0
129  %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1
130  ret { i64, i64 } %.fca.1.insert
131}
132
133define dso_local { i64, i64 } @ashr128(i64 %x.coerce0, i64 %x.coerce1, i8 signext %y) minsize optsize {
134; CHECK-LABEL: ashr128:
135; CHECK:       # %bb.0: # %entry
136; CHECK-NEXT:    pushq %rax
137; CHECK-NEXT:    .cfi_def_cfa_offset 16
138; CHECK-NEXT:    callq __ashrti3@PLT
139; CHECK-NEXT:    popq %rcx
140; CHECK-NEXT:    .cfi_def_cfa_offset 8
141; CHECK-NEXT:    retq
142;
143; CHECK-WIN-LABEL: ashr128:
144; CHECK-WIN:       # %bb.0: # %entry
145; CHECK-WIN-NEXT:    movq %rcx, %rax
146; CHECK-WIN-NEXT:    movl %r8d, %ecx
147; CHECK-WIN-NEXT:    shrdq %cl, %rdx, %rax
148; CHECK-WIN-NEXT:    movq %rdx, %r9
149; CHECK-WIN-NEXT:    sarq %cl, %r9
150; CHECK-WIN-NEXT:    sarq $63, %rdx
151; CHECK-WIN-NEXT:    testb $64, %r8b
152; CHECK-WIN-NEXT:    cmovneq %r9, %rax
153; CHECK-WIN-NEXT:    cmoveq %r9, %rdx
154; CHECK-WIN-NEXT:    retq
155entry:
156  %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128
157  %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64
158  %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128
159  %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext
160  %conv = sext i8 %y to i32
161  %sh_prom = zext i32 %conv to i128
162  %shr = ashr i128 %x.sroa.0.0.insert.insert, %sh_prom
163  %retval.sroa.0.0.extract.trunc = trunc i128 %shr to i64
164  %retval.sroa.2.0.extract.shift = lshr i128 %shr, 64
165  %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64
166  %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0
167  %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1
168  ret { i64, i64 } %.fca.1.insert
169}
170
171define dso_local { i64, i64 } @lshr128(i64 %x.coerce0, i64 %x.coerce1, i8 signext %y) minsize optsize {
172; CHECK-LABEL: lshr128:
173; CHECK:       # %bb.0: # %entry
174; CHECK-NEXT:    pushq %rax
175; CHECK-NEXT:    .cfi_def_cfa_offset 16
176; CHECK-NEXT:    movzbl %dl, %edx
177; CHECK-NEXT:    callq __lshrti3@PLT
178; CHECK-NEXT:    popq %rcx
179; CHECK-NEXT:    .cfi_def_cfa_offset 8
180; CHECK-NEXT:    retq
181;
182; CHECK-WIN-LABEL: lshr128:
183; CHECK-WIN:       # %bb.0: # %entry
184; CHECK-WIN-NEXT:    movq %rcx, %rax
185; CHECK-WIN-NEXT:    movl %r8d, %ecx
186; CHECK-WIN-NEXT:    shrdq %cl, %rdx, %rax
187; CHECK-WIN-NEXT:    shrq %cl, %rdx
188; CHECK-WIN-NEXT:    xorl %ecx, %ecx
189; CHECK-WIN-NEXT:    testb $64, %r8b
190; CHECK-WIN-NEXT:    cmovneq %rdx, %rax
191; CHECK-WIN-NEXT:    cmovneq %rcx, %rdx
192; CHECK-WIN-NEXT:    retq
193entry:
194  %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128
195  %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64
196  %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128
197  %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext
198  %conv = sext i8 %y to i32
199  %sh_prom = zext i32 %conv to i128
200  %shr = lshr i128 %x.sroa.0.0.insert.insert, %sh_prom
201  %retval.sroa.0.0.extract.trunc = trunc i128 %shr to i64
202  %retval.sroa.2.0.extract.shift = lshr i128 %shr, 64
203  %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64
204  %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0
205  %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1
206  ret { i64, i64 } %.fca.1.insert
207}
208
209