test/Instrumentation/DataFlowSanitizer/unordered_atomic_mem_intrins.ll

   1 ; RUN: opt < %s -dfsan -dfsan-args-abi -S | FileCheck %s
   2
   3 target 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-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 ;; Placeholder tests that will fail once element atomic @llvm.mem[move|set] instrinsics have
   7 ;; been added to the MemIntrinsic class hierarchy. These will act as a reminder to
   8 ;; verify that dfsan handles these intrinsics properly once they have been
   9 ;; added to that class hierarchy.
  10
  11 declare void @llvm.memset.element.unordered.atomic.p0i8.i64(i8* nocapture writeonly, i8, i64, i32) nounwind
  12 declare void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32) nounwind
  13 declare void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* nocapture writeonly, i8* nocapture readonly, i64, i32) nounwind
  14
  15 define void @test_memcpy(i8* nocapture, i8* nocapture) {
  16   ; CHECK-LABEL: dfs$test_memcpy
  17   ; CHECK: call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %0, i8* align 1 %1, i64 16, i32 1)
  18   ; CHECK: ret void
  19   call void @llvm.memcpy.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %0, i8* align 1 %1, i64 16, i32 1)
  20   ret void
  21 }
  22
  23 define void @test_memmove(i8* nocapture, i8* nocapture) {
  24   ; CHECK-LABEL: dfs$test_memmove
  25   ; CHECK: call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %0, i8* align 1 %1, i64 16, i32 1)
  26   ; CHECK: ret void
  27   call void @llvm.memmove.element.unordered.atomic.p0i8.p0i8.i64(i8* align 1 %0, i8* align 1 %1, i64 16, i32 1)
  28   ret void
  29 }
  30
  31 define void @test_memset(i8* nocapture) {
  32   ; CHECK-LABEL: dfs$test_memset
  33   ; CHECK: call void @llvm.memset.element.unordered.atomic.p0i8.i64(i8* align 1 %0, i8 88, i64 16, i32 1)
  34   ; CHECK: ret void
  35   call void @llvm.memset.element.unordered.atomic.p0i8.i64(i8* align 1 %0, i8 88, i64 16, i32 1)
  36   ret void
  37 }