1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -mtriple=x86_64-apple-macosx10.7 -passes=inferattrs,dse -S %s | FileCheck %s
; Tests for libcalls only available on Darwin platforms.
declare void @memset_pattern4(ptr, ptr, i64)
declare void @memset_pattern8(ptr, ptr, i64)
declare void @memset_pattern16(ptr, ptr, i64)
define void @test_memset_pattern4_const_size(ptr noalias %a, ptr noalias %pattern) {
; CHECK-LABEL: @test_memset_pattern4_const_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern4(ptr [[A]], ptr [[PATTERN:%.*]], i64 17)
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern4(ptr %a, ptr %pattern, i64 17)
ret void
}
define void @test_memset_pattern4_variable_size(ptr noalias %a, ptr noalias %pattern, i64 %n) {
; CHECK-LABEL: @test_memset_pattern4_variable_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 1
; CHECK-NEXT: store i8 0, ptr [[A_GEP_1]], align 1
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern4(ptr [[A]], ptr [[PATTERN:%.*]], i64 [[N:%.*]])
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern4(ptr %a, ptr %pattern, i64 %n)
ret void
}
define void @test_memset_pattern8_const_size(ptr noalias %a, ptr noalias %pattern) {
; CHECK-LABEL: @test_memset_pattern8_const_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern8(ptr [[A]], ptr [[PATTERN:%.*]], i64 17)
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern8(ptr %a, ptr %pattern, i64 17)
ret void
}
define void @test_memset_pattern8_variable_size(ptr noalias %a, ptr noalias %pattern, i64 %n) {
; CHECK-LABEL: @test_memset_pattern8_variable_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 1
; CHECK-NEXT: store i8 0, ptr [[A_GEP_1]], align 1
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern8(ptr [[A]], ptr [[PATTERN:%.*]], i64 [[N:%.*]])
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern8(ptr %a, ptr %pattern, i64 %n)
ret void
}
define void @test_memset_pattern16_const_size(ptr noalias %a, ptr noalias %pattern) {
; CHECK-LABEL: @test_memset_pattern16_const_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern16(ptr [[A]], ptr [[PATTERN:%.*]], i64 17)
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern16(ptr %a, ptr %pattern, i64 17)
ret void
}
define void @test_memset_pattern16_variable_size(ptr noalias %a, ptr noalias %pattern, i64 %n) {
; CHECK-LABEL: @test_memset_pattern16_variable_size(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A_GEP_1:%.*]] = getelementptr i8, ptr [[A:%.*]], i32 1
; CHECK-NEXT: store i8 0, ptr [[A_GEP_1]], align 1
; CHECK-NEXT: [[A_GEP_17:%.*]] = getelementptr i8, ptr [[A]], i32 17
; CHECK-NEXT: store i8 1, ptr [[A_GEP_17]], align 1
; CHECK-NEXT: call void @memset_pattern16(ptr [[A]], ptr [[PATTERN:%.*]], i64 [[N:%.*]])
; CHECK-NEXT: ret void
;
entry:
%a.gep.1 = getelementptr i8, ptr %a, i32 1
store i8 0, ptr %a.gep.1
%a.gep.17 = getelementptr i8, ptr %a, i32 17
store i8 1, ptr %a.gep.17
call void @memset_pattern16(ptr %a, ptr %pattern, i64 %n)
ret void
}
|