diff options
| author | Serguei Katkov <serguei.katkov@azul.com> | 2023-06-07 16:47:07 +0700 |
|---|---|---|
| committer | Serguei Katkov <serguei.katkov@azul.com> | 2023-06-07 17:20:57 +0700 |
| commit | d57ed844feb7036a21e849c8dcda269a451ad5c3 (patch) | |
| tree | 47229023639e60009d2b17a5932f350cd6cfb05b | |
| parent | 223a0f63745635c50951960b0ffcf42c77988ed7 (diff) | |
| download | llvm-d57ed844feb7036a21e849c8dcda269a451ad5c3.zip llvm-d57ed844feb7036a21e849c8dcda269a451ad5c3.tar.gz llvm-d57ed844feb7036a21e849c8dcda269a451ad5c3.tar.bz2 | |
[CGP] Add test to show the missed case in remove llvm.assume
| -rw-r--r-- | llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll b/llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll index a109334..b7c9c0c 100644 --- a/llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll +++ b/llvm/test/Transforms/CodeGenPrepare/X86/delete-assume-dead-code.ll @@ -26,5 +26,67 @@ exit: ret i32 %conv } +define i32 @test2(i32 %N) nounwind { +; CHECK-LABEL: @test2( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[HEADER:%.*]] +; CHECK: header: +; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_INC:%.*]], [[HEADER]] ] +; CHECK-NEXT: [[IV2:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[IV2_INC:%.*]], [[HEADER]] ] +; CHECK-NEXT: [[IV_INC]] = add i32 [[IV]], 1 +; CHECK-NEXT: [[IV2_INC]] = add i32 [[IV2]], 1 +; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[IV]], [[N:%.*]] +; CHECK-NEXT: br i1 [[CMP]], label [[EXIT:%.*]], label [[HEADER]] +; CHECK: exit: +; CHECK-NEXT: ret i32 [[IV]] +; +entry: + br label %header + +header: + %iv = phi i32 [0, %entry], [%iv.inc, %header] + %iv2 = phi i32 [0, %entry], [%iv2.inc, %header] + %iv.inc = add i32 %iv, 1 + %iv2.inc = add i32 %iv2, 1 + %cmp = icmp eq i32 %iv, %N + %cmp2 = icmp slt i32 %iv2, %N + call void @llvm.assume(i1 %cmp2) + br i1 %cmp, label %exit, label %header + +exit: + ret i32 %iv +} + +define i32 @test3(i32 %N) nounwind { +; CHECK-LABEL: @test3( +; CHECK-NEXT: entry: +; CHECK-NEXT: br label [[HEADER:%.*]] +; CHECK: header: +; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_INC:%.*]], [[HEADER]] ] +; CHECK-NEXT: [[IV2:%.*]] = phi i32 [ 0, [[ENTRY]] ], [ [[IV2_INC:%.*]], [[HEADER]] ] +; CHECK-NEXT: [[IV_INC]] = add i32 [[IV]], 1 +; CHECK-NEXT: [[IV2_INC]] = add i32 [[IV2]], 1 +; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[IV]], [[N:%.*]] +; CHECK-NEXT: br i1 [[CMP]], label [[EXIT:%.*]], label [[HEADER]] +; CHECK: exit: +; CHECK-NEXT: ret i32 [[IV]] +; +entry: + br label %header + +header: + %iv = phi i32 [0, %entry], [%iv.inc, %header] + %iv2 = phi i32 [0, %entry], [%iv2.inc, %header] + %iv.inc = add i32 %iv, 1 + %iv2.inc = add i32 %iv2, 1 + %cmp = icmp eq i32 %iv, %N + %cmp2 = icmp slt i32 %iv2.inc, %N + call void @llvm.assume(i1 %cmp2) + br i1 %cmp, label %exit, label %header + +exit: + ret i32 %iv +} + declare i64 @foo(ptr) nounwind readonly willreturn declare void @llvm.assume(i1 noundef) nounwind willreturn |