File: sjljeh-swifterror.ll

package info (click to toggle)
llvm-toolchain-17 1%3A17.0.6-22
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,799,624 kB
  • sloc: cpp: 6,428,607; ansic: 1,383,196; asm: 793,408; python: 223,504; objc: 75,364; f90: 60,502; lisp: 33,869; pascal: 15,282; sh: 9,684; perl: 7,453; ml: 4,937; awk: 3,523; makefile: 2,889; javascript: 2,149; xml: 888; fortran: 619; cs: 573
file content (56 lines) | stat: -rw-r--r-- 1,546 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
; RUN: opt -sjljehprepare -verify < %s -S | FileCheck %s
target datalayout = "e-m:o-p:32:32-f64:32:64-v64:32:64-v128:32:128-a:0:32-n32-S32"
target triple = "armv7s-apple-ios7.0"

%swift.error = type opaque

declare void @objc_msgSend() local_unnamed_addr

declare i32 @__objc_personality_v0(...)

; Make sure we don't leave a select on a swifterror argument.
; CHECK-LABEL: @test
; CHECK-NOT: select true, %0
define swiftcc void @test(ptr swifterror) local_unnamed_addr personality ptr @__objc_personality_v0 {
entry:
  %call28.i = invoke i32 @objc_msgSend(ptr undef, ptr undef)
          to label %invoke.cont.i unwind label %lpad.i

invoke.cont.i:
  unreachable

lpad.i:
  %1 = landingpad { ptr, i32 }
          cleanup
  resume { ptr, i32 } undef
}

%struct._objc_typeinfo = type { ptr, ptr, ptr }
@"OBJC_EHTYPE_$_NSException" = external global %struct._objc_typeinfo

; Make sure this does not crash.
; CHECK-LABEL: @swift_error_bug
; CHECK: store ptr null, ptr %0

define hidden swiftcc void @swift_error_bug(ptr swifterror, ptr %fun, i1 %b) local_unnamed_addr #0 personality ptr @__objc_personality_v0 {
  %2 = load ptr, ptr %fun, align 4
  invoke void %2(ptr null) #1
          to label %tryBlock.exit unwind label %3, !clang.arc.no_objc_arc_exceptions !1

; <label>:3:
  %4 = landingpad { ptr, i32 }
          catch ptr @"OBJC_EHTYPE_$_NSException"
  br label %tryBlock.exit

tryBlock.exit:
  br i1 %b, label %5, label %_T0ypMa.exit.i.i

_T0ypMa.exit.i.i:
  store ptr null, ptr %0, align 4
  ret void

; <label>:5:
  ret void
}

!1 = !{}