xref: /llvm-project/llvm/test/CodeGen/AArch64/GlobalISel/combine-ptradd-int2ptr.mir (revision fd3eaf76ba3392a4406247d996e757ef49f7a8b2)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs -mtriple aarch64-unknown-unknown %s -o - | FileCheck %s
3# RUN: llc -debugify-and-strip-all-safe -run-pass=aarch64-prelegalizer-combiner -verify-machineinstrs -mtriple aarch64-unknown-unknown %s -o - | FileCheck %s
4
5---
6name:            agc.test_combine_ptradd_constants_intres
7body:             |
8  bb.1:
9    liveins: $x0
10    ; CHECK-LABEL: name: agc.test_combine_ptradd_constants_intres
11    ; CHECK: [[C:%[0-9]+]]:_(p64) = G_CONSTANT i64 44
12    ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[C]](p64)
13    ; CHECK: $x0 = COPY [[PTRTOINT]](s64)
14    %1:_(s64) = G_CONSTANT i64 42
15    %2:_(s32) = G_CONSTANT i32 2
16    %3:_(p64) = G_INTTOPTR %2
17    %4:_(p64) = G_PTR_ADD %3, %1
18    %5:_(s64) = G_PTRTOINT %4
19    $x0 = COPY %5(s64)
20...
21---
22name:            agc.test_combine_ptradd_constants_ptrres
23body:             |
24  bb.1:
25    liveins: $x0
26    ; CHECK-LABEL: name: agc.test_combine_ptradd_constants_ptrres
27    ; CHECK: [[C:%[0-9]+]]:_(p64) = G_CONSTANT i64 44
28    ; CHECK: $x0 = COPY [[C]](p64)
29    %1:_(s64) = G_CONSTANT i64 42
30    %2:_(s32) = G_CONSTANT i32 2
31    %3:_(p64) = G_INTTOPTR %2
32    %4:_(p64) = G_PTR_ADD %3, %1
33    $x0 = COPY %4(p64)
34...
35---
36name:            agc.test_not_combine_variable_ptradd
37body:             |
38  bb.1:
39    liveins: $x0, $x1
40    ; Ensure non-constant G_PTR_ADDs are not folded.
41    ; CHECK-LABEL: name: agc.test_not_combine_variable_ptradd
42    ; CHECK: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 42
43    ; CHECK: [[COPY:%[0-9]+]]:_(p64) = COPY $x1
44    ; CHECK: [[PTR_ADD:%[0-9]+]]:_(p64) = G_PTR_ADD [[COPY]], [[C]](s64)
45    ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[PTR_ADD]](p64)
46    ; CHECK: $x0 = COPY [[PTRTOINT]](s64)
47    %1:_(s64) = G_CONSTANT i64 42
48    %2:_(p64) = COPY $x1
49    %3:_(p64) = G_PTR_ADD %2, %1
50    %4:_(s64) = G_PTRTOINT %3
51    $x0 = COPY %4(s64)
52...
53---
54name:            test_combine_zero_extend
55body:             |
56  bb.1:
57  liveins: $x0
58
59    ; CHECK-LABEL: name: test_combine_zero_extend
60    ; CHECK: [[C:%[0-9]+]]:_(p0) = G_CONSTANT i64 4291891236
61    ; CHECK-NEXT: $x0 = COPY [[C]](p0)
62    %0:_(s32) = G_CONSTANT i32 -3076096
63    %1:_(p0) = G_INTTOPTR %0:_(s32)
64    %2:_(s64) = G_CONSTANT i64 36
65    %3:_(p0) = G_PTR_ADD %1:_, %2:_(s64)
66    $x0 = COPY %3
67...
68