llvm/test/Transforms/IROutliner/illegal-landingpad.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=verify,iroutliner -no-ir-sim-branch-matching -ir-outlining-no-cost < %s | FileCheck %s
   3
   4 ; This test checks that landingpad instructions are not outlined even if they
   5 ; in a similar section.  Dealing with exception handling inside of an outlined
   6 ; function would require a lot of handling that is not implemented yet.
   7
   8 declare void @llvm.donothing() nounwind readnone
   9
  10 define void @function1() personality i8 3 {
  11 ; CHECK-LABEL: @function1(
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
  14 ; CHECK-NEXT:    [[B:%.*]] = alloca i32, align 4
  15 ; CHECK-NEXT:    invoke void @llvm.donothing()
  16 ; CHECK-NEXT:    to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]]
  17 ; CHECK:       exception:
  18 ; CHECK-NEXT:    [[CLEANUP:%.*]] = landingpad i8
  19 ; CHECK-NEXT:    cleanup
  20 ; CHECK-NEXT:    call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])
  21 ; CHECK-NEXT:    br label [[NORMAL]]
  22 ; CHECK:       normal:
  23 ; CHECK-NEXT:    ret void
  24 ;
  25 entry:
  26   %a = alloca i32, align 4
  27   %b = alloca i32, align 4
  28   invoke void @llvm.donothing() to label %normal unwind label %exception
  29 exception:
  30   %cleanup = landingpad i8 cleanup
  31   store i32 2, ptr %a, align 4
  32   store i32 3, ptr %b, align 4
  33   br label %normal
  34 normal:
  35   ret void
  36 }
  37
  38 define void @function2() personality i8 3 {
  39 ; CHECK-LABEL: @function2(
  40 ; CHECK-NEXT:  entry:
  41 ; CHECK-NEXT:    [[A:%.*]] = alloca i32, align 4
  42 ; CHECK-NEXT:    [[B:%.*]] = alloca i32, align 4
  43 ; CHECK-NEXT:    invoke void @llvm.donothing()
  44 ; CHECK-NEXT:    to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]]
  45 ; CHECK:       exception:
  46 ; CHECK-NEXT:    [[CLEANUP:%.*]] = landingpad i8
  47 ; CHECK-NEXT:    cleanup
  48 ; CHECK-NEXT:    call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])
  49 ; CHECK-NEXT:    br label [[NORMAL]]
  50 ; CHECK:       normal:
  51 ; CHECK-NEXT:    ret void
  52 ;
  53 entry:
  54   %a = alloca i32, align 4
  55   %b = alloca i32, align 4
  56   invoke void @llvm.donothing() to label %normal unwind label %exception
  57 exception:
  58   %cleanup = landingpad i8 cleanup
  59   store i32 2, ptr %a, align 4
  60   store i32 3, ptr %b, align 4
  61   br label %normal
  62 normal:
  63   ret void
  64 }