@@ -591,7 +591,7 @@ int main() {
591591//
592592//
593593// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIfEC1Ev
594- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1:[0-9]+]] comdat {
594+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1:[0-9]+]] comdat {
595595// CHECK9-NEXT: entry:
596596// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
597597// CHECK9-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 8
@@ -601,7 +601,7 @@ int main() {
601601//
602602//
603603// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIfEC1Ef
604- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
604+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
605605// CHECK9-NEXT: entry:
606606// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
607607// CHECK9-NEXT: [[A_ADDR:%.*]] = alloca float, align 4
@@ -885,7 +885,7 @@ int main() {
885885//
886886//
887887// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIfEC2Ev
888- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
888+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
889889// CHECK9-NEXT: entry:
890890// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
891891// CHECK9-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 8
@@ -896,7 +896,7 @@ int main() {
896896//
897897//
898898// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIfEC2Ef
899- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
899+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
900900// CHECK9-NEXT: entry:
901901// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
902902// CHECK9-NEXT: [[A_ADDR:%.*]] = alloca float, align 4
@@ -919,7 +919,7 @@ int main() {
919919//
920920//
921921// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIiEC1Ev
922- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
922+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
923923// CHECK9-NEXT: entry:
924924// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
925925// CHECK9-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 8
@@ -929,7 +929,7 @@ int main() {
929929//
930930//
931931// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIiEC1Ei
932- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef signext [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
932+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef signext [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
933933// CHECK9-NEXT: entry:
934934// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
935935// CHECK9-NEXT: [[A_ADDR:%.*]] = alloca i32, align 4
@@ -1099,7 +1099,7 @@ int main() {
10991099//
11001100//
11011101// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIiEC2Ev
1102- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
1102+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat {
11031103// CHECK9-NEXT: entry:
11041104// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
11051105// CHECK9-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 8
@@ -1110,7 +1110,7 @@ int main() {
11101110//
11111111//
11121112// CHECK9-LABEL: define {{[^@]+}}@_ZN1SIiEC2Ei
1113- // CHECK9-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef signext [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
1113+ // CHECK9-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef signext [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat {
11141114// CHECK9-NEXT: entry:
11151115// CHECK9-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 8
11161116// CHECK9-NEXT: [[A_ADDR:%.*]] = alloca i32, align 4
@@ -1254,7 +1254,7 @@ int main() {
12541254//
12551255//
12561256// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIfEC1Ev
1257- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1:[0-9]+]] comdat align 2 {
1257+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1:[0-9]+]] comdat align 2 {
12581258// CHECK11-NEXT: entry:
12591259// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
12601260// CHECK11-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 4
@@ -1264,7 +1264,7 @@ int main() {
12641264//
12651265//
12661266// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIfEC1Ef
1267- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1267+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
12681268// CHECK11-NEXT: entry:
12691269// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
12701270// CHECK11-NEXT: [[A_ADDR:%.*]] = alloca float, align 4
@@ -1546,7 +1546,7 @@ int main() {
15461546//
15471547//
15481548// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIfEC2Ev
1549- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1549+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
15501550// CHECK11-NEXT: entry:
15511551// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
15521552// CHECK11-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 4
@@ -1557,7 +1557,7 @@ int main() {
15571557//
15581558//
15591559// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIfEC2Ef
1560- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1560+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], float noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
15611561// CHECK11-NEXT: entry:
15621562// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
15631563// CHECK11-NEXT: [[A_ADDR:%.*]] = alloca float, align 4
@@ -1580,7 +1580,7 @@ int main() {
15801580//
15811581//
15821582// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIiEC1Ev
1583- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1583+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
15841584// CHECK11-NEXT: entry:
15851585// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
15861586// CHECK11-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 4
@@ -1590,7 +1590,7 @@ int main() {
15901590//
15911591//
15921592// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIiEC1Ei
1593- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1593+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
15941594// CHECK11-NEXT: entry:
15951595// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
15961596// CHECK11-NEXT: [[A_ADDR:%.*]] = alloca i32, align 4
@@ -1758,7 +1758,7 @@ int main() {
17581758//
17591759//
17601760// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIiEC2Ev
1761- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1761+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
17621762// CHECK11-NEXT: entry:
17631763// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
17641764// CHECK11-NEXT: store ptr [[THIS]], ptr [[THIS_ADDR]], align 4
@@ -1769,7 +1769,7 @@ int main() {
17691769//
17701770//
17711771// CHECK11-LABEL: define {{[^@]+}}@_ZN1SIiEC2Ei
1772- // CHECK11-SAME: (ptr noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
1772+ // CHECK11-SAME: (ptr noalias noundef nonnull align 4 dereferenceable(4) [[THIS:%.*]], i32 noundef [[A:%.*]]) unnamed_addr #[[ATTR1]] comdat align 2 {
17731773// CHECK11-NEXT: entry:
17741774// CHECK11-NEXT: [[THIS_ADDR:%.*]] = alloca ptr, align 4
17751775// CHECK11-NEXT: [[A_ADDR:%.*]] = alloca i32, align 4
0 commit comments