1469d82e1c
As defined in LangRef, branching on `undef` is undefined behavior. This PR aims to remove undefined behavior from tests. As UB tests break Alive2 and may be the root cause of breaking future optimizations. Here's an Alive2 proof for one of the examples: https://alive2.llvm.org/ce/z/TncxhP
46 lines
1.9 KiB
LLVM
46 lines
1.9 KiB
LLVM
; RUN: llc < %s | FileCheck %s
|
|
; This is mainly a crasher for the revert in r234717. A debug info intrinsic
|
|
; that gets deleted can't have its bit piece expression verified after it's
|
|
; deleted.
|
|
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-apple-macosx10.8.0"
|
|
|
|
; CHECK: __Z3foov:
|
|
; CHECK: retq
|
|
|
|
define void @_Z3foov(i1 %arg) !dbg !12 {
|
|
entry:
|
|
br i1 %arg, label %exit, label %bb
|
|
|
|
bb: ; preds = %entry
|
|
call void @llvm.dbg.value(metadata ptr undef, metadata !15, metadata !16), !dbg !17
|
|
br label %exit
|
|
|
|
exit: ; preds = %bb, %entry
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.dbg.value(metadata, metadata, metadata)
|
|
|
|
!llvm.module.flags = !{!0, !1}
|
|
!llvm.dbg.cu = !{!2}
|
|
|
|
!0 = !{i32 2, !"Dwarf Version", i32 2}
|
|
!1 = !{i32 2, !"Debug Info Version", i32 3}
|
|
!2 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !5, globals: !4, imports: !4)
|
|
!3 = !DIFile(filename: "foo.cpp", directory: "/path/to/dir")
|
|
!4 = !{}
|
|
!5 = !{!6}
|
|
!6 = !DICompositeType(tag: DW_TAG_structure_type, name: "Class", size: 64, align: 64, elements: !7, identifier: "_ZT5Class")
|
|
!7 = !{!8, !10}
|
|
!8 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !6, baseType: !9, size: 32, align: 32)
|
|
!9 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
|
|
!10 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !6, baseType: !9, size: 32, align: 32)
|
|
!12 = distinct !DISubprogram(name: "foo", scope: null, file: !3, type: !13, isLocal: false, isDefinition: true, isOptimized: false, unit: !2)
|
|
!13 = !DISubroutineType(types: !14)
|
|
!14 = !{null}
|
|
!15 = !DILocalVariable(name: "v", scope: !12, type: !6)
|
|
!16 = !DIExpression(DW_OP_LLVM_fragment, 32, 32)
|
|
!17 = !DILocation(line: 2755, column: 9, scope: !12)
|