84 lines · c
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 52// RUN: %clang_cc1 -O1 -triple=x86_64-unknown-linux %s -emit-llvm -o - | FileCheck %s3 4typedef unsigned char uint8_t;5typedef unsigned long long uint64_t;6 7struct a {8 uint64_t b;9 uint8_t block[16];10};11 12// CHECK-LABEL: define dso_local void @ptradd_0(13// CHECK-SAME: ptr noundef writeonly captures(none) initializes((8, 9)) [[CTX:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {14// CHECK-NEXT: [[ENTRY:.*:]]15// CHECK-NEXT: [[BLOCK:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 816// CHECK-NEXT: store i8 0, ptr [[BLOCK]], align 8, !tbaa [[TBAA6:![0-9]+]]17// CHECK-NEXT: ret void18//19void ptradd_0(struct a *ctx) {20 *(ctx->block + 0) = 0;21}22 23// CHECK-LABEL: define dso_local void @ptradd_4(24// CHECK-SAME: ptr noundef writeonly captures(none) initializes((12, 13)) [[CTX:%.*]]) local_unnamed_addr #[[ATTR0]] {25// CHECK-NEXT: [[ENTRY:.*:]]26// CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 1227// CHECK-NEXT: store i8 0, ptr [[ADD_PTR]], align 4, !tbaa [[TBAA6]]28// CHECK-NEXT: ret void29//30void ptradd_4(struct a *ctx) {31 *(ctx->block + 4) = 0;32}33 34// CHECK-LABEL: define dso_local void @ptradd_8(35// CHECK-SAME: ptr noundef writeonly captures(none) initializes((16, 17)) [[CTX:%.*]]) local_unnamed_addr #[[ATTR0]] {36// CHECK-NEXT: [[ENTRY:.*:]]37// CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 1638// CHECK-NEXT: store i8 0, ptr [[ADD_PTR]], align 8, !tbaa [[TBAA6]]39// CHECK-NEXT: ret void40//41void ptradd_8(struct a *ctx) {42 *(ctx->block + 8) = 0;43}44 45// CHECK-LABEL: define dso_local void @ptradd_8_commuted(46// CHECK-SAME: ptr noundef writeonly captures(none) initializes((16, 17)) [[CTX:%.*]]) local_unnamed_addr #[[ATTR0]] {47// CHECK-NEXT: [[ENTRY:.*:]]48// CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 1649// CHECK-NEXT: store i8 0, ptr [[ADD_PTR]], align 8, !tbaa [[TBAA6]]50// CHECK-NEXT: ret void51//52void ptradd_8_commuted(struct a *ctx) {53 *(8 + ctx->block) = 0;54}55 56// CHECK-LABEL: define dso_local void @ptrsub_4(57// CHECK-SAME: ptr noundef writeonly captures(none) initializes((8, 9)) [[CTX:%.*]]) local_unnamed_addr #[[ATTR0]] {58// CHECK-NEXT: [[ENTRY:.*:]]59// CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 860// CHECK-NEXT: store i8 0, ptr [[ADD_PTR]], align 4, !tbaa [[TBAA6]]61// CHECK-NEXT: ret void62//63void ptrsub_4(struct a *ctx) {64 *(&ctx->block[4] - 4) = 0;65}66 67// CHECK-LABEL: define dso_local void @neg_ptradd_var_index(68// CHECK-SAME: ptr noundef writeonly captures(none) [[CTX:%.*]], i8 noundef zeroext [[IDX:%.*]]) local_unnamed_addr #[[ATTR0]] {69// CHECK-NEXT: [[ENTRY:.*:]]70// CHECK-NEXT: [[BLOCK:%.*]] = getelementptr inbounds nuw i8, ptr [[CTX]], i64 871// CHECK-NEXT: [[IDX_EXT:%.*]] = zext i8 [[IDX]] to i6472// CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[BLOCK]], i64 [[IDX_EXT]]73// CHECK-NEXT: store i8 0, ptr [[ADD_PTR]], align 1, !tbaa [[TBAA6]]74// CHECK-NEXT: ret void75//76void neg_ptradd_var_index(struct a *ctx, uint8_t idx) {77 *(ctx->block + idx) = 0;78}79//.80// CHECK: [[META4:![0-9]+]] = !{!"omnipotent char", [[META5:![0-9]+]], i64 0}81// CHECK: [[META5]] = !{!"Simple C/C++ TBAA"}82// CHECK: [[TBAA6]] = !{[[META4]], [[META4]], i64 0}83//.84