| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: opt -passes=gvn -aa-pipeline=globals-aa -S < %s | FileCheck %s |
| |
| define target("aarch64.svcount") @test_alloca_store_reload(target("aarch64.svcount") %val) nounwind { |
| ; CHECK-LABEL: define target("aarch64.svcount") @test_alloca_store_reload( |
| ; CHECK-SAME: target("aarch64.svcount") [[VAL:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: [[PTR:%.*]] = alloca target("aarch64.svcount"), align 1 |
| ; CHECK-NEXT: store target("aarch64.svcount") [[VAL]], ptr [[PTR]], align 2 |
| ; CHECK-NEXT: [[RES:%.*]] = load target("aarch64.svcount"), ptr [[PTR]], align 2 |
| ; CHECK-NEXT: ret target("aarch64.svcount") [[RES]] |
| ; |
| %ptr = alloca target("aarch64.svcount"), align 1 |
| store target("aarch64.svcount") %val, ptr %ptr |
| %res = load target("aarch64.svcount"), ptr %ptr |
| ret target("aarch64.svcount") %res |
| } |
