; Test that DIFile representation upgrades with introduction of
; optional source field.
;
; RUN: llvm-dis < %s.bc | FileCheck %s
; RUN: verify-uselistorder < %s.bc

!llvm.dbg.cu = !{!1}
!llvm.module.flags = !{!3}

!1 = distinct !DICompileUnit(language: DW_LANG_C99, file: !2, producer: "clang version 5.0.1 (tags/RELEASE_501/final)", isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug)
; CHECK-NOT: !DIFile({{.*}}source:{{.*}})
!2 = !DIFile(filename: "a.c", directory: "/test")
!3 = !{i32 2, !"Debug Info Version", i32 3}