1; RUN: llc -filetype=obj -o - -mtriple=x86_64-apple-macosx < %s | llvm-objdump -triple x86_64-apple-macosx -disassemble - | FileCheck %s 2; RUN: llc -mtriple=x86_64-apple-macosx < %s | FileCheck %s --check-prefix=CHECK-ALIGN 3 4declare void @callee(i64*) 5 6define void @f0() "patchable-function"="prologue-short-redirect" { 7; CHECK-LABEL: _f0: 8; CHECK-NEXT: 66 90 nop 9 10; CHECK-ALIGN: .p2align 4, 0x90 11; CHECK-ALIGN: _f0: 12 13 ret void 14} 15 16define void @f1() "patchable-function"="prologue-short-redirect" "no-frame-pointer-elim"="true" { 17; CHECK-LABEL: _f1 18; CHECK-NEXT: ff f5 pushq %rbp 19 20; CHECK-ALIGN: .p2align 4, 0x90 21; CHECK-ALIGN: _f1: 22 ret void 23} 24 25define void @f2() "patchable-function"="prologue-short-redirect" { 26; CHECK-LABEL: _f2 27; CHECK-NEXT: 48 81 ec a8 00 00 00 subq $168, %rsp 28 29; CHECK-ALIGN: .p2align 4, 0x90 30; CHECK-ALIGN: _f2: 31 %ptr = alloca i64, i32 20 32 call void @callee(i64* %ptr) 33 ret void 34} 35 36define void @f3() "patchable-function"="prologue-short-redirect" optsize { 37; CHECK-LABEL: _f3 38; CHECK-NEXT: 66 90 nop 39 40; CHECK-ALIGN: .p2align 4, 0x90 41; CHECK-ALIGN: _f3: 42 ret void 43} 44 45; This testcase happens to produce a KILL instruction at the beginning of the 46; first basic block. In this case the 2nd instruction should be turned into a 47; patchable one. 48; CHECK-LABEL: f4: 49; CHECK-NEXT: 8b 0c 37 movl (%rdi,%rsi), %ecx 50define i32 @f4(i8* %arg1, i64 %arg2, i32 %arg3) "patchable-function"="prologue-short-redirect" { 51bb: 52 %tmp10 = getelementptr i8, i8* %arg1, i64 %arg2 53 %tmp11 = bitcast i8* %tmp10 to i32* 54 %tmp12 = load i32, i32* %tmp11, align 4 55 fence acquire 56 %tmp13 = add i32 %tmp12, %arg3 57 %tmp14 = cmpxchg i32* %tmp11, i32 %tmp12, i32 %tmp13 seq_cst monotonic 58 %tmp15 = extractvalue { i32, i1 } %tmp14, 1 59 br i1 %tmp15, label %bb21, label %bb16 60 61bb16: 62 br label %bb21 63 64bb21: 65 %tmp22 = phi i32 [ %tmp12, %bb ], [ %arg3, %bb16 ] 66 ret i32 %tmp22 67} 68