1; RUN: opt %loadPolly -polly-ignore-aliasing -polly-scops -analyze < %s | FileCheck %s
2; RUN: opt %loadPolly -polly-ignore-aliasing -polly-codegen -analyze < %s
3;
4; CHECK:       Invariant Accesses: {
5; CHECK-NEXT:  }
6;
7target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
8
9; Function Attrs: nounwind uwtable
10define void @cli_hex2int() {
11entry:
12  br label %if.end
13
14if.end:                                           ; preds = %entry
15  %call = call i16** @__ctype_b_loc() #0
16  %tmp = load i16*, i16** %call, align 8
17  %arrayidx = getelementptr inbounds i16, i16* %tmp, i64 0
18  %tmp1 = load i16, i16* %arrayidx, align 2
19  store i16 3, i16 *%arrayidx, align 2
20  br i1 false, label %if.then.2, label %if.end.3
21
22if.then.2:                                        ; preds = %if.end
23  br label %cleanup
24
25if.end.3:                                         ; preds = %if.end
26  br label %cleanup
27
28cleanup:                                          ; preds = %if.end.3, %if.then.2
29  ret void
30}
31
32; Function Attrs: nounwind readnone
33declare i16** @__ctype_b_loc() #0
34
35attributes #0 = { nounwind readnone }
36