llvm/test/CodeGen/ARM/sjljehprepare-lower-empty-struct.ll

   1 ; RUN: llc -mtriple=armv7-apple-ios -O0 < %s | FileCheck %s
   2 ; RUN: llc -mtriple=armv7-apple-ios -O1 < %s | FileCheck %s
   3 ; RUN: llc -mtriple=armv7-apple-ios -O2 < %s | FileCheck %s
   4 ; RUN: llc -mtriple=armv7-apple-ios -O3 < %s | FileCheck %s
   5 ; RUN: llc -mtriple=armv7-apple-watchos -O3 < %s | FileCheck %s
   6 ; RUN: llc -mtriple=armv7k-apple-ios < %s | FileCheck %s --check-prefix=CHECK-WATCH
   7 ; RUN: llc -mtriple=armv7-linux -exception-model sjlj -O3 < %s | FileCheck %s --check-prefix=CHECK-LINUX
   8
   9 ; SjLjEHPrepare shouldn't crash when lowering empty structs.
  10 ;
  11 ; Checks that between in case of empty structs used as arguments
  12 ; nothing happens, i.e. there are no instructions between
  13 ; __Unwind_SjLj_Register and actual @bar invocation
  14
  15
  16 define ptr @foo(i8 %a, {} %c) personality ptr @baz {
  17 entry:
  18 ; CHECK: bl __Unwind_SjLj_Register
  19 ; CHECK-NEXT: mov r0, #1
  20 ; CHECK-NEXT: str r0, [sp, #{{[0-9]+}}]
  21 ; CHECK-NEXT: {{[A-Z][a-zA-Z0-9]*}}:
  22 ; CHECK-NEXT: bl _bar
  23 ; CHECK: bl __Unwind_SjLj_Resume
  24
  25 ; CHECK-LINUX: bl _Unwind_SjLj_Register
  26 ; CHECK-LINUX-NEXT: mov r0, #1
  27 ; CHECK-LINUX-NEXT: str r0, [sp, #{{[0-9]+}}]
  28 ; CHECK-LINUX-NEXT: .{{[A-Z][a-zA-Z0-9]*}}:
  29 ; CHECK-LINUX-NEXT: bl bar
  30 ; CHECK-LINUX: bl _Unwind_SjLj_Resume
  31
  32 ; CHECK-WATCH-NOT: bl __Unwind_SjLj_Register
  33
  34   invoke void @bar ()
  35     to label %unreachable unwind label %handler
  36
  37 unreachable:
  38   unreachable
  39
  40 handler:
  41   %tmp = landingpad { ptr, i32 }
  42   cleanup
  43   resume { ptr, i32 } undef
  44 }
  45
  46 declare void @bar()
  47 declare i32 @baz(...)