@@ -160,13 +160,13 @@ LogicalResult AddOp::verify() {
160
160
Type lhsType = getLhs ().getType ();
161
161
Type rhsType = getRhs ().getType ();
162
162
163
- if (lhsType. isa <emitc::PointerType>() && rhsType. isa <emitc::PointerType>())
163
+ if (isa<emitc::PointerType>(lhsType ) && isa<emitc::PointerType>(rhsType ))
164
164
return emitOpError (" requires that at most one operand is a pointer" );
165
165
166
- if ((lhsType. isa <emitc::PointerType>() &&
167
- !rhsType. isa <IntegerType, emitc::OpaqueType>()) ||
168
- (rhsType. isa <emitc::PointerType>() &&
169
- !lhsType. isa <IntegerType, emitc::OpaqueType>()))
166
+ if ((isa<emitc::PointerType>(lhsType ) &&
167
+ !isa<IntegerType, emitc::OpaqueType>(rhsType )) ||
168
+ (isa<emitc::PointerType>(rhsType ) &&
169
+ !isa<IntegerType, emitc::OpaqueType>(lhsType )))
170
170
return emitOpError (" requires that one operand is an integer or of opaque "
171
171
" type if the other is a pointer" );
172
172
@@ -778,16 +778,16 @@ LogicalResult SubOp::verify() {
778
778
Type rhsType = getRhs ().getType ();
779
779
Type resultType = getResult ().getType ();
780
780
781
- if (rhsType. isa <emitc::PointerType>() && !lhsType. isa <emitc::PointerType>())
781
+ if (isa<emitc::PointerType>(rhsType ) && !isa<emitc::PointerType>(lhsType ))
782
782
return emitOpError (" rhs can only be a pointer if lhs is a pointer" );
783
783
784
- if (lhsType. isa <emitc::PointerType>() &&
785
- !rhsType. isa <IntegerType, emitc::OpaqueType, emitc::PointerType>())
784
+ if (isa<emitc::PointerType>(lhsType ) &&
785
+ !isa<IntegerType, emitc::OpaqueType, emitc::PointerType>(rhsType ))
786
786
return emitOpError (" requires that rhs is an integer, pointer or of opaque "
787
787
" type if lhs is a pointer" );
788
788
789
- if (lhsType. isa <emitc::PointerType>() && rhsType. isa <emitc::PointerType>() &&
790
- !resultType. isa <IntegerType, emitc::OpaqueType>())
789
+ if (isa<emitc::PointerType>(lhsType ) && isa<emitc::PointerType>(rhsType ) &&
790
+ !isa<IntegerType, emitc::OpaqueType>(resultType ))
791
791
return emitOpError (" requires that the result is an integer or of opaque "
792
792
" type if lhs and rhs are pointers" );
793
793
return success ();
0 commit comments