1; RUN: opt < %s -S -passes=msan 2>&1 | FileCheck %s
2; RUN: opt < %s -msan -S | FileCheck %s
3target 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"
4target triple = "x86_64-unknown-linux-gnu"
5
6
7; Test that MemorySanitizer correctly handles unreachable blocks.
8
9define i32 @Func(i32* %p) nounwind uwtable {
10entry:
11  br label %exit
12
13unreachable:
14  %x = load i32, i32* %p
15  br label %exit
16
17exit:
18  %z = phi i32 [ 42, %entry ], [ %x, %unreachable ]
19  ret i32 %z
20}
21
22; CHECK-LABEL: @Func
23; CHECK: store i32 0, {{.*}} @__msan_retval_tls
24; CHECK: ret i32 42
25
26
27define i32 @UnreachableLoop() nounwind uwtable {
28entry:
29  ret i32 0
30
31zzz:
32  br label %xxx
33
34xxx:
35  br label %zzz
36}
37
38; CHECK-LABEL: @UnreachableLoop
39; CHECK: store i32 0, {{.*}} @__msan_retval_tls
40; CHECK: ret i32 0
41