| Index: test/NaCl/Bitcode/bcdist.ll
|
| diff --git a/test/NaCl/Bitcode/bcdist.ll b/test/NaCl/Bitcode/bcdist.ll
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..ac002888f620567b3d81c59ce928b35600bf81a3
|
| --- /dev/null
|
| +++ b/test/NaCl/Bitcode/bcdist.ll
|
| @@ -0,0 +1,392 @@
|
| +; Simple test to show that we don't break distribution counts.
|
| +
|
| +; RUN: llvm-as < %s | pnacl-freeze | pnacl-bcanalyzer --order-blocks-by-id \
|
| +; RUN: | FileCheck %s
|
| +
|
| +@bytes7 = internal global [7 x i8] c"abcdefg"
|
| +
|
| +@ptr_to_ptr = internal global i32 ptrtoint (i32* @ptr to i32)
|
| +
|
| +@ptr_to_func = internal global i32 ptrtoint (void ()* @func to i32)
|
| +
|
| +@compound = internal global <{ [3 x i8], i32 }> <{ [3 x i8] c"foo", i32 ptrtoint (void ()* @func to i32) }>
|
| +
|
| +@ptr = internal global i32 ptrtoint ([7 x i8]* @bytes7 to i32)
|
| +
|
| +@addend_ptr = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 1)
|
| +
|
| +@addend_negative = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 -1)
|
| +
|
| +@addend_array1 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes7 to i32), i32 1)
|
| +
|
| +@addend_array2 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes7 to i32), i32 7)
|
| +
|
| +@addend_array3 = internal global i32 add (i32 ptrtoint ([7 x i8]* @bytes7 to i32), i32 9)
|
| +
|
| +@addend_struct1 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 1)
|
| +
|
| +@addend_struct2 = internal global i32 add (i32 ptrtoint (<{ [3 x i8], i32 }>* @compound to i32), i32 4)
|
| +
|
| +@ptr_to_func_align = internal global i32 ptrtoint (void ()* @func to i32), align 8
|
| +
|
| +@char = internal constant [1 x i8] c"0"
|
| +
|
| +@short = internal constant [2 x i8] zeroinitializer
|
| +
|
| +@bytes = internal global [4 x i8] c"abcd"
|
| +
|
| +declare i32 @bar(i32)
|
| +
|
| +define void @func() {
|
| + ret void
|
| +}
|
| +
|
| +define void @AllocCastSimple() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint i8* %1 to i32
|
| + %3 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @AllocCastSimpleReversed() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint i8* %1 to i32
|
| + %3 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @AllocCastDelete() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = alloca i8, i32 4, align 8
|
| + ret void
|
| +}
|
| +
|
| +define void @AllocCastOpt() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint i8* %1 to i32
|
| + %3 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + store i32 %2, i32* %3, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @AllocBitcast(i32) {
|
| + %2 = alloca i8, i32 4, align 8
|
| + %3 = add i32 %0, 1
|
| + %4 = ptrtoint i8* %2 to i32
|
| + %5 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %4, i32* %5, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @StoreGlobal() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint [4 x i8]* @bytes to i32
|
| + %3 = bitcast i8* %1 to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @StoreGlobalCastsReversed() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint [4 x i8]* @bytes to i32
|
| + %3 = bitcast i8* %1 to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + ret void
|
| +}
|
| +
|
| +define i32 @StoreGlobalCastPtr2Int() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint [4 x i8]* @bytes to i32
|
| + %3 = bitcast i8* %1 to i32*
|
| + store i32 %2, i32* %3, align 1
|
| + ret i32 0
|
| +}
|
| +
|
| +define void @CastAddAlloca() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = add i32 1, 2
|
| + %3 = ptrtoint i8* %1 to i32
|
| + %4 = add i32 %3, 2
|
| + %5 = add i32 1, %3
|
| + %6 = add i32 %3, %3
|
| + ret void
|
| +}
|
| +
|
| +define void @CastAddGlobal() {
|
| + %1 = add i32 1, 2
|
| + %2 = ptrtoint [4 x i8]* @bytes to i32
|
| + %3 = add i32 %2, 2
|
| + %4 = add i32 1, %2
|
| + %5 = add i32 %2, %2
|
| + ret void
|
| +}
|
| +
|
| +define void @CastBinop() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint i8* %1 to i32
|
| + %3 = ptrtoint [4 x i8]* @bytes to i32
|
| + %4 = sub i32 %2, %3
|
| + %5 = mul i32 %2, %3
|
| + %6 = udiv i32 %2, %3
|
| + %7 = urem i32 %2, %3
|
| + %8 = srem i32 %2, %3
|
| + %9 = shl i32 %2, %3
|
| + %10 = lshr i32 %2, %3
|
| + %11 = ashr i32 %2, %3
|
| + %12 = and i32 %2, %3
|
| + %13 = or i32 %2, %3
|
| + %14 = xor i32 %2, %3
|
| + ret void
|
| +}
|
| +
|
| +define void @TestSavedPtrToInt() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = ptrtoint i8* %1 to i32
|
| + %3 = add i32 %2, 0
|
| + %4 = call i32 @bar(i32 %2)
|
| + ret void
|
| +}
|
| +
|
| +define void @CastSelect() {
|
| + %1 = alloca i8, i32 4, align 8
|
| + %2 = select i1 true, i32 1, i32 2
|
| + %3 = ptrtoint i8* %1 to i32
|
| + %4 = select i1 true, i32 %3, i32 2
|
| + %5 = ptrtoint [4 x i8]* @bytes to i32
|
| + %6 = select i1 true, i32 1, i32 %5
|
| + %7 = select i1 true, i32 %3, i32 %5
|
| + %8 = select i1 true, i32 %5, i32 %3
|
| + ret void
|
| +}
|
| +
|
| +define void @PhiBackwardRefs(i1) {
|
| + %2 = alloca i8, i32 4, align 8
|
| + %3 = alloca i8, i32 4, align 8
|
| + br i1 %0, label %true, label %false
|
| +
|
| +true: ; preds = %1
|
| + %4 = bitcast i8* %2 to i32*
|
| + %5 = load i32* %4
|
| + %6 = ptrtoint i8* %3 to i32
|
| + br label %merge
|
| +
|
| +false: ; preds = %1
|
| + %7 = bitcast i8* %2 to i32*
|
| + %8 = load i32* %7
|
| + %9 = ptrtoint i8* %3 to i32
|
| + br label %merge
|
| +
|
| +merge: ; preds = %false, %true
|
| + %10 = phi i32 [ %6, %true ], [ %9, %false ]
|
| + %11 = phi i32 [ %5, %true ], [ %8, %false ]
|
| + ret void
|
| +}
|
| +
|
| +define void @PhiForwardRefs(i1) {
|
| + br label %start
|
| +
|
| +merge: ; preds = %false, %true
|
| + %2 = phi i32 [ %11, %true ], [ %11, %false ]
|
| + %3 = phi i32 [ %5, %true ], [ %7, %false ]
|
| + ret void
|
| +
|
| +true: ; preds = %start
|
| + %4 = inttoptr i32 %9 to i32*
|
| + %5 = load i32* %4
|
| + br label %merge
|
| +
|
| +false: ; preds = %start
|
| + %6 = inttoptr i32 %9 to i32*
|
| + %7 = load i32* %6
|
| + br label %merge
|
| +
|
| +start: ; preds = %1
|
| + %8 = alloca i8, i32 4, align 8
|
| + %9 = ptrtoint i8* %8 to i32
|
| + %10 = alloca i8, i32 4, align 8
|
| + %11 = ptrtoint i8* %10 to i32
|
| + br i1 %0, label %true, label %false
|
| +}
|
| +
|
| +define void @PhiMergeCast(i1) {
|
| + %2 = alloca i8, i32 4, align 8
|
| + %3 = alloca i8, i32 4, align 8
|
| + br i1 %0, label %true, label %false
|
| +
|
| +true: ; preds = %1
|
| + %4 = bitcast i8* %2 to i32*
|
| + %5 = load i32* %4
|
| + %6 = ptrtoint i8* %3 to i32
|
| + %7 = add i32 %5, %6
|
| + br label %merge
|
| +
|
| +false: ; preds = %1
|
| + %8 = bitcast i8* %2 to i32*
|
| + %9 = load i32* %8
|
| + %10 = ptrtoint i8* %3 to i32
|
| + br label %merge
|
| +
|
| +merge: ; preds = %false, %true
|
| + %11 = phi i32 [ %6, %true ], [ %10, %false ]
|
| + %12 = phi i32 [ %5, %true ], [ %9, %false ]
|
| + ret void
|
| +}
|
| +
|
| +define void @LongReachingCasts(i1) {
|
| + %2 = alloca i8, i32 4, align 8
|
| + br i1 %0, label %Split1, label %Split2
|
| +
|
| +Split1: ; preds = %1
|
| + br i1 %0, label %b1, label %b2
|
| +
|
| +Split2: ; preds = %1
|
| + br i1 %0, label %b3, label %b4
|
| +
|
| +b1: ; preds = %Split1
|
| + %3 = ptrtoint i8* %2 to i32
|
| + %4 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %3, i32* %4, align 1
|
| + store i32 %3, i32* %4, align 1
|
| + ret void
|
| +
|
| +b2: ; preds = %Split1
|
| + %5 = ptrtoint i8* %2 to i32
|
| + %6 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %5, i32* %6, align 1
|
| + store i32 %5, i32* %6, align 1
|
| + ret void
|
| +
|
| +b3: ; preds = %Split2
|
| + %7 = ptrtoint i8* %2 to i32
|
| + %8 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %7, i32* %8, align 1
|
| + store i32 %7, i32* %8, align 1
|
| + ret void
|
| +
|
| +b4: ; preds = %Split2
|
| + %9 = ptrtoint i8* %2 to i32
|
| + %10 = bitcast [4 x i8]* @bytes to i32*
|
| + store i32 %9, i32* %10, align 1
|
| + store i32 %9, i32* %10, align 1
|
| + ret void
|
| +}
|
| +
|
| +define void @SwitchVariable(i32) {
|
| + switch i32 %0, label %l1 [
|
| + i32 1, label %l2
|
| + i32 2, label %l2
|
| + i32 4, label %l3
|
| + i32 5, label %l3
|
| + ]
|
| + ; No predecessors!
|
| + br label %end
|
| +
|
| +l1: ; preds = %1
|
| + br label %end
|
| +
|
| +l2: ; preds = %1, %1
|
| + br label %end
|
| +
|
| +l3: ; preds = %1, %1
|
| + br label %end
|
| +
|
| +end: ; preds = %l3, %l2, %l1, %2
|
| + ret void
|
| +}
|
| +
|
| +
|
| +; CHECK: # Toplevel Blocks: 1
|
| +
|
| +; CHECK: Block Histogram (8 elements):
|
| +
|
| +; CHECK: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 1 {{.*}} {{.*}} {{.*}} BLOCKINFO_BLOCK
|
| +; CHECK-NEXT: {{.*}} 1 {{.*}} {{.*}} {{.*}} MODULE_BLOCK
|
| +
|
| +; CHECK: Subblocks (5 elements):
|
| +
|
| +; CHECK: Count %Count Subblock
|
| +; CHECK-NEXT: 19 82.61 FUNCTION_BLOCK
|
| +; CHECK-NEXT: 1 4.35 GLOBALVAR_BLOCK
|
| +; CHECK-NEXT: 1 4.35 TYPE_BLOCK_ID
|
| +; CHECK-NEXT: 1 4.35 VALUE_SYMTAB
|
| +; CHECK-NEXT: 1 4.35 BLOCKINFO_BLOCK
|
| +
|
| +; CHECK: Record Histogram: (2 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 20 95.24 {{.*}} {{.*}} FUNCTION
|
| +; CHECK-NEXT: 1 4.76 {{.*}} {{.*}} VERSION
|
| +
|
| +; CHECK: Block Histogram (continued)
|
| +; CHECK-NEXT: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 17 {{.*}} {{.*}} {{.*}} CONSTANTS_BLOCK
|
| +
|
| +; CHECK: Record Histogram: (2 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 26 59.09 {{.*}} {{.*}} {{.*}} INTEGER
|
| +; CHECK-NEXT: 18 40.91 {{.*}} {{.*}} {{.*}} SETTYPE
|
| +
|
| +; CHECK: Block Histogram (continued)
|
| +; CHECK-NEXT: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 19 {{.*}} {{.*}} {{.*}} FUNCTION_BLOCK
|
| +
|
| +; CHECK: Subblocks (1 elements):
|
| +
|
| +; CHECK: Count %Count Subblock
|
| +; CHECK-NEXT: 17 100.00 CONSTANTS_BLOCK
|
| +
|
| +; CHECK: Record Histogram: (12 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 22 15.83 {{.*}} {{.*}} {{.*}} INST_RET
|
| +; CHECK-NEXT: 22 15.83 {{.*}} {{.*}} {{.*}} INST_BINOP
|
| +; CHECK-NEXT: 20 14.39 {{.*}} {{.*}} INST_ALLOCA
|
| +; CHECK-NEXT: 19 13.67 {{.*}} {{.*}} DECLAREBLOCKS
|
| +; CHECK-NEXT: 17 12.23 {{.*}} {{.*}} INST_BR
|
| +; CHECK-NEXT: 16 11.51 {{.*}} {{.*}} {{.*}} INST_STORE
|
| +; CHECK-NEXT: 6 4.32 {{.*}} {{.*}} {{.*}} INST_LOAD
|
| +; CHECK-NEXT: 6 4.32 {{.*}} {{.*}} INST_PHI
|
| +; CHECK-NEXT: 5 3.60 {{.*}} {{.*}} INST_VSELECT
|
| +; CHECK-NEXT: 4 2.88 {{.*}} {{.*}} {{.*}} FORWARDTYPEREF
|
| +; CHECK-NEXT: 1 0.72 {{.*}} {{.*}} INST_CALL
|
| +; CHECK-NEXT: 1 0.72 {{.*}} {{.*}} INST_SWITCH
|
| +
|
| +; CHECK: Block Histogram (continued)
|
| +; CHECK-NEXT: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 1 {{.*}} {{.*}} {{.*}} VALUE_SYMTAB
|
| +
|
| +; CHECK: Record Histogram: (1 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 36 100.00 {{.*}} {{.*}} {{.*}} ENTRY
|
| +
|
| +; CHECK: Block Histogram (continued)
|
| +; CHECK-NEXT: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 1 {{.*}} {{.*}} {{.*}} TYPE_BLOCK_ID
|
| +
|
| +; CHECK: Record Histogram: (4 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 5 50.00 {{.*}} {{.*}} {{.*}} FUNCTION
|
| +; CHECK-NEXT: 3 30.00 {{.*}} {{.*}} INTEGER
|
| +; CHECK-NEXT: 1 10.00 {{.*}} {{.*}} VOID
|
| +; CHECK-NEXT: 1 10.00 {{.*}} {{.*}} NUMENTRY
|
| +
|
| +; CHECK: Block Histogram (continued)
|
| +; CHECK-NEXT: %File Count %Count # Bits Bits/Elmt Block
|
| +; CHECK-NEXT: {{.*}} 1 {{.*}} {{.*}} {{.*}} GLOBALVAR_BLOCK
|
| +
|
| +; CHECK: Record Histogram: (6 elements):
|
| +
|
| +; CHECK: Count %Count # Bits Bits/Elmt % Abv Record Kind
|
| +; CHECK-NEXT: 16 45.71 {{.*}} {{.*}} {{.*}} VAR
|
| +; CHECK-NEXT: 12 34.29 {{.*}} {{.*}} {{.*}} RELOC
|
| +; CHECK-NEXT: 4 11.43 {{.*}} {{.*}} {{.*}} DATA
|
| +; CHECK-NEXT: 1 2.86 {{.*}} {{.*}} COUNT
|
| +; CHECK-NEXT: 1 2.86 {{.*}} {{.*}} {{.*}} ZEROFILL
|
| +; CHECK-NEXT: 1 2.86 {{.*}} {{.*}} {{.*}} COMPOUND
|
|
|