llvm/test/Instrumentation/InstrProfiling/mcdc.ll

   1 ; Check that MC/DC intrinsics are properly lowered
   2 ; RUN: opt < %s -passes=instrprof -S | FileCheck %s
   3 ; RUN: opt < %s -passes=instrprof -runtime-counter-relocation -S 2>&1 | FileCheck %s --check-prefix RELOC
   4
   5 ; RELOC: Runtime counter relocation is presently not supported for MC/DC bitmaps
   6
   7 target triple = "x86_64-unknown-linux-gnu"
   8
   9 @__profn_test = private constant [4 x i8] c"test"
  10
  11 ; CHECK: @__profbm_test = private global [1 x i8] zeroinitializer, section "__llvm_prf_bits", comdat, align 1
  12
  13 define dso_local void @test(i32 noundef %A) {
  14 entry:
  15   %A.addr = alloca i32, align 4
  16   %mcdc.addr = alloca i32, align 4
  17   call void @llvm.instrprof.cover(ptr @__profn_test, i64 99278, i32 5, i32 0)
  18   ; CHECK: store i8 0, ptr @__profc_test, align 1
  19
  20   call void @llvm.instrprof.mcdc.parameters(ptr @__profn_test, i64 99278, i32 1)
  21   store i32 0, ptr %mcdc.addr, align 4
  22   %0 = load i32, ptr %A.addr, align 4
  23   %tobool = icmp ne i32 %0, 0
  24
  25   call void @llvm.instrprof.mcdc.condbitmap.update(ptr @__profn_test, i64 99278, i32 0, ptr %mcdc.addr, i1 %tobool)
  26   ; CHECK:      %mcdc.temp = load i32, ptr %mcdc.addr, align 4
  27   ; CHECK-NEXT: %1 = zext i1 %tobool to i32
  28   ; CHECK-NEXT: %2 = shl i32 %1, 0
  29   ; CHECK-NEXT: %3 = or i32 %mcdc.temp, %2
  30   ; CHECK-NEXT: store i32 %3, ptr %mcdc.addr, align 4
  31
  32   call void @llvm.instrprof.mcdc.tvbitmap.update(ptr @__profn_test, i64 99278, i32 1, i32 0, ptr %mcdc.addr)
  33   ; CHECK:       %mcdc.temp1 = load i32, ptr %mcdc.addr, align 4
  34   ; CHECK-NEXT: %4 = lshr i32 %mcdc.temp1, 3
  35   ; CHECK-NEXT: %5 = zext i32 %4 to i64
  36   ; CHECK-NEXT: %6 = add i64 ptrtoint (ptr @__profbm_test to i64), %5
  37   ; CHECK-NEXT: %7 = inttoptr i64 %6 to ptr
  38   ; CHECK-NEXT: %8 = and i32 %mcdc.temp1, 7
  39   ; CHECK-NEXT: %9 = trunc i32 %8 to i8
  40   ; CHECK-NEXT: %10 = shl i8 1, %9
  41   ; CHECK-NEXT: %mcdc.bits = load i8, ptr %7, align 1
  42   ; CHECK-NEXT: %11 = or i8 %mcdc.bits, %10
  43   ; CHECK-NEXT: store i8 %11, ptr %7, align 1
  44   ret void
  45 }
  46
  47 declare void @llvm.instrprof.cover(ptr, i64, i32, i32)
  48
  49 declare void @llvm.instrprof.mcdc.parameters(ptr, i64, i32)
  50
  51 declare void @llvm.instrprof.mcdc.condbitmap.update(ptr, i64, i32, ptr, i1)
  52
  53 declare void @llvm.instrprof.mcdc.tvbitmap.update(ptr, i64, i32, i32, ptr)