[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / xray-multiplerets-in-blocks.mir
blobd8f08104a9e7f7a3c08289a1ed2a357f78558c2e
1 # RUN: llc -verify-machineinstrs -run-pass xray-instrumentation -mtriple=x86_64-unknown-linux-gnu -o - %s | FileCheck %s
3 # Make sure we can handle multiple ret instructions in a single basic block for
4 # XRay.
6 --- |
8   define i32 @foo() noinline uwtable "function-instrument"="xray-always" {
9     ret i32 0
10     ret i32 1
11   }
13 ...
15 ---
16 name: foo
17 tracksRegLiveness: true
18 liveins:
19   - { reg: '$edi'}
20 body:            |
21   bb.0:
22     liveins: $edi
23     ; CHECK: PATCHABLE_FUNCTION_ENTER
24     RETQ
25     ; CHECK-NEXT: PATCHABLE_RET
26     RETQ
27     ; CHECK-NEXT: PATCHABLE_RET
28 ...