test/CodeGen/WebAssembly/inline-asm.ll

   1 ; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -no-integrated-as | FileCheck %s
   2
   3 ; Test basic inline assembly. Pass -no-integrated-as since these aren't
   4 ; actually valid assembly syntax.
   5
   6 target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
   7 target triple = "wasm32-unknown-unknown"
   8
   9 ; CHECK-LABEL: foo:
  10 ; CHECK-NEXT: .param i32{{$}}
  11 ; CHECK-NEXT: .result i32{{$}}
  12 ; CHECK-NEXT: #APP{{$}}
  13 ; CHECK-NEXT: # 0 = aaa(0){{$}}
  14 ; CHECK-NEXT: #NO_APP{{$}}
  15 ; CHECK-NEXT: get_local $push0=, 0{{$}}
  16 ; CHECK-NEXT: return $pop0{{$}}
  17 define i32 @foo(i32 %r) {
  18 entry:
  19   %0 = tail call i32 asm sideeffect "# $0 = aaa($1)", "=r,r"(i32 %r) #0, !srcloc !0
  20   ret i32 %0
  21 }
  22
  23 ; CHECK-LABEL: imm:
  24 ; CHECK-NEXT: .result i32{{$}}
  25 ; CHECK-NEXT: .local i32{{$}}
  26 ; CHECK-NEXT: #APP{{$}}
  27 ; CHECK-NEXT: # 0 = ccc(42){{$}}
  28 ; CHECK-NEXT: #NO_APP{{$}}
  29 ; CHECK-NEXT: get_local $push0=, 0{{$}}
  30 ; CHECK-NEXT: return $pop0{{$}}
  31 define i32 @imm() {
  32 entry:
  33   %0 = tail call i32 asm sideeffect "# $0 = ccc($1)", "=r,i"(i32 42) #0, !srcloc !2
  34   ret i32 %0
  35 }
  36
  37 ; CHECK-LABEL: foo_i64:
  38 ; CHECK-NEXT: .param i64{{$}}
  39 ; CHECK-NEXT: .result i64{{$}}
  40 ; CHECK-NEXT: #APP{{$}}
  41 ; CHECK-NEXT: # 0 = aaa(0){{$}}
  42 ; CHECK-NEXT: #NO_APP{{$}}
  43 ; CHECK-NEXT: get_local $push0=, 0{{$}}
  44 ; CHECK-NEXT: return $pop0{{$}}
  45 define i64 @foo_i64(i64 %r) {
  46 entry:
  47   %0 = tail call i64 asm sideeffect "# $0 = aaa($1)", "=r,r"(i64 %r) #0, !srcloc !0
  48   ret i64 %0
  49 }
  50
  51 ; CHECK-LABEL: X_i16:
  52 ; CHECK: foo 1{{$}}
  53 ; CHECK: get_local $push[[S0:[0-9]+]]=, 0{{$}}
  54 ; CHECK-NEXT: get_local $push[[S1:[0-9]+]]=, 1{{$}}
  55 ; CHECK-NEXT: i32.store16 0($pop[[S0]]), $pop[[S1]]{{$}}
  56 define void @X_i16(i16 * %t) {
  57   call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(i16* %t)
  58   ret void
  59 }
  60
  61 ; CHECK-LABEL: X_ptr:
  62 ; CHECK: foo 1{{$}}
  63 ; CHECK: get_local $push[[S0:[0-9]+]]=, 0{{$}}
  64 ; CHECK-NEXT: get_local $push[[S1:[0-9]+]]=, 1{{$}}
  65 ; CHECK-NEXT: i32.store 0($pop[[S0]]), $pop[[S1]]{{$}}
  66 define void @X_ptr(i16 ** %t) {
  67   call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(i16** %t)
  68   ret void
  69 }
  70
  71 ; CHECK-LABEL: funcname:
  72 ; CHECK: foo funcname{{$}}
  73 define void @funcname() {
  74   tail call void asm sideeffect "foo $0", "i"(void ()* nonnull @funcname) #0, !srcloc !0
  75   ret void
  76 }
  77
  78 ; CHECK-LABEL: varname:
  79 ; CHECK: foo gv+37{{$}}
  80 @gv = global [0 x i8] zeroinitializer
  81 define void @varname() {
  82   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
  83   ret void
  84 }
  85
  86 ; CHECK-LABEL: r_constraint
  87 ; CHECK:      i32.const $push[[S0:[0-9]+]]=, 0{{$}}
  88 ; CHECK-NEXT: set_local [[L0:[0-9]+]], $pop[[S0]]{{$}}
  89 ; CHECK-NEXT: i32.const $push[[S1:[0-9]+]]=, 37{{$}}
  90 ; CHECK-NEXT: set_local [[L1:[0-9]+]], $pop[[S1]]{{$}}
  91 ; CHECK:      foo [[L2:[0-9]+]], 1, [[L0]], [[L1]]{{$}}
  92 ; CHECK:      get_local $push{{[0-9]+}}=, [[L2]]{{$}}
  93 define hidden i32 @r_constraint(i32 %a, i32 %y) {
  94 entry:
  95   %z = bitcast i32 0 to i32
  96   %t0 = tail call i32 asm "foo $0, $1, $2, $3", "=r,r,r,r"(i32 %y, i32 %z, i32 37) #0, !srcloc !0
  97   ret i32 %t0
  98 }
  99
 100 attributes #0 = { nounwind }
 101
 102 !0 = !{i32 47}
 103 !1 = !{i32 145}
 104 !2 = !{i32 231}