diff options
| author | Evgeny Stupachenko <evstupac@gmail.com> | 2018-03-07 02:17:08 +0000 |
|---|---|---|
| committer | Evgeny Stupachenko <evstupac@gmail.com> | 2018-03-07 02:17:08 +0000 |
| commit | 204ade4102c7959cc56e03f163ad7473c94a0b38 (patch) | |
| tree | 50f5db1c6a3e3a32d8064583a762b04f3ef31314 /llvm/test | |
| parent | a14b46073ebb4c0d5d1cfcf6a1cecb9e5d0192e4 (diff) | |
| download | bcm5719-llvm-204ade4102c7959cc56e03f163ad7473c94a0b38.tar.gz bcm5719-llvm-204ade4102c7959cc56e03f163ad7473c94a0b38.zip | |
Add early exit on reassociation of 0 expression.
Summary:
Before the patch a try to reassociate ((v * 16) * 0) * 1 fall into infinite loop
Reviewers: pankajchawla
Differential Revision: http://reviews.llvm.org/D41467
From: Evgeny Stupachenko <evstupac@gmail.com>
<evgeny.v.stupachenko@intel.com>
llvm-svn: 326861
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/NaryReassociate/pr35710.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/llvm/test/Transforms/NaryReassociate/pr35710.ll b/llvm/test/Transforms/NaryReassociate/pr35710.ll new file mode 100644 index 00000000000..f46dd27607e --- /dev/null +++ b/llvm/test/Transforms/NaryReassociate/pr35710.ll @@ -0,0 +1,19 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt < %s -nary-reassociate -S | FileCheck %s + +; The test check that compilation does not fall into infinite loop. + +define i8 @foo(i8 %v) local_unnamed_addr #0 { +; CHECK-LABEL: @foo( +; CHECK-NEXT: region.0: +; CHECK-NEXT: [[TMP0:%.*]] = mul nsw i8 16, [[V:%.*]] +; CHECK-NEXT: [[TMP1:%.*]] = mul nsw i8 0, [[TMP0]] +; CHECK-NEXT: [[TMP2:%.*]] = mul nsw i8 1, [[TMP1]] +; CHECK-NEXT: ret i8 [[TMP2]] +; +region.0: + %0 = mul nsw i8 16, %v + %1 = mul nsw i8 0, %0 + %2 = mul nsw i8 1, %1 + ret i8 %2 +} |
