1 ; RUN: llc < %s -O2 -mtriple=x86_64-linux-android -mattr=+mmx \ 2 ; RUN: -enable-legalize-types-checking | FileCheck %s --check-prefix=X64 3 ; 4 ; These cases check if x86_64-linux-android works with -O2 -g, 5 ; especially CSE matching needed by SoftenFloatRes_LOAD. 6 ; Multiple common load patterns are included to have better coverage. 7 ; When CSE matching fails, SoftenFloatResult and SoftenFloatRes_LOAD 8 ; can be called in an infinite loop. 9 10 ; ModuleID = 'fp128-g.c' 11 source_filename = "fp128-g.c" 12 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" 13 target triple = "x86_64--linux-android" 14 15 @ld_ptr = common local_unnamed_addr global fp128* null, align 8, !dbg !0 16 17 ; Function Attrs: nounwind readonly uwtable 18 define fp128 @test_return1(fp128* nocapture readonly %ptr) local_unnamed_addr #0 !dbg !12 { 19 entry: 20 tail call void @llvm.dbg.value(metadata fp128* %ptr, i64 0, metadata !16, metadata !17), !dbg !18 21 %0 = load fp128, fp128* %ptr, align 16, !dbg !19, !tbaa !20 22 ret fp128 %0, !dbg !24 23 ; X64-LABEL: test_return1: 24 ; X64: .loc 25 ; X64: movaps (%rdi), %xmm0 26 ; X64: .loc 27 ; X64: retq 28 } 29 30 ; Function Attrs: nounwind readonly uwtable 31 define fp128 @test_return2(fp128* nocapture readonly %ptr) local_unnamed_addr #0 !dbg !25 { 32 entry: 33 tail call void @llvm.dbg.value(metadata fp128* %ptr, i64 0, metadata !27, metadata !17), !dbg !29 34 %0 = load fp128, fp128* %ptr, align 16, !dbg !30, !tbaa !20 35 tail call void @llvm.dbg.value(metadata fp128 %0, i64 0, metadata !28, metadata !17), !dbg !31 36 ret fp128 %0, !dbg !32 37 } 38 39 ; X64-LABEL: test_return2: 40 ; X64: .loc 41 ; X64: movaps (%rdi), %xmm0 42 ; X64: .loc 43 ; X64: retq 44 ; Function Attrs: nounwind readonly uwtable 45 46 define fp128 @test_return3(fp128* nocapture readonly %ptr) local_unnamed_addr #0 !dbg !33 { 47 entry: 48 tail call void @llvm.dbg.value(metadata fp128* %ptr, i64 0, metadata !35, metadata !17), !dbg !36 49 %0 = load fp128, fp128* %ptr, align 16, !dbg !37, !tbaa !20 50 %add = fadd fp128 %0, %0, !dbg !38 51 ret fp128 %add, !dbg !39 52 ; X64-LABEL: test_return3: 53 ; X64: .loc 54 ; X64: movaps (%rdi), %xmm0 55 ; X64: .loc 56 ; X64: movaps %xmm0, %xmm1 57 ; X64: callq __addtf3 58 ; X64: .loc 59 ; X64: retq 60 } 61 62 ; Function Attrs: norecurse nounwind readonly uwtable 63 define fp128 @test_return4() local_unnamed_addr #1 !dbg !40 { 64 entry: 65 %0 = load fp128*, fp128** @ld_ptr, align 8, !dbg !43, !tbaa !44 66 %1 = load fp128, fp128* %0, align 16, !dbg !46, !tbaa !20 67 ret fp128 %1, !dbg !47 68 ; X64-LABEL: test_return4: 69 ; X64: .loc 70 ; X64: movq ld_ptr(%rip), %rax 71 ; X64: .loc 72 ; X64: movaps (%rax), %xmm0 73 ; X64: .loc 74 ; X64: retq 75 } 76 77 ; Function Attrs: nounwind readonly uwtable 78 define fp128 @test_return5() local_unnamed_addr #0 !dbg !48 { 79 entry: 80 %0 = load fp128*, fp128** @ld_ptr, align 8, !dbg !51, !tbaa !44 81 %1 = load fp128, fp128* %0, align 16, !dbg !52, !tbaa !20 82 tail call void @llvm.dbg.value(metadata fp128 %1, i64 0, metadata !50, metadata !17), !dbg !53 83 ret fp128 %1, !dbg !54 84 ; X64-LABEL: test_return5: 85 ; X64: .loc 86 ; X64: movq ld_ptr(%rip), %rax 87 ; X64: .loc 88 ; X64: movaps (%rax), %xmm0 89 ; X64: .loc 90 ; X64: retq 91 } 92 93 ; Function Attrs: norecurse nounwind readonly uwtable 94 define fp128 @test_return6() local_unnamed_addr #1 !dbg !55 { 95 entry: 96 %0 = load fp128*, fp128** @ld_ptr, align 8, !dbg !56, !tbaa !44 97 %1 = load fp128, fp128* %0, align 16, !dbg !57, !tbaa !20 98 %add = fadd fp128 %1, %1, !dbg !58 99 ret fp128 %add, !dbg !59 100 ; X64-LABEL: test_return6: 101 ; X64: .loc 102 ; X64: movaps (%rax), %xmm0 103 ; X64: .loc 104 ; X64: movaps %xmm0, %xmm1 105 ; X64: callq __addtf3 106 ; X64: .loc 107 ; X64: retq 108 } 109 110 ; Function Attrs: nounwind readnone 111 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 112 113 attributes #0 = { nounwind readonly uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 114 attributes #1 = { norecurse nounwind readonly uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "no-frame-pointer-elim"="false" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+popcnt,+sse,+sse2,+sse3,+sse4.1,+sse4.2,+ssse3,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" } 115 attributes #2 = { nounwind readnone } 116 117 !llvm.dbg.cu = !{!2} 118 !llvm.module.flags = !{!8, !9, !10} 119 !llvm.ident = !{!11} 120 121 !0 = !DIGlobalVariableExpression(var: !1, expr: !DIExpression()) 122 !1 = !DIGlobalVariable(name: "ld_ptr", scope: !2, file: !3, line: 17, type: !6, isLocal: false, isDefinition: true) 123 !2 = distinct !DICompileUnit(language: DW_LANG_C99, file: !3, producer: "clang version 4.0.0 (trunk 281495)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, globals: !5) 124 !3 = !DIFile(filename: "fp128-g.c", directory: "/disk5/chh/Debug/ld.loop") 125 !4 = !{} 126 !5 = !{!0} 127 !6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64, align: 64) 128 !7 = !DIBasicType(name: "long double", size: 128, align: 128, encoding: DW_ATE_float) 129 !8 = !{i32 2, !"Dwarf Version", i32 4} 130 !9 = !{i32 2, !"Debug Info Version", i32 3} 131 !10 = !{i32 1, !"PIC Level", i32 2} 132 !11 = !{!"clang version 4.0.0 (trunk 281495)"} 133 !12 = distinct !DISubprogram(name: "test_return1", scope: !3, file: !3, line: 3, type: !13, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !15) 134 !13 = !DISubroutineType(types: !14) 135 !14 = !{!7, !6} 136 !15 = !{!16} 137 !16 = !DILocalVariable(name: "ptr", arg: 1, scope: !12, file: !3, line: 3, type: !6) 138 !17 = !DIExpression() 139 !18 = !DILocation(line: 3, column: 39, scope: !12) 140 !19 = !DILocation(line: 4, column: 12, scope: !12) 141 !20 = !{!21, !21, i64 0} 142 !21 = !{!"long double", !22, i64 0} 143 !22 = !{!"omnipotent char", !23, i64 0} 144 !23 = !{!"Simple C/C++ TBAA"} 145 !24 = !DILocation(line: 4, column: 5, scope: !12) 146 !25 = distinct !DISubprogram(name: "test_return2", scope: !3, file: !3, line: 7, type: !13, isLocal: false, isDefinition: true, scopeLine: 7, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !26) 147 !26 = !{!27, !28} 148 !27 = !DILocalVariable(name: "ptr", arg: 1, scope: !25, file: !3, line: 7, type: !6) 149 !28 = !DILocalVariable(name: "value", scope: !25, file: !3, line: 8, type: !7) 150 !29 = !DILocation(line: 7, column: 39, scope: !25) 151 !30 = !DILocation(line: 9, column: 14, scope: !25) 152 !31 = !DILocation(line: 8, column: 17, scope: !25) 153 !32 = !DILocation(line: 10, column: 5, scope: !25) 154 !33 = distinct !DISubprogram(name: "test_return3", scope: !3, file: !3, line: 13, type: !13, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: true, unit: !2, retainedNodes: !34) 155 !34 = !{!35} 156 !35 = !DILocalVariable(name: "ptr", arg: 1, scope: !33, file: !3, line: 13, type: !6) 157 !36 = !DILocation(line: 13, column: 39, scope: !33) 158 !37 = !DILocation(line: 14, column: 12, scope: !33) 159 !38 = !DILocation(line: 14, column: 17, scope: !33) 160 !39 = !DILocation(line: 14, column: 5, scope: !33) 161 !40 = distinct !DISubprogram(name: "test_return4", scope: !3, file: !3, line: 18, type: !41, isLocal: false, isDefinition: true, scopeLine: 18, isOptimized: true, unit: !2, retainedNodes: !4) 162 !41 = !DISubroutineType(types: !42) 163 !42 = !{!7} 164 !43 = !DILocation(line: 19, column: 13, scope: !40) 165 !44 = !{!45, !45, i64 0} 166 !45 = !{!"any pointer", !22, i64 0} 167 !46 = !DILocation(line: 19, column: 12, scope: !40) 168 !47 = !DILocation(line: 19, column: 5, scope: !40) 169 !48 = distinct !DISubprogram(name: "test_return5", scope: !3, file: !3, line: 22, type: !41, isLocal: false, isDefinition: true, scopeLine: 22, isOptimized: true, unit: !2, retainedNodes: !49) 170 !49 = !{!50} 171 !50 = !DILocalVariable(name: "value", scope: !48, file: !3, line: 23, type: !7) 172 !51 = !DILocation(line: 23, column: 26, scope: !48) 173 !52 = !DILocation(line: 23, column: 25, scope: !48) 174 !53 = !DILocation(line: 23, column: 17, scope: !48) 175 !54 = !DILocation(line: 24, column: 5, scope: !48) 176 !55 = distinct !DISubprogram(name: "test_return6", scope: !3, file: !3, line: 27, type: !41, isLocal: false, isDefinition: true, scopeLine: 27, isOptimized: true, unit: !2, retainedNodes: !4) 177 !56 = !DILocation(line: 28, column: 13, scope: !55) 178 !57 = !DILocation(line: 28, column: 12, scope: !55) 179 !58 = !DILocation(line: 28, column: 20, scope: !55) 180 !59 = !DILocation(line: 28, column: 5, scope: !55) 181 182
