Merging r259649:

[oota-llvm.git] / test / Verifier / operand-bundles.ll

diff --git a/test/Verifier/operand-bundles.ll b/test/Verifier/operand-bundles.ll
index 0aba61cccb81c5202e03ebb63cee30229ddc0fd2..d822568a0445502d53d5a9b637ebf84cf1237475 100644 (file)
--- a/test/Verifier/operand-bundles.ll
+++ b/test/Verifier/operand-bundles.ll
@@ -34,3 +34,16 @@ normal:
   %x = add i32 42, 1
   ret void
 }
+
+define void @f_deopt(i32* %ptr) {
+; CHECK: Multiple deopt operand bundles
+; CHECK-NEXT: call void @g() [ "deopt"(i32 42, i64 100, i32 %x), "deopt"(float 0.000000e+00, i64 100, i32 %l) ]
+; CHECK-NOT: call void @g() [ "deopt"(i32 42, i64 120, i32 %x) ]
+
+ entry:
+  %l = load i32, i32* %ptr
+  call void @g() [ "deopt"(i32 42, i64 100, i32 %x), "deopt"(float 0.0, i64 100, i32 %l) ]
+  call void @g() [ "deopt"(i32 42, i64 120) ]  ;; The verifier should not complain about this one
+  %x = add i32 42, 1
+  ret void
+}