|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| 2 | +;; Tests that we do not always overwrite |
| 3 | +; RUN: opt < %s -passes=instcombine -S | FileCheck %s |
| 4 | + |
| 5 | +define void @test(ptr %xfA, ptr %xfB, i1 %cmp5) { |
| 6 | +; CHECK-LABEL: define void @test( |
| 7 | +; CHECK-SAME: ptr [[XFA:%.*]], ptr [[XFB:%.*]], i1 [[CMP5:%.*]]) { |
| 8 | +; CHECK-NEXT: [[ENTRY:.*:]] |
| 9 | +; CHECK-NEXT: br i1 [[CMP5]], label %[[IF_ELSE:.*]], label %[[IF_THEN6:.*]] |
| 10 | +; CHECK: [[IF_THEN6]]: |
| 11 | +; CHECK-NEXT: br label %[[IF_END11:.*]] |
| 12 | +; CHECK: [[IF_ELSE]]: |
| 13 | +; CHECK-NEXT: br label %[[IF_END11]] |
| 14 | +; CHECK: [[IF_END11]]: |
| 15 | +; CHECK-NEXT: [[XFA_PN:%.*]] = phi ptr [ [[XFA]], %[[IF_ELSE]] ], [ [[XFB]], %[[IF_THEN6]] ] |
| 16 | +; CHECK-NEXT: [[XF1_SROA_8_0_IN:%.*]] = getelementptr i8, ptr [[XFA_PN]], i64 4, !dbg [[DBG3:![0-9]+]] |
| 17 | +; CHECK-NEXT: [[XF1_SROA_8_0:%.*]] = load float, ptr [[XF1_SROA_8_0_IN]], align 4 |
| 18 | +; CHECK-NEXT: [[CMP_I:%.*]] = fcmp ugt float [[XF1_SROA_8_0]], 0.000000e+00 |
| 19 | +; CHECK-NEXT: br i1 [[CMP_I]], label %[[IF_END_I:.*]], label %[[IF_THEN_I:.*]] |
| 20 | +; CHECK: [[IF_THEN_I]]: |
| 21 | +; CHECK-NEXT: br label %[[IF_END_I]] |
| 22 | +; CHECK: [[IF_END_I]]: |
| 23 | +; CHECK-NEXT: ret void |
| 24 | +; |
| 25 | +entry: |
| 26 | + br i1 %cmp5, label %if.else, label %if.then6 |
| 27 | + |
| 28 | +if.then6: ; preds = %entry |
| 29 | + %xf1.sroa.8.0.xfB.sroa_idx = getelementptr i8, ptr %xfB, i64 4 |
| 30 | + %xf1.sroa.8.0.copyload = load float, ptr %xf1.sroa.8.0.xfB.sroa_idx, align 4, !dbg !3 |
| 31 | + br label %if.end11 |
| 32 | + |
| 33 | +if.else: ; preds = %entry |
| 34 | + %xf1.sroa.8.0.xfA.sroa_idx = getelementptr i8, ptr %xfA, i64 4 |
| 35 | + %xf1.sroa.8.0.copyload494 = load float, ptr %xf1.sroa.8.0.xfA.sroa_idx, align 4, !dbg !7 |
| 36 | + br label %if.end11 |
| 37 | + |
| 38 | +if.end11: ; preds = %if.else, %if.then6 |
| 39 | + %xf1.sroa.8.0 = phi float [ %xf1.sroa.8.0.copyload494, %if.else ], [ %xf1.sroa.8.0.copyload, %if.then6 ], !annotation !8 |
| 40 | + %cmp.i = fcmp ugt float %xf1.sroa.8.0, 0.000000e+00 |
| 41 | + br i1 %cmp.i, label %if.end.i, label %if.then.i |
| 42 | + |
| 43 | +if.then.i: ; preds = %if.end11 |
| 44 | + br label %if.end.i |
| 45 | + |
| 46 | +if.end.i: ; preds = %if.then.i, %if.end11 |
| 47 | + ret void |
| 48 | +} |
| 49 | + |
| 50 | +!llvm.dbg.cu = !{!0} |
| 51 | +!llvm.module.flags = !{!2} |
| 52 | + |
| 53 | +!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 20.0.0git", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug) |
| 54 | +!1 = !DIFile(filename: "test.cpp", directory: "/tmp") |
| 55 | +!2 = !{i32 2, !"Debug Info Version", i32 3} |
| 56 | +!3 = !DILocation(line: 63, column: 12, scope: !4) |
| 57 | +!4 = distinct !DISubprogram(name: "operator=", linkageName: "_ZN11btMatrix3x3aSERKS_", scope: null, file: !1, line: 61, type: !5, scopeLine: 62, spFlags: DISPFlagDefinition, unit: !0, retainedNodes: !6) |
| 58 | +!5 = distinct !DISubroutineType(types: !6) |
| 59 | +!6 = !{} |
| 60 | +!7 = !DILocation(line: 63, column: 15, scope: !4) |
| 61 | +!8 = !{!"irrelevant metadata"} |
| 62 | +;. |
| 63 | +; CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: [[META1:![0-9]+]], producer: "{{.*}}clang version {{.*}}", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug) |
| 64 | +; CHECK: [[META1]] = !DIFile(filename: "test.cpp", directory: {{.*}}) |
| 65 | +; CHECK: [[DBG3]] = !DILocation(line: 63, scope: [[META4:![0-9]+]]) |
| 66 | +; CHECK: [[META4]] = distinct !DISubprogram(name: "operator=", linkageName: "_ZN11btMatrix3x3aSERKS_", scope: null, file: [[META1]], line: 61, type: [[META5:![0-9]+]], scopeLine: 62, spFlags: DISPFlagDefinition, unit: [[META0]], retainedNodes: [[META6:![0-9]+]]) |
| 67 | +; CHECK: [[META5]] = distinct !DISubroutineType(types: [[META6]]) |
| 68 | +; CHECK: [[META6]] = !{} |
| 69 | +;. |
0 commit comments