210 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s3; RUN: llc < %s -mtriple=x86_64--windows-msvc | FileCheck %s -check-prefix=CHECK-WIN4 5; The Windows runtime doesn't have these.6; CHECK-WIN-NOT: __ashlti37; CHECK-WIN-NOT: __ashrti38; CHECK-WIN-NOT: __lshrti39 10define i64 @f0(i64 %val, i64 %amt) minsize optsize {11; CHECK-LABEL: f0:12; CHECK: # %bb.0:13; CHECK-NEXT: movq %rsi, %rcx14; CHECK-NEXT: movq %rdi, %rax15; CHECK-NEXT: # kill: def $cl killed $cl killed $rcx16; CHECK-NEXT: shlq %cl, %rax17; CHECK-NEXT: retq18;19; CHECK-WIN-LABEL: f0:20; CHECK-WIN: # %bb.0:21; CHECK-WIN-NEXT: movq %rcx, %rax22; CHECK-WIN-NEXT: movl %edx, %ecx23; CHECK-WIN-NEXT: shlq %cl, %rax24; CHECK-WIN-NEXT: retq25 %res = shl i64 %val, %amt26 ret i64 %res27}28 29define i32 @f1(i64 %x, i64 %y) minsize optsize {30; CHECK-LABEL: f1:31; CHECK: # %bb.0:32; CHECK-NEXT: movq %rsi, %rcx33; CHECK-NEXT: movq %rdi, %rax34; CHECK-NEXT: # kill: def $cl killed $cl killed $rcx35; CHECK-NEXT: shlq %cl, %rax36; CHECK-NEXT: # kill: def $eax killed $eax killed $rax37; CHECK-NEXT: retq38;39; CHECK-WIN-LABEL: f1:40; CHECK-WIN: # %bb.0:41; CHECK-WIN-NEXT: movq %rcx, %rax42; CHECK-WIN-NEXT: movl %edx, %ecx43; CHECK-WIN-NEXT: shlq %cl, %rax44; CHECK-WIN-NEXT: # kill: def $eax killed $eax killed $rax45; CHECK-WIN-NEXT: retq46 %a = shl i64 %x, %y47 %b = trunc i64 %a to i3248 ret i32 %b49}50 51define i32 @f2(i64 %x, i64 %y) minsize optsize {52; CHECK-LABEL: f2:53; CHECK: # %bb.0:54; CHECK-NEXT: movq %rsi, %rcx55; CHECK-NEXT: movq %rdi, %rax56; CHECK-NEXT: # kill: def $cl killed $cl killed $rcx57; CHECK-NEXT: sarq %cl, %rax58; CHECK-NEXT: # kill: def $eax killed $eax killed $rax59; CHECK-NEXT: retq60;61; CHECK-WIN-LABEL: f2:62; CHECK-WIN: # %bb.0:63; CHECK-WIN-NEXT: movq %rcx, %rax64; CHECK-WIN-NEXT: movl %edx, %ecx65; CHECK-WIN-NEXT: sarq %cl, %rax66; CHECK-WIN-NEXT: # kill: def $eax killed $eax killed $rax67; CHECK-WIN-NEXT: retq68 %a = ashr i64 %x, %y69 %b = trunc i64 %a to i3270 ret i32 %b71}72 73define i32 @f3(i64 %x, i64 %y) minsize optsize {74; CHECK-LABEL: f3:75; CHECK: # %bb.0:76; CHECK-NEXT: movq %rsi, %rcx77; CHECK-NEXT: movq %rdi, %rax78; CHECK-NEXT: # kill: def $cl killed $cl killed $rcx79; CHECK-NEXT: shrq %cl, %rax80; CHECK-NEXT: # kill: def $eax killed $eax killed $rax81; CHECK-NEXT: retq82;83; CHECK-WIN-LABEL: f3:84; CHECK-WIN: # %bb.0:85; CHECK-WIN-NEXT: movq %rcx, %rax86; CHECK-WIN-NEXT: movl %edx, %ecx87; CHECK-WIN-NEXT: shrq %cl, %rax88; CHECK-WIN-NEXT: # kill: def $eax killed $eax killed $rax89; CHECK-WIN-NEXT: retq90 %a = lshr i64 %x, %y91 %b = trunc i64 %a to i3292 ret i32 %b93}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: # %entry98; CHECK-NEXT: pushq %rax99; CHECK-NEXT: .cfi_def_cfa_offset 16100; CHECK-NEXT: movzbl %dl, %edx101; CHECK-NEXT: callq __ashlti3@PLT102; CHECK-NEXT: popq %rcx103; CHECK-NEXT: .cfi_def_cfa_offset 8104; CHECK-NEXT: retq105;106; CHECK-WIN-LABEL: shl128:107; CHECK-WIN: # %bb.0: # %entry108; CHECK-WIN-NEXT: movq %rcx, %r9109; CHECK-WIN-NEXT: movl %r8d, %ecx110; CHECK-WIN-NEXT: shldq %cl, %r9, %rdx111; CHECK-WIN-NEXT: shlq %cl, %r9112; CHECK-WIN-NEXT: xorl %eax, %eax113; CHECK-WIN-NEXT: testb $64, %r8b114; CHECK-WIN-NEXT: cmovneq %r9, %rdx115; CHECK-WIN-NEXT: cmoveq %r9, %rax116; CHECK-WIN-NEXT: retq117entry:118 %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128119 %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64120 %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128121 %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext122 %conv = sext i8 %y to i32123 %sh_prom = zext i32 %conv to i128124 %shl = shl i128 %x.sroa.0.0.insert.insert, %sh_prom125 %retval.sroa.0.0.extract.trunc = trunc i128 %shl to i64126 %retval.sroa.2.0.extract.shift = lshr i128 %shl, 64127 %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64128 %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0129 %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1130 ret { i64, i64 } %.fca.1.insert131}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: # %entry136; CHECK-NEXT: pushq %rax137; CHECK-NEXT: .cfi_def_cfa_offset 16138; CHECK-NEXT: movzbl %dl, %edx139; CHECK-NEXT: callq __ashrti3@PLT140; CHECK-NEXT: popq %rcx141; CHECK-NEXT: .cfi_def_cfa_offset 8142; CHECK-NEXT: retq143;144; CHECK-WIN-LABEL: ashr128:145; CHECK-WIN: # %bb.0: # %entry146; CHECK-WIN-NEXT: movq %rcx, %rax147; CHECK-WIN-NEXT: movl %r8d, %ecx148; CHECK-WIN-NEXT: shrdq %cl, %rdx, %rax149; CHECK-WIN-NEXT: movq %rdx, %r9150; CHECK-WIN-NEXT: sarq %cl, %r9151; CHECK-WIN-NEXT: sarq $63, %rdx152; CHECK-WIN-NEXT: testb $64, %r8b153; CHECK-WIN-NEXT: cmovneq %r9, %rax154; CHECK-WIN-NEXT: cmoveq %r9, %rdx155; CHECK-WIN-NEXT: retq156entry:157 %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128158 %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64159 %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128160 %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext161 %conv = sext i8 %y to i32162 %sh_prom = zext i32 %conv to i128163 %shr = ashr i128 %x.sroa.0.0.insert.insert, %sh_prom164 %retval.sroa.0.0.extract.trunc = trunc i128 %shr to i64165 %retval.sroa.2.0.extract.shift = lshr i128 %shr, 64166 %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64167 %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0168 %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1169 ret { i64, i64 } %.fca.1.insert170}171 172define dso_local { i64, i64 } @lshr128(i64 %x.coerce0, i64 %x.coerce1, i8 signext %y) minsize optsize {173; CHECK-LABEL: lshr128:174; CHECK: # %bb.0: # %entry175; CHECK-NEXT: pushq %rax176; CHECK-NEXT: .cfi_def_cfa_offset 16177; CHECK-NEXT: movzbl %dl, %edx178; CHECK-NEXT: callq __lshrti3@PLT179; CHECK-NEXT: popq %rcx180; CHECK-NEXT: .cfi_def_cfa_offset 8181; CHECK-NEXT: retq182;183; CHECK-WIN-LABEL: lshr128:184; CHECK-WIN: # %bb.0: # %entry185; CHECK-WIN-NEXT: movq %rcx, %rax186; CHECK-WIN-NEXT: movl %r8d, %ecx187; CHECK-WIN-NEXT: shrdq %cl, %rdx, %rax188; CHECK-WIN-NEXT: shrq %cl, %rdx189; CHECK-WIN-NEXT: xorl %ecx, %ecx190; CHECK-WIN-NEXT: testb $64, %r8b191; CHECK-WIN-NEXT: cmovneq %rdx, %rax192; CHECK-WIN-NEXT: cmovneq %rcx, %rdx193; CHECK-WIN-NEXT: retq194entry:195 %x.sroa.2.0.insert.ext = zext i64 %x.coerce1 to i128196 %x.sroa.2.0.insert.shift = shl nuw i128 %x.sroa.2.0.insert.ext, 64197 %x.sroa.0.0.insert.ext = zext i64 %x.coerce0 to i128198 %x.sroa.0.0.insert.insert = or i128 %x.sroa.2.0.insert.shift, %x.sroa.0.0.insert.ext199 %conv = sext i8 %y to i32200 %sh_prom = zext i32 %conv to i128201 %shr = lshr i128 %x.sroa.0.0.insert.insert, %sh_prom202 %retval.sroa.0.0.extract.trunc = trunc i128 %shr to i64203 %retval.sroa.2.0.extract.shift = lshr i128 %shr, 64204 %retval.sroa.2.0.extract.trunc = trunc i128 %retval.sroa.2.0.extract.shift to i64205 %.fca.0.insert = insertvalue { i64, i64 } undef, i64 %retval.sroa.0.0.extract.trunc, 0206 %.fca.1.insert = insertvalue { i64, i64 } %.fca.0.insert, i64 %retval.sroa.2.0.extract.trunc, 1207 ret { i64, i64 } %.fca.1.insert208}209 210