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:_(s32) = G_CONSTANT i32 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:_(s32) = G_CONSTANT i32 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]+]]:_(s32) = G_CONSTANT i32 42
43    ; CHECK: [[COPY:%[0-9]+]]:_(p64) = COPY $x1
44    ; CHECK: [[PTR_ADD:%[0-9]+]]:_(p64) = G_PTR_ADD [[COPY]], [[C]](s32)
45    ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[PTR_ADD]](p64)
46    ; CHECK: $x0 = COPY [[PTRTOINT]](s64)
47    %1:_(s32) = G_CONSTANT i32 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