llvm/test/Instrumentation/ThreadSanitizer/unaligned.ll

   1 ; RUN: opt < %s -passes=tsan -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
   5 define i16 @test_unaligned_read2(ptr %a) sanitize_thread {
   6 entry:
   7   %tmp1 = load i16, ptr %a, align 1
   8   ret i16 %tmp1
   9 }
  10
  11 ; CHECK-LABEL: define i16 @test_unaligned_read2(ptr %a)
  12 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  13 ; CHECK-NEXT:   call void @__tsan_unaligned_read2(ptr %a)
  14 ; CHECK-NEXT:   %tmp1 = load i16, ptr %a, align 1
  15 ; CHECK-NEXT:   call void @__tsan_func_exit()
  16 ; CHECK: ret i16
  17
  18 define i32 @test_unaligned_read4(ptr %a) sanitize_thread {
  19 entry:
  20   %tmp1 = load i32, ptr %a, align 2
  21   ret i32 %tmp1
  22 }
  23
  24 ; CHECK-LABEL: define i32 @test_unaligned_read4(ptr %a)
  25 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  26 ; CHECK-NEXT:   call void @__tsan_unaligned_read4(ptr %a)
  27 ; CHECK-NEXT:   %tmp1 = load i32, ptr %a, align 2
  28 ; CHECK-NEXT:   call void @__tsan_func_exit()
  29 ; CHECK: ret i32
  30
  31 define i64 @test_unaligned_read8(ptr %a) sanitize_thread {
  32 entry:
  33   %tmp1 = load i64, ptr %a, align 4
  34   ret i64 %tmp1
  35 }
  36
  37 ; CHECK-LABEL: define i64 @test_unaligned_read8(ptr %a)
  38 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  39 ; CHECK-NEXT:   call void @__tsan_unaligned_read8(ptr %a)
  40 ; CHECK-NEXT:   %tmp1 = load i64, ptr %a, align 4
  41 ; CHECK-NEXT:   call void @__tsan_func_exit()
  42 ; CHECK: ret i64
  43
  44 define i128 @test_unaligned_read16(ptr %a) sanitize_thread {
  45 entry:
  46   %tmp1 = load i128, ptr %a, align 1
  47   ret i128 %tmp1
  48 }
  49
  50 ; CHECK-LABEL: define i128 @test_unaligned_read16(ptr %a)
  51 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  52 ; CHECK-NEXT:   call void @__tsan_unaligned_read16(ptr %a)
  53 ; CHECK-NEXT:   %tmp1 = load i128, ptr %a, align 1
  54 ; CHECK-NEXT:   call void @__tsan_func_exit()
  55 ; CHECK: ret i128
  56
  57 define i128 @test_aligned_read16(ptr %a) sanitize_thread {
  58 entry:
  59   %tmp1 = load i128, ptr %a, align 8
  60   ret i128 %tmp1
  61 }
  62
  63 ; CHECK-LABEL: define i128 @test_aligned_read16(ptr %a)
  64 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  65 ; CHECK-NEXT:   call void @__tsan_read16(ptr %a)
  66 ; CHECK-NEXT:   %tmp1 = load i128, ptr %a, align 8
  67 ; CHECK-NEXT:   call void @__tsan_func_exit()
  68 ; CHECK: ret i128
  69
  70 define void @test_unaligned_write2(ptr %a) sanitize_thread {
  71 entry:
  72   store i16 1, ptr %a, align 1
  73   ret void
  74 }
  75
  76 ; CHECK-LABEL: define void @test_unaligned_write2(ptr %a)
  77 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  78 ; CHECK-NEXT:   call void @__tsan_unaligned_write2(ptr %a)
  79 ; CHECK-NEXT:   store i16 1, ptr %a, align 1
  80 ; CHECK-NEXT:   call void @__tsan_func_exit()
  81 ; CHECK: ret void
  82
  83 define void @test_unaligned_write4(ptr %a) sanitize_thread {
  84 entry:
  85   store i32 1, ptr %a, align 1
  86   ret void
  87 }
  88
  89 ; CHECK-LABEL: define void @test_unaligned_write4(ptr %a)
  90 ; CHECK:        call void @__tsan_func_entry(ptr %0)
  91 ; CHECK-NEXT:   call void @__tsan_unaligned_write4(ptr %a)
  92 ; CHECK-NEXT:   store i32 1, ptr %a, align 1
  93 ; CHECK-NEXT:   call void @__tsan_func_exit()
  94 ; CHECK: ret void
  95
  96 define void @test_unaligned_write8(ptr %a) sanitize_thread {
  97 entry:
  98   store i64 1, ptr %a, align 1
  99   ret void
 100 }
 101
 102 ; CHECK-LABEL: define void @test_unaligned_write8(ptr %a)
 103 ; CHECK:        call void @__tsan_func_entry(ptr %0)
 104 ; CHECK-NEXT:   call void @__tsan_unaligned_write8(ptr %a)
 105 ; CHECK-NEXT:   store i64 1, ptr %a, align 1
 106 ; CHECK-NEXT:   call void @__tsan_func_exit()
 107 ; CHECK: ret void
 108
 109 define void @test_unaligned_write16(ptr %a) sanitize_thread {
 110 entry:
 111   store i128 1, ptr %a, align 1
 112   ret void
 113 }
 114
 115 ; CHECK-LABEL: define void @test_unaligned_write16(ptr %a)
 116 ; CHECK:        call void @__tsan_func_entry(ptr %0)
 117 ; CHECK-NEXT:   call void @__tsan_unaligned_write16(ptr %a)
 118 ; CHECK-NEXT:   store i128 1, ptr %a, align 1
 119 ; CHECK-NEXT:   call void @__tsan_func_exit()
 120 ; CHECK: ret void
 121
 122 define void @test_aligned_write16(ptr %a) sanitize_thread {
 123 entry:
 124   store i128 1, ptr %a, align 8
 125   ret void
 126 }
 127
 128 ; CHECK-LABEL: define void @test_aligned_write16(ptr %a)
 129 ; CHECK:        call void @__tsan_func_entry(ptr %0)
 130 ; CHECK-NEXT:   call void @__tsan_write16(ptr %a)
 131 ; CHECK-NEXT:   store i128 1, ptr %a, align 8
 132 ; CHECK-NEXT:   call void @__tsan_func_exit()
 133 ; CHECK: ret void