test/CodeGen/WebAssembly/inline-asm.ll

   1 ; RUN: llc < %s -asm-verbose=false | FileCheck %s
   2
   3 ; Test basic inline assembly.
   4
   5 target datalayout = "e-p:32:32-i64:64-n32:64-S128"
   6 target triple = "wasm32-unknown-unknown"
   7
   8 ; CHECK-LABEL: foo:
   9 ; CHECK-NEXT: .param i32{{$}}
  10 ; CHECK-NEXT: .result i32{{$}}
  11 ; CHECK-NEXT: .local i32, i32{{$}}
  12 ; CHECK-NEXT: #APP{{$}}
  13 ; CHECK-NEXT: 1 = aaa(0){{$}}
  14 ; CHECK-NEXT: #NO_APP{{$}}
  15 ; CHECK-NEXT: return (get_local 1){{$}}
  16 define i32 @foo(i32 %r) {
  17 entry:
  18   %0 = tail call i32 asm sideeffect "$0 = aaa($1)", "=r,r"(i32 %r) #0, !srcloc !0
  19   ret i32 %0
  20 }
  21
  22 ; CHECK-LABEL: bar:
  23 ; CHECK-NEXT: .param i32{{$}}
  24 ; CHECK-NEXT: .param i32{{$}}
  25 ; CHECK-NEXT: .local i32, i32{{$}}
  26 ; CHECK-NEXT: #APP{{$}}
  27 ; CHECK-NEXT: 1 = bbb(0){{$}}
  28 ; CHECK-NEXT: #NO_APP{{$}}
  29 ; CHECK-NEXT: return{{$}}
  30 define void @bar(i32* %r, i32* %s) {
  31 entry:
  32   tail call void asm sideeffect "$0 = bbb($1)", "=*m,*m"(i32* %s, i32* %r) #0, !srcloc !1
  33   ret void
  34 }
  35
  36 ; CHECK-LABEL: imm:
  37 ; CHECK-NEXT: .result i32{{$}}
  38 ; CHECK-NEXT: .local i32{{$}}
  39 ; CHECK-NEXT: #APP{{$}}
  40 ; CHECK-NEXT: 0 = ccc(42){{$}}
  41 ; CHECK-NEXT: #NO_APP{{$}}
  42 ; CHECK-NEXT: return (get_local 0){{$}}
  43 define i32 @imm() {
  44 entry:
  45   %0 = tail call i32 asm sideeffect "$0 = ccc($1)", "=r,i"(i32 42) #0, !srcloc !2
  46   ret i32 %0
  47 }
  48
  49 attributes #0 = { nounwind }
  50
  51 !0 = !{i32 47}
  52 !1 = !{i32 145}
  53 !2 = !{i32 231}