mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-16 06:16:07 +00:00
Code Issues Projects Releases Wiki Activity
llvm-project/llvm/test/CodeGen/WebAssembly/unreachable.ll

35 lines
780 B
LLVM
Raw Normal View History

[WebAssembly] Reintroduce ARGUMENT moving logic Reinteroduce the code for moving ARGUMENTS back to the top of the basic block. While the ARGUMENTS physical register prevents sinking and scheduling from moving them, it does not appear to be sufficient to prevent SelectionDAG from moving them down in the initial schedule. This patch introduces a patch that moves them back to the top immediately after SelectionDAG runs. This is still hopefully a temporary solution. http://reviews.llvm.org/D14750 is one alternative, though the review has not been favorable, and proposed alternatives are longer-term and have other downsides. This fixes the main outstanding -verify-machineinstrs failures, so it adds -verify-machineinstrs to several tests. Differential Revision: http://reviews.llvm.org/D15377 llvm-svn: 255125
2015-12-09 16:23:59 +00:00
; RUN: llc < %s -asm-verbose=false -verify-machineinstrs | FileCheck %s
[WebAssembly] Preliminary fast-isel support. llvm-svn: 269083
2016-05-10 17:39:48 +00:00
; RUN: llc < %s -asm-verbose=false -fast-isel -fast-isel-abort=1 -verify-machineinstrs | FileCheck %s
[WebAssembly] Support 'unreachable' expression Lower LLVM's 'unreachable' terminator to ISD::TRAP, and lower ISD::TRAP to wasm's 'unreachable' expression. WebAssembly type-checks expressions, but a noreturn function with a return type that doesn't match the context will cause a check failure. So we lower LLVM 'unreachable' to ISD::TRAP and then lower that to WebAssembly's 'unreachable' expression, which typechecks in any context and causes a trap if executed. Differential Revision: http://reviews.llvm.org/D14515 llvm-svn: 252566
2015-11-10 00:30:57 +00:00
; Test that LLVM unreachable instruction and trap intrinsic are lowered to
; wasm unreachable
[WebAssembly] Add -m:e to the target triple. This enables ELF-style name mangling, which primarily means using ".L" for private symbols. llvm-svn: 257020
2016-01-07 03:19:23 +00:00
target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
[WebAsembly] Update default triple in test files to wasm32-unknown-unkown. Summary: The final -wasm component has been the default for some time now. Subscribers: jfb, dschuff, jgravelle-google, eraman, aheejin, JDevlieghere, sunfish, llvm-commits Differential Revision: https://reviews.llvm.org/D46342 llvm-svn: 332007
2018-05-10 17:49:11 +00:00
target triple = "wasm32-unknown-unknown"
[WebAssembly] Support 'unreachable' expression Lower LLVM's 'unreachable' terminator to ISD::TRAP, and lower ISD::TRAP to wasm's 'unreachable' expression. WebAssembly type-checks expressions, but a noreturn function with a return type that doesn't match the context will cause a check failure. So we lower LLVM 'unreachable' to ISD::TRAP and then lower that to WebAssembly's 'unreachable' expression, which typechecks in any context and causes a trap if executed. Differential Revision: http://reviews.llvm.org/D14515 llvm-svn: 252566
2015-11-10 00:30:57 +00:00
declare void @llvm.trap()
declare void @llvm.debugtrap()
declare void @abort()
; CHECK-LABEL: f1:
[WebAssembly] Define WebAssembly-specific relocation codes. Currently WebAssembly has two kinds of relocations; data addresses and function addresses. This adds ELF relocations for them, as well as an MC symbol kind to indicate which type of relocation is needed. llvm-svn: 257416
2016-01-11 23:38:05 +00:00
; CHECK: call abort@FUNCTION{{$}}
[WebAssembly] Support 'unreachable' expression Lower LLVM's 'unreachable' terminator to ISD::TRAP, and lower ISD::TRAP to wasm's 'unreachable' expression. WebAssembly type-checks expressions, but a noreturn function with a return type that doesn't match the context will cause a check failure. So we lower LLVM 'unreachable' to ISD::TRAP and then lower that to WebAssembly's 'unreachable' expression, which typechecks in any context and causes a trap if executed. Differential Revision: http://reviews.llvm.org/D14515 llvm-svn: 252566
2015-11-10 00:30:57 +00:00
; 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
}
Reference in New Issue Copy Permalink