This is an archive of the discontinued LLVM Phabricator instance.

Differential D56715

X86DAGToDAGISel::matchBitExtract(): prepare 'control' in 32 bits
ClosedPublic

Authored by lebedev.ri on Jan 15 2019, 4:53 AM.

Details

Reviewers
craig.topper
andreadb
RKSimon
Commits
rGb7ecc9b6241b: [X86] X86DAGToDAGISel::matchBitExtract(): prepare 'control' in 32 bits
rL353073: [X86] X86DAGToDAGISel::matchBitExtract(): prepare 'control' in 32 bits
Summary

Noticed while looking at D56052.

// The 'control' of BEXTR has the pattern of:
// [15...8 bit][ 7...0 bit] location
// [ bit count][     shift] name
// I.e. 0b000000011'00000001 means  (x >> 0b1) & 0b11

I.e. we do not care about any of the bits aside from the low 16 bits.
So there is no point in doing the slh,or in 64 bits, let's just do everything in 32 bits, and anyext if needed.

We could do that in 16 even, but we intentionally don't zext to i16 (longer encoding IIRC),
so i'm guessing the same applies here.

Diff Detail

Repository
rL LLVM

Event Timeline

lebedev.ri created this revision.Jan 15 2019, 4:53 AM
lebedev.ri added a parent revision: D56052: X86DAGToDAGISel::matchBitExtract() with truncation (PR36419).
lebedev.ri updated this revision to Diff 181838.Jan 15 2019, 11:38 AM

Rebased, NFC.

lebedev.ri mentioned this in D56052: X86DAGToDAGISel::matchBitExtract() with truncation (PR36419).Jan 15 2019, 11:49 AM
lebedev.ri added a comment.Feb 4 2019, 1:20 AM

ping

Herald added a project: Restricted Project. · View Herald TranscriptFeb 4 2019, 1:20 AM
RKSimon added a comment.Feb 4 2019, 2:51 AM

How come SimplifyDemandedBits isn't doing this for us?

lebedev.ri added a comment.Feb 4 2019, 2:58 AM
In D56715#1382867, @RKSimon wrote:

How come SimplifyDemandedBits isn't doing this for us?

Note that we are in X86ISelDAGToDAG. I don't observe anything SimplifyDemandedBits-related here.
There is SimplifyDemandedBits stuff in X86TargetLowering, but is that not run before we end up here?
Or am i missing some path how SimplifyDemandedBits will be run after X86DAGToDAGISel::matchBitExtract()?
If i am, i'd love to learn about it, and use it to solve this.

craig.topper accepted this revision.Feb 4 2019, 10:36 AM

I don't think SimplifyDemandedBits can do anything for this. We're taking an i8 shift value and turning it into a control. The issue is entirely within how this code promoted that i8 value to match the width of the BEXTR/BZHI.

LGTM

This revision is now accepted and ready to land.Feb 4 2019, 10:36 AM
lebedev.ri added a comment.Feb 4 2019, 10:40 AM
In D56715#1383512, @craig.topper wrote:

I don't think SimplifyDemandedBits can do anything for this. We're taking an i8 shift value and turning it into a control. The issue is entirely within how this code promoted that i8 value to match the width of the BEXTR/BZHI.

LGTM

Thank you for the review.

Closed by commit rL353073: [X86] X86DAGToDAGISel::matchBitExtract(): prepare 'control' in 32 bits (authored by lebedevri). · Explain WhyFeb 4 2019, 11:04 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
lib/
Target/
X86/
53 lines
test/
CodeGen/
X86/
115 lines
28 lines

Diff 185098

llvm/trunk/lib/Target/X86/X86ISelDAGToDAG.cpp

