• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -msan -msan-check-access-address=0 -S | FileCheck %s
2; RUN: opt < %s -msan -msan-check-access-address=1 -S | FileCheck %s --check-prefix=ADDR
3; REQUIRES: x86-registered-target
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-S128"
6target triple = "x86_64-unknown-linux-gnu"
7
8declare void @llvm.x86.sse.stmxcsr(i8*)
9declare void @llvm.x86.sse.ldmxcsr(i8*)
10
11define void @getcsr(i32 *%p) sanitize_memory {
12entry:
13  %0 = bitcast i32* %p to i8*
14  call void @llvm.x86.sse.stmxcsr(i8* %0)
15  ret void
16}
17
18; CHECK-LABEL: @getcsr(
19; CHECK: store i32 0, i32*
20; CHECK: call void @llvm.x86.sse.stmxcsr(
21; CHECK: ret void
22
23; ADDR-LABEL: @getcsr(
24; ADDR: %[[A:.*]] = load i64, i64* getelementptr inbounds {{.*}} @__msan_param_tls, i32 0, i32 0), align 8
25; ADDR: %[[B:.*]] = icmp ne i64 %[[A]], 0
26; ADDR: br i1 %[[B]], label {{.*}}, label
27; ADDR: call void @__msan_warning_noreturn()
28; ADDR: call void @llvm.x86.sse.stmxcsr(
29; ADDR: ret void
30
31; Function Attrs: nounwind uwtable
32define void @setcsr(i32 *%p) sanitize_memory {
33entry:
34  %0 = bitcast i32* %p to i8*
35  call void @llvm.x86.sse.ldmxcsr(i8* %0)
36  ret void
37}
38
39; CHECK-LABEL: @setcsr(
40; CHECK: %[[A:.*]] = load i32, i32* %{{.*}}, align 1
41; CHECK: %[[B:.*]] = icmp ne i32 %[[A]], 0
42; CHECK: br i1 %[[B]], label {{.*}}, label
43; CHECK: call void @__msan_warning_noreturn()
44; CHECK: call void @llvm.x86.sse.ldmxcsr(
45; CHECK: ret void
46
47; ADDR-LABEL: @setcsr(
48; ADDR: %[[A:.*]] = load i64, i64* getelementptr inbounds {{.*}} @__msan_param_tls, i32 0, i32 0), align 8
49; ADDR: %[[B:.*]] = icmp ne i64 %[[A]], 0
50; ADDR: br i1 %[[B]], label {{.*}}, label
51; ADDR: call void @__msan_warning_noreturn()
52; ADDR: call void @llvm.x86.sse.ldmxcsr(
53; ADDR: ret void
54