[InstCombine] Allow InstrCombine to remove one of adjacent guards if they are equivalent
This is a partial fix for Bug 31520 - [guards] canonicalize guards in instcombine
Reviewed By: majnemer, apilipenko
Differential Revision: https://reviews.llvm.org/D29071
Patch by Maxim Kazantsev.
llvm-svn: 293056
diff --git a/llvm/test/Transforms/InstCombine/call-guard.ll b/llvm/test/Transforms/InstCombine/call-guard.ll
new file mode 100644
index 0000000..18da465
--- /dev/null
+++ b/llvm/test/Transforms/InstCombine/call-guard.ll
@@ -0,0 +1,30 @@
+; RUN: opt < %s -instcombine -S | FileCheck %s
+
+declare void @llvm.experimental.guard(i1, ...)
+
+define void @test_guard_adjacent(i1 %A) {
+; CHECK-LABEL: @test_guard_adjacent(
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %A) [ "deopt"() ]
+; CHECK-NEXT: ret void
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ ret void
+}
+
+define void @test_guard_adjacent_neg(i1 %A, i1 %B) {
+; CHECK-LABEL: @test_guard_adjacent_neg(
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %A) [ "deopt"() ]
+; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 %B) [ "deopt"() ]
+; CHECK-NEXT: ret void
+ call void(i1, ...) @llvm.experimental.guard( i1 %A )[ "deopt"() ]
+ call void(i1, ...) @llvm.experimental.guard( i1 %B )[ "deopt"() ]
+ ret void
+}