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