diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2018-07-18 08:49:51 +0000 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2018-07-18 08:49:51 +0000 |
| commit | 3404d4dd4171695c1b0d3c19cbfb3f546cf7f3ba (patch) | |
| tree | 21d0089ed048c75490d8a9a1aecb75c6a73d3480 /llvm/test/Transforms | |
| parent | b9f3ea3e1c7d5e1ddc0f187b3772527f98af3143 (diff) | |
| download | bcm5719-llvm-3404d4dd4171695c1b0d3c19cbfb3f546cf7f3ba.tar.gz bcm5719-llvm-3404d4dd4171695c1b0d3c19cbfb3f546cf7f3ba.zip | |
[NFC][InstCombine] i65 tests for 'check for [no] signed truncation' pattern
Those initially broke chromium build:
https://bugs.llvm.org/show_bug.cgi?id=38204 and
https://crbug.com/864832
llvm-svn: 337364
Diffstat (limited to 'llvm/test/Transforms')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll | 14 | ||||
| -rw-r--r-- | llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll | 14 |
2 files changed, 28 insertions, 0 deletions
diff --git a/llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll b/llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll index 5ed22292aab..2e75ae60571 100644 --- a/llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll +++ b/llvm/test/Transforms/InstCombine/canonicalize-lack-of-signed-truncation-check.ll @@ -26,6 +26,20 @@ define i1 @p0(i8 %x) { ret i1 %tmp2 } +; Big unusual bit width, https://bugs.llvm.org/show_bug.cgi?id=38204 +define i1 @pb(i65 %x) { +; CHECK-LABEL: @pb( +; CHECK-NEXT: [[TMP0:%.*]] = shl i65 [[X:%.*]], 1 +; CHECK-NEXT: [[TMP1:%.*]] = ashr exact i65 [[TMP0]], 1 +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i65 [[TMP1]], [[X]] +; CHECK-NEXT: ret i1 [[TMP2]] +; + %tmp0 = shl i65 %x, 1 + %tmp1 = ashr exact i65 %tmp0, 1 + %tmp2 = icmp eq i65 %x, %tmp1 + ret i1 %tmp2 +} + ; ============================================================================ ; ; Vector tests ; ============================================================================ ; diff --git a/llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll b/llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll index ca08a33ae99..6cd32db8224 100644 --- a/llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll +++ b/llvm/test/Transforms/InstCombine/canonicalize-signed-truncation-check.ll @@ -26,6 +26,20 @@ define i1 @p0(i8 %x) { ret i1 %tmp2 } +; Big unusual bit width, https://bugs.llvm.org/show_bug.cgi?id=38204 +define i1 @pb(i65 %x) { +; CHECK-LABEL: @pb( +; CHECK-NEXT: [[TMP0:%.*]] = shl i65 [[X:%.*]], 1 +; CHECK-NEXT: [[TMP1:%.*]] = ashr exact i65 [[TMP0]], 1 +; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i65 [[TMP1]], [[X]] +; CHECK-NEXT: ret i1 [[TMP2]] +; + %tmp0 = shl i65 %x, 1 + %tmp1 = ashr exact i65 %tmp0, 1 + %tmp2 = icmp ne i65 %x, %tmp1 + ret i1 %tmp2 +} + ; ============================================================================ ; ; Vector tests ; ============================================================================ ; |
