| ; 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, i32* %4 |
| %6 = ptrtoint i8* %3 to i32 |
| br label %merge |
| |
| false: ; preds = %1 |
| %7 = bitcast i8* %2 to i32* |
| %8 = load i32, 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, i32* %4 |
| br label %merge |
| |
| false: ; preds = %start |
| %6 = inttoptr i32 %9 to i32* |
| %7 = load i32, 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, 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, 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 |
