diff options
author | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
---|---|---|
committer | Eric Christopher <echristo@gmail.com> | 2019-04-17 02:12:23 +0000 |
commit | a86343512845c9c1fdbac865fea88aa5fce7142a (patch) | |
tree | 666fc6353de19ad8b00e56b67edd33f24104e4a7 /llvm/test/Transforms/WholeProgramDevirt/import.ll | |
parent | 7f8ca6e3679b3af951cb7a4b1377edfaa3244b93 (diff) | |
download | bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.tar.gz bcm5719-llvm-a86343512845c9c1fdbac865fea88aa5fce7142a.zip |
Temporarily Revert "Add basic loop fusion pass."
As it's causing some bot failures (and per request from kbarton).
This reverts commit r358543/ab70da07286e618016e78247e4a24fcb84077fda.
llvm-svn: 358546
Diffstat (limited to 'llvm/test/Transforms/WholeProgramDevirt/import.ll')
-rw-r--r-- | llvm/test/Transforms/WholeProgramDevirt/import.ll | 121 |
1 files changed, 0 insertions, 121 deletions
diff --git a/llvm/test/Transforms/WholeProgramDevirt/import.ll b/llvm/test/Transforms/WholeProgramDevirt/import.ll deleted file mode 100644 index 525d88cb662..00000000000 --- a/llvm/test/Transforms/WholeProgramDevirt/import.ll +++ /dev/null @@ -1,121 +0,0 @@ -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-single-impl.yaml < %s | FileCheck --check-prefixes=CHECK,SINGLE-IMPL %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-uniform-ret-val.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIFORM-RET-VAL %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val0.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL0 %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val1.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL1 %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,INDIR %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=i686-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP32 %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=armv7-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-ARM %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,BRANCH-FUNNEL %s -; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,BRANCH-FUNNEL,BRANCH-FUNNEL-NOVCP %s - -target datalayout = "e-p:64:64" -target triple = "x86_64-unknown-linux-gnu" - -; VCP-X86: @__typeid_typeid1_0_1_byte = external hidden global i8, !absolute_symbol !0 -; VCP-X86: @__typeid_typeid1_0_1_bit = external hidden global i8, !absolute_symbol !1 -; VCP-X86: @__typeid_typeid2_8_3_byte = external hidden global i8, !absolute_symbol !0 -; VCP-X86: @__typeid_typeid2_8_3_bit = external hidden global i8, !absolute_symbol !1 - -; Test cases where the argument values are known and we can apply virtual -; constant propagation. - -; CHECK: define i32 @call1 -define i32 @call1(i8* %obj) #0 { - %vtableptr = bitcast i8* %obj to [3 x i8*]** - %vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr - %vtablei8 = bitcast [3 x i8*]* %vtable to i8* - %p = call i1 @llvm.type.test(i8* %vtablei8, metadata !"typeid1") - call void @llvm.assume(i1 %p) - %fptrptr = getelementptr [3 x i8*], [3 x i8*]* %vtable, i32 0, i32 0 - %fptr = load i8*, i8** %fptrptr - %fptr_casted = bitcast i8* %fptr to i32 (i8*, i32)* - ; CHECK: {{.*}} = bitcast {{.*}} to i8* - ; VCP: [[VT1:%.*]] = bitcast {{.*}} to i8* - ; SINGLE-IMPL: call i32 bitcast (void ()* @singleimpl1 to i32 (i8*, i32)*) - %result = call i32 %fptr_casted(i8* %obj, i32 1) - ; UNIFORM-RET-VAL: ret i32 42 - ; VCP-X86: [[GEP1:%.*]] = getelementptr i8, i8* [[VT1]], i32 ptrtoint (i8* @__typeid_typeid1_0_1_byte to i32) - ; VCP-ARM: [[GEP1:%.*]] = getelementptr i8, i8* [[VT1]], i32 42 - ; VCP: [[BC1:%.*]] = bitcast i8* [[GEP1]] to i32* - ; VCP: [[LOAD1:%.*]] = load i32, i32* [[BC1]] - ; VCP: ret i32 [[LOAD1]] - ; BRANCH-FUNNEL-NOVCP: [[VT1:%.*]] = bitcast {{.*}} to i8* - ; BRANCH-FUNNEL-NOVCP: call i32 bitcast (void ()* @__typeid_typeid1_0_branch_funnel to i32 (i8*, i8*, i32)*)(i8* nest [[VT1]], i8* %obj, i32 1) - ret i32 %result -} - -; Test cases where the argument values are unknown, so we cannot apply virtual -; constant propagation. - -; CHECK: define i1 @call2 -define i1 @call2(i8* %obj) #0 { - ; BRANCH-FUNNEL: [[VT1:%.*]] = bitcast {{.*}} to i8* - %vtableptr = bitcast i8* %obj to [1 x i8*]** - %vtable = load [1 x i8*]*, [1 x i8*]** %vtableptr - %vtablei8 = bitcast [1 x i8*]* %vtable to i8* - %pair = call {i8*, i1} @llvm.type.checked.load(i8* %vtablei8, i32 8, metadata !"typeid2") - %fptr = extractvalue {i8*, i1} %pair, 0 - %p = extractvalue {i8*, i1} %pair, 1 - ; SINGLE-IMPL: br i1 true, - br i1 %p, label %cont, label %trap - -cont: - %fptr_casted = bitcast i8* %fptr to i1 (i8*, i32)* - ; SINGLE-IMPL: call i1 bitcast (void ()* @singleimpl2 to i1 (i8*, i32)*) - ; INDIR: call i1 % - ; BRANCH-FUNNEL: call i1 bitcast (void ()* @__typeid_typeid2_8_branch_funnel to i1 (i8*, i8*, i32)*)(i8* nest [[VT1]], i8* %obj, i32 undef) - %result = call i1 %fptr_casted(i8* %obj, i32 undef) - ret i1 %result - -trap: - call void @llvm.trap() - unreachable -} - -; CHECK: define i1 @call3 -define i1 @call3(i8* %obj) #0 { - %vtableptr = bitcast i8* %obj to [1 x i8*]** - %vtable = load [1 x i8*]*, [1 x i8*]** %vtableptr - %vtablei8 = bitcast [1 x i8*]* %vtable to i8* - %pair = call {i8*, i1} @llvm.type.checked.load(i8* %vtablei8, i32 8, metadata !"typeid2") - %fptr = extractvalue {i8*, i1} %pair, 0 - %p = extractvalue {i8*, i1} %pair, 1 - br i1 %p, label %cont, label %trap - -cont: - %fptr_casted = bitcast i8* %fptr to i1 (i8*, i32)* - %result = call i1 %fptr_casted(i8* %obj, i32 3) - ; UNIQUE-RET-VAL0: icmp ne i8* %vtablei8, @__typeid_typeid2_8_3_unique_member - ; UNIQUE-RET-VAL1: icmp eq i8* %vtablei8, @__typeid_typeid2_8_3_unique_member - ; VCP: [[VT2:%.*]] = bitcast {{.*}} to i8* - ; VCP-X86: [[GEP2:%.*]] = getelementptr i8, i8* [[VT2]], i32 ptrtoint (i8* @__typeid_typeid2_8_3_byte to i32) - ; VCP-ARM: [[GEP2:%.*]] = getelementptr i8, i8* [[VT2]], i32 43 - ; VCP: [[LOAD2:%.*]] = load i8, i8* [[GEP2]] - ; VCP-X86: [[AND2:%.*]] = and i8 [[LOAD2]], ptrtoint (i8* @__typeid_typeid2_8_3_bit to i8) - ; VCP-ARM: [[AND2:%.*]] = and i8 [[LOAD2]], -128 - ; VCP: [[ICMP2:%.*]] = icmp ne i8 [[AND2]], 0 - ; VCP: ret i1 [[ICMP2]] - ; BRANCH-FUNNEL-NOVCP: [[VT2:%.*]] = bitcast {{.*}} to i8* - ; BRANCH-FUNNEL-NOVCP: call i1 bitcast (void ()* @__typeid_typeid2_8_branch_funnel to i1 (i8*, i8*, i32)*)(i8* nest [[VT2]], i8* %obj, i32 3) - ret i1 %result - -trap: - call void @llvm.trap() - unreachable -} - -; SINGLE-IMPL-DAG: declare void @singleimpl1() -; SINGLE-IMPL-DAG: declare void @singleimpl2() - -; VCP32: !0 = !{i32 -1, i32 -1} -; VCP64: !0 = !{i64 0, i64 4294967296} - -; VCP32: !1 = !{i32 0, i32 256} -; VCP64: !1 = !{i64 0, i64 256} - -declare void @llvm.assume(i1) -declare void @llvm.trap() -declare {i8*, i1} @llvm.type.checked.load(i8*, i32, metadata) -declare i1 @llvm.type.test(i8*, metadata) - -attributes #0 = { "target-features"="+retpoline" } |