| ; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck %s |
| ; RUN: llc < %s -asm-verbose=false -fast-isel -fast-isel-abort=1 -verify-machineinstrs | FileCheck %s |
| |
| ; Test that LLVM unreachable instruction and trap intrinsic are lowered to |
| ; wasm unreachable |
| |
| target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" |
| target triple = "wasm32-unknown-unknown" |
| |
| declare void @llvm.trap() |
| declare void @llvm.debugtrap() |
| declare void @abort() |
| |
| ; CHECK-LABEL: f1: |
| ; CHECK: call abort@FUNCTION{{$}} |
| ; CHECK: unreachable |
| define i32 @f1() { |
| call void @abort() |
| unreachable |
| } |
| |
| ; CHECK-LABEL: f2: |
| ; CHECK: unreachable |
| define void @f2() { |
| call void @llvm.trap() |
| ret void |
| } |
| |
| ; CHECK-LABEL: f3: |
| ; CHECK: unreachable |
| define void @f3() { |
| call void @llvm.debugtrap() |
| ret void |
| } |
