1// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fobjc-runtime=macosx-fragile-10.5 -emit-llvm -fobjc-exceptions -mllvm -simplifycfg-sink-common=false -O2 -o - %s | FileCheck %s
2//
3// <rdar://problem/7471679> [irgen] [eh] Exception code built with clang (x86_64) crashes
4
5// Just check that we don't emit any dead blocks.
6@interface NSArray @end
7void f0() {
8  @try {
9    @try {
10      @throw @"a";
11    } @catch(NSArray *e) {
12    }
13  } @catch (id e) {
14  }
15}
16
17// CHECK-LABEL: define void @f1()
18void f1() {
19  extern void foo(void);
20
21  while (1) {
22    // CHECK:      call void @objc_exception_try_enter
23    // CHECK-NEXT: getelementptr
24    // CHECK-NEXT: call i32 @_setjmp(
25    // CHECK-NEXT: icmp
26    // CHECK-NEXT: br i1
27    @try {
28    // CHECK:      call void asm sideeffect "", "*m"
29    // CHECK-NEXT: call void @foo()
30      foo();
31    // CHECK:      call void @objc_exception_try_exit
32
33    // CHECK:      call void asm sideeffect "", "=*m"
34    } @finally {
35      break;
36    }
37  }
38}
39
40// Test that modifications to local variables are respected under
41// optimization.  rdar://problem/8160285
42
43// CHECK-LABEL: define i32 @f2()
44int f2() {
45  extern void foo(void);
46
47  // CHECK:        [[X:%.*]] = alloca i32
48  // CHECK:        store i32 5, i32* [[X]]
49  int x = 0;
50  x += 5;
51
52  // CHECK:        [[SETJMP:%.*]] = call i32 @_setjmp
53  // CHECK-NEXT:   [[CAUGHT:%.*]] = icmp eq i32 [[SETJMP]], 0
54  // CHECK-NEXT:   br i1 [[CAUGHT]]
55  @try {
56    // CHECK: store i32 6, i32* [[X]]
57    x++;
58    // CHECK-NEXT: call void asm sideeffect "", "*m,*m"(i32* nonnull [[X]]
59    // CHECK-NEXT: call void @foo()
60    // CHECK-NEXT: call void @objc_exception_try_exit
61    // CHECK-NEXT: [[T:%.*]] = load i32, i32* [[X]]
62    foo();
63  } @catch (id) {
64    // Landing pad.  Note that we elide the re-enter.
65    // CHECK:      call void asm sideeffect "", "=*m,=*m"(i32* nonnull [[X]]
66    // CHECK-NEXT: call i8* @objc_exception_extract
67    // CHECK-NEXT: [[T1:%.*]] = load i32, i32* [[X]]
68    // CHECK-NEXT: [[T2:%.*]] = add nsw i32 [[T1]], -1
69
70    // This store is dead.
71    // CHECK-NEXT: store i32 [[T2]], i32* [[X]]
72    x--;
73  }
74
75  return x;
76}
77
78// Test that the cleanup destination is saved when entering a finally
79// block.  rdar://problem/8293901
80// CHECK-LABEL: define void @f3()
81void f3() {
82  extern void f3_helper(int, int*);
83
84  // CHECK:      [[X:%.*]] = alloca i32
85  // CHECK:      [[XPTR:%.*]] = bitcast i32* [[X]] to i8*
86  // CHECK:      call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[XPTR]])
87  // CHECK:      store i32 0, i32* [[X]]
88  int x = 0;
89
90  // CHECK:      call void @objc_exception_try_enter(
91  // CHECK:      call i32 @_setjmp
92  // CHECK-NEXT: icmp eq
93  // CHECK-NEXT: br i1
94
95  @try {
96    // CHECK:    call void @f3_helper(i32 0, i32* nonnull [[X]])
97    // CHECK:    call void @objc_exception_try_exit(
98    f3_helper(0, &x);
99  } @finally {
100    // CHECK:    [[DEST1:%.*]] = phi i32 [ 0, {{%.*}} ], [ 3, {{%.*}} ]
101    // CHECK:    call void @objc_exception_try_enter
102    // CHECK:    call i32 @_setjmp
103    @try {
104      // CHECK:  call void @f3_helper(i32 1, i32* nonnull [[X]])
105      // CHECK:  call void @objc_exception_try_exit(
106      f3_helper(1, &x);
107    } @finally {
108      // CHECK:  [[DEST2:%.*]] = phi i32 [ 0, {{%.*}} ], [ 5, {{%.*}} ]
109      // CHECK:  call void @f3_helper(i32 2, i32* nonnull [[X]])
110      f3_helper(2, &x);
111
112      // This loop is large enough to dissuade the optimizer from just
113      // duplicating the finally block.
114      while (x) f3_helper(3, &x);
115
116      // This is a switch or maybe some chained branches, but relying
117      // on a specific result from the optimizer is really unstable.
118      // CHECK:  [[DEST2]]
119    }
120
121      // This is a switch or maybe some chained branches, but relying
122      // on a specific result from the optimizer is really unstable.
123    // CHECK:    [[DEST1]]
124  }
125
126  // CHECK:      call void @f3_helper(i32 4, i32* nonnull [[X]])
127  // CHECK-NEXT: call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[XPTR]])
128  // CHECK-NEXT: ret void
129  f3_helper(4, &x);
130}
131
132// rdar://problem/8440970
133void f4() {
134  extern void f4_help(int);
135
136  // CHECK-LABEL: define void @f4()
137  // CHECK:      [[EXNDATA:%.*]] = alloca [[EXNDATA_T:%.*]], align
138  // CHECK:      call void @objc_exception_try_enter([[EXNDATA_T]]* nonnull [[EXNDATA]])
139  // CHECK:      call i32 @_setjmp
140  @try {
141  // CHECK:      call void @f4_help(i32 0)
142    f4_help(0);
143
144  // The finally cleanup has two threaded entrypoints after optimization:
145
146  // finally.no-call-exit:  Predecessor is when the catch throws.
147  // CHECK:      call i8* @objc_exception_extract([[EXNDATA_T]]* nonnull [[EXNDATA]])
148  // CHECK-NEXT: call void @f4_help(i32 2)
149  // CHECK-NEXT: br label
150  //   -> rethrow
151
152  // finally.call-exit:  Predecessors are the @try and @catch fallthroughs
153  // as well as the no-match case in the catch mechanism.  The i1 is whether
154  // to rethrow and should be true only in the last case.
155  // CHECK:      phi i8*
156  // CHECK-NEXT: phi i1
157  // CHECK-NEXT: call void @objc_exception_try_exit([[EXNDATA_T]]* nonnull [[EXNDATA]])
158  // CHECK-NEXT: call void @f4_help(i32 2)
159  // CHECK-NEXT: br i1
160  //   -> ret, rethrow
161
162  // ret:
163  // CHECK:      ret void
164
165  // Catch mechanism:
166  // CHECK:      call i8* @objc_exception_extract([[EXNDATA_T]]* nonnull [[EXNDATA]])
167  // CHECK-NEXT: call void @objc_exception_try_enter([[EXNDATA_T]]* nonnull [[EXNDATA]])
168  // CHECK:      call i32 @_setjmp
169  //   -> next, finally.no-call-exit
170  // CHECK:      call i32 @objc_exception_match
171  //   -> finally.call-exit, match
172  } @catch (NSArray *a) {
173  // match:
174  // CHECK:      call void @f4_help(i32 1)
175  // CHECK-NEXT: br label
176  //   -> finally.call-exit
177    f4_help(1);
178  } @finally {
179    f4_help(2);
180  }
181
182  // rethrow:
183  // CHECK:      phi i8*
184  // CHECK-NEXT: call void @objc_exception_throw(i8*
185  // CHECK-NEXT: unreachable
186}
187