261 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s3 4target triple = "wasm32-unknown-unknown"5 6; Return multiple values, some of which will be legalized into multiple values.7declare { i64, i128, i192, i128, i64 } @return_multi_multi()8 9; Test returning a single value from @return_multi_multi.10 11define i64 @test0() {12; CHECK-LABEL: test0:13; CHECK: .functype test0 () -> (i64)14; CHECK-NEXT: # %bb.0:15; CHECK-NEXT: global.get $push0=, __stack_pointer16; CHECK-NEXT: i32.const $push1=, 9617; CHECK-NEXT: i32.sub $push5=, $pop0, $pop118; CHECK-NEXT: local.tee $push4=, $1=, $pop519; CHECK-NEXT: global.set __stack_pointer, $pop420; CHECK-NEXT: call return_multi_multi, $121; CHECK-NEXT: i64.load $0=, 0($1)22; CHECK-NEXT: i32.const $push2=, 9623; CHECK-NEXT: i32.add $push3=, $1, $pop224; CHECK-NEXT: global.set __stack_pointer, $pop325; CHECK-NEXT: local.copy $push6=, $026; CHECK-NEXT: # fallthrough-return27 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()28 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 029 ret i64 %t130}31 32define i128 @test1() {33; CHECK-LABEL: test1:34; CHECK: .functype test1 (i32) -> ()35; CHECK-NEXT: # %bb.0:36; CHECK-NEXT: global.get $push1=, __stack_pointer37; CHECK-NEXT: i32.const $push2=, 9638; CHECK-NEXT: i32.sub $push6=, $pop1, $pop239; CHECK-NEXT: local.tee $push5=, $2=, $pop640; CHECK-NEXT: global.set __stack_pointer, $pop541; CHECK-NEXT: call return_multi_multi, $242; CHECK-NEXT: i64.load $1=, 24($2)43; CHECK-NEXT: i64.load $push0=, 16($2)44; CHECK-NEXT: i64.store 0($0), $pop045; CHECK-NEXT: i64.store 8($0), $146; CHECK-NEXT: i32.const $push3=, 9647; CHECK-NEXT: i32.add $push4=, $2, $pop348; CHECK-NEXT: global.set __stack_pointer, $pop449; CHECK-NEXT: # fallthrough-return50 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()51 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 152 ret i128 %t153}54 55define i192 @test2() {56; CHECK-LABEL: test2:57; CHECK: .functype test2 (i32) -> ()58; CHECK-NEXT: # %bb.0:59; CHECK-NEXT: global.get $push3=, __stack_pointer60; CHECK-NEXT: i32.const $push4=, 9661; CHECK-NEXT: i32.sub $push8=, $pop3, $pop462; CHECK-NEXT: local.tee $push7=, $3=, $pop863; CHECK-NEXT: global.set __stack_pointer, $pop764; CHECK-NEXT: call return_multi_multi, $365; CHECK-NEXT: i64.load $1=, 40($3)66; CHECK-NEXT: i64.load $2=, 32($3)67; CHECK-NEXT: i32.const $push0=, 4868; CHECK-NEXT: i32.add $push1=, $3, $pop069; CHECK-NEXT: i64.load $push2=, 0($pop1)70; CHECK-NEXT: i64.store 16($0), $pop271; CHECK-NEXT: i64.store 0($0), $272; CHECK-NEXT: i64.store 8($0), $173; CHECK-NEXT: i32.const $push5=, 9674; CHECK-NEXT: i32.add $push6=, $3, $pop575; CHECK-NEXT: global.set __stack_pointer, $pop676; CHECK-NEXT: # fallthrough-return77 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()78 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 279 ret i192 %t180}81 82define i128 @test3() {83; CHECK-LABEL: test3:84; CHECK: .functype test3 (i32) -> ()85; CHECK-NEXT: # %bb.0:86; CHECK-NEXT: global.get $push1=, __stack_pointer87; CHECK-NEXT: i32.const $push2=, 9688; CHECK-NEXT: i32.sub $push6=, $pop1, $pop289; CHECK-NEXT: local.tee $push5=, $2=, $pop690; CHECK-NEXT: global.set __stack_pointer, $pop591; CHECK-NEXT: call return_multi_multi, $292; CHECK-NEXT: i64.load $1=, 72($2)93; CHECK-NEXT: i64.load $push0=, 64($2)94; CHECK-NEXT: i64.store 0($0), $pop095; CHECK-NEXT: i64.store 8($0), $196; CHECK-NEXT: i32.const $push3=, 9697; CHECK-NEXT: i32.add $push4=, $2, $pop398; CHECK-NEXT: global.set __stack_pointer, $pop499; CHECK-NEXT: # fallthrough-return100 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()101 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3102 ret i128 %t1103}104 105define i64 @test4() {106; CHECK-LABEL: test4:107; CHECK: .functype test4 () -> (i64)108; CHECK-NEXT: # %bb.0:109; CHECK-NEXT: global.get $push0=, __stack_pointer110; CHECK-NEXT: i32.const $push1=, 96111; CHECK-NEXT: i32.sub $push5=, $pop0, $pop1112; CHECK-NEXT: local.tee $push4=, $1=, $pop5113; CHECK-NEXT: global.set __stack_pointer, $pop4114; CHECK-NEXT: call return_multi_multi, $1115; CHECK-NEXT: i64.load $0=, 80($1)116; CHECK-NEXT: i32.const $push2=, 96117; CHECK-NEXT: i32.add $push3=, $1, $pop2118; CHECK-NEXT: global.set __stack_pointer, $pop3119; CHECK-NEXT: local.copy $push6=, $0120; CHECK-NEXT: # fallthrough-return121 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()122 %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 4123 ret i64 %t1124}125 126; Test returning multiple values from @return_multi_multi.127 128define { i64, i128 } @test5() {129; CHECK-LABEL: test5:130; CHECK: .functype test5 (i32) -> ()131; CHECK-NEXT: # %bb.0:132; CHECK-NEXT: global.get $push1=, __stack_pointer133; CHECK-NEXT: i32.const $push2=, 96134; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2135; CHECK-NEXT: local.tee $push5=, $3=, $pop6136; CHECK-NEXT: global.set __stack_pointer, $pop5137; CHECK-NEXT: call return_multi_multi, $3138; CHECK-NEXT: i64.load $1=, 24($3)139; CHECK-NEXT: i64.load $2=, 16($3)140; CHECK-NEXT: i64.load $push0=, 0($3)141; CHECK-NEXT: i64.store 0($0), $pop0142; CHECK-NEXT: i64.store 16($0), $2143; CHECK-NEXT: i64.store 24($0), $1144; CHECK-NEXT: i32.const $push3=, 96145; CHECK-NEXT: i32.add $push4=, $3, $pop3146; CHECK-NEXT: global.set __stack_pointer, $pop4147; CHECK-NEXT: # fallthrough-return148 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()149 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0150 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1151 %s0 = insertvalue { i64, i128 } undef, i64 %r0, 0152 %s1 = insertvalue { i64, i128 } %s0, i128 %r1, 1153 ret { i64, i128 } %s1154}155 156define { i128, i128 } @test6() {157; CHECK-LABEL: test6:158; CHECK: .functype test6 (i32) -> ()159; CHECK-NEXT: # %bb.0:160; CHECK-NEXT: global.get $push1=, __stack_pointer161; CHECK-NEXT: i32.const $push2=, 96162; CHECK-NEXT: i32.sub $push6=, $pop1, $pop2163; CHECK-NEXT: local.tee $push5=, $4=, $pop6164; CHECK-NEXT: global.set __stack_pointer, $pop5165; CHECK-NEXT: call return_multi_multi, $4166; CHECK-NEXT: i64.load $1=, 24($4)167; CHECK-NEXT: i64.load $2=, 16($4)168; CHECK-NEXT: i64.load $3=, 72($4)169; CHECK-NEXT: i64.load $push0=, 64($4)170; CHECK-NEXT: i64.store 16($0), $pop0171; CHECK-NEXT: i64.store 24($0), $3172; CHECK-NEXT: i64.store 0($0), $2173; CHECK-NEXT: i64.store 8($0), $1174; CHECK-NEXT: i32.const $push3=, 96175; CHECK-NEXT: i32.add $push4=, $4, $pop3176; CHECK-NEXT: global.set __stack_pointer, $pop4177; CHECK-NEXT: # fallthrough-return178 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()179 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1180 %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3181 %s0 = insertvalue { i128, i128 } undef, i128 %r1, 0182 %s1 = insertvalue { i128, i128 } %s0, i128 %r3, 1183 ret { i128, i128 } %s1184}185 186define { i64, i192 } @test7() {187; CHECK-LABEL: test7:188; CHECK: .functype test7 (i32) -> ()189; CHECK-NEXT: # %bb.0:190; CHECK-NEXT: global.get $push3=, __stack_pointer191; CHECK-NEXT: i32.const $push4=, 96192; CHECK-NEXT: i32.sub $push8=, $pop3, $pop4193; CHECK-NEXT: local.tee $push7=, $4=, $pop8194; CHECK-NEXT: global.set __stack_pointer, $pop7195; CHECK-NEXT: call return_multi_multi, $4196; CHECK-NEXT: i32.const $push0=, 48197; CHECK-NEXT: i32.add $push1=, $4, $pop0198; CHECK-NEXT: i64.load $1=, 0($pop1)199; CHECK-NEXT: i64.load $2=, 40($4)200; CHECK-NEXT: i64.load $3=, 32($4)201; CHECK-NEXT: i64.load $push2=, 0($4)202; CHECK-NEXT: i64.store 0($0), $pop2203; CHECK-NEXT: i64.store 32($0), $1204; CHECK-NEXT: i64.store 16($0), $3205; CHECK-NEXT: i64.store 24($0), $2206; CHECK-NEXT: i32.const $push5=, 96207; CHECK-NEXT: i32.add $push6=, $4, $pop5208; CHECK-NEXT: global.set __stack_pointer, $pop6209; CHECK-NEXT: # fallthrough-return210 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()211 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0212 %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2213 %s0 = insertvalue { i64, i192 } undef, i64 %r0, 0214 %s1 = insertvalue { i64, i192 } %s0, i192 %r2, 1215 ret { i64, i192 } %s1216}217 218define { i128, i192, i128, i64 } @test8() {219; CHECK-LABEL: test8:220; CHECK: .functype test8 (i32) -> ()221; CHECK-NEXT: # %bb.0:222; CHECK-NEXT: global.get $push3=, __stack_pointer223; CHECK-NEXT: i32.const $push4=, 96224; CHECK-NEXT: i32.sub $push8=, $pop3, $pop4225; CHECK-NEXT: local.tee $push7=, $8=, $pop8226; CHECK-NEXT: global.set __stack_pointer, $pop7227; CHECK-NEXT: call return_multi_multi, $8228; CHECK-NEXT: i32.const $push0=, 48229; CHECK-NEXT: i32.add $push1=, $8, $pop0230; CHECK-NEXT: i64.load $1=, 0($pop1)231; CHECK-NEXT: i64.load $2=, 72($8)232; CHECK-NEXT: i64.load $3=, 64($8)233; CHECK-NEXT: i64.load $4=, 40($8)234; CHECK-NEXT: i64.load $5=, 32($8)235; CHECK-NEXT: i64.load $6=, 24($8)236; CHECK-NEXT: i64.load $7=, 16($8)237; CHECK-NEXT: i64.load $push2=, 0($8)238; CHECK-NEXT: i64.store 64($0), $pop2239; CHECK-NEXT: i64.store 48($0), $7240; CHECK-NEXT: i64.store 56($0), $6241; CHECK-NEXT: i64.store 32($0), $1242; CHECK-NEXT: i64.store 16($0), $5243; CHECK-NEXT: i64.store 24($0), $4244; CHECK-NEXT: i64.store 0($0), $3245; CHECK-NEXT: i64.store 8($0), $2246; CHECK-NEXT: i32.const $push5=, 96247; CHECK-NEXT: i32.add $push6=, $8, $pop5248; CHECK-NEXT: global.set __stack_pointer, $pop6249; CHECK-NEXT: # fallthrough-return250 %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()251 %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0252 %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1253 %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2254 %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3255 %s0 = insertvalue { i128, i192, i128, i64 } undef, i128 %r3, 0256 %s1 = insertvalue { i128, i192, i128, i64 } %s0, i192 %r2, 1257 %s2 = insertvalue { i128, i192, i128, i64 } %s1, i128 %r1, 2258 %s3 = insertvalue { i128, i192, i128, i64 } %s2, i64 %r0, 3259 ret { i128, i192, i128, i64 } %s3260}261