llvm-mirror/test/Assembler/metadata.ll

; RUN: llvm-as < %s | llvm-dis | llvm-as | llvm-dis | FileCheck %s
; RUN: verify-uselistorder %s

; CHECK: @test
; CHECK: ret void, !bar !1, !foo !0
define void @test() {
  add i32 2, 1, !bar !0
  add i32 1, 2, !foo !1
  call void @llvm.dbg.func.start(metadata !"foo")
  extractvalue {{i32, i32}, i32} undef, 0, 1, !foo !0
  ret void, !foo !0, !bar !1
}

!0 = !MDLocation(line: 662302, column: 26, scope: !1)
!1 = !{i32 4, !"foo"}

declare void @llvm.dbg.func.start(metadata) nounwind readnone

!foo = !{ !0 }
!bar = !{ !1 }
FileCheckize these testcases. llvm-svn: 154281 2012-04-08 13:00:38 +02:00			`; RUN: llvm-as < %s \| llvm-dis \| llvm-as \| llvm-dis \| FileCheck %s`
verify-uselistorder: Force -preserve-bc-use-list-order llvm-svn: 216022 2014-08-19 23:08:27 +02:00			`; RUN: verify-uselistorder %s`
FileCheckize these testcases. llvm-svn: 154281 2012-04-08 13:00:38 +02:00
			`; CHECK: @test`
			`; CHECK: ret void, !bar !1, !foo !0`
Do not crash when .ll printing metadata that smells like debug info, but isn't. llvm-svn: 92268 2009-12-29 22:17:33 +01:00			`define void @test() {`
Each instruction is allowed to have multiple different metadata objects on them. Though the entire compiler supports this, the asmparser didn't. llvm-svn: 92270 2009-12-29 22:25:40 +01:00			`add i32 2, 1, !bar !0`
			`add i32 1, 2, !foo !1`
fix parsing of mdstring values. llvm-svn: 92290 2009-12-30 05:13:37 +01:00			`call void @llvm.dbg.func.start(metadata !"foo")`
reimplement insertvalue/extractvalue metadata handling to not blindly accept invalid input. Actually add a testcase. llvm-svn: 92297 2009-12-30 06:14:00 +01:00			`extractvalue {{i32, i32}, i32} undef, 0, 1, !foo !0`
Each instruction is allowed to have multiple different metadata objects on them. Though the entire compiler supports this, the asmparser didn't. llvm-svn: 92270 2009-12-29 22:25:40 +01:00			`ret void, !foo !0, !bar !1`
Do not crash when .ll printing metadata that smells like debug info, but isn't. llvm-svn: 92268 2009-12-29 22:17:33 +01:00			`}`

IR: Move MDLocation into place This commit moves `MDLocation`, finishing off PR21433. There's an accompanying clang commit for frontend testcases. I'll attach the testcase upgrade script I used to PR21433 to help out-of-tree frontends/backends. This changes the schema for `DebugLoc` and `DILocation` from: !{i32 3, i32 7, !7, !8} to: !MDLocation(line: 3, column: 7, scope: !7, inlinedAt: !8) Note that empty fields (line/column: 0 and inlinedAt: null) don't get printed by the assembly writer. llvm-svn: 226048 2015-01-14 23:27:36 +01:00			`!0 = !MDLocation(line: 662302, column: 26, scope: !1)`
IR: Make metadata typeless in assembly Now that `Metadata` is typeless, reflect that in the assembly. These are the matching assembly changes for the metadata/value split in r223802. - Only use the `metadata` type when referencing metadata from a call intrinsic -- i.e., only when it's used as a `Value`. - Stop pretending that `ValueAsMetadata` is wrapped in an `MDNode` when referencing it from call intrinsics. So, assembly like this: define @foo(i32 %v) { call void @llvm.foo(metadata !{i32 %v}, metadata !0) call void @llvm.foo(metadata !{i32 7}, metadata !0) call void @llvm.foo(metadata !1, metadata !0) call void @llvm.foo(metadata !3, metadata !0) call void @llvm.foo(metadata !{metadata !3}, metadata !0) ret void, !bar !2 } !0 = metadata !{metadata !2} !1 = metadata !{i32* @global} !2 = metadata !{metadata !3} !3 = metadata !{} turns into this: define @foo(i32 %v) { call void @llvm.foo(metadata i32 %v, metadata !0) call void @llvm.foo(metadata i32 7, metadata !0) call void @llvm.foo(metadata i32* @global, metadata !0) call void @llvm.foo(metadata !3, metadata !0) call void @llvm.foo(metadata !{!3}, metadata !0) ret void, !bar !2 } !0 = !{!2} !1 = !{i32* @global} !2 = !{!3} !3 = !{} I wrote an upgrade script that handled almost all of the tests in llvm and many of the tests in cfe (even handling many `CHECK` lines). I've attached it (or will attach it in a moment if you're speedy) to PR21532 to help everyone update their out-of-tree testcases. This is part of PR21532. llvm-svn: 224257 2014-12-15 20:07:53 +01:00			`!1 = !{i32 4, !"foo"}`
fix parsing of mdstring values. llvm-svn: 92290 2009-12-30 05:13:37 +01:00
			`declare void @llvm.dbg.func.start(metadata) nounwind readnone`

add some basic named MD tests. llvm-svn: 92336 2009-12-31 04:00:49 +01:00			`!foo = !{ !0 }`
			`!bar = !{ !1 }`