419 lines · plain
1; RUN: llc -verify-machineinstrs < %s | FileCheck %s2;3; Note: Print verbose stackmaps using -debug-only=stackmaps.4 5; We are not getting the correct stack alignment when cross compiling for arm64.6; So specify a datalayout here.7target datalayout = "E-m:e-i64:64-n32:64"8target triple = "powerpc64-unknown-linux-gnu"9 10; CHECK-LABEL: constantargs:11; CHECK: {{^}}.L[[constantargs_BEGIN:.*]]:{{$}}12 13; CHECK-LABEL: osrinline:14; CHECK: {{^}}.L[[osrinline_BEGIN:.*]]:{{$}}15 16; CHECK-LABEL: osrcold:17; CHECK: {{^}}.L[[osrcold_BEGIN:.*]]:{{$}}18 19; CHECK-LABEL: propertyRead:20; CHECK: {{^}}.L[[propertyRead_BEGIN:.*]]:{{$}}21 22; CHECK-LABEL: propertyWrite:23; CHECK: {{^}}.L[[propertyWrite_BEGIN:.*]]:{{$}}24 25; CHECK-LABEL: jsVoidCall:26; CHECK: {{^}}.L[[jsVoidCall_BEGIN:.*]]:{{$}}27 28; CHECK-LABEL: jsIntCall:29; CHECK: {{^}}.L[[jsIntCall_BEGIN:.*]]:{{$}}30 31; CHECK-LABEL: spilledValue:32; CHECK: {{^}}.L[[spilledValue_BEGIN:.*]]:{{$}}33 34; CHECK-LABEL: liveConstant:35; CHECK: {{^}}.L[[liveConstant_BEGIN:.*]]:{{$}}36 37; CHECK-LABEL: clobberLR:38; CHECK: {{^}}.L[[clobberLR_BEGIN:.*]]:{{$}}39 40; CHECK-LABEL: floats:41; CHECK: {{^}}.L[[floats_BEGIN:.*]]:{{$}}42 43 44; CHECK-LABEL: .section .llvm_stackmaps45; CHECK-NEXT: __LLVM_StackMaps:46; Header47; CHECK-NEXT: .byte 348; CHECK-NEXT: .byte 049; CHECK-NEXT: .short 050; Num Functions51; CHECK-NEXT: .long 1152; Num LargeConstants53; CHECK-NEXT: .long 354; Num Callsites55; CHECK-NEXT: .long 1156 57; Functions and stack size58; CHECK-NEXT: .quad constantargs59; CHECK-NEXT: .quad 12860; CHECK-NEXT: .quad 161; CHECK-NEXT: .quad osrinline62; CHECK-NEXT: .quad 14463; CHECK-NEXT: .quad 164; CHECK-NEXT: .quad osrcold65; CHECK-NEXT: .quad 12866; CHECK-NEXT: .quad 167; CHECK-NEXT: .quad propertyRead68; CHECK-NEXT: .quad 12869; CHECK-NEXT: .quad 170; CHECK-NEXT: .quad propertyWrite71; CHECK-NEXT: .quad 12872; CHECK-NEXT: .quad 173; CHECK-NEXT: .quad jsVoidCall74; CHECK-NEXT: .quad 12875; CHECK-NEXT: .quad 176; CHECK-NEXT: .quad jsIntCall77; CHECK-NEXT: .quad 12878; CHECK-NEXT: .quad 179; CHECK-NEXT: .quad spilledValue80; CHECK-NEXT: .quad 30481; CHECK-NEXT: .quad 182; CHECK-NEXT: .quad liveConstant83; CHECK-NEXT: .quad 6484; CHECK-NEXT: .quad 185; CHECK-NEXT: .quad clobberLR86; CHECK-NEXT: .quad 20887; CHECK-NEXT: .quad 188; CHECK-NEXT: .quad floats89; CHECK-NEXT: .quad 8090; CHECK-NEXT: .quad 191 92; Num LargeConstants93; CHECK-NEXT: .quad 429496729594; CHECK-NEXT: .quad 429496729695; CHECK-NEXT: .quad 429496729796 97; Constant arguments98;99; CHECK-NEXT: .quad 1100; CHECK-NEXT: .long .L{{.*}}-.L[[constantargs_BEGIN]]101; CHECK-NEXT: .short 0102; CHECK-NEXT: .short 6103; SmallConstant104; CHECK-NEXT: .byte 4105; CHECK-NEXT: .byte 0106; CHECK-NEXT: .short 8107; CHECK-NEXT: .short 0108; CHECK-NEXT: .short 0109; CHECK-NEXT: .long 65535110; SmallConstant111; CHECK-NEXT: .byte 4112; CHECK-NEXT: .byte 0113; CHECK-NEXT: .short 8114; CHECK-NEXT: .short 0115; CHECK-NEXT: .short 0116; CHECK-NEXT: .long 65536117; LargeConstant at index 0118; CHECK-NEXT: .byte 5119; CHECK-NEXT: .byte 0120; CHECK-NEXT: .short 8121; CHECK-NEXT: .short 0122; CHECK-NEXT: .short 0123; CHECK-NEXT: .long 0124; LargeConstant at index 1125; CHECK-NEXT: .byte 5126; CHECK-NEXT: .byte 0127; CHECK-NEXT: .short 8128; CHECK-NEXT: .short 0129; CHECK-NEXT: .short 0130; CHECK-NEXT: .long 1131; SmallConstant132; CHECK-NEXT: .byte 4133; CHECK-NEXT: .byte 0134; CHECK-NEXT: .short 8135; CHECK-NEXT: .short 0136; CHECK-NEXT: .short 0137; CHECK-NEXT: .long 66138; LargeConstant at index 2139; CHECK-NEXT: .byte 5140; CHECK-NEXT: .byte 0141; CHECK-NEXT: .short 8142; CHECK-NEXT: .short 0143; CHECK-NEXT: .short 0144; CHECK-NEXT: .long 2145 146define void @constantargs() {147entry:148 %0 = inttoptr i64 244837814094590 to ptr149 tail call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 1, i32 40, ptr %0, i32 0, i64 65535, i64 65536, i64 4294967295, i64 4294967296, i128 66, i128 4294967297)150 ret void151}152 153; Inline OSR Exit154;155; CHECK: .long .L{{.*}}-.L[[osrinline_BEGIN]]156; CHECK-NEXT: .short 0157; CHECK-NEXT: .short 2158; CHECK-NEXT: .byte 1159; CHECK-NEXT: .byte 0160; CHECK-NEXT: .short 8161; CHECK-NEXT: .short {{[0-9]+}}162; CHECK-NEXT: .short 0163; CHECK-NEXT: .long 0164; CHECK-NEXT: .byte 1165; CHECK-NEXT: .byte 0166; CHECK-NEXT: .short 8167; CHECK-NEXT: .short {{[0-9]+}}168; CHECK-NEXT: .short 0169; CHECK-NEXT: .long 0170define void @osrinline(i64 %a, i64 %b) {171entry:172 ; Runtime void->void call.173 call void inttoptr (i64 244837814094590 to ptr)()174 ; Followed by inline OSR patchpoint with 12-byte shadow and 2 live vars.175 call void (i64, i32, ...) @llvm.experimental.stackmap(i64 3, i32 12, i64 %a, i64 %b)176 ret void177}178 179; Cold OSR Exit180;181; 2 live variables in register.182;183; CHECK: .long .L{{.*}}-.L[[osrcold_BEGIN]]184; CHECK-NEXT: .short 0185; CHECK-NEXT: .short 2186; CHECK-NEXT: .byte 1187; CHECK-NEXT: .byte 0188; CHECK-NEXT: .short 8189; CHECK-NEXT: .short {{[0-9]+}}190; CHECK-NEXT: .short 0191; CHECK-NEXT: .long 0192; CHECK-NEXT: .byte 1193; CHECK-NEXT: .byte 0194; CHECK-NEXT: .short 8195; CHECK-NEXT: .short {{[0-9]+}}196; CHECK-NEXT: .short 0197; CHECK-NEXT: .long 0198define void @osrcold(i64 %a, i64 %b) {199entry:200 %test = icmp slt i64 %a, %b201 br i1 %test, label %ret, label %cold202cold:203 ; OSR patchpoint with 12-byte nop-slide and 2 live vars.204 %thunk = inttoptr i64 244837814094590 to ptr205 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 4, i32 40, ptr %thunk, i32 0, i64 %a, i64 %b)206 unreachable207ret:208 ret void209}210 211; Property Read212; CHECK: .long .L{{.*}}-.L[[propertyRead_BEGIN]]213; CHECK-NEXT: .short 0214; CHECK-NEXT: .short 0215;216; FIXME: There are currently no stackmap entries. After moving to217; AnyRegCC, we will have entries for the object and return value.218define i64 @propertyRead(ptr %obj) {219entry:220 %resolveRead = inttoptr i64 244837814094590 to ptr221 %result = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 5, i32 40, ptr %resolveRead, i32 1, ptr %obj)222 %add = add i64 %result, 3223 ret i64 %add224}225 226; Property Write227; CHECK: .long .L{{.*}}-.L[[propertyWrite_BEGIN]]228; CHECK-NEXT: .short 0229; CHECK-NEXT: .short 2230; CHECK-NEXT: .byte 1231; CHECK-NEXT: .byte 0232; CHECK-NEXT: .short 8233; CHECK-NEXT: .short {{[0-9]+}}234; CHECK-NEXT: .short 0235; CHECK-NEXT: .long 0236; CHECK-NEXT: .byte 1237; CHECK-NEXT: .byte 0238; CHECK-NEXT: .short 8239; CHECK-NEXT: .short {{[0-9]+}}240; CHECK-NEXT: .short 0241; CHECK-NEXT: .long 0242define void @propertyWrite(i64 %dummy1, ptr %obj, i64 %dummy2, i64 %a) {243entry:244 %resolveWrite = inttoptr i64 244837814094590 to ptr245 call anyregcc void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 6, i32 40, ptr %resolveWrite, i32 2, ptr %obj, i64 %a)246 ret void247}248 249; Void JS Call250;251; 2 live variables in registers.252;253; CHECK: .long .L{{.*}}-.L[[jsVoidCall_BEGIN]]254; CHECK-NEXT: .short 0255; CHECK-NEXT: .short 2256; CHECK-NEXT: .byte 1257; CHECK-NEXT: .byte 0258; CHECK-NEXT: .short 8259; CHECK-NEXT: .short {{[0-9]+}}260; CHECK-NEXT: .short 0261; CHECK-NEXT: .long 0262; CHECK-NEXT: .byte 1263; CHECK-NEXT: .byte 0264; CHECK-NEXT: .short 8265; CHECK-NEXT: .short {{[0-9]+}}266; CHECK-NEXT: .short 0267; CHECK-NEXT: .long 0268define void @jsVoidCall(i64 %dummy1, ptr %obj, i64 %arg, i64 %l1, i64 %l2) {269entry:270 %resolveCall = inttoptr i64 244837814094590 to ptr271 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 7, i32 40, ptr %resolveCall, i32 2, ptr %obj, i64 %arg, i64 %l1, i64 %l2)272 ret void273}274 275; i64 JS Call276;277; 2 live variables in registers.278;279; CHECK: .long .L{{.*}}-.L[[jsIntCall_BEGIN]]280; CHECK-NEXT: .short 0281; CHECK-NEXT: .short 2282; CHECK-NEXT: .byte 1283; CHECK-NEXT: .byte 0284; CHECK-NEXT: .short 8285; CHECK-NEXT: .short {{[0-9]+}}286; CHECK-NEXT: .short 0287; CHECK-NEXT: .long 0288; CHECK-NEXT: .byte 1289; CHECK-NEXT: .byte 0290; CHECK-NEXT: .short 8291; CHECK-NEXT: .short {{[0-9]+}}292; CHECK-NEXT: .short 0293; CHECK-NEXT: .long 0294define i64 @jsIntCall(i64 %dummy1, ptr %obj, i64 %arg, i64 %l1, i64 %l2) {295entry:296 %resolveCall = inttoptr i64 244837814094590 to ptr297 %result = call i64 (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.i64(i64 8, i32 40, ptr %resolveCall, i32 2, ptr %obj, i64 %arg, i64 %l1, i64 %l2)298 %add = add i64 %result, 3299 ret i64 %add300}301 302; Spilled stack map values.303;304; Verify 28 stack map entries.305;306; CHECK: .long .L{{.*}}-.L[[spilledValue_BEGIN]]307; CHECK-NEXT: .short 0308; CHECK-NEXT: .short 28309;310; Check that at least one is a spilled entry from r31.311; Location: Indirect FP + ...312; CHECK: .byte 3313; CHECK-NEXT: .byte 0314; CHECK-NEXT: .short 315; CHECK-NEXT: .short 31316; CHECK-NEXT: .short 0317; CHECK-NEXT: .long318define void @spilledValue(i64 %arg0, i64 %arg1, i64 %arg2, i64 %arg3, i64 %arg4, i64 %l0, i64 %l1, i64 %l2, i64 %l3, i64 %l4, i64 %l5, i64 %l6, i64 %l7, i64 %l8, i64 %l9, i64 %l10, i64 %l11, i64 %l12, i64 %l13, i64 %l14, i64 %l15, i64 %l16, i64 %l17, i64 %l18, i64 %l19, i64 %l20, i64 %l21, i64 %l22, i64 %l23, i64 %l24, i64 %l25, i64 %l26, i64 %l27) {319entry:320 call void (i64, i32, ptr, i32, ...) @llvm.experimental.patchpoint.void(i64 11, i32 40, ptr null, i32 5, i64 %arg0, i64 %arg1, i64 %arg2, i64 %arg3, i64 %arg4, i64 %l0, i64 %l1, i64 %l2, i64 %l3, i64 %l4, i64 %l5, i64 %l6, i64 %l7, i64 %l8, i64 %l9, i64 %l10, i64 %l11, i64 %l12, i64 %l13, i64 %l14, i64 %l15, i64 %l16, i64 %l17, i64 %l18, i64 %l19, i64 %l20, i64 %l21, i64 %l22, i64 %l23, i64 %l24, i64 %l25, i64 %l26, i64 %l27)321 ret void322}323 324; Map a constant value.325;326; CHECK: .long .L{{.*}}-.L[[liveConstant_BEGIN]]327; CHECK-NEXT: .short 0328; 1 location329; CHECK-NEXT: .short 1330; Loc 0: SmallConstant331; CHECK-NEXT: .byte 4332; CHECK-NEXT: .byte 0333; CHECK-NEXT: .short 8334; CHECK-NEXT: .short 0335; CHECK-NEXT: .short 0336; CHECK-NEXT: .long 33337 338define void @liveConstant() {339 tail call void (i64, i32, ...) @llvm.experimental.stackmap(i64 15, i32 8, i32 33)340 ret void341}342 343; Map a value when LR is the only free register.344;345; CHECK: .long .L{{.*}}-.L[[clobberLR_BEGIN]]346; CHECK-NEXT: .short 0347; 1 location348; CHECK-NEXT: .short 1349; Loc 0: Indirect FP (r31) - offset350; CHECK-NEXT: .byte 3351; CHECK-NEXT: .byte 0352; CHECK-NEXT: .short 4353; CHECK-NEXT: .short 31354; CHECK-NEXT: .short 0355; CHECK-NEXT: .long {{[0-9]+}}356define void @clobberLR(i32 %a) {357 tail call void asm sideeffect "nop", "~{r0},~{r3},~{r4},~{r5},~{r6},~{r7},~{r8},~{r9},~{r10},~{r11},~{r12},~{r14},~{r15},~{r16},~{r17},~{r18},~{r19},~{r20},~{r21},~{r22},~{r23},~{r24},~{r25},~{r26},~{r27},~{r28},~{r29},~{r30},~{r31}"() nounwind358 tail call void (i64, i32, ...) @llvm.experimental.stackmap(i64 16, i32 8, i32 %a)359 ret void360}361 362; CHECK: .long .L{{.*}}-.L[[floats_BEGIN]]363; CHECK-NEXT: .short 0364; Num Locations365; CHECK-NEXT: .short 6366; Loc 0: constant float stored to FP register367; CHECK-NEXT: .byte 1368; CHECK-NEXT: .byte 0369; CHECK-NEXT: .short 8370; CHECK-NEXT: .short {{.*}}371; CHECK-NEXT: .short 0372; CHECK-NEXT: .long 0373; Loc 0: constant double stored to FP register374; CHECK-NEXT: .byte 1375; CHECK-NEXT: .byte 0376; CHECK-NEXT: .short 8377; CHECK-NEXT: .short {{.*}}378; CHECK-NEXT: .short 0379; CHECK-NEXT: .long 0380; Loc 1: float value in FP register381; CHECK-NEXT: .byte 1382; CHECK-NEXT: .byte 0383; CHECK-NEXT: .short 8384; CHECK-NEXT: .short {{.*}}385; CHECK-NEXT: .short 0386; CHECK-NEXT: .long 0387; Loc 2: double value in FP register388; CHECK-NEXT: .byte 1389; CHECK-NEXT: .byte 0390; CHECK-NEXT: .short 8391; CHECK-NEXT: .short {{.*}}392; CHECK-NEXT: .short 0393; CHECK-NEXT: .long 0394; Loc 3: float on stack395; CHECK-NEXT: .byte 2396; CHECK-NEXT: .byte 0397; CHECK-NEXT: .short 8398; CHECK-NEXT: .short {{.*}}399; CHECK-NEXT: .short 0400; CHECK-NEXT: .long {{.*}}401; Loc 4: double on stack402; CHECK-NEXT: .byte 2403; CHECK-NEXT: .byte 0404; CHECK-NEXT: .short 8405; CHECK-NEXT: .short {{.*}}406; CHECK-NEXT: .short 0407; CHECK-NEXT: .long {{.*}}408define void @floats(float %f, double %g) {409 %ff = alloca float410 %gg = alloca double411 call void (i64, i32, ...) @llvm.experimental.stackmap(i64 888, i32 0, float 1.25,412 double 1.5, float %f, double %g, ptr %ff, ptr %gg)413 ret void414}415 416declare void @llvm.experimental.stackmap(i64, i32, ...)417declare void @llvm.experimental.patchpoint.void(i64, i32, ptr, i32, ...)418declare i64 @llvm.experimental.patchpoint.i64(i64, i32, ptr, i32, ...)419