94473f4db6
Generate nuw GEPs for struct member accesses, as inbounds + non-negative implies nuw. Regression tests are updated using update scripts where possible, and by find + replace where not.
16 lines
590 B
Plaintext
16 lines
590 B
Plaintext
// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -emit-llvm -o - %s -std=c++11 -fblocks -fobjc-arc | FileCheck %s
|
|
|
|
// CHECK: define internal void @___Z16test_default_argi_block_invoke(ptr noundef %[[BLOCK_DESCRIPTOR:.*]])
|
|
// CHECK: %[[BLOCK_CAPTURE_ADDR:.*]] = getelementptr inbounds nuw <{ ptr, i32, i32, ptr, ptr, i32 }>, ptr %[[BLOCK_DESCRIPTOR]], i32 0, i32 5
|
|
// CHECK: %[[V0:.*]] = load i32, ptr %[[BLOCK_CAPTURE_ADDR]]
|
|
// CHECK: call void @_Z4foo1i(i32 noundef %[[V0]])
|
|
|
|
void foo1(int);
|
|
|
|
void test_default_arg(const int a = 42) {
|
|
auto block = ^{
|
|
foo1(a);
|
|
};
|
|
block();
|
|
}
|