| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 | |
| ; RUN: opt -S -passes=normalize < %s | FileCheck %s | |
| target datalayout = "e-p:32:32:32-i1:8:32-i8:8:32-i16:16:32-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:32:64-v128:32:128-a0:0:32-n32" | |
| define void @test1() { | |
| ; CHECK-LABEL: define void @test1() { | |
| ; CHECK-NEXT: [[BB15160:.*:]] | |
| ; CHECK-NEXT: [[TMP0:%.*]] = load i8, ptr null, align 1 | |
| ; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] | |
| ; CHECK-NEXT: ret void | |
| ; | |
| %1 = load i8, ptr null, align 1 | |
| call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"() ] | |
| ret void | |
| } | |
| declare void @llvm.experimental.deoptimize.isVoid(...) |