Show First 20 Lines • Show All 2,952 Lines • ▼ Show 20 Lines if (!Subtarget->hasBMI2() && X.getOpcode() == ISD::TRUNCATE &&
X.hasOneUse() && X.getOperand(0).getOpcode() == ISD::SRL) { X.hasOneUse() && X.getOperand(0).getOpcode() == ISD::SRL) {
assert(NVT == MVT::i32 && "Expected target valuetype to be i32"); assert(NVT == MVT::i32 && "Expected target valuetype to be i32");
X = X.getOperand(0); X = X.getOperand(0);
XVT = X.getSimpleValueType(); XVT = X.getSimpleValueType();
assert(XVT == MVT::i64 && "Expected truncation from i64"); assert(XVT == MVT::i64 && "Expected truncation from i64");
} }
SDValue OrigNBits = NBits; SDValue OrigNBits = NBits;
if (NBits.getValueType() != XVT) {
// Truncate the shift amount. // Truncate the shift amount.
NBits = CurDAG->getNode(ISD::TRUNCATE, DL, MVT::i8, NBits); NBits = CurDAG->getNode(ISD::TRUNCATE, DL, MVT::i8, NBits);
insertDAGNode(*CurDAG, OrigNBits, NBits); insertDAGNode(*CurDAG, OrigNBits, NBits);
// Insert 8-bit NBits into lowest 8 bits of XVT-sized (32 or 64-bit) // Insert 8-bit NBits into lowest 8 bits of 32-bit register.
// register. All the other bits are undefined, we do not care about them. // All the other bits are undefined, we do not care about them.
SDValue ImplDef = SDValue ImplDef = SDValue(
SDValue(CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, XVT), 0); CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, MVT::i32), 0);
insertDAGNode(*CurDAG, OrigNBits, ImplDef); insertDAGNode(*CurDAG, OrigNBits, ImplDef);
NBits = NBits = CurDAG->getTargetInsertSubreg(X86::sub_8bit, DL, MVT::i32, ImplDef,
CurDAG->getTargetInsertSubreg(X86::sub_8bit, DL, XVT, ImplDef, NBits); NBits);
insertDAGNode(*CurDAG, OrigNBits, NBits); insertDAGNode(*CurDAG, OrigNBits, NBits);
}
if (Subtarget->hasBMI2()) { if (Subtarget->hasBMI2()) {
// Great, just emit the the BZHI.. // Great, just emit the the BZHI..
if (XVT != MVT::i32) {
// But have to place the bit count into the wide-enough register first.
SDValue ImplDef = SDValue(
CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, XVT), 0);
insertDAGNode(*CurDAG, OrigNBits, ImplDef);
NBits = CurDAG->getTargetInsertSubreg(X86::sub_32bit, DL, XVT, ImplDef,
NBits);
insertDAGNode(*CurDAG, OrigNBits, NBits);
}
SDValue Extract = CurDAG->getNode(X86ISD::BZHI, DL, XVT, X, NBits); SDValue Extract = CurDAG->getNode(X86ISD::BZHI, DL, XVT, X, NBits);
ReplaceNode(Node, Extract.getNode()); ReplaceNode(Node, Extract.getNode());
SelectCode(Extract.getNode()); SelectCode(Extract.getNode());
return true; return true;
} }
// Else, emitting BEXTR requires one more step. // Else, emitting BEXTR requires one more step.
// The 'control' of BEXTR has the pattern of: // The 'control' of BEXTR has the pattern of:
// [15...8 bit][ 7...0 bit] location // [15...8 bit][ 7...0 bit] location
// [ bit count][ shift] name // [ bit count][ shift] name
// I.e. 0b000000011'00000001 means (x >> 0b1) & 0b11 // I.e. 0b000000011'00000001 means (x >> 0b1) & 0b11
// Shift NBits left by 8 bits, thus producing 'control'. // Shift NBits left by 8 bits, thus producing 'control'.
// This makes the low 8 bits to be zero. // This makes the low 8 bits to be zero.
SDValue C8 = CurDAG->getConstant(8, DL, MVT::i8); SDValue C8 = CurDAG->getConstant(8, DL, MVT::i8);
SDValue Control = CurDAG->getNode(ISD::SHL, DL, XVT, NBits, C8); SDValue Control = CurDAG->getNode(ISD::SHL, DL, MVT::i32, NBits, C8);
insertDAGNode(*CurDAG, OrigNBits, Control); insertDAGNode(*CurDAG, OrigNBits, Control);
// If the 'X' is *logically* shifted, we can fold that shift into 'control'. // If the 'X' is *logically* shifted, we can fold that shift into 'control'.
if (X.getOpcode() == ISD::SRL) { if (X.getOpcode() == ISD::SRL) {
SDValue ShiftAmt = X.getOperand(1); SDValue ShiftAmt = X.getOperand(1);
X = X.getOperand(0); X = X.getOperand(0);
assert(ShiftAmt.getValueType() == MVT::i8 && assert(ShiftAmt.getValueType() == MVT::i8 &&
"Expected shift amount to be i8"); "Expected shift amount to be i8");
// Now, *zero*-extend the shift amount. The bits 8...15 *must* be zero! // Now, *zero*-extend the shift amount. The bits 8...15 *must* be zero!
// We could zext to i16 in some form, but we intentionally don't do that.
SDValue OrigShiftAmt = ShiftAmt; SDValue OrigShiftAmt = ShiftAmt;
ShiftAmt = CurDAG->getNode(ISD::ZERO_EXTEND, DL, XVT, ShiftAmt); ShiftAmt = CurDAG->getNode(ISD::ZERO_EXTEND, DL, MVT::i32, ShiftAmt);
insertDAGNode(*CurDAG, OrigShiftAmt, ShiftAmt); insertDAGNode(*CurDAG, OrigShiftAmt, ShiftAmt);
// And now 'or' these low 8 bits of shift amount into the 'control'. // And now 'or' these low 8 bits of shift amount into the 'control'.
Control = CurDAG->getNode(ISD::OR, DL, XVT, Control, ShiftAmt); Control = CurDAG->getNode(ISD::OR, DL, MVT::i32, Control, ShiftAmt);
insertDAGNode(*CurDAG, OrigNBits, Control);
}
// But have to place the 'control' into the wide-enough register first.
if (XVT != MVT::i32) {
SDValue ImplDef =
SDValue(CurDAG->getMachineNode(TargetOpcode::IMPLICIT_DEF, DL, XVT), 0);
insertDAGNode(*CurDAG, OrigNBits, ImplDef);
Control = CurDAG->getTargetInsertSubreg(X86::sub_32bit, DL, XVT, ImplDef,
Control);
insertDAGNode(*CurDAG, OrigNBits, Control); insertDAGNode(*CurDAG, OrigNBits, Control);
} }
// And finally, form the BEXTR itself. // And finally, form the BEXTR itself.
SDValue Extract = CurDAG->getNode(X86ISD::BEXTR, DL, XVT, X, Control); SDValue Extract = CurDAG->getNode(X86ISD::BEXTR, DL, XVT, X, Control);
// The 'X' was originally truncated. Do that now. // The 'X' was originally truncated. Do that now.
if (XVT != NVT) { if (XVT != NVT) {
▲ Show 20 Lines • Show All 1,088 Lines • Show Last 20 Lines

llvm/trunk/test/CodeGen/X86/extract-bits.ll

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 659 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a0: ; X64-BMI1NOTBM-LABEL: bextr64_a0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a0: ; X64-BMI1BMI2-LABEL: bextr64_a0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 129 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a0_arithmetic: ; X64-BMI1NOTBM-LABEL: bextr64_a0_arithmetic:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: movq %rsi, %rcx ; X64-BMI1NOTBM-NEXT: movq %rsi, %rcx
; X64-BMI1NOTBM-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-BMI1NOTBM-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-BMI1NOTBM-NEXT: sarq %cl, %rdi ; X64-BMI1NOTBM-NEXT: sarq %cl, %rdi
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: bextrq %rdx, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rdx, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a0_arithmetic: ; X64-BMI1BMI2-LABEL: bextr64_a0_arithmetic:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: sarxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: sarxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 123 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a1_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_a1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a1_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_a1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
▲ Show 20 Lines • Show All 131 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rsi, %rax ; X64-NOBMI-NEXT: andq %rsi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a2_load: ; X64-BMI1NOTBM-LABEL: bextr64_a2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a2_load: ; X64-BMI1BMI2-LABEL: bextr64_a2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 128 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rsi, %rax ; X64-NOBMI-NEXT: andq %rsi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_a3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a3_load_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_a3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
▲ Show 20 Lines • Show All 128 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a4_commutative: ; X64-BMI1NOTBM-LABEL: bextr64_a4_commutative:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a4_commutative: ; X64-BMI1BMI2-LABEL: bextr64_a4_commutative:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 168 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: callq use64 ; X64-NOBMI-NEXT: callq use64
; X64-NOBMI-NEXT: movq %rbx, %rax ; X64-NOBMI-NEXT: movq %rbx, %rax
; X64-NOBMI-NEXT: popq %rbx ; X64-NOBMI-NEXT: popq %rbx
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_a5_skipextrauses: ; X64-BMI1NOTBM-LABEL: bextr64_a5_skipextrauses:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: pushq %rbx ; X64-BMI1NOTBM-NEXT: pushq %rbx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx
; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi ; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi
; X64-BMI1NOTBM-NEXT: callq use64 ; X64-BMI1NOTBM-NEXT: callq use64
; X64-BMI1NOTBM-NEXT: movq %rbx, %rax ; X64-BMI1NOTBM-NEXT: movq %rbx, %rax
; X64-BMI1NOTBM-NEXT: popq %rbx ; X64-BMI1NOTBM-NEXT: popq %rbx
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_a5_skipextrauses: ; X64-BMI1BMI2-LABEL: bextr64_a5_skipextrauses:
▲ Show 20 Lines • Show All 223 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: decl %eax ; X64-NOBMI-NEXT: decl %eax
; X64-NOBMI-NEXT: andl %edi, %eax ; X64-NOBMI-NEXT: andl %edi, %eax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_a1: ; X64-BMI1NOTBM-LABEL: bextr64_32_a1:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_a1: ; X64-BMI1BMI2-LABEL: bextr64_32_a1:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 227 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: decl %eax ; X64-NOBMI-NEXT: decl %eax
; X64-NOBMI-NEXT: andl %edi, %eax ; X64-NOBMI-NEXT: andl %edi, %eax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_a2: ; X64-BMI1NOTBM-LABEL: bextr64_32_a2:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_a2: ; X64-BMI1BMI2-LABEL: bextr64_32_a2:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 571 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b0: ; X64-BMI1NOTBM-LABEL: bextr64_b0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b0: ; X64-BMI1BMI2-LABEL: bextr64_b0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 120 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b1_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_b1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b1_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_b1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
▲ Show 20 Lines • Show All 128 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rsi, %rax ; X64-NOBMI-NEXT: andq %rsi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b2_load: ; X64-BMI1NOTBM-LABEL: bextr64_b2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b2_load: ; X64-BMI1BMI2-LABEL: bextr64_b2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 125 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rsi, %rax ; X64-NOBMI-NEXT: andq %rsi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_b3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b3_load_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_b3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
▲ Show 20 Lines • Show All 125 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b4_commutative: ; X64-BMI1NOTBM-LABEL: bextr64_b4_commutative:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b4_commutative: ; X64-BMI1BMI2-LABEL: bextr64_b4_commutative:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 163 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: callq use64 ; X64-NOBMI-NEXT: callq use64
; X64-NOBMI-NEXT: movq %rbx, %rax ; X64-NOBMI-NEXT: movq %rbx, %rax
; X64-NOBMI-NEXT: popq %rbx ; X64-NOBMI-NEXT: popq %rbx
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_b5_skipextrauses: ; X64-BMI1NOTBM-LABEL: bextr64_b5_skipextrauses:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: pushq %rbx ; X64-BMI1NOTBM-NEXT: pushq %rbx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx
; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi ; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi
; X64-BMI1NOTBM-NEXT: callq use64 ; X64-BMI1NOTBM-NEXT: callq use64
; X64-BMI1NOTBM-NEXT: movq %rbx, %rax ; X64-BMI1NOTBM-NEXT: movq %rbx, %rax
; X64-BMI1NOTBM-NEXT: popq %rbx ; X64-BMI1NOTBM-NEXT: popq %rbx
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_b5_skipextrauses: ; X64-BMI1BMI2-LABEL: bextr64_b5_skipextrauses:
▲ Show 20 Lines • Show All 219 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: notl %eax ; X64-NOBMI-NEXT: notl %eax
; X64-NOBMI-NEXT: andl %edi, %eax ; X64-NOBMI-NEXT: andl %edi, %eax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_b1: ; X64-BMI1NOTBM-LABEL: bextr64_32_b1:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_b1: ; X64-BMI1BMI2-LABEL: bextr64_32_b1:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 83 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: notl %eax ; X64-NOBMI-NEXT: notl %eax
; X64-NOBMI-NEXT: andl %edi, %eax ; X64-NOBMI-NEXT: andl %edi, %eax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_b2: ; X64-BMI1NOTBM-LABEL: bextr64_32_b2:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_b2: ; X64-BMI1BMI2-LABEL: bextr64_32_b2:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 2,350 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: shrl %cl, %eax ; X64-NOBMI-NEXT: shrl %cl, %eax
; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax ; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_c1: ; X64-BMI1NOTBM-LABEL: bextr64_32_c1:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_c1: ; X64-BMI1BMI2-LABEL: bextr64_32_c1:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 80 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: shrl %cl, %eax ; X64-NOBMI-NEXT: shrl %cl, %eax
; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax ; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_c2: ; X64-BMI1NOTBM-LABEL: bextr64_32_c2:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_c2: ; X64-BMI1BMI2-LABEL: bextr64_32_c2:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 520 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %dl ; X64-NOBMI-NEXT: negb %dl
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_d0: ; X64-BMI1NOTBM-LABEL: bextr64_d0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_d0: ; X64-BMI1BMI2-LABEL: bextr64_d0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 151 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %dl ; X64-NOBMI-NEXT: negb %dl
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_d1_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_d1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_d1_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_d1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
▲ Show 20 Lines • Show All 158 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %dl ; X64-NOBMI-NEXT: negb %dl
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_d2_load: ; X64-BMI1NOTBM-LABEL: bextr64_d2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_d2_load: ; X64-BMI1BMI2-LABEL: bextr64_d2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 155 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %dl ; X64-NOBMI-NEXT: negb %dl
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_d3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bextr64_d3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_d3_load_indexzext: ; X64-BMI1BMI2-LABEL: bextr64_d3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1BMI2-NEXT: # kill: def $edx killed $edx def $rdx
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, (%rdi), %rax
▲ Show 20 Lines • Show All 198 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: callq use64 ; X64-NOBMI-NEXT: callq use64
; X64-NOBMI-NEXT: movq %rbx, %rax ; X64-NOBMI-NEXT: movq %rbx, %rax
; X64-NOBMI-NEXT: popq %rbx ; X64-NOBMI-NEXT: popq %rbx
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_d5_skipextrauses: ; X64-BMI1NOTBM-LABEL: bextr64_d5_skipextrauses:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: pushq %rbx ; X64-BMI1NOTBM-NEXT: pushq %rbx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rbx
; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi ; X64-BMI1NOTBM-NEXT: movq %rsi, %rdi
; X64-BMI1NOTBM-NEXT: callq use64 ; X64-BMI1NOTBM-NEXT: callq use64
; X64-BMI1NOTBM-NEXT: movq %rbx, %rax ; X64-BMI1NOTBM-NEXT: movq %rbx, %rax
; X64-BMI1NOTBM-NEXT: popq %rbx ; X64-BMI1NOTBM-NEXT: popq %rbx
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_d5_skipextrauses: ; X64-BMI1BMI2-LABEL: bextr64_d5_skipextrauses:
▲ Show 20 Lines • Show All 129 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax ; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_d0: ; X64-BMI1NOTBM-LABEL: bextr64_32_d0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_d0: ; X64-BMI1BMI2-LABEL: bextr64_32_d0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rdx, %rax, %rax
▲ Show 20 Lines • Show All 80 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: movl %edx, %ecx ; X64-NOBMI-NEXT: movl %edx, %ecx
; X64-NOBMI-NEXT: shll %cl, %eax ; X64-NOBMI-NEXT: shll %cl, %eax
; X64-NOBMI-NEXT: shrl %cl, %eax ; X64-NOBMI-NEXT: shrl %cl, %eax
; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax ; X64-NOBMI-NEXT: # kill: def $eax killed $eax killed $rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bextr64_32_d1: ; X64-BMI1NOTBM-LABEL: bextr64_32_d1:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $edx killed $edx def $rdx ; X64-BMI1NOTBM-NEXT: shll $8, %edx
; X64-BMI1NOTBM-NEXT: shlq $8, %rdx
; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax ; X64-BMI1NOTBM-NEXT: movzbl %sil, %eax
; X64-BMI1NOTBM-NEXT: orq %rdx, %rax ; X64-BMI1NOTBM-NEXT: orl %edx, %eax
; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rax, %rdi, %rax
; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax ; X64-BMI1NOTBM-NEXT: # kill: def $eax killed $eax killed $rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bextr64_32_d1: ; X64-BMI1BMI2-LABEL: bextr64_32_d1:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: shrxq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax ; X64-BMI1BMI2-NEXT: bzhil %edx, %eax, %eax
▲ Show 20 Lines • Show All 655 Lines • Show Last 20 Lines

llvm/trunk/test/CodeGen/X86/extract-lowbits.ll

Show First 20 Lines • Show All 348 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_a0: ; X64-BMI1NOTBM-LABEL: bzhi64_a0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_a0: ; X64-BMI1BMI2-LABEL: bzhi64_a0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%onebit = shl i64 1, %numlowbits %onebit = shl i64 1, %numlowbits
▲ Show 20 Lines • Show All 68 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_a1_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_a1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_a1_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_a1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 78 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq (%rdi), %rax ; X64-NOBMI-NEXT: andq (%rdi), %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_a2_load: ; X64-BMI1NOTBM-LABEL: bzhi64_a2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_a2_load: ; X64-BMI1BMI2-LABEL: bzhi64_a2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%val = load i64, i64* %w %val = load i64, i64* %w
▲ Show 20 Lines • Show All 78 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq (%rdi), %rax ; X64-NOBMI-NEXT: andq (%rdi), %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_a3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_a3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_a3_load_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_a3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 70 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: decq %rax ; X64-NOBMI-NEXT: decq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_a4_commutative: ; X64-BMI1NOTBM-LABEL: bzhi64_a4_commutative:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_a4_commutative: ; X64-BMI1BMI2-LABEL: bzhi64_a4_commutative:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%onebit = shl i64 1, %numlowbits %onebit = shl i64 1, %numlowbits
▲ Show 20 Lines • Show All 327 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_b0: ; X64-BMI1NOTBM-LABEL: bzhi64_b0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_b0: ; X64-BMI1BMI2-LABEL: bzhi64_b0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%notmask = shl i64 -1, %numlowbits %notmask = shl i64 -1, %numlowbits
▲ Show 20 Lines • Show All 67 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_b1_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_b1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_b1_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_b1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 73 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq (%rdi), %rax ; X64-NOBMI-NEXT: andq (%rdi), %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_b2_load: ; X64-BMI1NOTBM-LABEL: bzhi64_b2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_b2_load: ; X64-BMI1BMI2-LABEL: bzhi64_b2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%val = load i64, i64* %w %val = load i64, i64* %w
▲ Show 20 Lines • Show All 73 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq (%rdi), %rax ; X64-NOBMI-NEXT: andq (%rdi), %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_b3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_b3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_b3_load_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_b3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 69 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: notq %rax ; X64-NOBMI-NEXT: notq %rax
; X64-NOBMI-NEXT: andq %rdi, %rax ; X64-NOBMI-NEXT: andq %rdi, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_b4_commutative: ; X64-BMI1NOTBM-LABEL: bzhi64_b4_commutative:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_b4_commutative: ; X64-BMI1BMI2-LABEL: bzhi64_b4_commutative:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%notmask = shl i64 -1, %numlowbits %notmask = shl i64 -1, %numlowbits
▲ Show 20 Lines • Show All 1,693 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %cl ; X64-NOBMI-NEXT: negb %cl
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_d0: ; X64-BMI1NOTBM-LABEL: bzhi64_d0:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_d0: ; X64-BMI1BMI2-LABEL: bzhi64_d0:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%numhighbits = sub i64 64, %numlowbits %numhighbits = sub i64 64, %numlowbits
▲ Show 20 Lines • Show All 121 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $ecx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $ecx
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_d1_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_d1_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, %rdi, %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_d1_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_d1_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, %rdi, %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 125 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: negb %cl ; X64-NOBMI-NEXT: negb %cl
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $rcx
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_d2_load: ; X64-BMI1NOTBM-LABEL: bzhi64_d2_load:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_d2_load: ; X64-BMI1BMI2-LABEL: bzhi64_d2_load:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
%val = load i64, i64* %w %val = load i64, i64* %w
▲ Show 20 Lines • Show All 125 Lines • ▼ Show 20 Lines
; X64-NOBMI-NEXT: shlq %cl, %rax ; X64-NOBMI-NEXT: shlq %cl, %rax
; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $ecx ; X64-NOBMI-NEXT: # kill: def $cl killed $cl killed $ecx
; X64-NOBMI-NEXT: shrq %cl, %rax ; X64-NOBMI-NEXT: shrq %cl, %rax
; X64-NOBMI-NEXT: retq ; X64-NOBMI-NEXT: retq
; ;
; X64-BMI1NOTBM-LABEL: bzhi64_d3_load_indexzext: ; X64-BMI1NOTBM-LABEL: bzhi64_d3_load_indexzext:
; X64-BMI1NOTBM: # %bb.0: ; X64-BMI1NOTBM: # %bb.0:
; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1NOTBM-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1NOTBM-NEXT: shlq $8, %rsi ; X64-BMI1NOTBM-NEXT: shll $8, %esi
; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax ; X64-BMI1NOTBM-NEXT: bextrq %rsi, (%rdi), %rax
; X64-BMI1NOTBM-NEXT: retq ; X64-BMI1NOTBM-NEXT: retq
; ;
; X64-BMI1BMI2-LABEL: bzhi64_d3_load_indexzext: ; X64-BMI1BMI2-LABEL: bzhi64_d3_load_indexzext:
; X64-BMI1BMI2: # %bb.0: ; X64-BMI1BMI2: # %bb.0:
; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi ; X64-BMI1BMI2-NEXT: # kill: def $esi killed $esi def $rsi
; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax ; X64-BMI1BMI2-NEXT: bzhiq %rsi, (%rdi), %rax
; X64-BMI1BMI2-NEXT: retq ; X64-BMI1BMI2-NEXT: retq
▲ Show 20 Lines • Show All 295 Lines • Show Last 20 Lines