llvm/test/Verifier/callbr.ll

   1 ; RUN: not opt -S %s -passes=verify 2>&1 | FileCheck %s
   2
   3 ; CHECK: Number of label constraints does not match number of callbr dests
   4 ; CHECK-NEXT: #too_few_label_constraints
   5 define void @too_few_label_constraints() {
   6   callbr void asm sideeffect "#too_few_label_constraints", "!i"()
   7   to label %1 [label %2, label %3]
   8 1:
   9   ret void
  10 2:
  11   ret void
  12 3:
  13   ret void
  14 }
  15
  16 ; CHECK-NOT: Number of label constraints does not match number of callbr dests
  17 define void @correct_label_constraints() {
  18   callbr void asm sideeffect "${0:l} ${1:l}", "!i,!i"()
  19   to label %1 [label %2, label %3]
  20 1:
  21   ret void
  22 2:
  23   ret void
  24 3:
  25   ret void
  26 }
  27
  28 ; CHECK: Number of label constraints does not match number of callbr dests
  29 ; CHECK-NEXT: #too_many_label_constraints
  30 define void @too_many_label_constraints() {
  31   callbr void asm sideeffect "#too_many_label_constraints", "!i,!i,!i"()
  32   to label %1 [label %2, label %3]
  33 1:
  34   ret void
  35 2:
  36   ret void
  37 3:
  38   ret void
  39 }
  40
  41 ; CHECK: Label constraints can only be used with callbr
  42 ; CHECK-NEXT: #label_constraint_without_callbr
  43 define void @label_constraint_without_callbr() {
  44   call void asm sideeffect "#label_constraint_without_callbr", "!i"()
  45   ret void
  46 }
  47
  48 ; CHECK: Number of label constraints does not match number of callbr dests
  49 ; CHECK-NEXT: #callbr_without_label_constraint
  50 define void @callbr_without_label_constraint() {
  51   callbr void asm sideeffect "#callbr_without_label_constraint", ""()
  52   to label %1 [label %2]
  53 1:
  54   ret void
  55 2:
  56   ret void
  57 }
  58
  59 ;; Ensure you can use the return value of a callbr in indirect targets.
  60 ;; No issue!
  61 define i32 @test4(i1 %var) {
  62 entry:
  63   %ret = callbr i32 asm sideeffect "#test4", "=r,!i"() to label %normal [label %abnormal]
  64
  65 normal:
  66   ret i32 0
  67
  68 abnormal:
  69   ret i32 %ret
  70 }
  71
  72 ;; Tests of the callbr.landingpad intrinsic function.
  73 declare i32 @llvm.callbr.landingpad.i64(i64)
  74 define void @callbrpad_bad_type() {
  75 entry:
  76 ; CHECK: Intrinsic has incorrect argument type!
  77 ; CHECK-NEXT: ptr @llvm.callbr.landingpad.i64
  78   %foo = call i32 @llvm.callbr.landingpad.i64(i64 42)
  79   ret void
  80 }
  81
  82 declare i32 @llvm.callbr.landingpad.i32(i32)
  83 define i32 @callbrpad_multi_preds() {
  84 entry:
  85   %foo = callbr i32 asm "", "=r,!i"() to label %direct [label %indirect]
  86 direct:
  87   br label %indirect
  88 indirect:
  89 ; CHECK-NEXT: Intrinsic in block must have 1 unique predecessor
  90 ; CHECK-NEXT: %out = call i32 @llvm.callbr.landingpad.i32(i32 %foo)
  91   %out = call i32 @llvm.callbr.landingpad.i32(i32 %foo)
  92   ret i32 %out
  93 }
  94
  95 define void @callbrpad_wrong_callbr() {
  96 entry:
  97   %foo = callbr i32 asm "", "=r,!i"() to label %direct [label %indirect]
  98 direct:
  99 ; CHECK-NEXT: Intrinsic's corresponding callbr must have intrinsic's parent basic block in indirect destination list
 100 ; CHECK-NEXT: %x = call i32 @llvm.callbr.landingpad.i32(i32 %foo)
 101   %x = call i32 @llvm.callbr.landingpad.i32(i32 %foo)
 102   ret void
 103 indirect:
 104   ret void
 105 }
 106
 107 declare i32 @foo(i32)
 108 define i32 @test_callbr_landingpad_not_first_inst() {
 109 entry:
 110   %0 = callbr i32 asm "", "=r,!i"()
 111           to label %asm.fallthrough [label %landingpad]
 112
 113 asm.fallthrough:
 114   ret i32 42
 115
 116 landingpad:
 117   %foo = call i32 @foo(i32 42)
 118 ; CHECK-NEXT: No other instructions may proceed intrinsic
 119 ; CHECK-NEXT: %out = call i32 @llvm.callbr.landingpad.i32(i32 %0)
 120   %out = call i32 @llvm.callbr.landingpad.i32(i32 %0)
 121   ret i32 %out
 122 }