commit e1023a4a06f7e61a318da6a97f471be32f88b2ec
author Nikita Popov <nikita.ppv@gmail.com> Thu Feb 18 21:25:14 2021 +0100
committer Copybara-Service <copybara-worker@google.com> Fri Feb 19 03:42:03 2021 -0800
tree fec1c6f7395e9ff96a64d7d8973c676ca80594cd
parent 0ce023ca21510f10bfe39a72ff2cc25c17300713

[DCE] Add tests for non-willreturn function being removed (NFC)

GitOrigin-RevId: 4045ad6b0ccd35fe990d51b9bfdd9e7de109bdf5

test/Transforms/ADCE/willreturn.ll

diff --git a/test/Transforms/ADCE/willreturn.ll b/test/Transforms/ADCE/willreturn.ll
new file mode 100644
index 0000000..c3482a4
--- /dev/null
+++ b/test/Transforms/ADCE/willreturn.ll
@@ -0,0 +1,17 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -adce -S < %s | FileCheck %s
+
+declare void @may_not_return(i32) nounwind readnone
+declare void @will_return(i32) nounwind readnone willreturn
+
+; FIXME: This is a miscompile.
+define void @test(i32 %a) {
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    ret void
+;
+  %b = add i32 %a, 1
+  call void @may_not_return(i32 %b)
+  %c = add i32 %b, 1
+  call void @will_return(i32 %c)
+  ret void
+}

test/Transforms/BDCE/willreturn.ll

diff --git a/test/Transforms/BDCE/willreturn.ll b/test/Transforms/BDCE/willreturn.ll
new file mode 100644
index 0000000..b87ab00
--- /dev/null
+++ b/test/Transforms/BDCE/willreturn.ll
@@ -0,0 +1,17 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -bdce -S < %s | FileCheck %s
+
+declare void @may_not_return(i32) nounwind readnone
+declare void @will_return(i32) nounwind readnone willreturn
+
+; FIXME: This is a miscompile.
+define void @test(i32 %a) {
+; CHECK-LABEL: @test(
+; CHECK-NEXT:    ret void
+;
+  %b = add i32 %a, 1
+  call void @may_not_return(i32 %b)
+  %c = add i32 %b, 1
+  call void @will_return(i32 %c)
+  ret void
+}