| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -passes=memcpyopt -S -verify-memoryssa | FileCheck %s |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-grtev4-linux-gnu" |
| |
| define ptr @foo(ptr returned %0, i32 %1, i64 %2) { |
| ; CHECK-LABEL: @foo( |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: [[TMP3:%.*]] = getelementptr inbounds i8, ptr [[TMP0:%.*]], i64 [[TMP2:%.*]] |
| ; CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds i8, ptr [[TMP3]], i64 -32 |
| ; CHECK-NEXT: [[VV:%.*]] = trunc i32 [[TMP1:%.*]] to i8 |
| ; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 1 |
| ; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 2 |
| ; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 3 |
| ; CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 4 |
| ; CHECK-NEXT: [[TMP9:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 5 |
| ; CHECK-NEXT: [[TMP10:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 6 |
| ; CHECK-NEXT: [[TMP11:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 7 |
| ; CHECK-NEXT: [[TMP12:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 8 |
| ; CHECK-NEXT: [[TMP13:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 9 |
| ; CHECK-NEXT: [[TMP14:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 10 |
| ; CHECK-NEXT: [[TMP15:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 11 |
| ; CHECK-NEXT: [[TMP16:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 12 |
| ; CHECK-NEXT: [[TMP17:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 13 |
| ; CHECK-NEXT: [[TMP18:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 14 |
| ; CHECK-NEXT: [[TMP19:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 15 |
| ; CHECK-NEXT: [[TMP20:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 16 |
| ; CHECK-NEXT: [[TMP21:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 1 |
| ; CHECK-NEXT: [[TMP22:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 2 |
| ; CHECK-NEXT: [[TMP23:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 3 |
| ; CHECK-NEXT: [[TMP24:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 4 |
| ; CHECK-NEXT: [[TMP25:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 5 |
| ; CHECK-NEXT: [[TMP26:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 6 |
| ; CHECK-NEXT: [[TMP27:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 7 |
| ; CHECK-NEXT: [[TMP28:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 8 |
| ; CHECK-NEXT: [[TMP29:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 9 |
| ; CHECK-NEXT: [[TMP30:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 10 |
| ; CHECK-NEXT: [[TMP31:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 11 |
| ; CHECK-NEXT: [[TMP32:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 12 |
| ; CHECK-NEXT: [[TMP33:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 13 |
| ; CHECK-NEXT: [[TMP34:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 14 |
| ; CHECK-NEXT: [[TMP35:%.*]] = getelementptr inbounds i8, ptr [[TMP20]], i64 15 |
| ; CHECK-NEXT: call void @llvm.memset.p0.i64(ptr align 1 [[TMP4]], i8 [[VV]], i64 32, i1 false) |
| ; CHECK-NEXT: ret ptr [[TMP0]] |
| ; |
| entry: |
| %3 = getelementptr inbounds i8, ptr %0, i64 %2 |
| %4 = getelementptr inbounds i8, ptr %3, i64 -32 |
| %vv = trunc i32 %1 to i8 |
| store i8 %vv, ptr %4, align 1 |
| %5 = getelementptr inbounds i8, ptr %4, i64 1 |
| store i8 %vv, ptr %5, align 1 |
| %6= getelementptr inbounds i8, ptr %4, i64 2 |
| store i8 %vv, ptr %6, align 1 |
| %7= getelementptr inbounds i8, ptr %4, i64 3 |
| store i8 %vv, ptr %7, align 1 |
| %8= getelementptr inbounds i8, ptr %4, i64 4 |
| store i8 %vv, ptr %8, align 1 |
| %9= getelementptr inbounds i8, ptr %4, i64 5 |
| store i8 %vv, ptr %9, align 1 |
| %10= getelementptr inbounds i8, ptr %4, i64 6 |
| store i8 %vv, ptr %10, align 1 |
| %11= getelementptr inbounds i8, ptr %4, i64 7 |
| store i8 %vv, ptr %11, align 1 |
| %12= getelementptr inbounds i8, ptr %4, i64 8 |
| store i8 %vv, ptr %12, align 1 |
| %13= getelementptr inbounds i8, ptr %4, i64 9 |
| store i8 %vv, ptr %13, align 1 |
| %14= getelementptr inbounds i8, ptr %4, i64 10 |
| store i8 %vv, ptr %14, align 1 |
| %15= getelementptr inbounds i8, ptr %4, i64 11 |
| store i8 %vv, ptr %15, align 1 |
| %16= getelementptr inbounds i8, ptr %4, i64 12 |
| store i8 %vv, ptr %16, align 1 |
| %17= getelementptr inbounds i8, ptr %4, i64 13 |
| store i8 %vv, ptr %17, align 1 |
| %18= getelementptr inbounds i8, ptr %4, i64 14 |
| store i8 %vv, ptr %18, align 1 |
| %19= getelementptr inbounds i8, ptr %4, i64 15 |
| store i8 %vv, ptr %19, align 1 |
| %20= getelementptr inbounds i8, ptr %4, i64 16 |
| store i8 %vv, ptr %20, align 1 |
| %21= getelementptr inbounds i8, ptr %20, i64 1 |
| store i8 %vv, ptr %21, align 1 |
| %22= getelementptr inbounds i8, ptr %20, i64 2 |
| store i8 %vv, ptr %22, align 1 |
| %23= getelementptr inbounds i8, ptr %20, i64 3 |
| store i8 %vv, ptr %23, align 1 |
| %24= getelementptr inbounds i8, ptr %20, i64 4 |
| store i8 %vv, ptr %24, align 1 |
| %25= getelementptr inbounds i8, ptr %20, i64 5 |
| store i8 %vv, ptr %25, align 1 |
| %26= getelementptr inbounds i8, ptr %20, i64 6 |
| store i8 %vv, ptr %26, align 1 |
| %27= getelementptr inbounds i8, ptr %20, i64 7 |
| store i8 %vv, ptr %27, align 1 |
| %28= getelementptr inbounds i8, ptr %20, i64 8 |
| store i8 %vv, ptr %28, align 1 |
| %29= getelementptr inbounds i8, ptr %20, i64 9 |
| store i8 %vv, ptr %29, align 1 |
| %30= getelementptr inbounds i8, ptr %20, i64 10 |
| store i8 %vv, ptr %30, align 1 |
| %31 = getelementptr inbounds i8, ptr %20, i64 11 |
| store i8 %vv, ptr %31, align 1 |
| %32 = getelementptr inbounds i8, ptr %20, i64 12 |
| store i8 %vv, ptr %32, align 1 |
| %33 = getelementptr inbounds i8, ptr %20, i64 13 |
| store i8 %vv, ptr %33, align 1 |
| %34 = getelementptr inbounds i8, ptr %20, i64 14 |
| store i8 %vv, ptr %34, align 1 |
| %35 = getelementptr inbounds i8, ptr %20, i64 15 |
| store i8 %vv, ptr %35, align 1 |
| ret ptr %0 |
| } |
| |