188cb3e2cSTeresa Johnson; Test optional annotation of stack addresses. 288cb3e2cSTeresa Johnson; 388cb3e2cSTeresa Johnson; RUN: opt < %s -passes='function(memprof),module(memprof-module)' -S | FileCheck --check-prefixes=CHECK %s 488cb3e2cSTeresa Johnson; RUN: opt < %s -passes='function(memprof),module(memprof-module)' -memprof-instrument-stack -S | FileCheck --check-prefixes=CHECK,STACK %s 588cb3e2cSTeresa Johnson 688cb3e2cSTeresa Johnsontarget 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" 788cb3e2cSTeresa Johnsontarget triple = "x86_64-unknown-linux-gnu" 888cb3e2cSTeresa Johnson 988cb3e2cSTeresa Johnsondefine i32 @test_stack_load() { 1088cb3e2cSTeresa Johnsonentry: 1188cb3e2cSTeresa Johnson %x = alloca i32, align 4 12*5171712bSMatt Arsenault %tmp1 = load i32, ptr %x, align 4 1388cb3e2cSTeresa Johnson ret i32 %tmp1 1488cb3e2cSTeresa Johnson} 1588cb3e2cSTeresa Johnson; CHECK-LABEL: @test_stack_load 16*5171712bSMatt Arsenault; CHECK: %[[SHADOW_OFFSET:[^ ]*]] = load i64, ptr @__memprof_shadow_memory_dynamic_address 1788cb3e2cSTeresa Johnson; CHECK-NEXT: %x = alloca i32 18*5171712bSMatt Arsenault; STACK-NEXT: %[[LOAD_ADDR:[^ ]*]] = ptrtoint ptr %x to i64 1988cb3e2cSTeresa Johnson; STACK-NEXT: %[[MASKED_ADDR:[^ ]*]] = and i64 %[[LOAD_ADDR]], -64 2088cb3e2cSTeresa Johnson; STACK-NEXT: %[[SHIFTED_ADDR:[^ ]*]] = lshr i64 %[[MASKED_ADDR]], 3 2188cb3e2cSTeresa Johnson; STACK-NEXT: add i64 %[[SHIFTED_ADDR]], %[[SHADOW_OFFSET]] 2288cb3e2cSTeresa Johnson; STACK-NEXT: %[[LOAD_SHADOW_PTR:[^ ]*]] = inttoptr 23*5171712bSMatt Arsenault; STACK-NEXT: %[[LOAD_SHADOW:[^ ]*]] = load i64, ptr %[[LOAD_SHADOW_PTR]] 2488cb3e2cSTeresa Johnson; STACK-NEXT: %[[NEW_SHADOW:[^ ]*]] = add i64 %[[LOAD_SHADOW]], 1 25*5171712bSMatt Arsenault; STACK-NEXT: store i64 %[[NEW_SHADOW]], ptr %[[LOAD_SHADOW_PTR]] 2688cb3e2cSTeresa Johnson; The actual load. 27*5171712bSMatt Arsenault; CHECK-NEXT: %tmp1 = load i32, ptr %x 2888cb3e2cSTeresa Johnson; CHECK-NEXT: ret i32 %tmp1 2988cb3e2cSTeresa Johnson 3088cb3e2cSTeresa Johnsondefine void @test_stack_store() { 3188cb3e2cSTeresa Johnsonentry: 3288cb3e2cSTeresa Johnson %x = alloca i32, align 4 33*5171712bSMatt Arsenault store i32 1, ptr %x, align 4 3488cb3e2cSTeresa Johnson ret void 3588cb3e2cSTeresa Johnson} 3688cb3e2cSTeresa Johnson; CHECK-LABEL: @test_stack_store 37*5171712bSMatt Arsenault; CHECK: %[[SHADOW_OFFSET:[^ ]*]] = load i64, ptr @__memprof_shadow_memory_dynamic_address 3888cb3e2cSTeresa Johnson; CHECK-NEXT: %x = alloca i32 39*5171712bSMatt Arsenault; STACK-NEXT: %[[STORE_ADDR:[^ ]*]] = ptrtoint ptr %x to i64 4088cb3e2cSTeresa Johnson; STACK-NEXT: %[[MASKED_ADDR:[^ ]*]] = and i64 %[[STORE_ADDR]], -64 4188cb3e2cSTeresa Johnson; STACK-NEXT: %[[SHIFTED_ADDR:[^ ]*]] = lshr i64 %[[MASKED_ADDR]], 3 4288cb3e2cSTeresa Johnson; STACK-NEXT: add i64 %[[SHIFTED_ADDR]], %[[SHADOW_OFFSET]] 4388cb3e2cSTeresa Johnson; STACK-NEXT: %[[STORE_SHADOW_PTR:[^ ]*]] = inttoptr 44*5171712bSMatt Arsenault; STACK-NEXT: %[[STORE_SHADOW:[^ ]*]] = load i64, ptr %[[STORE_SHADOW_PTR]] 4588cb3e2cSTeresa Johnson; STACK-NEXT: %[[NEW_SHADOW:[^ ]*]] = add i64 %[[STORE_SHADOW]], 1 46*5171712bSMatt Arsenault; STACK-NEXT: store i64 %[[NEW_SHADOW]], ptr %[[STORE_SHADOW_PTR]] 4788cb3e2cSTeresa Johnson; The actual store. 48*5171712bSMatt Arsenault; CHECK-NEXT: store i32 1, ptr %x 4988cb3e2cSTeresa Johnson; CHECK-NEXT: ret void 50