| ; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s |
| |
| %0 = type opaque |
| declare void @g() |
| declare ptr @foo0() |
| declare i8 @foo1() |
| declare void @noreturn_func() |
| |
| ; Operand bundles uses are like regular uses, and need to be dominated |
| ; by their defs. |
| |
| define void @f0(ptr %ptr) { |
| ; CHECK: Instruction does not dominate all uses! |
| ; CHECK-NEXT: %x = add i32 42, 1 |
| ; CHECK-NEXT: call void @g() [ "foo"(i32 42, i64 100, i32 %x), "bar"(float 0.000000e+00, i64 100, i32 %l) ] |
| |
| entry: |
| %l = load i32, ptr %ptr |
| call void @g() [ "foo"(i32 42, i64 100, i32 %x), "bar"(float 0.0, i64 100, i32 %l) ] |
| %x = add i32 42, 1 |
| ret void |
| } |
| |
| define void @f1(ptr %ptr) personality i8 3 { |
| ; CHECK: Instruction does not dominate all uses! |
| ; CHECK-NEXT: %x = add i32 42, 1 |
| ; CHECK-NEXT: invoke void @g() [ "foo"(i32 42, i64 100, i32 %x), "bar"(float 0.000000e+00, i64 100, i32 %l) ] |
| |
| entry: |
| %l = load i32, ptr %ptr |
| invoke void @g() [ "foo"(i32 42, i64 100, i32 %x), "bar"(float 0.0, i64 100, i32 %l) ] to label %normal unwind label %exception |
| |
| exception: |
| %cleanup = landingpad i8 cleanup |
| br label %normal |
| |
| normal: |
| %x = add i32 42, 1 |
| ret void |
| } |
| |
| define void @f_deopt(ptr %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, ptr %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 |
| } |
| |
| define void @f_gc_transition(ptr %ptr) { |
| ; CHECK: Multiple gc-transition operand bundles |
| ; CHECK-NEXT: call void @g() [ "gc-transition"(i32 42, i64 100, i32 %x), "gc-transition"(float 0.000000e+00, i64 100, i32 %l) ] |
| ; CHECK-NOT: call void @g() [ "gc-transition"(i32 42, i64 120, i32 %x) ] |
| |
| entry: |
| %l = load i32, ptr %ptr |
| call void @g() [ "gc-transition"(i32 42, i64 100, i32 %x), "gc-transition"(float 0.0, i64 100, i32 %l) ] |
| call void @g() [ "gc-transition"(i32 42, i64 120) ] ;; The verifier should not complain about this one |
| %x = add i32 42, 1 |
| ret void |
| } |
| |
| define void @f_clang_arc_attachedcall() { |
| ; CHECK: requires one function as an argument |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"() ] |
| ; CHECK-NEXT: Multiple "clang.arc.attachedcall" operand bundles |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue), "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| ; CHECK-NEXT: must call a function returning a pointer |
| ; CHECK-NEXT: call i8 @foo1() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| ; CHECK-NEXT: or a non-returning function |
| ; CHECK-NEXT: call void @g() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| ; CHECK-NEXT: requires one function as an argument |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"(ptr null) ] |
| ; CHECK-NEXT: requires one function as an argument |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"(i64 0) ] |
| ; CHECK-NEXT: invalid function argument |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"(ptr @foo1) ] |
| ; CHECK-NEXT: invalid function argument |
| ; CHECK-NEXT: call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.assume) ] |
| |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @objc_retainAutoreleasedReturnValue) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @objc_unsafeClaimAutoreleasedReturnValue) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"() ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue), "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| call i8 @foo1() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| call void @noreturn_func() #0 [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| call void @g() [ "clang.arc.attachedcall"(ptr @llvm.objc.retainAutoreleasedReturnValue) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr null) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(i64 0) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @foo1) ] |
| call ptr @foo0() [ "clang.arc.attachedcall"(ptr @llvm.assume) ] |
| ret void |
| } |
| |
| declare ptr @llvm.objc.retainAutoreleasedReturnValue(ptr) |
| declare ptr @llvm.objc.unsafeClaimAutoreleasedReturnValue(ptr) |
| declare ptr @objc_retainAutoreleasedReturnValue(ptr) |
| declare ptr @objc_unsafeClaimAutoreleasedReturnValue(ptr) |
| declare void @llvm.assume(i1) |
| |
| attributes #0 = { noreturn } |