148 lines · plain
1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-keep-registers -no-integrated-as -verify-machineinstrs | FileCheck %s2 3; Test basic inline assembly. Pass -no-integrated-as since these aren't4; 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 !018 ret i32 %019}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 !232 ret i32 %033}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 !045 ret i64 %046}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 !058 ret float %059}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 !071 ret double %072}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 void82}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 void92}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 !098 ret void99}100 101; CHECK-LABEL: varname:102; CHECK: foo gv+37{{$}}103@gv = global [0 x i8] zeroinitializer104define 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 !0106 ret void107}108 109; CHECK-LABEL: r_constraint110; 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 i32119 %t0 = tail call i32 asm "foo $0, $1, $2, $3", "=r,r,r,r"(i32 %y, i32 %z, i32 37) #0, !srcloc !0120 ret i32 %t0121}122 123; CHECK-LABEL: tied_operands124; CHECK: local.get $push0=, 0125; CHECK: return $pop0126define i32 @tied_operands(i32 %var) {127entry:128 %ret = call i32 asm "", "=r,0"(i32 %var)129 ret i32 %ret130}131 132; CHECK-LABEL: v128_load133; CHECK: local.get 0134; CHECK-NEXT: v128.load 0135; CHECK-NEXT: local.set 1136define <4 x i32> @v128_load(ptr %v) #1 {137entry:138 %0 = tail call <4 x i32> asm "local.get $1\0Av128.load 0\0Alocal.set $0", "=r,r"(ptr %v)139 ret <4 x i32> %0140}141 142attributes #0 = { nounwind }143attributes #1 = { "target-features"="+simd128" }144 145!0 = !{i32 47}146!1 = !{i32 145}147!2 = !{i32 231}148