xref: /llvm-project/llvm/test/Transforms/InstCombine/fp-ret-bitcast.ll (revision 3e992d81afc3925a8685eb15f794dd4a6ba3e97e)
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
6target 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"
7%struct.NSObject = type { ptr }
8%struct.NSArray = type { %struct.NSObject }
9%struct.objc_class = type opaque
10%struct.objc_selector = type opaque
11
12@"\01L_OBJC_METH_VAR_NAME_112" = internal global [15 x i8] c"whiteComponent\00", section "__TEXT,__cstring,cstring_literals"
13@"\01L_OBJC_SELECTOR_REFERENCES_81" = internal global ptr @"\01L_OBJC_METH_VAR_NAME_112", section "__OBJC,__message_refs,literal_pointers,no_dead_strip"
14
15define void @bork() nounwind  {
16; CHECK-LABEL: @bork(
17; CHECK-NEXT:  entry:
18; CHECK-NEXT:    [[COLOR:%.*]] = alloca ptr, align 8
19; CHECK-NEXT:    [[TMP103:%.*]] = load ptr, ptr [[COLOR]], align 4
20; CHECK-NEXT:    [[TMP105:%.*]] = load ptr, ptr @"\01L_OBJC_SELECTOR_REFERENCES_81", align 4
21; CHECK-NEXT:    [[TMP107:%.*]] = call float @objc_msgSend_fpret(ptr [[TMP103]], ptr [[TMP105]]) #[[ATTR0:[0-9]+]]
22; CHECK-NEXT:    br label [[EXIT:%.*]]
23; CHECK:       exit:
24; CHECK-NEXT:    ret void
25;
26entry:
27  %color = alloca ptr
28  %color.466 = alloca ptr
29  %tmp103 = load ptr, ptr %color, align 4
30  store ptr %tmp103, ptr %color.466, align 4
31  %tmp105 = load ptr, ptr @"\01L_OBJC_SELECTOR_REFERENCES_81", align 4
32  %tmp106 = load ptr, ptr %color.466, align 4
33  %tmp107 = call float @objc_msgSend_fpret( ptr %tmp106, ptr %tmp105 ) nounwind
34  br label %exit
35
36exit:
37  ret void
38}
39
40declare void @objc_msgSend_fpret(ptr, ...)
41