1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers -no-integrated-as -verify-machineinstrs | FileCheck %s 2 3; Test basic inline assembly. Pass -no-integrated-as since these aren't 4; actually valid assembly syntax. 5 6target triple = "wasm32-unknown-unknown" 7 8; CHECK-LABEL: foo: 9; CHECK-NEXT: .functype foo (i32) -> (i32){{$}} 10; CHECK-NEXT: #APP{{$}} 11; CHECK-NEXT: # 0 = aaa(0){{$}} 12; CHECK-NEXT: #NO_APP{{$}} 13; CHECK-NEXT: local.get $push0=, 0{{$}} 14; CHECK-NEXT: return $pop0{{$}} 15define i32 @foo(i32 %r) { 16entry: 17 %0 = tail call i32 asm sideeffect "# $0 = aaa($1)", "=r,r"(i32 %r) #0, !srcloc !0 18 ret i32 %0 19} 20 21; CHECK-LABEL: imm: 22; CHECK-NEXT: .functype imm () -> (i32){{$}} 23; CHECK-NEXT: .local i32{{$}} 24; CHECK-NEXT: #APP{{$}} 25; CHECK-NEXT: # 0 = ccc(42){{$}} 26; CHECK-NEXT: #NO_APP{{$}} 27; CHECK-NEXT: local.get $push0=, 0{{$}} 28; CHECK-NEXT: return $pop0{{$}} 29define i32 @imm() { 30entry: 31 %0 = tail call i32 asm sideeffect "# $0 = ccc($1)", "=r,i"(i32 42) #0, !srcloc !2 32 ret i32 %0 33} 34 35; CHECK-LABEL: foo_i64: 36; CHECK-NEXT: .functype foo_i64 (i64) -> (i64){{$}} 37; CHECK-NEXT: #APP{{$}} 38; CHECK-NEXT: # 0 = aaa(0){{$}} 39; CHECK-NEXT: #NO_APP{{$}} 40; CHECK-NEXT: local.get $push0=, 0{{$}} 41; CHECK-NEXT: return $pop0{{$}} 42define i64 @foo_i64(i64 %r) { 43entry: 44 %0 = tail call i64 asm sideeffect "# $0 = aaa($1)", "=r,r"(i64 %r) #0, !srcloc !0 45 ret i64 %0 46} 47 48; CHECK-LABEL: foo_float: 49; CHECK-NEXT: .functype foo_float (f32) -> (f32){{$}} 50; CHECK-NEXT: #APP{{$}} 51; CHECK-NEXT: # 0 = aaa(0){{$}} 52; CHECK-NEXT: #NO_APP{{$}} 53; CHECK-NEXT: local.get $push0=, 0{{$}} 54; CHECK-NEXT: return $pop0{{$}} 55define float @foo_float(float %r) { 56entry: 57 %0 = tail call float asm sideeffect "# $0 = aaa($1)", "=r,r"(float %r) #0, !srcloc !0 58 ret float %0 59} 60 61; CHECK-LABEL: foo_double: 62; CHECK-NEXT: .functype foo_double (f64) -> (f64){{$}} 63; CHECK-NEXT: #APP{{$}} 64; CHECK-NEXT: # 0 = aaa(0){{$}} 65; CHECK-NEXT: #NO_APP{{$}} 66; CHECK-NEXT: local.get $push0=, 0{{$}} 67; CHECK-NEXT: return $pop0{{$}} 68define double @foo_double(double %r) { 69entry: 70 %0 = tail call double asm sideeffect "# $0 = aaa($1)", "=r,r"(double %r) #0, !srcloc !0 71 ret double %0 72} 73 74; CHECK-LABEL: X_i16: 75; CHECK: foo 1{{$}} 76; CHECK: local.get $push[[S0:[0-9]+]]=, 0{{$}} 77; CHECK-NEXT: local.get $push[[S1:[0-9]+]]=, 1{{$}} 78; CHECK-NEXT: i32.store16 0($pop[[S0]]), $pop[[S1]]{{$}} 79define void @X_i16(ptr %t) { 80 call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(ptr elementtype(i16) %t) 81 ret void 82} 83 84; CHECK-LABEL: X_ptr: 85; CHECK: foo 1{{$}} 86; CHECK: local.get $push[[S0:[0-9]+]]=, 0{{$}} 87; CHECK-NEXT: local.get $push[[S1:[0-9]+]]=, 1{{$}} 88; CHECK-NEXT: i32.store 0($pop[[S0]]), $pop[[S1]]{{$}} 89define void @X_ptr(ptr %t) { 90 call void asm sideeffect "foo $0", "=*X,~{dirflag},~{fpsr},~{flags},~{memory}"(ptr elementtype(ptr) %t) 91 ret void 92} 93 94; CHECK-LABEL: funcname: 95; CHECK: foo funcname{{$}} 96define void @funcname() { 97 tail call void asm sideeffect "foo $0", "i"(ptr nonnull @funcname) #0, !srcloc !0 98 ret void 99} 100 101; CHECK-LABEL: varname: 102; CHECK: foo gv+37{{$}} 103@gv = global [0 x i8] zeroinitializer 104define void @varname() { 105 tail call void asm sideeffect "foo $0", "i"(ptr getelementptr inbounds ([0 x i8], ptr @gv, i64 0, i64 37)) #0, !srcloc !0 106 ret void 107} 108 109; CHECK-LABEL: r_constraint 110; CHECK: i32.const $push[[S0:[0-9]+]]=, 0{{$}} 111; CHECK-NEXT: local.set [[L0:[0-9]+]], $pop[[S0]]{{$}} 112; CHECK-NEXT: i32.const $push[[S1:[0-9]+]]=, 37{{$}} 113; CHECK-NEXT: local.set [[L1:[0-9]+]], $pop[[S1]]{{$}} 114; CHECK: foo [[L2:[0-9]+]], 1, [[L0]], [[L1]]{{$}} 115; CHECK: local.get $push{{[0-9]+}}=, [[L2]]{{$}} 116define hidden i32 @r_constraint(i32 %a, i32 %y) { 117entry: 118 %z = bitcast i32 0 to i32 119 %t0 = tail call i32 asm "foo $0, $1, $2, $3", "=r,r,r,r"(i32 %y, i32 %z, i32 37) #0, !srcloc !0 120 ret i32 %t0 121} 122 123; CHECK-LABEL: tied_operands 124; CHECK: local.get $push0=, 0 125; CHECK: return $pop0 126define i32 @tied_operands(i32 %var) { 127entry: 128 %ret = call i32 asm "", "=r,0"(i32 %var) 129 ret i32 %ret 130} 131 132attributes #0 = { nounwind } 133 134!0 = !{i32 47} 135!1 = !{i32 145} 136!2 = !{i32 231} 137