365 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-- -mcpu=corei7 | FileCheck %s --check-prefix=ALL --check-prefix=X643; RUN: llc < %s -mtriple=x86_64-- -mcpu=corei7-avx | FileCheck %s --check-prefix=ALL --check-prefix=SHLD4; RUN: llc < %s -mtriple=x86_64-- -mcpu=core-avx2 | FileCheck %s --check-prefix=ALL --check-prefix=BMI25 6define i64 @foo(i64 %x, i64 %y, i64 %z) nounwind readnone {7; ALL-LABEL: foo:8; ALL: # %bb.0: # %entry9; ALL-NEXT: movq %rdx, %rcx10; ALL-NEXT: movq %rdi, %rax11; ALL-NEXT: # kill: def $cl killed $cl killed $rcx12; ALL-NEXT: rolq %cl, %rax13; ALL-NEXT: retq14entry:15 %0 = shl i64 %x, %z16 %1 = sub i64 64, %z17 %2 = lshr i64 %x, %118 %3 = or i64 %2, %019 ret i64 %320}21 22define i64 @bar(i64 %x, i64 %y, i64 %z) nounwind readnone {23; ALL-LABEL: bar:24; ALL: # %bb.0: # %entry25; ALL-NEXT: movq %rdx, %rcx26; ALL-NEXT: movq %rsi, %rax27; ALL-NEXT: # kill: def $cl killed $cl killed $rcx28; ALL-NEXT: shldq %cl, %rdi, %rax29; ALL-NEXT: retq30entry:31 %0 = shl i64 %y, %z32 %1 = sub i64 64, %z33 %2 = lshr i64 %x, %134 %3 = or i64 %2, %035 ret i64 %336}37 38define i64 @un(i64 %x, i64 %y, i64 %z) nounwind readnone {39; ALL-LABEL: un:40; ALL: # %bb.0: # %entry41; ALL-NEXT: movq %rdx, %rcx42; ALL-NEXT: movq %rdi, %rax43; ALL-NEXT: # kill: def $cl killed $cl killed $rcx44; ALL-NEXT: rorq %cl, %rax45; ALL-NEXT: retq46entry:47 %0 = lshr i64 %x, %z48 %1 = sub i64 64, %z49 %2 = shl i64 %x, %150 %3 = or i64 %2, %051 ret i64 %352}53 54define i64 @bu(i64 %x, i64 %y, i64 %z) nounwind readnone {55; ALL-LABEL: bu:56; ALL: # %bb.0: # %entry57; ALL-NEXT: movq %rdx, %rcx58; ALL-NEXT: movq %rsi, %rax59; ALL-NEXT: # kill: def $cl killed $cl killed $rcx60; ALL-NEXT: shrdq %cl, %rdi, %rax61; ALL-NEXT: retq62entry:63 %0 = lshr i64 %y, %z64 %1 = sub i64 64, %z65 %2 = shl i64 %x, %166 %3 = or i64 %2, %067 ret i64 %368}69 70define i64 @xfoo(i64 %x, i64 %y, i64 %z) nounwind readnone {71; X64-LABEL: xfoo:72; X64: # %bb.0: # %entry73; X64-NEXT: movq %rdi, %rax74; X64-NEXT: rolq $7, %rax75; X64-NEXT: retq76;77; SHLD-LABEL: xfoo:78; SHLD: # %bb.0: # %entry79; SHLD-NEXT: movq %rdi, %rax80; SHLD-NEXT: shldq $7, %rax, %rax81; SHLD-NEXT: retq82;83; BMI2-LABEL: xfoo:84; BMI2: # %bb.0: # %entry85; BMI2-NEXT: rorxq $57, %rdi, %rax86; BMI2-NEXT: retq87entry:88 %0 = lshr i64 %x, 5789 %1 = shl i64 %x, 790 %2 = or i64 %0, %191 ret i64 %292}93 94define i64 @xfoop(ptr %p) nounwind readnone {95; X64-LABEL: xfoop:96; X64: # %bb.0: # %entry97; X64-NEXT: movq (%rdi), %rax98; X64-NEXT: rolq $7, %rax99; X64-NEXT: retq100;101; SHLD-LABEL: xfoop:102; SHLD: # %bb.0: # %entry103; SHLD-NEXT: movq (%rdi), %rax104; SHLD-NEXT: shldq $7, %rax, %rax105; SHLD-NEXT: retq106;107; BMI2-LABEL: xfoop:108; BMI2: # %bb.0: # %entry109; BMI2-NEXT: rorxq $57, (%rdi), %rax110; BMI2-NEXT: retq111entry:112 %x = load i64, ptr %p113 %a = lshr i64 %x, 57114 %b = shl i64 %x, 7115 %c = or i64 %a, %b116 ret i64 %c117}118 119define i64 @xbar(i64 %x, i64 %y, i64 %z) nounwind readnone {120; ALL-LABEL: xbar:121; ALL: # %bb.0: # %entry122; ALL-NEXT: movq %rdi, %rax123; ALL-NEXT: shrdq $57, %rsi, %rax124; ALL-NEXT: retq125entry:126 %0 = shl i64 %y, 7127 %1 = lshr i64 %x, 57128 %2 = or i64 %0, %1129 ret i64 %2130}131 132define i64 @xun(i64 %x, i64 %y, i64 %z) nounwind readnone {133; X64-LABEL: xun:134; X64: # %bb.0: # %entry135; X64-NEXT: movq %rdi, %rax136; X64-NEXT: rolq $57, %rax137; X64-NEXT: retq138;139; SHLD-LABEL: xun:140; SHLD: # %bb.0: # %entry141; SHLD-NEXT: movq %rdi, %rax142; SHLD-NEXT: shldq $57, %rax, %rax143; SHLD-NEXT: retq144;145; BMI2-LABEL: xun:146; BMI2: # %bb.0: # %entry147; BMI2-NEXT: rorxq $7, %rdi, %rax148; BMI2-NEXT: retq149entry:150 %0 = lshr i64 %x, 7151 %1 = shl i64 %x, 57152 %2 = or i64 %0, %1153 ret i64 %2154}155 156define i64 @xunp(ptr %p) nounwind readnone {157; X64-LABEL: xunp:158; X64: # %bb.0: # %entry159; X64-NEXT: movq (%rdi), %rax160; X64-NEXT: rolq $57, %rax161; X64-NEXT: retq162;163; SHLD-LABEL: xunp:164; SHLD: # %bb.0: # %entry165; SHLD-NEXT: movq (%rdi), %rax166; SHLD-NEXT: shldq $57, %rax, %rax167; SHLD-NEXT: retq168;169; BMI2-LABEL: xunp:170; BMI2: # %bb.0: # %entry171; BMI2-NEXT: rorxq $7, (%rdi), %rax172; BMI2-NEXT: retq173entry:174 %x = load i64, ptr %p175 %a = lshr i64 %x, 7176 %b = shl i64 %x, 57177 %c = or i64 %a, %b178 ret i64 %c179}180 181define i64 @xbu(i64 %x, i64 %y, i64 %z) nounwind readnone {182; ALL-LABEL: xbu:183; ALL: # %bb.0: # %entry184; ALL-NEXT: movq %rdi, %rax185; ALL-NEXT: shldq $57, %rsi, %rax186; ALL-NEXT: retq187entry:188 %0 = lshr i64 %y, 7189 %1 = shl i64 %x, 57190 %2 = or i64 %0, %1191 ret i64 %2192}193 194define i64 @fshl(i64 %x) nounwind {195; X64-LABEL: fshl:196; X64: # %bb.0:197; X64-NEXT: movq %rdi, %rax198; X64-NEXT: rolq $7, %rax199; X64-NEXT: retq200;201; SHLD-LABEL: fshl:202; SHLD: # %bb.0:203; SHLD-NEXT: movq %rdi, %rax204; SHLD-NEXT: shldq $7, %rax, %rax205; SHLD-NEXT: retq206;207; BMI2-LABEL: fshl:208; BMI2: # %bb.0:209; BMI2-NEXT: rorxq $57, %rdi, %rax210; BMI2-NEXT: retq211 %f = call i64 @llvm.fshl.i64(i64 %x, i64 %x, i64 7)212 ret i64 %f213}214declare i64 @llvm.fshl.i64(i64, i64, i64)215 216define i64 @fshl1(i64 %x) nounwind {217; X64-LABEL: fshl1:218; X64: # %bb.0:219; X64-NEXT: movq %rdi, %rax220; X64-NEXT: rolq %rax221; X64-NEXT: retq222;223; SHLD-LABEL: fshl1:224; SHLD: # %bb.0:225; SHLD-NEXT: movq %rdi, %rax226; SHLD-NEXT: shldq $1, %rax, %rax227; SHLD-NEXT: retq228;229; BMI2-LABEL: fshl1:230; BMI2: # %bb.0:231; BMI2-NEXT: rorxq $63, %rdi, %rax232; BMI2-NEXT: retq233 %f = call i64 @llvm.fshl.i64(i64 %x, i64 %x, i64 1)234 ret i64 %f235}236 237define i64 @fshl63(i64 %x) nounwind {238; X64-LABEL: fshl63:239; X64: # %bb.0:240; X64-NEXT: movq %rdi, %rax241; X64-NEXT: rorq %rax242; X64-NEXT: retq243;244; SHLD-LABEL: fshl63:245; SHLD: # %bb.0:246; SHLD-NEXT: movq %rdi, %rax247; SHLD-NEXT: shldq $63, %rax, %rax248; SHLD-NEXT: retq249;250; BMI2-LABEL: fshl63:251; BMI2: # %bb.0:252; BMI2-NEXT: rorxq $1, %rdi, %rax253; BMI2-NEXT: retq254 %f = call i64 @llvm.fshl.i64(i64 %x, i64 %x, i64 63)255 ret i64 %f256}257 258define i64 @fshl_load(ptr %p) nounwind {259; X64-LABEL: fshl_load:260; X64: # %bb.0:261; X64-NEXT: movq (%rdi), %rax262; X64-NEXT: rolq $7, %rax263; X64-NEXT: retq264;265; SHLD-LABEL: fshl_load:266; SHLD: # %bb.0:267; SHLD-NEXT: movq (%rdi), %rax268; SHLD-NEXT: shldq $7, %rax, %rax269; SHLD-NEXT: retq270;271; BMI2-LABEL: fshl_load:272; BMI2: # %bb.0:273; BMI2-NEXT: rorxq $57, (%rdi), %rax274; BMI2-NEXT: retq275 %x = load i64, ptr %p276 %f = call i64 @llvm.fshl.i64(i64 %x, i64 %x, i64 7)277 ret i64 %f278}279 280define i64 @fshr(i64 %x) nounwind {281; X64-LABEL: fshr:282; X64: # %bb.0:283; X64-NEXT: movq %rdi, %rax284; X64-NEXT: rorq $7, %rax285; X64-NEXT: retq286;287; SHLD-LABEL: fshr:288; SHLD: # %bb.0:289; SHLD-NEXT: movq %rdi, %rax290; SHLD-NEXT: shrdq $7, %rax, %rax291; SHLD-NEXT: retq292;293; BMI2-LABEL: fshr:294; BMI2: # %bb.0:295; BMI2-NEXT: rorxq $7, %rdi, %rax296; BMI2-NEXT: retq297 %f = call i64 @llvm.fshr.i64(i64 %x, i64 %x, i64 7)298 ret i64 %f299}300declare i64 @llvm.fshr.i64(i64, i64, i64)301 302define i64 @fshr1(i64 %x) nounwind {303; X64-LABEL: fshr1:304; X64: # %bb.0:305; X64-NEXT: movq %rdi, %rax306; X64-NEXT: rorq %rax307; X64-NEXT: retq308;309; SHLD-LABEL: fshr1:310; SHLD: # %bb.0:311; SHLD-NEXT: movq %rdi, %rax312; SHLD-NEXT: shrdq $1, %rax, %rax313; SHLD-NEXT: retq314;315; BMI2-LABEL: fshr1:316; BMI2: # %bb.0:317; BMI2-NEXT: rorxq $1, %rdi, %rax318; BMI2-NEXT: retq319 %f = call i64 @llvm.fshr.i64(i64 %x, i64 %x, i64 1)320 ret i64 %f321}322 323define i64 @fshr63(i64 %x) nounwind {324; X64-LABEL: fshr63:325; X64: # %bb.0:326; X64-NEXT: movq %rdi, %rax327; X64-NEXT: rolq %rax328; X64-NEXT: retq329;330; SHLD-LABEL: fshr63:331; SHLD: # %bb.0:332; SHLD-NEXT: movq %rdi, %rax333; SHLD-NEXT: shrdq $63, %rax, %rax334; SHLD-NEXT: retq335;336; BMI2-LABEL: fshr63:337; BMI2: # %bb.0:338; BMI2-NEXT: rorxq $63, %rdi, %rax339; BMI2-NEXT: retq340 %f = call i64 @llvm.fshr.i64(i64 %x, i64 %x, i64 63)341 ret i64 %f342}343 344define i64 @fshr_load(ptr %p) nounwind {345; X64-LABEL: fshr_load:346; X64: # %bb.0:347; X64-NEXT: movq (%rdi), %rax348; X64-NEXT: rorq $7, %rax349; X64-NEXT: retq350;351; SHLD-LABEL: fshr_load:352; SHLD: # %bb.0:353; SHLD-NEXT: movq (%rdi), %rax354; SHLD-NEXT: shrdq $7, %rax, %rax355; SHLD-NEXT: retq356;357; BMI2-LABEL: fshr_load:358; BMI2: # %bb.0:359; BMI2-NEXT: rorxq $7, (%rdi), %rax360; BMI2-NEXT: retq361 %x = load i64, ptr %p362 %f = call i64 @llvm.fshr.i64(i64 %x, i64 %x, i64 7)363 ret i64 %f364}365