diff options
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/Reassociate/invalid-iterator.ll | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/llvm/test/Transforms/Reassociate/invalid-iterator.ll b/llvm/test/Transforms/Reassociate/invalid-iterator.ll new file mode 100644 index 00000000000..14211d1ede6 --- /dev/null +++ b/llvm/test/Transforms/Reassociate/invalid-iterator.ll @@ -0,0 +1,30 @@ +; RUN: opt < %s -reassociate -die -S | FileCheck %s + +; PR28367 +; Check to make sure %sub2 isn't moved from for.body. Doing so would invalidate +; the iterator. + +; CHECK-LABEL: @fn1 +; CHECK: for.body: +; CHECK-NEXT: %sub2 = sub nsw i32 0, %d.0 +; CHECK-NEXT: store i32 %sub2, i32* %ptr, align 4 +define void @fn1(i32 %a, i1 %c, i32* %ptr) { +entry: + br label %for.cond + +for.cond: + %d.0 = phi i32 [ 1, %entry ], [ 2, %for.body ] + br i1 %c, label %for.end, label %for.body + +for.body: + %sub1 = sub i32 %a, %d.0 + %dead1 = add i32 %sub1, 1 + %dead2 = mul i32 %dead1, 3 + %dead3 = mul i32 %dead2, %sub1 + %sub2 = sub nsw i32 0, %d.0 + store i32 %sub2, i32* %ptr, align 4 + br label %for.cond + +for.end: + ret void +} |
