[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / GlobalISel / x86_64-select-inttoptr.mir
blobf9ce11e48f744130f7ef141a9157b430f0d8b4bc
1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2 # RUN: llc -mtriple=x86_64-linux-gnu -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
4 --- |
6   define i64* @inttoptr_p0_s64(i64 %val) {
7   entry:
8     %0 = inttoptr i64 %val to i64*
9     ret i64* %0
10   }
12 ...
13 ---
14 name:            inttoptr_p0_s64
15 alignment:       16
16 legalized:       true
17 regBankSelected: true
18 tracksRegLiveness: true
19 registers:
20   - { id: 0, class: gpr }
21   - { id: 1, class: gpr }
22 body:             |
23   bb.1.entry:
24     liveins: $rdi
26     ; CHECK-LABEL: name: inttoptr_p0_s64
27     ; CHECK: liveins: $rdi
28     ; CHECK: [[COPY:%[0-9]+]]:gr64 = COPY $rdi
29     ; CHECK: $rax = COPY [[COPY]]
30     ; CHECK: RET 0, implicit $rax
31     %0:gpr(s64) = COPY $rdi
32     %1:gpr(p0) = G_INTTOPTR %0(s64)
33     $rax = COPY %1(p0)
34     RET 0, implicit $rax
36 ...