|
1 |
| -; RUN: opt < %s -passes=instcombine -S | \ |
2 |
| -; RUN: grep "call float bitcast" | count 1 |
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | +; RUN: opt -S -passes=instcombine < %s | FileCheck %s |
| 3 | +; Check that there's a call one call to @objc_msgSend_fpret with a |
| 4 | +; float result |
| 5 | + |
3 | 6 | target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
|
4 |
| - %struct.NSObject = type { %struct.objc_class* } |
5 |
| - %struct.NSArray = type { %struct.NSObject } |
6 |
| - %struct.objc_class = type opaque |
7 |
| - %struct.objc_selector = type opaque |
| 7 | +%struct.NSObject = type { %struct.objc_class* } |
| 8 | +%struct.NSArray = type { %struct.NSObject } |
| 9 | +%struct.objc_class = type opaque |
| 10 | +%struct.objc_selector = type opaque |
8 | 11 |
|
9 | 12 | @"\01L_OBJC_METH_VAR_NAME_112" = internal global [15 x i8] c"whiteComponent\00", section "__TEXT,__cstring,cstring_literals"
|
10 | 13 | @"\01L_OBJC_SELECTOR_REFERENCES_81" = internal global %struct.objc_selector* bitcast ([15 x i8]* @"\01L_OBJC_METH_VAR_NAME_112" to %struct.objc_selector*), section "__OBJC,__message_refs,literal_pointers,no_dead_strip"
|
11 | 14 |
|
12 | 15 | define void @bork() nounwind {
|
| 16 | +; CHECK-LABEL: @bork( |
| 17 | +; CHECK-NEXT: entry: |
| 18 | +; CHECK-NEXT: [[COLOR:%.*]] = alloca %struct.NSArray*, align 8 |
| 19 | +; CHECK-NEXT: [[TMP103:%.*]] = load %struct.NSArray*, %struct.NSArray** [[COLOR]], align 8 |
| 20 | +; CHECK-NEXT: [[TMP103104:%.*]] = getelementptr [[STRUCT_NSARRAY:%.*]], %struct.NSArray* [[TMP103]], i64 0, i32 0 |
| 21 | +; CHECK-NEXT: [[TMP105:%.*]] = load %struct.objc_selector*, %struct.objc_selector** @"\01L_OBJC_SELECTOR_REFERENCES_81", align 8 |
| 22 | +; CHECK-NEXT: [[TMP107:%.*]] = call float bitcast (void (%struct.NSObject*, ...)* @objc_msgSend_fpret to float (%struct.NSObject*, %struct.objc_selector*)*)(%struct.NSObject* [[TMP103104]], %struct.objc_selector* [[TMP105]]) #[[ATTR0:[0-9]+]] |
| 23 | +; CHECK-NEXT: br label [[EXIT:%.*]] |
| 24 | +; CHECK: exit: |
| 25 | +; CHECK-NEXT: ret void |
| 26 | +; |
13 | 27 | entry:
|
14 |
| - %color = alloca %struct.NSArray* |
15 |
| - %color.466 = alloca %struct.NSObject* |
16 |
| - %tmp103 = load %struct.NSArray*, %struct.NSArray** %color, align 4 |
17 |
| - %tmp103104 = getelementptr %struct.NSArray, %struct.NSArray* %tmp103, i32 0, i32 0 |
18 |
| - store %struct.NSObject* %tmp103104, %struct.NSObject** %color.466, align 4 |
19 |
| - %tmp105 = load %struct.objc_selector*, %struct.objc_selector** @"\01L_OBJC_SELECTOR_REFERENCES_81", align 4 |
20 |
| - %tmp106 = load %struct.NSObject*, %struct.NSObject** %color.466, align 4 |
21 |
| - %tmp107 = call float bitcast (void (%struct.NSObject*, ...)* @objc_msgSend_fpret to float (%struct.NSObject*, %struct.objc_selector*)*)( %struct.NSObject* %tmp106, %struct.objc_selector* %tmp105 ) nounwind |
22 |
| - br label %exit |
| 28 | + %color = alloca %struct.NSArray* |
| 29 | + %color.466 = alloca %struct.NSObject* |
| 30 | + %tmp103 = load %struct.NSArray*, %struct.NSArray** %color, align 4 |
| 31 | + %tmp103104 = getelementptr %struct.NSArray, %struct.NSArray* %tmp103, i32 0, i32 0 |
| 32 | + store %struct.NSObject* %tmp103104, %struct.NSObject** %color.466, align 4 |
| 33 | + %tmp105 = load %struct.objc_selector*, %struct.objc_selector** @"\01L_OBJC_SELECTOR_REFERENCES_81", align 4 |
| 34 | + %tmp106 = load %struct.NSObject*, %struct.NSObject** %color.466, align 4 |
| 35 | + %tmp107 = call float bitcast (void (%struct.NSObject*, ...)* @objc_msgSend_fpret to float (%struct.NSObject*, %struct.objc_selector*)*)( %struct.NSObject* %tmp106, %struct.objc_selector* %tmp105 ) nounwind |
| 36 | + br label %exit |
23 | 37 |
|
24 | 38 | exit:
|
25 |
| - ret void |
| 39 | + ret void |
26 | 40 | }
|
27 | 41 |
|
28 | 42 | declare void @objc_msgSend_fpret(%struct.NSObject*, ...)
|
0 commit comments