| Eric Christopher | cee313d | 2019-04-17 04:52:47 +0000 | [diff] [blame^] | 1 | ; RUN: opt -always-inline -S %s | FileCheck %s |
| 2 | %0 = type { i64, i64, i8 addrspace(1)*, i8 addrspace(1)* } |
| 3 | %__aaa_struct = type { { i8**, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* }, %0, [17 x i8], { i8**, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* }, %0, [18 x i8] } |
| 4 | %struct.__block_descriptor = type { i64, i64 } |
| 5 | %struct.__block_literal_generic = type { i8*, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* } |
| 6 | |
| 7 | @__aaa_struct_ptr = external addrspace(1) global %__aaa_struct |
| 8 | @__aaa_const_init = constant %__aaa_struct { { i8**, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* } { i8** null, i32 1342177280, i32 0, i8* bitcast (i32 (i8 addrspace(4)*, i32 addrspace(1)*)* @bl0_block_invoke to i8*), %struct.__block_descriptor addrspace(1)* bitcast (%0 addrspace(1)* getelementptr inbounds (%__aaa_struct, %__aaa_struct addrspace(1)* @__aaa_struct_ptr, i32 0, i32 1) to %struct.__block_descriptor addrspace(1)*) }, %0 { i64 0, i64 32, i8 addrspace(1)* getelementptr inbounds (%__aaa_struct, %__aaa_struct addrspace(1)* @__aaa_struct_ptr, i32 0, i32 2, i32 0), i8 addrspace(1)* null }, [17 x i8] c"bl0_block_invoke\00", { i8**, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* } { i8** null, i32 1342177280, i32 0, i8* bitcast (i32 (i8 addrspace(4)*, i32 addrspace(1)*)* @__f1_block_invoke to i8*), %struct.__block_descriptor addrspace(1)* bitcast (%0 addrspace(1)* getelementptr inbounds (%__aaa_struct, %__aaa_struct addrspace(1)* @__aaa_struct_ptr, i32 0, i32 4) to %struct.__block_descriptor addrspace(1)*) }, %0 { i64 0, i64 32, i8 addrspace(1)* getelementptr inbounds (%__aaa_struct, %__aaa_struct addrspace(1)* @__aaa_struct_ptr, i32 0, i32 5, i32 0), i8 addrspace(1)* null }, [18 x i8] c"__f1_block_invoke\00" } |
| 9 | |
| 10 | ; Function Attrs: alwaysinline norecurse nounwind readonly |
| 11 | define i32 @bl0_block_invoke(i8 addrspace(4)* nocapture readnone, i32 addrspace(1)* nocapture readonly) #0 { |
| 12 | entry: |
| 13 | %2 = load i32, i32 addrspace(1)* %1, align 4 |
| 14 | %mul = shl nsw i32 %2, 1 |
| 15 | ret i32 %mul |
| 16 | } |
| 17 | |
| 18 | ; Function Attrs: alwaysinline nounwind |
| 19 | define i32 @f0(i32 addrspace(1)*, i32 (i32 addrspace(1)*) addrspace(4)*) #1 { |
| 20 | entry: |
| 21 | %block.literal = bitcast i32 (i32 addrspace(1)*) addrspace(4)* %1 to %struct.__block_literal_generic addrspace(4)* |
| 22 | %2 = getelementptr inbounds %struct.__block_literal_generic, %struct.__block_literal_generic addrspace(4)* %block.literal, i64 0, i32 3 |
| 23 | %3 = bitcast i32 (i32 addrspace(1)*) addrspace(4)* %1 to i8 addrspace(4)* |
| 24 | %4 = bitcast i8* addrspace(4)* %2 to i32 (i8 addrspace(4)*, i32 addrspace(1)*)* addrspace(4)* |
| 25 | %5 = load i32 (i8 addrspace(4)*, i32 addrspace(1)*)*, i32 (i8 addrspace(4)*, i32 addrspace(1)*)* addrspace(4)* %4, align 8 |
| 26 | %call = tail call i32 %5(i8 addrspace(4)* %3, i32 addrspace(1)* %0) #2 |
| 27 | ret i32 %call |
| 28 | } |
| 29 | |
| 30 | ; CHECK-LABEL: define void @f1 |
| 31 | ; CHECK: %1 = load i32 (i8 addrspace(4)*, i32 addrspace(1)*)*, i32 (i8 addrspace(4)*, i32 addrspace(1)*)* addrspace(4)* bitcast (i8* addrspace(4)* getelementptr (%__aaa_struct, %__aaa_struct addrspace(4)* addrspacecast (%__aaa_struct addrspace(1)* @__aaa_struct_ptr to %__aaa_struct addrspace(4)*), i64 0, i32 0, i32 3) to i32 (i8 addrspace(4)*, i32 addrspace(1)*)* addrspace(4)*), align 8 |
| 32 | |
| 33 | ; Function Attrs: alwaysinline nounwind |
| 34 | define void @f1(i32 addrspace(1)*) #1 { |
| 35 | entry: |
| 36 | %call = tail call i32 @f0(i32 addrspace(1)* %0, i32 (i32 addrspace(1)*) addrspace(4)* addrspacecast (i32 (i32 addrspace(1)*) addrspace(1)* bitcast (%__aaa_struct addrspace(1)* @__aaa_struct_ptr to i32 (i32 addrspace(1)*) addrspace(1)*) to i32 (i32 addrspace(1)*) addrspace(4)*)) #3 |
| 37 | store i32 %call, i32 addrspace(1)* %0, align 4 |
| 38 | %call1 = tail call i32 @f0(i32 addrspace(1)* %0, i32 (i32 addrspace(1)*) addrspace(4)* addrspacecast (i32 (i32 addrspace(1)*) addrspace(1)* bitcast ({ i8**, i32, i32, i8*, %struct.__block_descriptor addrspace(1)* } addrspace(1)* getelementptr inbounds (%__aaa_struct, %__aaa_struct addrspace(1)* @__aaa_struct_ptr, i32 0, i32 3) to i32 (i32 addrspace(1)*) addrspace(1)*) to i32 (i32 addrspace(1)*) addrspace(4)*)) #3 |
| 39 | store i32 %call1, i32 addrspace(1)* %0, align 4 |
| 40 | ret void |
| 41 | } |
| 42 | |
| 43 | ; Function Attrs: alwaysinline norecurse nounwind readonly |
| 44 | define i32 @__f1_block_invoke(i8 addrspace(4)* nocapture readnone, i32 addrspace(1)* nocapture readonly) #0 { |
| 45 | entry: |
| 46 | %2 = load i32, i32 addrspace(1)* %1, align 4 |
| 47 | %add = add nsw i32 %2, 1 |
| 48 | ret i32 %add |
| 49 | } |
| 50 | |
| 51 | attributes #0 = { alwaysinline norecurse nounwind readonly } |
| 52 | attributes #1 = { alwaysinline nounwind } |
| 53 | attributes #2 = { nobuiltin nounwind } |
| 54 | attributes #3 = { nobuiltin } |