diff options
author | Mark Seaborn <mseaborn@chromium.org> | 2013-09-09 10:32:47 -0700 |
---|---|---|
committer | Mark Seaborn <mseaborn@chromium.org> | 2013-09-09 10:32:47 -0700 |
commit | b63e4bfe73188f7d68065f5b274e169491e593d2 (patch) | |
tree | ac29183c92f4d361752d478435e6b31e68910ca4 /test | |
parent | 1c0cea6c1fc807794f0d785392e05b19d0c70210 (diff) |
PNaCl bitcode: Remove TYPE_CODE_POINTER entries from type table
There are now no uses of pointer type IDs in PNaCl bitcode, so we can
stop outputting pointer types into the type table.
BUG=https://code.google.com/p/nativeclient/issues/detail?id=3671
TEST=test/NaCl/Bitcode/*.ll
Review URL: https://codereview.chromium.org/23600013
Diffstat (limited to 'test')
-rw-r--r-- | test/NaCl/Bitcode/no-structs.ll | 27 | ||||
-rw-r--r-- | test/NaCl/Bitcode/switch.ll | 24 |
2 files changed, 32 insertions, 19 deletions
diff --git a/test/NaCl/Bitcode/no-structs.ll b/test/NaCl/Bitcode/no-structs.ll index 1f9b1279fe..6ca17c0634 100644 --- a/test/NaCl/Bitcode/no-structs.ll +++ b/test/NaCl/Bitcode/no-structs.ll @@ -3,11 +3,11 @@ ; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=1 \ ; RUN: | pnacl-bcanalyzer -dump-records \ -; RUN: | FileCheck %s +; RUN: | FileCheck %s -check-prefix=PF1 ; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=2 \ ; RUN: | pnacl-bcanalyzer -dump-records \ -; RUN: | FileCheck %s +; RUN: | FileCheck %s -check-prefix=PF2 declare void @func() @@ -28,11 +28,18 @@ define void @CheckPtrToIntGlobal() { ; Note that neither pnacl-version defines a struct type. -; CHECK: <TYPE_BLOCK_ID> -; CHECK-NEXT: <NUMENTRY op0=5/> -; CHECK-NEXT: <INTEGER op0=32/> -; CHECK-NEXT: <VOID/> -; CHECK-NEXT: <FUNCTION op0=0 op1=1/> -; CHECK-NEXT: <POINTER op0=2 op1=0/> -; CHECK-NEXT: <POINTER op0=0 op1=0/> -; CHECK-NEXT: </TYPE_BLOCK_ID> +; PF1: <TYPE_BLOCK_ID> +; PF1-NEXT: <NUMENTRY op0=5/> +; PF1-NEXT: <INTEGER op0=32/> +; PF1-NEXT: <VOID/> +; PF1-NEXT: <FUNCTION op0=0 op1=1/> +; PF1-NEXT: <POINTER op0=2 op1=0/> +; PF1-NEXT: <POINTER op0=0 op1=0/> +; PF1-NEXT: </TYPE_BLOCK_ID> + +; PF2: <TYPE_BLOCK_ID> +; PF2-NEXT: <NUMENTRY op0=3/> +; PF2-NEXT: <INTEGER op0=32/> +; PF2-NEXT: <VOID/> +; PF2-NEXT: <FUNCTION op0=0 op1=1/> +; PF2-NEXT: </TYPE_BLOCK_ID> diff --git a/test/NaCl/Bitcode/switch.ll b/test/NaCl/Bitcode/switch.ll index f15001f504..3fd5e68483 100644 --- a/test/NaCl/Bitcode/switch.ll +++ b/test/NaCl/Bitcode/switch.ll @@ -3,11 +3,11 @@ ; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=1 \ ; RUN: | pnacl-bcanalyzer -dump-records \ -; RUN: | FileCheck %s +; RUN: | FileCheck %s -check-prefix=PF1 ; RUN: llvm-as < %s | pnacl-freeze --pnacl-version=2 \ ; RUN: | pnacl-bcanalyzer -dump-records \ -; RUN: | FileCheck %s +; RUN: | FileCheck %s -check-prefix=PF2 ; Test case where we switch on a variable. define void @SwitchVariable(i32) { @@ -47,11 +47,17 @@ end: ret void } -; CHECK: <TYPE_BLOCK_ID> -; CHECK-NEXT: <NUMENTRY op0=4/> -; CHECK-NEXT: <VOID/> -; CHECK-NEXT: <INTEGER op0=32/> -; CHECK-NEXT: <FUNCTION op0={{.*}} op1={{.*}} op2={{.*}}/> -; CHECK-NEXT: <POINTER op0={{.*}} op1={{.*}}/> -; CHECK-NEXT: </TYPE_BLOCK_ID> +; PF1: <TYPE_BLOCK_ID> +; PF1-NEXT: <NUMENTRY op0=4/> +; PF1-NEXT: <VOID/> +; PF1-NEXT: <INTEGER op0=32/> +; PF1-NEXT: <FUNCTION op0={{.*}} op1={{.*}} op2={{.*}}/> +; PF1-NEXT: <POINTER op0={{.*}} op1={{.*}}/> +; PF1-NEXT: </TYPE_BLOCK_ID> +; PF2: <TYPE_BLOCK_ID> +; PF2-NEXT: <NUMENTRY op0=3/> +; PF2-NEXT: <VOID/> +; PF2-NEXT: <INTEGER op0=32/> +; PF2-NEXT: <FUNCTION op0={{.*}} op1={{.*}} op2={{.*}}/> +; PF2-NEXT: </TYPE_BLOCK_ID> |