blob: c22a25ed7d891f1fe088955ec3769e2d7528a55e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
; RUN: opt -S -dse < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
define void @f() {
; CHECK-LABEL: @f(
%s = alloca i64
; Verify that this first store is not considered killed by the second one
; since it could be observed from the deopt continuation.
; CHECK: store i64 1, i64* %s
store i64 1, i64* %s
call void @g() [ "deopt"(i64* %s) ]
store i64 0, i64* %s
ret void
}
declare void @g()
|
