From: David Majnemer Date: Sat, 12 Dec 2015 06:21:08 +0000 (+0000) Subject: Move catchpad-phi-cast.ll to the X86 specific subdirectory X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e89a5eccab0bd7feccb5c436ff644e64bc0ea680;p=oota-llvm.git Move catchpad-phi-cast.ll to the X86 specific subdirectory It is X86 specific and will not be properly exercised unless LLVM is built with the X86 target. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@255426 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/test/Transforms/CodeGenPrepare/X86/catchpad-phi-cast.ll b/test/Transforms/CodeGenPrepare/X86/catchpad-phi-cast.ll new file mode 100644 index 00000000000..8c5e01e3634 --- /dev/null +++ b/test/Transforms/CodeGenPrepare/X86/catchpad-phi-cast.ll @@ -0,0 +1,118 @@ +; RUN: opt -codegenprepare -S < %s | FileCheck %s + +; The following target lines are needed for the test to exercise what it should. +; Without these lines, CodeGenPrepare does not try to sink the bitcasts. +target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-pc-windows-msvc" + +declare i32 @__CxxFrameHandler3(...) + +declare void @f() + +declare void @g(i8*) +declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 + +; CodeGenPrepare will want to sink these bitcasts, but it selects the catchpad +; blocks as the place to which the bitcast should be sunk. Since catchpads +; do not allow non-phi instructions before the terminator, this isn't possible. + +; CHECK-LABEL: @test( +define void @test(i32* %addr) personality i32 (...)* @__CxxFrameHandler3 { +entry: + %x = getelementptr i32, i32* %addr, i32 1 + %p1 = bitcast i32* %x to i8* + invoke void @f() + to label %invoke.cont unwind label %catch1 + +; CHECK: invoke.cont: +; CHECK-NEXT: %y = getelementptr i32, i32* %addr, i32 2 +invoke.cont: + %y = getelementptr i32, i32* %addr, i32 2 + %p2 = bitcast i32* %y to i8* + invoke void @f() + to label %done unwind label %catch2 + +done: + ret void + +catch1: + %cs1 = catchswitch within none [label %handler1] unwind to caller + +handler1: + %cp1 = catchpad within %cs1 [] + br label %catch.shared +; CHECK: handler1: +; CHECK-NEXT: catchpad within %cs1 +; CHECK: %[[p1:[0-9]+]] = bitcast i32* %x to i8* + +catch2: + %cs2 = catchswitch within none [label %handler2] unwind to caller + +handler2: + %cp2 = catchpad within %cs2 [] + br label %catch.shared +; CHECK: handler2: +; CHECK: catchpad within %cs2 +; CHECK: %[[p2:[0-9]+]] = bitcast i32* %y to i8* + +; CHECK: catch.shared: +; CHECK-NEXT: %p = phi i8* [ %[[p1]], %handler1 ], [ %[[p2]], %handler2 ] +catch.shared: + %p = phi i8* [ %p1, %handler1 ], [ %p2, %handler2 ] + call void @g(i8* %p) + unreachable +} + +; CodeGenPrepare will want to hoist these llvm.dbg.value calls to the phi, but +; there is no insertion point in a catchpad block. + +; CHECK-LABEL: @test_dbg_value( +define void @test_dbg_value() personality i32 (...)* @__CxxFrameHandler3 { +entry: + %a = alloca i8 + %b = alloca i8 + invoke void @f() to label %next unwind label %catch.dispatch +next: + invoke void @f() to label %ret unwind label %catch.dispatch +ret: + ret void + +catch.dispatch: + %p = phi i8* [%a, %entry], [%b, %next] + %cs1 = catchswitch within none [label %catch] unwind to caller + +catch: + %cp1 = catchpad within %cs1 [] + tail call void @llvm.dbg.value(metadata i8* %p, i64 0, metadata !11, metadata !13), !dbg !14 + call void @g(i8* %p) + catchret from %cp1 to label %ret + +; CHECK: catch.dispatch: +; CHECK-NEXT: phi i8 +; CHECK-NEXT: catchswitch +; CHECK-NOT: llvm.dbg.value + +; CHECK: catch: +; CHECK-NEXT: catchpad +; CHECK-NEXT: call void @llvm.dbg.value +} + +!llvm.dbg.cu = !{!0} +!llvm.module.flags = !{!7, !8, !9} +!llvm.ident = !{!10} + +!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 3.8.0 (trunk 254906) (llvm/trunk 254917)", isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: null, subprograms: !3) +!1 = !DIFile(filename: "t.c", directory: "D:\5Csrc\5Cllvm\5Cbuild") +!3 = !{!4} +!4 = distinct !DISubprogram(name: "test_dbg_value", scope: !1, file: !1, line: 1, type: !5, isLocal: false, isDefinition: true, scopeLine: 1, isOptimized: false, variables: null) +!5 = !DISubroutineType(types: !6) +!6 = !{null} +!7 = !{i32 2, !"Dwarf Version", i32 4} +!8 = !{i32 2, !"Debug Info Version", i32 3} +!9 = !{i32 1, !"PIC Level", i32 2} +!10 = !{!"clang version 3.8.0 (trunk 254906) (llvm/trunk 254917)"} +!11 = !DILocalVariable(name: "p", scope: !4, file: !1, line: 2, type: !12) +!12 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char) +!13 = !DIExpression() +!14 = !DILocation(line: 2, column: 8, scope: !4) +!15 = !DILocation(line: 3, column: 1, scope: !4) diff --git a/test/Transforms/CodeGenPrepare/catchpad-phi-cast.ll b/test/Transforms/CodeGenPrepare/catchpad-phi-cast.ll deleted file mode 100644 index 8c5e01e3634..00000000000 --- a/test/Transforms/CodeGenPrepare/catchpad-phi-cast.ll +++ /dev/null @@ -1,118 +0,0 @@ -; RUN: opt -codegenprepare -S < %s | FileCheck %s - -; The following target lines are needed for the test to exercise what it should. -; Without these lines, CodeGenPrepare does not try to sink the bitcasts. -target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" -target triple = "x86_64-pc-windows-msvc" - -declare i32 @__CxxFrameHandler3(...) - -declare void @f() - -declare void @g(i8*) -declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 - -; CodeGenPrepare will want to sink these bitcasts, but it selects the catchpad -; blocks as the place to which the bitcast should be sunk. Since catchpads -; do not allow non-phi instructions before the terminator, this isn't possible. - -; CHECK-LABEL: @test( -define void @test(i32* %addr) personality i32 (...)* @__CxxFrameHandler3 { -entry: - %x = getelementptr i32, i32* %addr, i32 1 - %p1 = bitcast i32* %x to i8* - invoke void @f() - to label %invoke.cont unwind label %catch1 - -; CHECK: invoke.cont: -; CHECK-NEXT: %y = getelementptr i32, i32* %addr, i32 2 -invoke.cont: - %y = getelementptr i32, i32* %addr, i32 2 - %p2 = bitcast i32* %y to i8* - invoke void @f() - to label %done unwind label %catch2 - -done: - ret void - -catch1: - %cs1 = catchswitch within none [label %handler1] unwind to caller - -handler1: - %cp1 = catchpad within %cs1 [] - br label %catch.shared -; CHECK: handler1: -; CHECK-NEXT: catchpad within %cs1 -; CHECK: %[[p1:[0-9]+]] = bitcast i32* %x to i8* - -catch2: - %cs2 = catchswitch within none [label %handler2] unwind to caller - -handler2: - %cp2 = catchpad within %cs2 [] - br label %catch.shared -; CHECK: handler2: -; CHECK: catchpad within %cs2 -; CHECK: %[[p2:[0-9]+]] = bitcast i32* %y to i8* - -; CHECK: catch.shared: -; CHECK-NEXT: %p = phi i8* [ %[[p1]], %handler1 ], [ %[[p2]], %handler2 ] -catch.shared: - %p = phi i8* [ %p1, %handler1 ], [ %p2, %handler2 ] - call void @g(i8* %p) - unreachable -} - -; CodeGenPrepare will want to hoist these llvm.dbg.value calls to the phi, but -; there is no insertion point in a catchpad block. - -; CHECK-LABEL: @test_dbg_value( -define void @test_dbg_value() personality i32 (...)* @__CxxFrameHandler3 { -entry: - %a = alloca i8 - %b = alloca i8 - invoke void @f() to label %next unwind label %catch.dispatch -next: - invoke void @f() to label %ret unwind label %catch.dispatch -ret: - ret void - -catch.dispatch: - %p = phi i8* [%a, %entry], [%b, %next] - %cs1 = catchswitch within none [label %catch] unwind to caller - -catch: - %cp1 = catchpad within %cs1 [] - tail call void @llvm.dbg.value(metadata i8* %p, i64 0, metadata !11, metadata !13), !dbg !14 - call void @g(i8* %p) - catchret from %cp1 to label %ret - -; CHECK: catch.dispatch: -; CHECK-NEXT: phi i8 -; CHECK-NEXT: catchswitch -; CHECK-NOT: llvm.dbg.value - -; CHECK: catch: -; CHECK-NEXT: catchpad -; CHECK-NEXT: call void @llvm.dbg.value -} - -!llvm.dbg.cu = !{!0} -!llvm.module.flags = !{!7, !8, !9} -!llvm.ident = !{!10} - -!0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 3.8.0 (trunk 254906) (llvm/trunk 254917)", isOptimized: false, runtimeVersion: 0, emissionKind: 1, enums: null, subprograms: !3) -!1 = !DIFile(filename: "t.c", directory: "D:\5Csrc\5Cllvm\5Cbuild") -!3 = !{!4} -!4 = distinct !DISubprogram(name: "test_dbg_value", scope: !1, file: !1, line: 1, type: !5, isLocal: false, isDefinition: true, scopeLine: 1, isOptimized: false, variables: null) -!5 = !DISubroutineType(types: !6) -!6 = !{null} -!7 = !{i32 2, !"Dwarf Version", i32 4} -!8 = !{i32 2, !"Debug Info Version", i32 3} -!9 = !{i32 1, !"PIC Level", i32 2} -!10 = !{!"clang version 3.8.0 (trunk 254906) (llvm/trunk 254917)"} -!11 = !DILocalVariable(name: "p", scope: !4, file: !1, line: 2, type: !12) -!12 = !DIBasicType(name: "char", size: 8, align: 8, encoding: DW_ATE_signed_char) -!13 = !DIExpression() -!14 = !DILocation(line: 2, column: 8, scope: !4) -!15 = !DILocation(line: 3, column: 1, scope: !4)