test/Transforms/SimplifyCFG/trapping-load-unreachable.ll

   1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
   2 ; PR2967
   3
   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"
   7
   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
  12
  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
  22 }
  23
  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
  33 }
  34
  35 ; PR7369
  36 define void @test3() nounwind {
  37 entry:
  38         volatile store i32 4, i32* null
  39         ret void
  40
  41 ; CHECK: @test3
  42 ; CHECK: volatile store i32 4, i32* null
  43 ; CHECK: ret
  44 }