• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc < %s | llvm-mc -triple=wasm32-unknown-unknown | FileCheck --match-full-lines %s
2
3; Test basic inline assembly can actually be assembled by the assembler.
4
5; .ll code below is the result of this code run thru
6; clang -target wasm32-unknown-unknown-wasm -O2 -S -emit-llvm test.c
7
8; int main(int argc, const char *argv[]) {
9;   int src = 1;
10;   int dst;
11;   asm ("i32.const\t2\n"
12;        "\tlocal.get\t%1\n"
13;        "\ti32.add\n"
14;        "\tlocal.set\t%0"
15;        : "=r" (dst)
16;        : "r" (src));
17;   return dst != 3;
18; }
19
20target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
21target triple = "wasm32-unknown-unknown"
22
23; CHECK-LABEL: main:
24; CHECK-NEXT:	.functype main (i32, i32) -> (i32)
25; CHECK-NEXT:	.local  	i32
26; CHECK-NEXT:	i32.const	1
27; CHECK-NEXT:	local.set	[[SRC:[0-9]+]]
28; CHECK-NEXT:	i32.const	2
29; CHECK-NEXT:	local.get	[[SRC]]
30; CHECK-NEXT:	i32.add
31; CHECK-NEXT:	local.set	[[DST:[0-9]+]]
32; CHECK-NEXT:	local.get	[[DST]]
33; CHECK-NEXT:	i32.const	3
34; CHECK-NEXT:	i32.ne
35
36define i32 @main(i32 %argc, i8** nocapture readnone %argv) #0 {
37entry:
38  %0 = tail call i32 asm "i32.const\092\0A\09local.get\09$1\0A\09i32.add\0A\09local.set\09$0", "=r,r"(i32 1) #1
39  %cmp = icmp ne i32 %0, 3
40  %conv = zext i1 %cmp to i32
41  ret i32 %conv
42}
43
44