mirror of
https://github.com/RPCS3/llvm.git
synced 2026-01-31 01:25:19 +01:00
a77df65a84
Add assembly and bitcode tests that I neglected to add in r223564 (IR:
Disallow complicated function-local metadata) and r223574 (IR: Disallow
function-local metadata attachments).
Found a couple of bugs:
- The error message for function-local attachments gave the wrong line
number -- it indicated the next token (typically on the next line)
instead of the token that started the attachment. Fixed.
- Metadata arguments of the form `!{i32 0, i32 %v}` (or with the
arguments reversed) fired an assertion in `ValueEnumerator` in LLVM
v3.5, so I suppose this never really worked. I suppose this was
"fixed" by r223564.
(Thanks to dblaikie for pointing out my omission.)
Part of PR21532.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@223616 91177308-0d34-0410-b5e6-96231b3b80d8
36 lines
1.2 KiB
LLVM
36 lines
1.2 KiB
LLVM
; RUN: llvm-dis < %s.bc | FileCheck %s
|
|
|
|
; Check that function-local metadata is dropped correctly when it's not a
|
|
; direct argument to a call instruction.
|
|
;
|
|
; Bitcode assembled by llvm-as v3.5.0.
|
|
|
|
define void @foo(i32 %v) {
|
|
; CHECK: entry:
|
|
entry:
|
|
; CHECK-NEXT: call void @llvm.bar(metadata !{i32 %v})
|
|
call void @llvm.bar(metadata !{i32 %v})
|
|
|
|
; Note: these supposedly legal instructions fired an assertion in llvm-as:
|
|
;
|
|
; Assertion failed: (I != ValueMap.end() && "Value not in slotcalculator!"), function getValueID, file lib/Bitcode/Writer/ValueEnumerator.cpp, line 138.
|
|
;
|
|
; So, I didn't test them; it looks like bitcode compatability is irrelevant.
|
|
; call void @llvm.bar(metadata !{i32 0, i32 %v})
|
|
; call void @llvm.bar(metadata !{i32 %v, i32 0})
|
|
; call void @llvm.bar(metadata !{metadata !{}, i32 %v})
|
|
; call void @llvm.bar(metadata !{i32 %v, metadata !{}})
|
|
|
|
; CHECK-NEXT: call void @llvm.bar(metadata !0)
|
|
; CHECK-NEXT: call void @llvm.bar(metadata !0)
|
|
call void @llvm.bar(metadata !{i32 %v, i32 %v})
|
|
call void @llvm.bar(metadata !{metadata !{i32 %v}})
|
|
|
|
; CHECK-NEXT: ret void{{$}}
|
|
ret void, !baz !{i32 %v}
|
|
}
|
|
|
|
declare void @llvm.bar(metadata)
|
|
|
|
; CHECK: !0 = metadata !{}
|