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
|
// Tests that array (in)equality with null is optimized to a length check
// RUN: %ldc -c -output-ll -of=%t.ll %s && FileCheck %s < %t.ll
// RUN: %ldc -run %s
// CHECK-LABEL: define{{.*}} @{{.*}}isNull
bool isNull(int[] arg)
{
// CHECK-NOT: call
// CHECK-NOT: invoke
// CHECK: icmp eq i{{32|64}} %.len, 0
return arg == null;
}
// CHECK-LABEL: define{{.*}} @{{.*}}isNotNull
bool isNotNull(int[] arg)
{
// CHECK-NOT: call
// CHECK-NOT: invoke
// CHECK: icmp ne i{{32|64}} %.len, 0
return arg != null;
}
void main()
{
int[3] i3 = [ 0, 1, 2 ];
assert(isNull(i3[0..0]));
assert(isNotNull(i3[0..1]));
}
|
