1414// CHECK-LABEL: @slice_iter_next(
1515#[ no_mangle]
1616pub fn slice_iter_next < ' a > ( it : & mut std:: slice:: Iter < ' a , u32 > ) -> Option < & ' a u32 > {
17- // CHECK: %[[ENDP:.+]] = getelementptr inbounds i8, ptr %it, {{i32 4|i64 8}}
17+ // CHECK: %[[ENDP:.+]] = getelementptr inbounds{{( nuw)?}} i8, ptr %it, {{i32 4|i64 8}}
1818 // CHECK: %[[END:.+]] = load ptr, ptr %[[ENDP]]
1919 // CHECK-SAME: !nonnull
2020 // CHECK-SAME: !noundef
@@ -31,7 +31,7 @@ pub fn slice_iter_next<'a>(it: &mut std::slice::Iter<'a, u32>) -> Option<&'a u32
3131// CHECK-LABEL: @slice_iter_next_back(
3232#[ no_mangle]
3333pub fn slice_iter_next_back < ' a > ( it : & mut std:: slice:: Iter < ' a , u32 > ) -> Option < & ' a u32 > {
34- // CHECK: %[[ENDP:.+]] = getelementptr inbounds i8, ptr %it, {{i32 4|i64 8}}
34+ // CHECK: %[[ENDP:.+]] = getelementptr inbounds{{( nuw)?}} i8, ptr %it, {{i32 4|i64 8}}
3535 // CHECK: %[[END:.+]] = load ptr, ptr %[[ENDP]]
3636 // CHECK-SAME: !nonnull
3737 // CHECK-SAME: !noundef
@@ -55,7 +55,7 @@ pub fn slice_iter_next_back<'a>(it: &mut std::slice::Iter<'a, u32>) -> Option<&'
5555#[ no_mangle]
5656pub fn slice_iter_new ( slice : & [ u32 ] ) -> std:: slice:: Iter < ' _ , u32 > {
5757 // CHECK-NOT: slice
58- // CHECK: %[[END:.+]] = getelementptr inbounds i32{{.+}} %slice.0{{.+}} %slice.1
58+ // CHECK: %[[END:.+]] = getelementptr inbounds{{( nuw)?}} i32{{.+}} %slice.0{{.+}} %slice.1
5959 // CHECK-NOT: slice
6060 // CHECK: insertvalue {{.+}} ptr %slice.0, 0
6161 // CHECK-NOT: slice
@@ -70,7 +70,7 @@ pub fn slice_iter_new(slice: &[u32]) -> std::slice::Iter<'_, u32> {
7070#[ no_mangle]
7171pub fn slice_iter_mut_new ( slice : & mut [ u32 ] ) -> std:: slice:: IterMut < ' _ , u32 > {
7272 // CHECK-NOT: slice
73- // CHECK: %[[END:.+]] = getelementptr inbounds i32{{.+}} %slice.0{{.+}} %slice.1
73+ // CHECK: %[[END:.+]] = getelementptr inbounds{{( nuw)?}} i32{{.+}} %slice.0{{.+}} %slice.1
7474 // CHECK-NOT: slice
7575 // CHECK: insertvalue {{.+}} ptr %slice.0, 0
7676 // CHECK-NOT: slice
@@ -83,7 +83,7 @@ pub fn slice_iter_mut_new(slice: &mut [u32]) -> std::slice::IterMut<'_, u32> {
8383// CHECK-LABEL: @slice_iter_is_empty
8484#[ no_mangle]
8585pub fn slice_iter_is_empty ( it : & std:: slice:: Iter < ' _ , u32 > ) -> bool {
86- // CHECK: %[[ENDP:.+]] = getelementptr inbounds i8, ptr %it, {{i32 4|i64 8}}
86+ // CHECK: %[[ENDP:.+]] = getelementptr inbounds{{( nuw)?}} i8, ptr %it, {{i32 4|i64 8}}
8787 // CHECK: %[[END:.+]] = load ptr, ptr %[[ENDP]]
8888 // CHECK-SAME: !nonnull
8989 // CHECK-SAME: !noundef
@@ -99,7 +99,7 @@ pub fn slice_iter_is_empty(it: &std::slice::Iter<'_, u32>) -> bool {
9999// CHECK-LABEL: @slice_iter_len
100100#[ no_mangle]
101101pub fn slice_iter_len ( it : & std:: slice:: Iter < ' _ , u32 > ) -> usize {
102- // CHECK: %[[ENDP:.+]] = getelementptr inbounds i8, ptr %it, {{i32 4|i64 8}}
102+ // CHECK: %[[ENDP:.+]] = getelementptr inbounds{{( nuw)?}} i8, ptr %it, {{i32 4|i64 8}}
103103 // CHECK: %[[END:.+]] = load ptr, ptr %[[ENDP]]
104104 // CHECK-SAME: !nonnull
105105 // CHECK-SAME: !noundef
0 commit comments