[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / ObjCARC / apelim.ll
blobd79fa061fe108dc283a9d93de3f620e3addce61a
1 ; RUN: opt -S -objc-arc-apelim < %s | FileCheck %s
2 ; rdar://10227311
4 @llvm.global_ctors = appending global [2 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__I_x, i8* null }, { i32, void ()*, i8* } { i32 65535, void ()* @_GLOBAL__I_y, i8* null }]
6 @x = global i32 0
8 declare i32 @bar() nounwind
10 define i32 @foo() nounwind {
11 entry:
12   ret i32 5
15 define internal void @__cxx_global_var_init() {
16 entry:
17   %call = call i32 @foo()
18   store i32 %call, i32* @x, align 4
19   ret void
22 define internal void @__dxx_global_var_init() {
23 entry:
24   %call = call i32 @bar()
25   store i32 %call, i32* @x, align 4
26   ret void
29 ; CHECK: define internal void @_GLOBAL__I_x() {
30 ; CHECK-NOT: @objc
31 ; CHECK: }
32 define internal void @_GLOBAL__I_x() {
33 entry:
34   %0 = call i8* @llvm.objc.autoreleasePoolPush() nounwind
35   call void @__cxx_global_var_init()
36   call void @llvm.objc.autoreleasePoolPop(i8* %0) nounwind
37   ret void
40 ; CHECK: define internal void @_GLOBAL__I_y() {
41 ; CHECK: %0 = call i8* @llvm.objc.autoreleasePoolPush() [[NUW:#[0-9]+]]
42 ; CHECK: call void @llvm.objc.autoreleasePoolPop(i8* %0) [[NUW]]
43 ; CHECK: }
44 define internal void @_GLOBAL__I_y() {
45 entry:
46   %0 = call i8* @llvm.objc.autoreleasePoolPush() nounwind
47   call void @__dxx_global_var_init()
48   call void @llvm.objc.autoreleasePoolPop(i8* %0) nounwind
49   ret void
52 declare i8* @llvm.objc.autoreleasePoolPush()
53 declare void @llvm.objc.autoreleasePoolPop(i8*)
55 ; CHECK: attributes #0 = { nounwind }