1; Test basic memory profiler instrumentation with histograms. 2; 3; RUN: opt < %s -passes='function(memprof),memprof-module' -memprof-histogram -S | FileCheck --check-prefixes=CHECK,CHECK-S3 %s 4 5target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 6target triple = "x86_64-unknown-linux-gnu" 7 8; CHECK: @llvm.used = appending global [1 x ptr] [ptr @memprof.module_ctor] 9; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 1, ptr @memprof.module_ctor, ptr null }] 10 11define i32 @test_load(ptr %a) { 12entry: 13 %tmp1 = load i32, ptr %a, align 4 14 ret i32 %tmp1 15} 16; CHECK-LABEL: @test_load 17; CHECK: %[[SHADOW_OFFSET:[^ ]*]] = load i64, ptr @__memprof_shadow_memory_dynamic_address 18; CHECK-NEXT: %[[LOAD_ADDR:[^ ]*]] = ptrtoint ptr %a to i64 19; CHECK-NEXT: %[[MASKED_ADDR:[^ ]*]] = and i64 %[[LOAD_ADDR]], -8 20; CHECK-S3-NEXT: %[[SHIFTED_ADDR:[^ ]*]] = lshr i64 %[[MASKED_ADDR]], 3 21; CHECK-NEXT: add i64 %[[SHIFTED_ADDR]], %[[SHADOW_OFFSET]] 22; CHECK-NEXT: %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr 23; CHECK-NEXT: %[[LOAD_SHADOW:[^ ]*]] = load i8, ptr %[[LOAD_SHADOW_PTR]] 24; CHECK-NEXT: %[[ICMP_MAX_COUNT:[^ ]*]] = icmp ult i8 %[[LOAD_SHADOW]], -1 25; CHECK-NEXT: br i1 %[[ICMP_MAX_COUNT]], label %[[INC_LABEL:[^ ]*]], label %[[ELSE_LABEL:[^ ]*]] 26; CHECK: [[INC_LABEL]]: 27; CHECK-NEXT: %[[NEW_SHADOW:[^ ]*]] = add i8 %[[LOAD_SHADOW]], 1 28; CHECK-NEXT: store i8 %[[NEW_SHADOW]], ptr %[[LOAD_SHADOW_PTR]] 29; CHECK-NEXT: br label %[[ELSE_LABEL]] 30; The actual load. 31; CHECK: [[ELSE_LABEL]]: 32; CHECK-NEXT: %tmp1 = load i32, ptr %a 33; CHECK-NEXT: ret i32 %tmp1 34 35define void @test_store(ptr %a) { 36entry: 37 store i32 42, ptr %a, align 4 38 ret void 39} 40; CHECK-LABEL: @test_store 41; CHECK: %[[SHADOW_OFFSET:[^ ]*]] = load i64, ptr @__memprof_shadow_memory_dynamic_address 42; CHECK-NEXT: %[[LOAD_ADDR:[^ ]*]] = ptrtoint ptr %a to i64 43; CHECK-NEXT: %[[MASKED_ADDR:[^ ]*]] = and i64 %[[LOAD_ADDR]], -8 44; CHECK-S3-NEXT: %[[SHIFTED_ADDR:[^ ]*]] = lshr i64 %[[MASKED_ADDR]], 3 45; CHECK-NEXT: add i64 %[[SHIFTED_ADDR]], %[[SHADOW_OFFSET]] 46; CHECK-NEXT: %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr 47; CHECK-NEXT: %[[STORE_SHADOW:[^ ]*]] = load i8, ptr %[[STORE_SHADOW_PTR]] 48; CHECK-NEXT: %[[ICMP_MAX_COUNT:[^ ]*]] = icmp ult i8 %[[STORE_SHADOW]], -1 49; CHECK-NEXT: br i1 %[[ICMP_MAX_COUNT]], label %[[INC_LABEL:[^ ]*]], label %[[ELSE_LABEL:[^ ]*]] 50; CHECK: [[INC_LABEL]]: 51; CHECK-NEXT: %[[NEW_SHADOW:[^ ]*]] = add i8 %[[STORE_SHADOW]], 1 52; CHECK-NEXT: store i8 %[[NEW_SHADOW]], ptr %[[STORE_SHADOW_PTR]] 53; CHECK-NEXT: br label %[[ELSE_LABEL]] 54; The actual store. 55; CHECK: [[ELSE_LABEL]]: 56; CHECK-NEXT: store i32 42, ptr %a, align 4 57; CHECK-NEXT: ret void