1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s 3; RUN: opt -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s --try-experimental-debuginfo-iterators | FileCheck %s 4 5%0 = type { ptr, ptr } 6 7@0 = external hidden constant [5 x %0], align 4 8 9define i1 @foo(i32) nounwind ssp !dbg !0 { 10; CHECK-LABEL: @foo( 11; CHECK-NEXT: Entry: 12; CHECK-NEXT: [[TMP1:%.*]] = icmp slt i32 [[TMP0:%.*]], 0, !dbg [[DBG7:![0-9]+]] 13; CHECK-NEXT: [[TMP2:%.*]] = icmp sgt i32 [[TMP0]], 4, !dbg [[DBG7]] 14; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[TMP1]], [[TMP2]], !dbg [[DBG7]] 15; CHECK-NEXT: br i1 [[OR_COND]], label [[COMMON_RET:%.*]], label [[BB2:%.*]], !dbg [[DBG7]] 16; CHECK: BB2: 17; CHECK-NEXT: [[TMP3:%.*]] = shl i32 1, [[TMP0]], !dbg [[DBG7]] 18; CHECK-NEXT: [[TMP4:%.*]] = and i32 [[TMP3]], 31, !dbg [[DBG7]] 19; CHECK-NEXT: [[TMP5:%.*]] = icmp eq i32 [[TMP4]], 0, !dbg [[DBG7]] 20; CHECK-NEXT: #dbg_value(ptr null, [[META8:![0-9]+]], !DIExpression(), [[META13:![0-9]+]]) 21; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds [5 x %0], ptr @[[GLOB0:[0-9]+]], i32 0, i32 [[TMP0]] 22; CHECK-NEXT: #dbg_value(ptr [[TMP6]], [[META8]], !DIExpression(), [[META13]]) 23; CHECK-NEXT: [[TMP7:%.*]] = icmp eq ptr [[TMP6]], null 24; CHECK-NEXT: #dbg_value(ptr [[TMP6]], [[META8]], !DIExpression(), [[META13]]) 25; CHECK-NEXT: [[OR_COND2:%.*]] = select i1 [[TMP5]], i1 true, i1 [[TMP7]], !dbg [[DBG7]] 26; CHECK-NEXT: [[TMP8:%.*]] = icmp slt i32 [[TMP0]], 0 27; CHECK-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[OR_COND2]], i1 false, i1 [[TMP8]], !dbg [[DBG7]] 28; CHECK-NEXT: br label [[COMMON_RET]], !dbg [[DBG7]] 29; CHECK: common.ret: 30; CHECK-NEXT: [[COMMON_RET_OP:%.*]] = phi i1 [ false, [[ENTRY:%.*]] ], [ [[SPEC_SELECT]], [[BB2]] ] 31; CHECK-NEXT: ret i1 [[COMMON_RET_OP]], !dbg [[DBG14:![0-9]+]] 32; 33 34Entry: 35 %1 = icmp slt i32 %0, 0, !dbg !5 36 br i1 %1, label %BB5, label %BB1, !dbg !5 37 38BB1: ; preds = %Entry 39 %2 = icmp sgt i32 %0, 4, !dbg !5 40 br i1 %2, label %BB5, label %BB2, !dbg !5 41 42BB2: ; preds = %BB1 43 %3 = shl i32 1, %0, !dbg !5 44 %4 = and i32 %3, 31, !dbg !5 45 %5 = icmp eq i32 %4, 0, !dbg !5 46 br i1 %5, label %BB5, label %BB3, !dbg !5 47 48 49BB3: ; preds = %BB2 50 call void @llvm.dbg.value(metadata ptr null, metadata !7, metadata !DIExpression()), !dbg !12 51 %6 = getelementptr inbounds [5 x %0], ptr @0, i32 0, i32 %0, !dbg !6 52 call void @llvm.dbg.value(metadata ptr %6, metadata !7, metadata !DIExpression()), !dbg !12 53 %7 = icmp eq ptr %6, null, !dbg !13 54 call void @llvm.dbg.value(metadata ptr %6, metadata !7, metadata !DIExpression()), !dbg !12 55 br i1 %7, label %BB5, label %BB4, !dbg !13 56 57BB4: ; preds = %BB3 58 %8 = icmp slt i32 %0, 0, !dbg !5 59 ;; Manually inserted intrinsics; these should get deleted when this block is 60 ;; folded into BB2. 61 call void @llvm.dbg.value(metadata ptr null, metadata !7, metadata !DIExpression()), !dbg !12 62 call void @llvm.dbg.label(metadata !18), !dbg !12 63 ret i1 %8, !dbg !14 64 65BB5: ; preds = %BB3, %BB2, %BB1, %Entry 66 ret i1 false, !dbg !14 67} 68 69declare void @llvm.dbg.value(metadata, metadata, metadata) nounwind readnone 70 71!llvm.dbg.cu = !{!2} 72!llvm.module.flags = !{!16, !17} 73 74!0 = distinct !DISubprogram(name: "foo", line: 231, isLocal: false, isDefinition: true, virtualIndex: 6, flags: DIFlagPrototyped, isOptimized: false, unit: !2, file: !15, scope: !1, type: !3) 75!1 = !DIFile(filename: "a.c", directory: "/private/tmp") 76!2 = distinct !DICompileUnit(language: DW_LANG_C99, producer: "clang (trunk 129006)", isOptimized: true, emissionKind: FullDebug, file: !15, enums: !4, retainedTypes: !4) 77!3 = !DISubroutineType(types: !4) 78!4 = !{} 79!5 = !DILocation(line: 131, column: 2, scope: !0) 80!6 = !DILocation(line: 134, column: 2, scope: !0) 81!7 = !DILocalVariable(name: "bar", line: 232, scope: !8, file: !1, type: !9) 82!8 = distinct !DILexicalBlock(line: 231, column: 1, file: !15, scope: !0) 83!9 = !DIDerivedType(tag: DW_TAG_pointer_type, size: 32, align: 32, scope: !2, baseType: !10) 84!10 = !DIDerivedType(tag: DW_TAG_const_type, scope: !2, baseType: !11) 85!11 = !DIBasicType(tag: DW_TAG_base_type, name: "unsigned int", size: 32, align: 32, encoding: DW_ATE_unsigned) 86!12 = !DILocation(line: 232, column: 40, scope: !8) 87!13 = !DILocation(line: 234, column: 2, scope: !8) 88!14 = !DILocation(line: 274, column: 1, scope: !8) 89!15 = !DIFile(filename: "a.c", directory: "/private/tmp") 90!16 = !{i32 1, !"Debug Info Version", i32 3} 91!17 = !{i32 2, !"Dwarf Version", i32 4} 92!18 = !DILabel(scope: !0, name: "label", file: !1, line: 1) 93