Lines Matching refs:nuw
38 ; Example where an add should get the nuw flag.
39 define void @test-add-nuw(float* %input, i32 %offset, i32 %numIterations) {
40 ; CHECK-LABEL: @test-add-nuw
47 ; CHECK: --> {%offset,+,1}<nuw>
48 %index32 = add nuw i32 %i, %offset
51 %nexti = add nuw i32 %i, 1
60 define void @test-add-nuw-from-icmp(float* %input, i32 %offset,
62 ; CHECK-LABEL: @test-add-nuw-from-icmp
69 ; CHECK: --> {%offset,+,1}<nuw>
70 %index32 = add nuw i32 %i, %offset
75 %nexti = add nuw i32 %i, 1
97 %nexti = add nuw i32 %i, 1
298 ; a nuw or nsw flag on the multiplication.
310 %indexmul = mul nuw i32 %index32, 2
438 %seq = add nsw nuw i32 %index32, 1
484 ; Example where a mul should get the nuw flag.
485 define void @test-mul-nuw(float* %input, i32 %stride, i32 %numIterations) {
486 ; CHECK-LABEL: @test-mul-nuw
493 ; CHECK: --> {0,+,%stride}<nuw>
494 %index32 = mul nuw i32 %i, %stride
497 %nexti = add nuw i32 %i, 1
532 ; Example where a shl should get the nuw flag.
533 define void @test-shl-nuw(float* %input, i32 %numIterations) {
534 ; CHECK-LABEL: @test-shl-nuw
541 ; CHECK: --> {0,+,512}<nuw>
542 %index32 = shl nuw i32 %i, 9
545 %nexti = add nuw i32 %i, 1
639 %seq = add nsw nuw i32 %index32, 1