Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 3f91004ce7d89cd541dfc679f10e90e93ca65ee4 / . / llvm / test / CodeGen / WebAssembly / inline-asm.ll
blob: 56576305d9e2d6a999e6a35d1c7736565b51c716 [file] [log] [blame]
Dan Gohman7d7409e2017-02-28 23:37:04 +0000[diff] [blame]1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -disable-wasm-explicit-locals -no-integrated-as | FileCheck %s
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]2
Dan Gohman0c6e3162016-01-12 21:01:30 +0000[diff] [blame]3; Test basic inline assembly. Pass -no-integrated-as since these aren't
4; actually valid assembly syntax.
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]5
Dan Gohman0c6f5ac2016-01-07 03:19:23 +0000[diff] [blame]6target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
Dan Gohman7d7409e2017-02-28 23:37:04 +0000[diff] [blame]7target triple = "wasm32-unknown-unknown-wasm"
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]8
9; CHECK-LABEL: foo:
10; CHECK-NEXT: .param i32{{$}}
11; CHECK-NEXT: .result i32{{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]12; CHECK-NEXT: #APP{{$}}
Dan Gohman3d4a2062015-11-18 16:28:58 +0000[diff] [blame]13; CHECK-NEXT: # $0 = aaa($0){{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]14; CHECK-NEXT: #NO_APP{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]15; CHECK-NEXT: return $0{{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]16define i32 @foo(i32 %r) {
17entry:
Dan Gohman3d4a2062015-11-18 16:28:58 +0000[diff] [blame]18 %0 = tail call i32 asm sideeffect "# $0 = aaa($1)", "=r,r"(i32 %r) #0, !srcloc !0
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]19 ret i32 %0
20}
21
22; CHECK-LABEL: bar:
Dan Gohman53828fd2015-11-23 16:50:18 +0000[diff] [blame]23; CHECK-NEXT: .param i32, i32{{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]24; CHECK-NEXT: #APP{{$}}
Dan Gohmane2831b42015-12-16 18:14:49 +0000[diff] [blame]25; CHECK-NEXT: # 0($1) = bbb(0($0)){{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]26; CHECK-NEXT: #NO_APP{{$}}
27; CHECK-NEXT: return{{$}}
28define void @bar(i32* %r, i32* %s) {
29entry:
Dan Gohman3d4a2062015-11-18 16:28:58 +0000[diff] [blame]30 tail call void asm sideeffect "# $0 = bbb($1)", "=*m,*m"(i32* %s, i32* %r) #0, !srcloc !1
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]31 ret void
32}
33
34; CHECK-LABEL: imm:
35; CHECK-NEXT: .result i32{{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]36; CHECK-NEXT: #APP{{$}}
Dan Gohman3d4a2062015-11-18 16:28:58 +0000[diff] [blame]37; CHECK-NEXT: # $0 = ccc(42){{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]38; CHECK-NEXT: #NO_APP{{$}}
Dan Gohman4ba48162015-11-18 16:12:01 +0000[diff] [blame]39; CHECK-NEXT: return $0{{$}}
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]40define i32 @imm() {
41entry:
Dan Gohman3d4a2062015-11-18 16:28:58 +0000[diff] [blame]42 %0 = tail call i32 asm sideeffect "# $0 = ccc($1)", "=r,i"(i32 42) #0, !srcloc !2
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]43 ret i32 %0
44}
45
Dan Gohmana774d712015-11-25 22:28:50 +0000[diff] [blame]46; CHECK-LABEL: foo_i64:
47; CHECK-NEXT: .param i64{{$}}
48; CHECK-NEXT: .result i64{{$}}
49; CHECK-NEXT: #APP{{$}}
50; CHECK-NEXT: # $0 = aaa($0){{$}}
51; CHECK-NEXT: #NO_APP{{$}}
52; CHECK-NEXT: return $0{{$}}
53define i64 @foo_i64(i64 %r) {
54entry:
55 %0 = tail call i64 asm sideeffect "# $0 = aaa($1)", "=r,r"(i64 %r) #0, !srcloc !0
56 ret i64 %0
57}
58
Dan Gohman284384b2015-12-05 20:03:44 +0000[diff] [blame]59; CHECK-LABEL: X_i16:
60; CHECK: foo $1{{$}}
Dan Gohman7f1bdb22016-10-06 22:08:28 +0000[diff] [blame]61; CHECK: i32.store16 0($0), $1{{$}}
Dan Gohman284384b2015-12-05 20:03:44 +0000[diff] [blame]62define void @X_i16(i16 * %t) {
63 call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(i16* %t)
64 ret void
65}
66
67; CHECK-LABEL: X_ptr:
68; CHECK: foo $1{{$}}
Dan Gohman7f1bdb22016-10-06 22:08:28 +0000[diff] [blame]69; CHECK: i32.store 0($0), $1{{$}}
Dan Gohman284384b2015-12-05 20:03:44 +0000[diff] [blame]70define void @X_ptr(i16 ** %t) {
71 call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(i16** %t)
72 ret void
73}
74
Dan Gohman30a42bf2015-12-16 17:15:17 +0000[diff] [blame]75; CHECK-LABEL: funcname:
76; CHECK: foo funcname{{$}}
77define void @funcname() {
78 tail call void asm sideeffect "foo $0", "i"(void ()* nonnull @funcname) #0, !srcloc !0
79 ret void
80}
81
82; CHECK-LABEL: varname:
83; CHECK: foo gv+37{{$}}
84@gv = global [0 x i8] zeroinitializer
85define void @varname() {
86 tail call void asm sideeffect "foo $0", "i"(i8* getelementptr inbounds ([0 x i8], [0 x i8]* @gv, i64 0, i64 37)) #0, !srcloc !0
87 ret void
88}
89
Dan Gohmanf19ed562015-11-13 01:42:29 +0000[diff] [blame]90attributes #0 = { nounwind }
91
92!0 = !{i32 47}
93!1 = !{i32 145}
94!2 = !{i32 231}