llvm/test/CodeGen/WebAssembly/inline-asm-roundtrip.ll

   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
  20 target triple = "wasm32-unknown-unknown"
  21
  22 ; CHECK-LABEL: main:
  23 ; CHECK-NEXT:   .functype main (i32, i32) -> (i32)
  24 ; CHECK-NEXT:   .local          i32
  25 ; CHECK-NEXT:   i32.const       1
  26 ; CHECK-NEXT:   local.set       [[SRC:[0-9]+]]
  27 ; CHECK-NEXT:   i32.const       2
  28 ; CHECK-NEXT:   local.get       [[SRC]]
  29 ; CHECK-NEXT:   i32.add
  30 ; CHECK-NEXT:   local.set       [[DST:[0-9]+]]
  31 ; CHECK-NEXT:   local.get       [[DST]]
  32 ; CHECK-NEXT:   i32.const       3
  33 ; CHECK-NEXT:   i32.ne
  34
  35 define i32 @main(i32 %argc, ptr nocapture readnone %argv) #0 {
  36 entry:
  37   %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
  38   %cmp = icmp ne i32 %0, 3
  39   %conv = zext i1 %cmp to i32
  40   ret i32 %conv
  41 }