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