File: array_equals_null.d

package info (click to toggle)
ldc 1%3A1.30.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 59,248 kB
  • sloc: cpp: 61,598; ansic: 14,545; sh: 1,014; makefile: 972; asm: 510; objc: 135; exp: 48; python: 12
file content (29 lines) | stat: -rw-r--r-- 645 bytes parent folder | download | duplicates (4)
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]));
}