1; RUN: opt -gvn-hoist %s -S -o - | FileCheck %s 2 3; CHECK: store 4; CHECK-NOT: store 5 6target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" 7 8define void @f(i8* %p) { 9entry: 10 switch i4 undef, label %if.then30 [ 11 i4 4, label %if.end 12 i4 0, label %if.end 13 ] 14 15if.end: 16 br label %if.end19 17 18if.end19: 19 br i1 undef, label %e, label %e.thread 20 21e.thread: 22 store i8 0, i8* %p, align 4 23 br label %if.then30 24 25if.then30: 26 call void @g() 27 unreachable 28 29e: 30 store i8 0, i8* %p, align 4 31 unreachable 32} 33 34declare void @g() 35