Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 2fc5a786beaba1fbac1de65d78889d72b667f2d3 / . / llvm / test / CodeGen / WebAssembly / func.ll
blob: 13a1cf2d513ab4b5444928acf79808e092b45c62 [file] [log] [blame]
Wouter van Oortmerssen8a9cb242018-08-27 15:45:51 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]2
3; Test that basic functions assemble as expected.
4
Dan Gohman0c6f5ac2016-01-07 03:19:23 +0000[diff] [blame]5target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
Sam Clegga5908002018-05-10 17:49:11 +0000[diff] [blame]6target triple = "wasm32-unknown-unknown"
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]7
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]8; CHECK-LABEL: f0:
9; CHECK: return{{$}}
Dan Gohman7d7409e2017-02-28 23:37:04 +0000[diff] [blame]10; CHECK: end_function{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]11; CHECK: .size f0,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]12define void @f0() {
13 ret void
14}
15
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]16; CHECK-LABEL: f1:
Wouter van Oortmerssen49482f82018-11-19 17:10:36 +0000[diff] [blame]17; CHECK-NEXT: .functype f1 () -> (i32){{$}}
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame]18; CHECK-NEXT: i32.const $push[[NUM:[0-9]+]]=, 0{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]19; CHECK-NEXT: return $pop[[NUM]]{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]20; CHECK: .size f1,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]21define i32 @f1() {
22 ret i32 0
23}
24
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]25; CHECK-LABEL: f2:
Wouter van Oortmerssen49482f82018-11-19 17:10:36 +0000[diff] [blame]26; CHECK-NEXT: .functype f2 (i32, f32) -> (i32){{$}}
Dan Gohman700515f2015-11-23 21:55:57 +0000[diff] [blame]27; CHECK-NEXT: i32.const $push[[NUM:[0-9]+]]=, 0{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]28; CHECK-NEXT: return $pop[[NUM]]{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]29; CHECK: .size f2,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]30define i32 @f2(i32 %p1, float %p2) {
31 ret i32 0
32}
33
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]34; CHECK-LABEL: f3:
Wouter van Oortmerssen49482f82018-11-19 17:10:36 +0000[diff] [blame]35; CHECK-NEXT: .functype f3 (i32, f32) -> (){{$}}
Dan Gohman53828fd2015-11-23 16:50:18 +0000[diff] [blame]36; CHECK-NOT: local
JF Bastienc8f89e82015-10-20 01:26:54 +0000[diff] [blame]37; CHECK-NEXT: return{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]38; CHECK: .size f3,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]39define void @f3(i32 %p1, float %p2) {
40 ret void
41}
Derek Schuff46e33162015-11-16 21:12:41 +0000[diff] [blame]42
43; CHECK-LABEL: f4:
Wouter van Oortmerssen49482f82018-11-19 17:10:36 +0000[diff] [blame]44; CHECK-NEXT: .functype f4 (i32) -> (i32){{$}}
Dan Gohmanb6fd39a2016-01-19 16:59:23 +0000[diff] [blame]45; CHECK-NOT: local
46; CHECK: .size f4,
Derek Schuff46e33162015-11-16 21:12:41 +0000[diff] [blame]47define i32 @f4(i32 %x) {
48entry:
49 %c = trunc i32 %x to i1
50 br i1 %c, label %true, label %false
51true:
52 ret i32 0
53false:
54 ret i32 1
55}
56
57; CHECK-LABEL: f5:
Wouter van Oortmerssen49482f82018-11-19 17:10:36 +0000[diff] [blame]58; CHECK-NEXT: .functype f5 () -> (f32){{$}}
Derek Schuff46e33162015-11-16 21:12:41 +0000[diff] [blame]59; CHECK-NEXT: unreachable
60define float @f5() {
61 unreachable
62}