Diffusion LLVM Github Monorepo 083744852ab4

[NFC][InstCombine] Test what happens if 'unefficient high bit check' pattern is…
083744852ab4
Actions

Authored by lebedev.ri on Sep 13 2018, 1:33 PM.

Description

[NFC][InstCombine] Test what happens if 'unefficient high bit check' pattern is on both sides.

Came up in https://reviews.llvm.org/D52001#1233827
While we don't do a good job here, we at least want to make
sure that we don't have any inf-loops.

llvm-svn: 342171

Details

Committed

lebedev.ri

Sep 13 2018, 1:33 PM

Parents

rG7a8dc3dafa85: [DCE] Add DebugCounter support

Branches

Unknown

Tags

Unknown

Event Timeline

lebedev.ri committed rG083744852ab4: [NFC][InstCombine] Test what happens if 'unefficient high bit check' pattern is… (authored by lebedev.ri).Sep 13 2018, 1:33 PM

Changes (4)

Path

Size

llvm/

test/

Transforms/

InstCombine/

icmp-uge-of-not-of-shl-allones-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

icmp-ugt-of-shl-1-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

icmp-ule-of-shl-1-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

icmp-ult-of-not-of-shl-allones-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

rG083744852ab4

View Options

llvm/test/Transforms/InstCombine/icmp-uge-of-not-of-shl-allones-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

View Options

llvm/test/Transforms/InstCombine/icmp-ugt-of-shl-1-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

View Options

llvm/test/Transforms/InstCombine/icmp-ule-of-shl-1-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

View Options

llvm/test/Transforms/InstCombine/icmp-ult-of-not-of-shl-allones-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

[NFC][InstCombine] Test what happens if 'unefficient high bit check' pattern is…083744852ab4Actions

Description

Details

Event Timeline

Changes (4)

rG083744852ab4

llvm/test/Transforms/InstCombine/icmp-uge-of-not-of-shl-allones-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

llvm/test/Transforms/InstCombine/icmp-ugt-of-shl-1-by-bits-and-val-to-icmp-eq-of-lshr-val-by-bits-and-0.ll

llvm/test/Transforms/InstCombine/icmp-ule-of-shl-1-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

llvm/test/Transforms/InstCombine/icmp-ult-of-not-of-shl-allones-by-bits-and-val-to-icmp-ne-of-lshr-val-by-bits-and-0.ll

[NFC][InstCombine] Test what happens if 'unefficient high bit check' pattern is…
083744852ab4
Actions