diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-13 19:40:18 +0000 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-05-13 19:40:18 +0000 |
| commit | 323dc634b984b7d30e10b82ae4e9536559488f70 (patch) | |
| tree | 2e4ee0efdcaba3f0b554747c6437a4cd0885a7ef /llvm/test/CodeGen/WebAssembly | |
| parent | d9930d499a55c573de0ef4f7629fa6880dd7d65f (diff) | |
| download | bcm5719-llvm-323dc634b984b7d30e10b82ae4e9536559488f70.tar.gz bcm5719-llvm-323dc634b984b7d30e10b82ae4e9536559488f70.zip | |
[WebAssembly] Don't assume that zext/sext result is i32/i64 in fast isel (PR41841)
Usually this will abort fast-isel at the instruction using the
non-legal result, but if the only use is in a different basic block,
we'll incorrectly assume that the zext/sext is to i32 (rather than
i128 in this case).
Differential Revision: https://reviews.llvm.org/D61823
llvm-svn: 360616
Diffstat (limited to 'llvm/test/CodeGen/WebAssembly')
| -rw-r--r-- | llvm/test/CodeGen/WebAssembly/PR41841.ll | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/WebAssembly/PR41841.ll b/llvm/test/CodeGen/WebAssembly/PR41841.ll new file mode 100644 index 00000000000..6ebaadac13e --- /dev/null +++ b/llvm/test/CodeGen/WebAssembly/PR41841.ll @@ -0,0 +1,42 @@ +; RUN: llc < %s -O0 -wasm-disable-explicit-locals -wasm-keep-registers -asm-verbose=false | FileCheck %s + +target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" +target triple = "wasm32-unknown-unknown" + +declare void @foo(i128) + +; CHECK-LABEL: test_zext: +; CHECK-NEXT: .functype test_zext (i32) -> (){{$}} +; CHECK-NEXT: i64.extend_i32_u $[[TMP3:[0-9]+]]=, $0{{$}} +; CHECK-NEXT: i64.const $[[TMP4:[0-9]+]]=, 1{{$}} +; CHECK-NEXT: i64.and $[[TMP1:[0-9]+]]=, $[[TMP3]], $[[TMP4]]{{$}} +; CHECK-NEXT: i64.const $[[TMP2:[0-9]+]]=, 0{{$}} +; CHECK-NEXT: call foo, $[[TMP1]], $[[TMP2]]{{$}} +; CHECK-NEXT: return{{$}} +define void @test_zext(i1 %b) nounwind { + %res = zext i1 %b to i128 + br label %next + +next: ; preds = %start + call void @foo(i128 %res) + ret void +} + +; CHECK-LABEL: test_sext: +; CHECK-NEXT:.functype test_sext (i32) -> (){{$}} +; CHECK-NEXT: i64.extend_i32_u $[[TMP3:[0-9]+]]=, $0{{$}} +; CHECK-NEXT: i64.const $[[TMP4:[0-9]+]]=, 1{{$}} +; CHECK-NEXT: i64.and $[[TMP5:[0-9]+]]=, $[[TMP3]], $[[TMP4]]{{$}} +; CHECK-NEXT: i64.const $[[TMP6:[0-9]+]]=, 0{{$}} +; CHECK-NEXT: i64.sub $[[TMP1:[0-9]+]]=, $[[TMP6]], $[[TMP5]]{{$}} +; CHECK-NEXT: local.copy $[[TMP2:[0-9]+]]=, $[[TMP1]]{{$}} +; CHECK-NEXT: call foo, $[[TMP1]], $[[TMP2]]{{$}} +; CHECK-NEXT: return{{$}} +define void @test_sext(i1 %b) nounwind { + %res = sext i1 %b to i128 + br label %next + +next: ; preds = %start + call void @foo(i128 %res) + ret void +} |
