diff options
| author | Dan Gohman <dan433584@gmail.com> | 2017-01-07 01:50:01 +0000 |
|---|---|---|
| committer | Dan Gohman <dan433584@gmail.com> | 2017-01-07 01:50:01 +0000 |
| commit | 0e2ceb81219af11664b84ad1d77afeabf5ab11af (patch) | |
| tree | 8cbdc3ec69fb02f76dc627ef9486a8497f475c13 /llvm/test/CodeGen/WebAssembly | |
| parent | d5eda35557b3c9e395fa643c8843d9acda11eb60 (diff) | |
| download | bcm5719-llvm-0e2ceb81219af11664b84ad1d77afeabf5ab11af.tar.gz bcm5719-llvm-0e2ceb81219af11664b84ad1d77afeabf5ab11af.zip | |
[WebAssembly] Don't abort on code with UB.
Gracefully leave code that performs function-pointer bitcasts implying
non-trivial pointer conversions alone, rather than aborting, since it's
just undefined behavior.
llvm-svn: 291326
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/function-bitcasts.ll | 2 | ||||
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/unsupported-function-bitcasts.ll | 26 |
2 files changed, 27 insertions, 1 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/function-bitcasts.ll b/llvm/test/CodeGen/WebAssembly/function-bitcasts.ll index b3953c4f100..49980da6eb8 100644 --- a/llvm/test/CodeGen/WebAssembly/function-bitcasts.ll +++ b/llvm/test/CodeGen/WebAssembly/function-bitcasts.ll @@ -8,7 +8,7 @@ target triple = "wasm32-unknown-unknown" ; CHECK-LABEL: test: ; CHECK-NEXT: call .Lbitcast@FUNCTION{{$}} ; CHECK-NEXT: call .Lbitcast.1@FUNCTION{{$}} -; CHECK-NEXT: i32.const $push[[L0:[0-9]*]]=, 0 +; CHECK-NEXT: i32.const $push[[L0:[0-9]+]]=, 0 ; CHECK-NEXT: call .Lbitcast.2@FUNCTION, $pop[[L0]]{{$}} ; CHECK-NEXT: i32.call $drop=, .Lbitcast.3@FUNCTION{{$}} ; CHECK-NEXT: call foo2@FUNCTION{{$}} diff --git a/llvm/test/CodeGen/WebAssembly/unsupported-function-bitcasts.ll b/llvm/test/CodeGen/WebAssembly/unsupported-function-bitcasts.ll new file mode 100644 index 00000000000..ef4318ec299 --- /dev/null +++ b/llvm/test/CodeGen/WebAssembly/unsupported-function-bitcasts.ll @@ -0,0 +1,26 @@ +; RUN: llc < %s -asm-verbose=false | FileCheck %s + +; Test that function pointer casts that require conversions are not converted +; to wrappers. In theory some conversions could be supported, but currently no +; conversions are implemented. + +target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" +target triple = "wasm32-unknown-unknown" + +; CHECK-LABEL: test: +; CHECK-NEXT: i32.const $push[[L0:[0-9]+]]=, 0{{$}} +; CHECK-NEXT: call has_i64_arg@FUNCTION, $pop[[L0]]{{$}} +; CHECK-NEXT: i32.call $drop=, has_i64_ret@FUNCTION{{$}} +; CHECK-NEXT: .endfunc + +; CHECK-NOT: .Lbitcast + +declare void @has_i64_arg(i64) +declare i64 @has_i64_ret() + +define void @test() { +entry: + call void bitcast (void (i64)* @has_i64_arg to void (i32)*)(i32 0) + %t = call i32 bitcast (i64 ()* @has_i64_ret to i32 ()*)() + ret void +} |
