test/Verifier/invoke.ll

   1 ; RUN: not llvm-as < %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 ; PR1042
   4 define i32 @foo() {
   5 ; CHECK: The unwind destination does not have a landingpad instruction
   6         %A = invoke i32 @foo( )
   7                         to label %L unwind label %L             ; <i32> [#uses=1]
   8 L:              ; preds = %0, %0
   9         ret i32 %A
  10 }
  11
  12 ; PR1042
  13 define i32 @bar() {
  14         br i1 false, label %L1, label %L2
  15 L1:             ; preds = %0
  16         %A = invoke i32 @bar( )
  17                         to label %L unwind label %L             ; <i32> [#uses=1]
  18 L2:             ; preds = %0
  19         br label %L
  20 L:              ; preds = %L2, %L1, %L1
  21 ; CHECK: The unwind destination does not have a landingpad instruction
  22 ; CHECK: Instruction does not dominate all uses
  23         ret i32 %A
  24 }
  25
  26
  27 declare i32 @__gxx_personality_v0(...)
  28 declare void @llvm.donothing()
  29 declare void @llvm.trap()
  30 declare i8 @llvm.expect.i8(i8,i8)
  31 declare i32 @fn(i8 (i8, i8)*)
  32
  33 define void @f1() {
  34 entry:
  35 ; OK
  36   invoke void @llvm.donothing()
  37   to label %conta unwind label %contb
  38
  39 conta:
  40   ret void
  41
  42 contb:
  43   %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
  44           filter [0 x i8*] zeroinitializer
  45   ret void
  46 }
  47
  48 define i8 @f2() {
  49 entry:
  50 ; CHECK: Cannot invoke an intrinsinc other than donothing
  51   invoke void @llvm.trap()
  52   to label %cont unwind label %lpad
  53
  54 cont:
  55   ret i8 3
  56
  57 lpad:
  58   %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
  59           filter [0 x i8*] zeroinitializer
  60   ret i8 2
  61 }
  62
  63 define i32 @f3() {
  64 entry:
  65 ; CHECK: Cannot take the address of an intrinsic
  66   %call = call i32 @fn(i8 (i8, i8)* @llvm.expect.i8)
  67   ret i32 %call
  68 }
  69
  70 define void @f4() {
  71 entry:
  72   invoke void @llvm.donothing()
  73   to label %cont unwind label %cont
  74
  75 cont:
  76 ; CHECK: Block containing LandingPadInst must be jumped to only by the unwind edge of an invoke.
  77   %0 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
  78           filter [0 x i8*] zeroinitializer
  79   ret void
  80 }