From 37ed9c199ca639565f6ce88105f9e39e898d82d0 Mon Sep 17 00:00:00 2001 From: Stephen Hines Date: Mon, 1 Dec 2014 14:51:49 -0800 Subject: Update aosp/master LLVM for rebase to r222494. Change-Id: Ic787f5e0124df789bd26f3f24680f45e678eef2d --- test/Verifier/alias.ll | 2 +- test/Verifier/comdat2.ll | 2 +- test/Verifier/invoke.ll | 2 +- test/Verifier/jumptable.ll | 3 +-- test/Verifier/musttail-valid.ll | 23 +++++++++++++++++++++++ test/Verifier/range-1.ll | 15 ++++++++++++--- 6 files changed, 39 insertions(+), 8 deletions(-) (limited to 'test/Verifier') diff --git a/test/Verifier/alias.ll b/test/Verifier/alias.ll index ff02a37..dd04ae0 100644 --- a/test/Verifier/alias.ll +++ b/test/Verifier/alias.ll @@ -21,7 +21,7 @@ declare void @f() @test3_a = global i32 42 -@test3_b = alias weak i32* @test3_a +@test3_b = weak alias i32* @test3_a @test3_c = alias i32* @test3_b ; CHECK: Alias cannot point to a weak alias ; CHECK-NEXT: i32* @test3_c diff --git a/test/Verifier/comdat2.ll b/test/Verifier/comdat2.ll index 23b6cee..d78030c 100644 --- a/test/Verifier/comdat2.ll +++ b/test/Verifier/comdat2.ll @@ -2,4 +2,4 @@ $v = comdat any @v = private global i32 0, comdat $v -; CHECK: comdat global value has local linkage +; CHECK: comdat global value has private linkage diff --git a/test/Verifier/invoke.ll b/test/Verifier/invoke.ll index c2750bb..e80cfcf 100644 --- a/test/Verifier/invoke.ll +++ b/test/Verifier/invoke.ll @@ -46,7 +46,7 @@ contb: define i8 @f2() { entry: -; CHECK: Cannot invoke an intrinsinc other than donothing +; CHECK: Cannot invoke an intrinsinc other than donothing or patchpoint invoke void @llvm.trap() to label %cont unwind label %lpad diff --git a/test/Verifier/jumptable.ll b/test/Verifier/jumptable.ll index 5f4cd3f..81984ee 100644 --- a/test/Verifier/jumptable.ll +++ b/test/Verifier/jumptable.ll @@ -1,4 +1,4 @@ -; RUN: not llc <%s 2>&1 | FileCheck %s +; RUN: not llvm-as -disable-output %s 2>&1 | FileCheck %s define i32 @f() jumptable { ret i32 0 @@ -6,4 +6,3 @@ define i32 @f() jumptable { ; CHECK: Attribute 'jumptable' requires 'unnamed_addr' ; CHECK: i32 ()* @f -; CHECK: LLVM ERROR: Broken function found, compilation aborted! diff --git a/test/Verifier/musttail-valid.ll b/test/Verifier/musttail-valid.ll index 815d77a..bdc0c8c 100644 --- a/test/Verifier/musttail-valid.ll +++ b/test/Verifier/musttail-valid.ll @@ -14,3 +14,26 @@ define i32* @similar_ret_ptrty() { %w = bitcast i8* %v to i32* ret i32* %w } + +declare x86_thiscallcc void @varargs_thiscall(i8*, ...) +define x86_thiscallcc void @varargs_thiscall_thunk(i8* %this, ...) { + musttail call x86_thiscallcc void (i8*, ...)* @varargs_thiscall(i8* %this, ...) + ret void +} + +declare x86_fastcallcc void @varargs_fastcall(i8*, ...) +define x86_fastcallcc void @varargs_fastcall_thunk(i8* %this, ...) { + musttail call x86_fastcallcc void (i8*, ...)* @varargs_fastcall(i8* %this, ...) + ret void +} + +define x86_thiscallcc void @varargs_thiscall_unreachable(i8* %this, ...) { + unreachable +} + +define x86_thiscallcc void @varargs_thiscall_ret_unreachable(i8* %this, ...) { + musttail call x86_thiscallcc void (i8*, ...)* @varargs_thiscall(i8* %this, ...) + ret void +bb1: + ret void +} diff --git a/test/Verifier/range-1.ll b/test/Verifier/range-1.ll index f15ca3f..0b20ca2 100644 --- a/test/Verifier/range-1.ll +++ b/test/Verifier/range-1.ll @@ -48,7 +48,7 @@ entry: ret i8 %y } !5 = metadata !{i32 0, i8 0} -; CHECK: Range types must match load type! +; CHECK: Range types must match instruction type! ; CHECK: %y = load define i8 @f7(i8* %x) { @@ -57,7 +57,7 @@ entry: ret i8 %y } !6 = metadata !{i8 0, i32 0} -; CHECK: Range types must match load type! +; CHECK: Range types must match instruction type! ; CHECK: %y = load define i8 @f8(i8* %x) { @@ -66,7 +66,7 @@ entry: ret i8 %y } !7 = metadata !{i32 0, i32 0} -; CHECK: Range types must match load type! +; CHECK: Range types must match instruction type! ; CHECK: %y = load define i8 @f9(i8* %x) { @@ -140,3 +140,12 @@ entry: } !17 = metadata !{i8 1, i8 3, i8 4, i8 5, i8 6, i8 1} ; CHECK: Intervals are contiguous + +define i8 @f18() { +entry: + %y = call i8 undef(), !range !18 + ret i8 %y +} +!18 = metadata !{} +; CHECK: It should have at least one range! +; CHECK-NEXT: metadata -- cgit v1.1