A8.6.92 MCR (Encoding A1): if coproc == '101x' then SEE "Advanced SIMD and VFP"
[llvm/stm8.git] / test / Transforms / SimplifyCFG / trapping-load-unreachable.ll
blob7bca5f5afa0d6af9cc53105448f14b6ea3e5da5c
1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
2 ; PR2967
4 target datalayout =
5 "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32"
6 target triple = "i386-pc-linux-gnu"
8 define void @test1(i32 %x) nounwind {
9 entry:
10         %0 = icmp eq i32 %x, 0          ; <i1> [#uses=1]
11         br i1 %0, label %bb, label %return
13 bb:             ; preds = %entry
14         %1 = volatile load i32* null
15         unreachable
16         
17         br label %return
18 return:         ; preds = %entry
19         ret void
20 ; CHECK: @test1
21 ; CHECK: volatile load
24 ; rdar://7958343
25 define void @test2() nounwind {
26 entry:
27         store i32 4,i32* null
28         ret void
29         
30 ; CHECK: @test2
31 ; CHECK: call void @llvm.trap
32 ; CHECK: unreachable
35 ; PR7369
36 define void @test3() nounwind {
37 entry:
38         volatile store i32 4, i32* null
39         ret void
41 ; CHECK: @test3
42 ; CHECK: volatile store i32 4, i32* null
43 ; CHECK: ret