135 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals2; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=optimize < %s | FileCheck %s -check-prefixes=CHECK,OPT3; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=lowering < %s | FileCheck %s -check-prefixes=CHECK,ABI4; REQUIRES: webassembly-registered-target5 6declare void @llvm.lifetime.start.p0(ptr nocapture)7 8declare void @llvm.va_copy.p0(ptr, ptr)9 10declare void @valist(ptr noundef)11 12declare void @llvm.lifetime.end.p0(ptr nocapture)13 14declare void @llvm.va_start.p0(ptr)15 16declare void @llvm.va_end.p0(ptr)17 18 19define void @start_once(...) !prof !0 {20; OPT-LABEL: @start_once(21; OPT-NEXT: entry:22; OPT-NEXT: [[VA_START:%.*]] = alloca ptr, align 423; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr [[VA_START]])24; OPT-NEXT: call void @llvm.va_start.p0(ptr [[VA_START]])25; OPT-NEXT: [[TMP0:%.*]] = load ptr, ptr [[VA_START]], align 426; OPT-NEXT: call void @start_once.valist(ptr [[TMP0]])27; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr [[VA_START]])28; OPT-NEXT: ret void29;30; ABI-LABEL: @start_once(31; ABI-NEXT: entry:32; ABI-NEXT: [[S:%.*]] = alloca ptr, align 433; ABI-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[S]])34; ABI-NEXT: store ptr [[VARARGS:%.*]], ptr [[S]], align 435; ABI-NEXT: [[TMP0:%.*]] = load ptr, ptr [[S]], align 436; ABI-NEXT: call void @valist(ptr noundef [[TMP0]])37; ABI-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[S]])38; ABI-NEXT: ret void39;40entry:41 %s = alloca ptr, align 442 call void @llvm.lifetime.start.p0(ptr nonnull %s)43 call void @llvm.va_start.p0(ptr nonnull %s)44 %0 = load ptr, ptr %s, align 445 call void @valist(ptr noundef %0)46 call void @llvm.va_end.p0(ptr %s)47 call void @llvm.lifetime.end.p0(ptr nonnull %s)48 ret void49}50 51 52define void @start_twice(...) {53; OPT-LABEL: @start_twice(54; OPT-NEXT: entry:55; OPT-NEXT: [[VA_START:%.*]] = alloca ptr, align 456; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr [[VA_START]])57; OPT-NEXT: call void @llvm.va_start.p0(ptr [[VA_START]])58; OPT-NEXT: [[TMP0:%.*]] = load ptr, ptr [[VA_START]], align 459; OPT-NEXT: call void @start_twice.valist(ptr [[TMP0]])60; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr [[VA_START]])61; OPT-NEXT: ret void62;63; ABI-LABEL: @start_twice(64; ABI-NEXT: entry:65; ABI-NEXT: [[S0:%.*]] = alloca ptr, align 466; ABI-NEXT: [[S1:%.*]] = alloca ptr, align 467; ABI-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[S0]])68; ABI-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[S1]])69; ABI-NEXT: store ptr [[VARARGS:%.*]], ptr [[S0]], align 470; ABI-NEXT: [[TMP0:%.*]] = load ptr, ptr [[S0]], align 471; ABI-NEXT: call void @valist(ptr noundef [[TMP0]])72; ABI-NEXT: store ptr [[VARARGS]], ptr [[S1]], align 473; ABI-NEXT: [[TMP1:%.*]] = load ptr, ptr [[S1]], align 474; ABI-NEXT: call void @valist(ptr noundef [[TMP1]])75; ABI-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[S1]])76; ABI-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[S0]])77; ABI-NEXT: ret void78;79entry:80 %s0 = alloca ptr, align 481 %s1 = alloca ptr, align 482 call void @llvm.lifetime.start.p0(ptr nonnull %s0)83 call void @llvm.lifetime.start.p0(ptr nonnull %s1)84 call void @llvm.va_start.p0(ptr nonnull %s0)85 %0 = load ptr, ptr %s0, align 486 call void @valist(ptr noundef %0)87 call void @llvm.va_end.p0(ptr %s0)88 call void @llvm.va_start.p0(ptr nonnull %s1)89 %1 = load ptr, ptr %s1, align 490 call void @valist(ptr noundef %1)91 call void @llvm.va_end.p0(ptr %s1)92 call void @llvm.lifetime.end.p0(ptr nonnull %s1)93 call void @llvm.lifetime.end.p0(ptr nonnull %s0)94 ret void95}96 97define void @copy(ptr noundef %va) {98; CHECK-LABEL: @copy(99; CHECK-NEXT: entry:100; CHECK-NEXT: [[VA_ADDR:%.*]] = alloca ptr, align 4101; CHECK-NEXT: [[CP:%.*]] = alloca ptr, align 4102; CHECK-NEXT: store ptr [[VA:%.*]], ptr [[VA_ADDR]], align 4103; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr nonnull [[CP]])104; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i32(ptr [[CP]], ptr [[VA_ADDR]], i32 4, i1 false)105; CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[CP]], align 4106; CHECK-NEXT: call void @valist(ptr noundef [[TMP0]])107; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr nonnull [[CP]])108; CHECK-NEXT: ret void109;110entry:111 %va.addr = alloca ptr, align 4112 %cp = alloca ptr, align 4113 store ptr %va, ptr %va.addr, align 4114 call void @llvm.lifetime.start.p0(ptr nonnull %cp)115 call void @llvm.va_copy.p0(ptr nonnull %cp, ptr nonnull %va.addr)116 %0 = load ptr, ptr %cp, align 4117 call void @valist(ptr noundef %0)118 call void @llvm.lifetime.end.p0(ptr nonnull %cp)119 ret void120}121 122!0 = !{!"function_entry_count", i64 1000}123;.124; OPT: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }125; OPT: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nosync nounwind willreturn }126; OPT: attributes #[[ATTR2:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }127;.128; ABI: attributes #[[ATTR0:[0-9]+]] = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }129; ABI: attributes #[[ATTR1:[0-9]+]] = { nocallback nofree nounwind willreturn memory(argmem: readwrite) }130;.131; OPT: [[META0:![0-9]+]] = !{!"function_entry_count", i64 1000}132;.133; ABI: [[META0:![0-9]+]] = !{!"function_entry_count", i64 1000}134;.135