Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 53828fd77797c8a9920619e19b5f4ad5cc779946 / . / llvm / test / CodeGen / WebAssembly / func.ll
blob: 91968f32a35e1a9c15c022c590b3e9a38fd6f283 [file] [log] [blame]
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false | FileCheck %s
2
3; Test that basic functions assemble as expected.
4
Dan Gohman5e066842015-09-09 20:54:31 +0000[diff] [blame]5target datalayout = "e-p:32:32-i64:64-n32:64-S128"
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]6target triple = "wasm32-unknown-unknown"
7
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]8; CHECK-LABEL: f0:
9; CHECK: return{{$}}
10; CHECK: .size f0,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]11define void @f0() {
12 ret void
13}
14
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]15; CHECK-LABEL: f1:
16; CHECK-NEXT: .result i32{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]17; CHECK-NEXT: i32.const $push[[NUM:[0-9]+]], 0{{$}}
18; CHECK-NEXT: return $pop[[NUM]]{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]19; CHECK: .size f1,
JF Bastienb6091df2015-08-25 22:58:05 +0000[diff] [blame]20define i32 @f1() {
21 ret i32 0
22}
23
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]24; CHECK-LABEL: f2:
Dan Gohman53828fd2015-11-23 16:50:18 +0000[diff] [blame^]25; CHECK-NEXT: .param i32, f32{{$}}
Dan Gohmane51c0582015-10-06 00:27:55 +0000[diff] [blame]26; CHECK-NEXT: .result i32{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]27; CHECK-NEXT: i32.const $push[[NUM:[0-9]+]], 0{{$}}
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:
Dan Gohman53828fd2015-11-23 16:50:18 +0000[diff] [blame^]35; CHECK-NEXT: .param i32, f32{{$}}
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:
44; CHECK-NEXT: .param i32{{$}}
45; CHECK-NEXT: .result i32{{$}}
Dan Gohman53828fd2015-11-23 16:50:18 +0000[diff] [blame^]46; CHECK-NEXT: local
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:
58; CHECK-NEXT: .result f32{{$}}
59; CHECK-NEXT: unreachable
60define float @f5() {
61 unreachable
62}